arXiv research

Study on equivariant Heegaard genus of reducible 3-manifolds with group actions.

The study explores large group actions on 3-manifolds and their Heegaard splittings.

We consider finite group-actions on closed, orientable and nonorientable 3-manifolds; such a finite group-action leaves invariant the two handlebodies of a Heegaard splitting of M of some genus g. The maximal possible order of a finite group-action of an orientable or nonorientable handlebody of genus g > 1 is 24(g-1),…

Proves an equivariant version of Heegaard Floer link surgery formula.

Study shows genus two Heegaard diagrams for all Thurston geometries.

We show that {\sc Heegaard Genus $\leq g$}, the problem of deciding whether a triangulated 3-manifold admits a Heegaard splitting of genus less than or equal to $g$, is NP-hard. The result follows from a quadratic time reduction of the NP-complete problem {\sc CNF-SAT} to {\sc Heegaard Genus $\leq g$}.

We describe an example of a closed orientable 3-manifold with distinct distance three genus two Heegaard splittings. This demonstrates that the constructions of alternate genus two Heegaard splittings of closed orientable 3-manifolds described by Rubinstein and Scharlemann in their 1998 paper Genus Two Heegaard Splitti…

New invariants improve Heegaard Floer slice genus and clasp number bounds.

We prove a rigidity theorem for degree one maps between small 3-manifolds using Heegaard genus, and provide some applications and connections to Heegaard genus and Dehn surgery problems.

We give a necessary and sufficient condition for a simple closed curve on the boundary of a genus two handlebody to decompose the handlebody into (torus with one boundary component times [0,1]. We use this condition to decide whether a simple closed curve on a genus two Heegaard surface is a GOF-knot (genus one fibered…

We prove that if a fibered knot $K$ with genus greater than one in a three-manifold $M$ has a sufficiently complicated monodromy, then $K$ induces a minimal genus Heegaard splitting $P$ that is unique up to isotopy, and small genus Heegaard splittings of $M$ are stabilizations of $P$. We provide a complexity bound in t…

It is well-known that Heegaard genus is additive under connected sum of 3-manifolds. We show that Heegaard genus of contact 3-manifolds is not necessarily additive under contact connected sum. We also prove some basic properties of the contact genus (a.k.a. open book genus) of 3-manifolds, and compute this invariant fo…

Study of knot Floer homology and its relation to Heegaard Floer homology via equivariant surgery.

It is known that there are surface bundles of arbitrarily high genus which have genus two Heegaard splittings. The simplest examples are Seifert fibered spaces with the sphere as a base space, three exceptional fibers and which allow horizontal surfaces. We characterize the monodromy maps of all surface bundles with ge…

3-manifolds with Heegaard 2 admit taut foliations if their fundamental group is left-orderable.

Let M be a closed orientable 3-manifold with a negatively curved Riemannian metric. Let {M_i} be a collection of finite regular covers with degree d_i. (1) If the Heegaard genus of M_i grows more slowly than the square root of d_i, then M_i has positive first Betti number for all sufficiently large i. (2) The strong He…

Study shows non-equivariant and equivariant non-orientable 4-genus of periodic knots can differ.

Let $M$ be a compact orientable irreducible 3-manifold and $H$ be an unstabilized genus three Heegaard splitting of $M$. In this article, we will define a simplicial complex of weak reducing pairs for $H$ and find several properties of this complex. Using this method, we will prove that an unstabilized Heegaard splitti…

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

We give an algorithmic proof of the theorem that a closed orientable irreducible and atoroidal 3-manifold has only finitely many Heegaard splittings in each genus, up to isotopy. The proof gives an algorithm to determine the Heegaard genus of an atoroidal 3-manifold.

Fix a free, orientation-preserving action of a finite group G on a 3-dimensional handlebody V. Whenever G acts freely preserving orientation on a connected 3-manifold X, there is a G-equivariant imbedding of V into X. There are choices of X closed and Seifert-fibered for which the image of V is a handlebody of a Heegaa…

If (S,h) is an open book with disconnected binding then we can form a new open book (S',h') by capping off one of the boundary components of S with a disk. We define a U-equivariant map on Heegaard Floer homology which sends c^+(S',h') to c^+(S,h), and we discuss various applications. In particular, we determine the su…

Kevin Hartshorn showed that if a three-dimensional manifold $M$ admits a Heegaard surface $Σ$ with Hempel distance $d$ then every incompressible surface in $M$ has genus at least $\frac{d}{2}$. Scharlemann-Tomova generalized this, proving that in such a manifold, every other Heegaard surface for $M$ of genus $g' < \fra…

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

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

Non-isotopic Heegaard splittings of non-minimal genus were known previously only for very special 3-manifolds. We show in this paper that they are in fact a wide spread phenomenon in 3-manifold theory: We exhibit a large class of knots and manifolds obtained by Dehn surgery on these knots which admit such splittings. M…

Little is known on the classification of Heegaard splittings for hyperbolic 3-manifolds. Although Kobayashi gave a complete classification of Heegaard splittings for the exteriors of 2-bridge knots, our knowledge of other classes is extremely limited. In particular, there are very few hyperbolic manifolds that are know…

The paper reconfirms a lower bound on rational genus using Heegaard Floer homology.

New bounds on Heegaard distance for link complements in 3D space.

Let $K_1, K_2$ be two knots with $t(K_1)+t(K_2)>2$ and $t(K_1 # K_2)=2$. Then, in the present paper, we will show that any genus three Heegaard splittings of $E(K_1 # K_2)$ is strongly irreducible and that $E(K_1 # K_2)$ has at most four genus three Heegaard splittings up to homeomorphism. Moreover, we will give a comp…

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 …

The manifold which admits a genus-$2$ reducible Heegaard splitting is one of the $3$-sphere, $\mathbb{S}^2 \times \mathbb{S}^1$, lens spaces and their connected sums. For each of those manifolds except most lens spaces, the mapping class group of the genus-$2$ splitting was shown to be finitely presented. In this work,…

Every surface bundle with genus $g$ fiber has a canonical Heegaard splitting of genus $2g+1$. We classify the mapping class groups of such Heegaard splittings in the case when the surface bundle has a sufficiently complicated monodromy map.

Building off ideas developed by Agol, we construct a family of hyperbolic knots $K_n$ whose complements contain no closed incompressible surfaces and have Heegaard genus exactly $n$. These are the first known examples of small knots having large Heegaard genus. Using work of Futer and Purcell, we are able to bound the …

We show that if a closed hyperbolic 3-manifold has infinitely many finite covers of bounded Heegaard genus, then it is virtually fibered. This generalizes a theorem of Lackenby, removing restrictions needed about the regularity of the covers. Furthermore, we can replace the assumption that the covers have bounded Heega…

New method simplifies 3-manifold Heegaard genus computation.

The $\mathbb{Z}_{2}$-equivariant Heegaard Floer cohomlogy $\widehat{HF}_{\mathbb{Z}_{2}}(Σ(K))$ of a knot $K$ in $S^{3}$, constructed by Hendricks, Lipshitz, and Sarkar, is an isotopy invariant which is defined using bridge diagrams of $K$ drawn on a sphere. We prove that $\widehat{HF}_{\mathbb{Z}_{2}}(Σ(K))$ can be co…

We construct families of manifolds that have pairs of genus $g$ Heegaard splittings that must be stabilized roughly $g$ times to become equivalent. We also show that when two unstabilized, boundary-unstabilized Heegaard splittings are amalgamated by a "sufficiently complicated" map, the resulting splitting is unstabili…

We show that for any two Heegaard splittings of genus $p$ and $q$ for the same closed 3-manifold, there is a common stabilization of genus at most 3/2 p + 2q - 1. One may compare this to recent examples of Heegaard splittings whose smallest common stabilizations have genus at least $p+q$ or $p + 1/2 q$ depending on the…

We describe for each postive integer $k$ a 3-manifold with Heegaard surfaces of genus $2k$ and $2k-1$ such that any common stabilization of these two surfaces has genus at least $3k-1$. We also show that for every positive $n$, there is a 3-manifold that has $n$ pairwise non-isotopic Heegaard splittings of the same gen…

We show that after one stabilization, a strongly irreducible Heegaard splitting of suitably large genus of a graph manifold is isotopic to an amalgamation along a modified version of the system of canonical tori in the JSJ decomposition. As a corollary, two strongly irreducible Heegaard splittings of a graph manifold o…

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

Let M and M' be simple 3-manifolds, each with connected boundary of genus at least two. Suppose that M and M' are glued via a homeomorphism between their boundaries. Then we show that, provided the gluing homeomorphism is `sufficiently complicated', the Heegaard genus of the amalgamated manifold is completely determine…

Reduces connectivity problem for genus-4 Heegaard surface in 3-sphere.

For each integer k > 1, Johnson gave a 3-manifold with Heegaard splittings of genera 2k and 2k-1 such that any common stabilization of these two surfaces has genus at least 3k-1. We modify his argument to produce a 3-manifold with two Heegaard splitings of genus 2k such that any common stabilization of them has genus a…

The paper defines new knot genera and finds bounds for stabilization distances.

Let $X$ be a bundle over $S^1$ with fiber a 3--manifold $M$ and with monodromy $\varphi$. Gay and Kirby showed that if $\varphi$ fixes a genus $g$ Heegaard splitting of $M$ then $X$ has a genus $6g+1$ trisection. Genus $3g+1$ trisections have been found in certain special cases, such as the case where $\varphi$ is triv…

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