arXiv research

Finite Goeritz groups for links with long bridge decompositions.

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

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

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

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

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

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.

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

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…

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

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.

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…

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

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.

The paper constructs Goeritz matrices from Dehn colorings.

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…

Algorithm calculates Jones polynomial from Goeritz matrix.

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.

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

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

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

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

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

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 (…

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…

Invalidation of a key lemma leaves the Powell Conjecture unresolved.

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.

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 …

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.

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.

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…

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…

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…

Given a genus two Heegaard splitting for a non-prime 3-manifold, we define a special subcomplex of the disk complex for one of the handlebodies of the splitting, and then show that it is contractible. As applications, first we show that the complex of Haken spheres for the splitting is contractible, which refines the r…

If $A$ is an abelian group and $φ$ is an integer, let $A(φ)$ be the subgroup of $A$ consisting of elements $a \in A$ such that $φ\cdot a=0$. We prove that if $D$ is a diagram of a classical link $L$ and $0=φ_0,φ_1,\dots,φ_{n-1}$ are the invariant factors of an adjusted Goeritz matrix of $D$, then the group $\mathcal{D}…

Study subgroup of mapping class group related to handlebody, answering a question about Johnson homomorphism.

We discuss a possible definition for "$k$-width" of both a closed $d$-manifold $M^d$, and on embedding $M^d \overset{e}{\hookrightarrow} \mathbb{R}^n$, $n > d \ge k$, generalizing the classical notion of width of a knot. We show that for every 3-manifold 2-width$(M^3) \le 2$ but that there are embeddings $e_i: T^3 \hoo…

Knots and 4-manifolds linked via matrix kinking.

Machine learning maps knots to embeddings, revealing topological invariants.

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…

Gordon-Litherland pairing connects combinatorics and topology.