arXiv research

Study on Goeritz equivalence in genus 2 Heegaard splitting of $S^3$.

The paper studies Goeritz equivalence in lens spaces, describing actions and obstructions.

Extending theorems of J. E. Greene [Invent. Math. 192 (2013), 717-750] and A. S. Lipson [Enseign. Math. (2) 36 (1990), 93-114], we prove that the equivalence class of a classical link L under mutation is determined by Goeritz matrices associated to diagrams of L.

Knot colorings are one of the simplest ways to distinguish knots, dating back to Reidemeister, and popularized by Fox. In this mostly expository article, we discuss knot invariants like colorability, knot determinant and number of colorings, and how these can be computed from either the coloring matrix or the Goeritz m…

For a Heegaard surface F in a closed orientable 3-manifold M, H(M,F) = Diff(M)/Diff(M,F) is the space of Heegaard surfaces equivalent to the Heegaard splitting (M,F). Its path components are the isotopy classes of Heegaard splittings equivalent to (M,F). We describe H(M,F) in terms of Diff(M) and the Goeritz group of (…

The paper constructs Goeritz matrices from Dehn colorings.

Knots and 4-manifolds linked via matrix kinking.

Algorithm calculates Jones polynomial from Goeritz matrix.

Finite Goeritz groups for links with long bridge decompositions.

Researchers compute Goeritz groups for all (1,1)-link decompositions.

New generators prove sufficiency for Goeritz group of 3-sphere.

Study Goeritz groups of link decompositions, focusing on their asymptotic behavior.

A new method calculates HOMFLY-PT polynomials for bipartite links.

We obtain the full list of Goeritz invariants of all torus knots and links.

New subgroup behavior in genus-2 mapping class group identified.

We discuss the connection between colorings of a link diagram and the Goeritz matrix.

In 1980 J. Powell proposed that five specific elements sufficed to generate the Goeritz group of any Heegaard splitting of $S^3$, extending work of Goeritz on genus $2$ splittings. Here we prove that Powell's conjecture was correct for splittings of genus $3$ as well, and discuss a framework for deciding the truth of t…

The genus-g Goeritz group is the group of isotopy classes of orientation-preserving homeomorphisms of a closed orientable 3-manifold that preserve a given genus-g Heegaard splitting of the manifold. In this work, we show that the genus-2 Goeritz group of $S^2 \times S^1$ is finitely presented, and give its explicit pre…

This paper studies a subgroup of the Goeritz group related to Heegaard splittings induced by openbook decompositions.

Given a genus-g Heegaard splitting of a 3-sphere, the genus-g Goeritz group is defined to be the group of the isotopy classes of orientation preserving homeomorphism of the 3-sphere that preserve the splitting. In this paper, we determine the twisted first (co)homology group of the genus-2 Goeritz group of 3-sphere.

Given a genus-$g$ Heegaard splitting of a 3-manifold, the Goeritz group is defined to be the group of isotopy classes of orientation-preserving homeomorphisms of the manifold that preserve the splitting. In this work, we show that the Goeritz groups of genus-2 Heegaard splittings for lens spaces $L(p, 1)$ are finitely …

Authors prove a conjecture about the Goeritz group of 3-sphere Heegaard splittings.

For all genus g, Powell's elements generate Goeritz groups trivially.

A specific set of 4g+1 elements is shown to generate the Goeritz group of the genus g+1 Heegaard splitting of a genus g handlebody. These generators are consistent with Powell's proposed generating set for the Goeritz group of the genus g+1 splitting of S^3. There are two proofs: one using purely classical techniques a…

New criteria for Heegaard splittings ensure strong irreducibility and finite Goeritz groups.

Adds examples to Goeritz groups for a specific type of 3-manifold splitting.

The Goeritz matrix of a link is obtained from the Jacobian matrix of a modified Dehn presentation associated to a diagram using Fox's free differential calculus. When the diagram is special the Seifert matrix can also be determined from the presentation.

We consider the Goeritz groups of the Heegaard splittings induced from twisted book decompositions. We show that there exist Heegaard splittings of distance $2$ that have the infinite-order mapping class groups whereas that are not induced from open book decompositions. Explicit computation of those mapping class group…

Genus 3 Heegaard groups of lens space connected sums are finitely generated.

Knot Theory is currently a very broad field. Even a long survey can only cover a narrow area. Here we concentrate on the path from Goeritz matrices to quasi-alternating links. On the way, we often stray from the main road and tell related stories, especially if they allow as to place the main topic in a historical cont…

Machine learning maps knots to embeddings, revealing topological invariants.

According to a formula by Gordon and Litherland, the signature of a knot K can be computed as the signature of a Goeritz matrix of K minus a suitable correction term, read off from the diagram of K. In this article, we consider the family of two bridge knots K(p/q) and compute the signature of their Goeritz matrices in…

In this article we present a finite generating set $G_2$ of $\mathcal{H}_2$, the genus-2 Goeritz group of $S^3$, in terms of Dehn twists about certain simple closed curves on the standard Heegaard surface. We present an algorithm that describes an element $ψ\in\mathcal{H}_2$ as a word in the alphabet of $G_2$ in a cert…

We show that if a Heegaard splitting is obtained by gluing a splitting of Hempel distance at least 4 and the genus-1 splitting of $S^2 \times S^1$, then the Goeritz group of the splitting is finitely generated. To show this, we first provide a sufficient condition for a full subcomplex of the arc complex for a compact …

Confirming the Powell Conjecture for genus-3 Heegaard splittings of the 3-sphere.

New method shows how to move one Heegaard surface positioning to another.

Algorithm constructs reducing spheres for genus-2 Heegaard splitting of S^3.

Invalidation of a key lemma leaves the Powell Conjecture unresolved.

Given a stabilized Heegaard splitting of a $3$-manifold, the primitive disk complex for the splitting is the subcomplex of the disk complex for a handlebody in the splitting spanned by the vertices of the primitive disks. In this work, we study the structure of the primitive disk complex for the genus two Heegaard spli…

The Powell Conjecture offers a finite generating set for the genus $g$ Goeritz group, the group of automorphisms of $S^3$ that preserve a genus $g$ Heegaard surface $Σ_g$, generalizing a classical result of Goeritz in the case $g=2$. We study the relationship between the Powell Conjecture and the reducing sphere comple…

In 1980 J. Powell proposed that five specific elements sufficed to generate the Goeritz group of any Heegaard splitting of $S^3$. This conjecture remains unresolved for genus $g \geq 4$. Here a short argument shows that one of his proposed generators is redundant, in fact a consequence of three of the other four.

An updated proof of a 1933 theorem of Goeritz, exhibiting a finite set of generators for the group of automorphisms of the 3-sphere that preserve a genus two Heegaard splitting. The group is analyzed via its action on a certain connected 2-complex. (The analogous problem for higher genus Heegaard splittings appears to …

It is a natural question to ask whether two links are equivalent by the following moves -- parallel parts of a link are changed to k-times half-twisted parts and if they are, how many moves are needed to go from one link to the other. In particular if k=2 and the second link is a trivial link it is the question about t…

Using region crossing changes, we define a new invariant called the multi-region index of a knot. We prove that the multi-region index of a knot is bounded from above by twice the crossing number of the knot. In addition, we show that the minimum number of generators of the first homology of the double branched cover o…

Probabilistic pseudo knots model uncertain knot diagrams.

Gordon-Litherland pairing connects combinatorics and topology.

We provide the optimal linear bound for the signature of positive four-braids in terms of the three-genus of their closures. As a consequence, we improve previously known linear bounds for the signature in terms of the first Betti number for all positive braid links. We obtain our results by combining bounds for positi…

A checkerboard graph of a special diagram of an oriented link is made a directed, edge-weighted graph in a natural way so that a principal minor of its Laplacian matrix is a Seifert matrix of the link. Doubling and weighting the edges of the graph produces a second Laplacian matrix such that a principal minor is an Ale…