Related papers: Disk surgery and the primitive disk complexes of t…

A smooth embedding of a closed $3$-manifold $M$ in $\mathbb{R}^4$ may generically be composed with projection to the fourth coordinate to determine a Morse function on $M$ and hence a Heegaard splitting $M=X\cup_\Sigma Y$. However, starting…

Let $M$ be a closed orientable 3-manifold with a genus two Heegaard splitting $(V_1, V_2; F)$ and a non-trivial JSJ-decomposition, where all components of the intersection of the JSJ-tori and $V_i$ are not $\partial$-parallel in $V_i$ for…

A family of one-vertex triangulations of 3-manifolds, layered-triangulations, is defined. Layered-triangulations are first described for handlebodies and then extended to all 3-manifolds via Heegaard splittings. A complete and detailed…

In this paper, we show that, for any integers $n\geq 2$ and $g\geq 2$, there exist genus-$g$ Heegaard splittings of compact 3-manifolds with distance exactly $n$.

It is clear that every rational surgery on a Hopf link in $3$-sphere is a lens space surgery. In this note we give an explicit computation which lens space is a resulting manifold. The main tool we use is the calculus of continued…

We prove that the mapping class groups of the genus 3 Heegaard splittings of the connected sum of two lens spaces are finitely generated, and the corresponding reducing sphere complexes are all connected.

We give a distance estimate for the metric on the disk complex and show that it is Gromov hyperbolic. As another application of our techniques, we find an algorithm which computes the Hempel distance of a Heegaard splitting, up to an error…

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.

The Powell Conjecture states that the Goeritz group of the Heegaard splitting of the $3$-sphere is finitely generated; furthermore, four specific elements suffice to generate the group. Zupan demonstrated that the conjecture holds if and…

For any knot $K$ in $S^3$ and any positive rational $r$, we show that smooth $(-r)$-surgery on $K$ always admits a tight contact structure. More specifically, the tightness is detected by the non-vanishing Heegaard Floer contact invariant.

We examine surgery on a knot in $S^3$ to determine surgery obstructions to Seifert fibered integral homology spheres. We find such surgery obstructions using Heegaard Floer, Knot Floer homology and the mapping cone formula for computing…

We establish a surgery formula for 3-dimensional Seiberg-Witten monopoles under (+1) Dehn surgery on a knot in a homology 3-sphere. (substantial revision)

In 2008 Petersen posed a list of questions on the application of trans-quasiconformal Siegel surgery developed by Zakeri and himself. In this paper we extend Petersen-Zakeri's idea so that the surgery can be applied to all the premodels…

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…

Using Taubes' periodic ends theorem, Auckly gave examples of toroidal and hyperbolic irreducible integer homology spheres which are not surgery on a knot in the three-sphere. We give an obstruction to a homology sphere being surgery on a…

Haken showed that the Heegaard splittings of reducible 3-manifolds are reducible, that is, a reducing 2-sphere can be found which intersects the Heegaard surface in a single simple closed curve. When the genus of the "interesting" surface…

For a knot $K\subset S^3$, its exterior $E(K) = S^3\backslash\eta(K)$ has a singular foliation by Seifert surfaces of $K$ derived from a circle-valued Morse function $f\colon E(K)\to S^1$. When $f$ is self-indexing and has no critical…

A simple closed curve in the boundary surface of a handlebody is called primitive if there exists an essential disk in the handlebody whose boundary circle intersects the curve transversely in a single point. The primitive curve complex is…

Let $(M,g)$ be a (complete) Riemannian surface, and let $\Omega\subset M$ be an open subset whose closure is homeomorphic to a disk. We prove that if $\partial\Omega$ is smooth and it satisfies a strong concavity assumption, then there are…

We study trivalent graphs in $S^{3}$ whose closed complement is a genus two handlebody. We show that such a graph, when put in thin position, has a simple (i. e. non-loop) level edge.