33 pages, 8 figures. For version 2, referee's comments incorporated, to appear in L'Enseignement Mathématiques. Reference to Miyazaki added, to whom Theorem A belongs
Define the 1-handle stabilization distance between two surfaces properly embedded in a fixed 4-dimensional manifold to be the minimal number of 1-handle stabilizations necessary for the surfaces to become ambiently isotopic. For every nonnegative integer $m$ we find a pair of 2-knots in the 4-sphere whose stabilization distance equals $m$. Next, using a generalized stabilization distance that counts connected sum with arbitrary 2-knots as distance zero, for every nonnegative integer $m$ we exhibit a knot $J_m$ in the 3-sphere with two slice discs in the 4-ball whose generalized stabilization distance equals $m$. We show this using homology of cyclic covers. Finally, we use metabelian twisted homology to show that for each $m$ there exists a knot and pair of slice discs with generalized stabilization distance at least $m$, with the additional property that abelian invariants associated to cyclic covering spaces coincide. This detects different choices of slicing discs corresponding to a fixed metabolising link on a Seifert surface.
In this paper, we focus on the Hopf invariant and give an alternative proof for the unboundedness of stabilization heights of fiber surfaces, which was firstly proved by Baader and Misev.
In this paper, we study stable equivalence of exotically knotted surfaces in 4-manifolds, surfaces that are topologically isotopic but not smoothly isotopic. We prove that any pair of embedded surfaces in the same homology class become smoothly isotopic after stabilizing them by handle additions in the ambient 4-manifold, which can moreover assumed to be attached in a standard way (locally and unknottedly) in many favorable situations. In particular, any exotically knotted pair of surfaces with cyclic fundamental group complements become smoothly isotopic after a same number of standard stabil…
Any two homologous surfaces of the same genus embedded in a smooth 4-manifold X with simply-connected complements are shown to be smoothly isotopic in the connected sum of X and the product of a 2-sphere with itself, if the surfaces are ordinary, and in the connected sum of X with the non-trivial sphere bundle over the sphere if they are characteristic.
Given a simply-connected closed 4-manifold $X$ and a smoothly embedded oriented surface $Σ$, various constructions based on Fintushel-Stern knot surgery have produced new surfaces in $X$ that are pairwise homeomorphic to $Σ$, but not diffeomorphic. We prove that for all known examples of surface knots constructed from knot surgery operations that preserve the fundamental group of the complement of surface knots, they become pairwise diffeomorphic after stabilizing by connected summing with one $S^2\tilde{\times}S^2$. When $X$ is spin, we show in addition that any surfaces obtained by a knot su…
We address a special case of the Stabilization Problem for Heegaard splittings, establishing an upper bound on the number of stabilizations required to make a Heegaard splitting of a Haken 3-manifold isotopic to an amalgamation along an essential surface. As a consequence we show that for any positive integer $n$ there are 3-manifolds containing an essential torus and a Heegaard splitting such that the torus and splitting surface must intersect in at least $n$ simple closed curves. These give the first examples of lower bounds on the minimum number of curves of intersection between an essentia…
Wall-type stabilization problems investigate the collapse of exotic 4-dimensional phenomena under stabilization operations (e.g., taking connected sums with $S^2 \times S^2$). We propose an elementary approach to these problems, providing a construction of exotic 4-manifolds and knotted surfaces that are candidates to remain exotic after stabilization -- including examples in the setting of closed, simply connected 4-manifolds. As a proof of concept, we show this construction yields exotic surfaces in the 4-ball that remain exotic after (internal) stabilization, detected by the cobordism maps …
Any 2-bridge knot in the 3-sphere has a bridge sphere from which any other bridge surface can be obtained by stabilization, meridional stabilization, perturbation and proper isotopy.
We employ a certain labeled finite graph, called a chart, in a closed oriented surface for describing the monodromy of a(n achiral) Lefschetz fibration over the surface. Applying charts and their moves with respect to Wajnryb's presentation of mapping class groups, we first generalize a signature formula for Lefschetz fibrations over the 2-sphere obtained by Endo and Nagami to that for Lefschetz fibrations over arbitrary closed oriented surface. We then show two theorems on stabilization of Lefschetz fibrations under fiber summing with copies of a typical Lefschetz fibration as generalizations…
Suppose $K$ is a knot in $S^3$ with bridge number $n$ and bridge distance greater than $2n$. We show that there are at most ${2n\choose n}$ distinct minimal genus Heegaard splittings of $S^3\setminusη(K)$. These splittings can be divided into two families. Two splittings from the same family become equivalent after at most one stabilization. If $K$ has bridge distance at least $4n$, then two splittings from different families become equivalent only after $n-1$ stabilizations. Further, we construct representatives of the isotopy classes of the minimal tunnel systems for $K$ corresponding to the…
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' < \frac{d}{2}$ is a stabilization of $Σ$. In the present paper, we show that Hartshorn's bound is sharp and Scharlemann-Tomova's bound is very close to sharp. In particular, for every pair of integers $g \geq 2, d \geq 2$, we construct a three-manifold $M$ with a genus $g$, distance $d…
For each g greater than one there is a 3-manifold with two genus g Heegaard splittings that require g stabilizations to become equivalent. Previously known examples required at most one stabilization. Control of families of Heegaard surfaces is obtained through a deformation to harmonic maps.
We show that the number of stabilizations needed to interchange the handlebodies of a Heegaard splitting of a closed 3-manifold by an isotopy is bounded below by the smaller of twice its genus or half its Hempel distance. This is a combinatorial version of a proof by Hass, Thompson and Thurston of a similar theorem, but with an explicit bound in terms of distance. We also show that in a 3-manifold with boundary, the stable genus of a Heegaard splitting and a boundary stabilization of itself is bounded below by the same value.
We show how certain stabilizations produce infinitely many closed oriented 4-manifolds which are the total spaces of genus g surface bundles (resp. Lefschetz fibrations) over genus h surfaces and have non-zero signature, but do not admit complex structures with either orientations, for "most" (resp. all) possible values of g at least 3 and h at least 2 (resp. g at least 2 and h non-negative).
