arXiv subjects
Publications and source records attributed to Jesse Johnson.
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.
We define a notion of Hempel distance for one-sided Heegaard splittings and show that the existence of alternate surfaces restricts distance for one-sided splittings in a manner similar to Hartshorn's and Scharlemann-Tomova's results for two-sided splittings. We also show that every geometrically compressible one-sided Heegaard surface in a non-Haken 3-manifold is stabilized, and show that the mapping class group of the two-sided Heegaard splitting induced by a high distance one-sided splitting is isomorphic to the fundamental group of the one-sided surface.
The mapping class group of a Heegaard splitting is the group of automorphisms of the ambient 3-manifold that take the surface onto itself, modulo isotopies that keep the surface on itself. We characterize the mapping classes that restrict to periodic and reducible automorphisms of the surface.
We show that if the monodromy of an open book decomposition has sufficiently high displacement distance, acting on the loop and arc complex for a page, then it is the unique minimal Euler characteristic open book for the manifold. In particular, we show that such an open book induces the unique (up to isotopy) minimal genus Heegaard surface for the manifold, and that this Heegaard surface has cyclic mapping class group.
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 (M,F). In particular, for hyperbolic M each path component is a classifying space for the Goeritz group, and when the (Hempel) distance of (M,F) is greater than 3, each path component of H(M,F) is contractible. For splittings of genus 0 or 1, we determine the complete homotopy type (modulo the Smale Conjecture for M in the cases when it is not known).
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 notion of equivalence.
We show that given a partially flat angled ideal triangulation for a 3-manifold $M$ with boundary (as defined by Lackenby), there is an algorithm to produce a list of Heegaard splittings for $M$ such that below a given genus $g$, each isotopy class appears exactly once. In particular, this algorithm determines precisely when two almost normal surfaces represent Heegaard splittings that are isotopic in the ambient 3-manifold. A closely related algorithm determines the smallest genus common stabilization of any two Heegaard splittings on the list. The methods, in fact, characterize isotopies between Heegaard surfaces in any triangulation, but the existence of infinitely many normal surfaces of the same genus prevents this characterization from being algorithmic in general.
We define a combinatorial structure on 3-manifolds that combines the model manifolds constructed in Minsky's proof of the ending lamination conjecture with the layered triangulations defined by Jaco and Rubinstein.
We show that a pseudo-Anosov map on a boundary component of an irreducible 3-manifold has a power that partially extends to the interior if and only if its (un)stable lamination is a projective limit of meridians. The proof is through 3-dimensional hyperbolic geometry, and involves an investigation of algebraic limits of convex cocompact compression bodies.
We show that if $K$ is a knot in $S^3$ and $Σ$ is a bridge sphere for $K$ with high distance and $2n$ punctures, the number of perturbations of $K$ required to interchange the two balls bounded by $Σ$ via an isotopy is $n$. We also construct a knot with two different bridge spheres with $2n$ and $2n-1$ bridges respectively for which any common perturbation has at least $3n-1$ bridges. We generalize both of these results to bridge surfaces for knots in any 3-manifold.
We show that sub-surfaces of a Heegaard surface for which the relative Hempel distance of the splitting is sufficiently high have to appear in any Heegaard surface of genus bounded by half that distance.
We show that if the Hempel distance of a Heegaard splitting is larger than three then the mapping class group of the Heegaard splitting is isomorphic to a subgroup of the mapping class group of the ambient 3-manifold. This implies that given two handlebody sets in the curve complex for a surface that are distance at least four apart, the group of automorphisms of the curve complex that preserve both handlebody sets is finite.
The topological index of a surface was previously introduced by the first author as the topological analogue of the index of an unstable minimal surface. Here we show that surfaces of arbitrarily high topological index exist.
We define integral measures of complexity for Heegaard splittings based on the graph dual to the curve complex and on the pants complex defined by Hatcher and Thurston. As the Heegaard splitting is stabilized, the sequence of complexities turns out to converge to a non-trivial limit depending only on the manifold. We then use a similar method to compare different manifolds, defining a distance which converges under stabilization to an integer related to Dehn surgeries between the two manifolds.
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 genus all of which are stabilized.
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 that if an orientable Seifert fibered space $M$ with an orientable genus $g$ base space admits a strongly irreducible horizontal Heegaard splitting then there is a one-to-one correspondence between isotopy classes of strongly irreducible horizontal Heegaard splittings and elements of $\mathbf{Z}^{2g}$. The correspondence is determined by the slopes of intersection of each Heegaard splitting with a collection of $2g$ incompressible tori in $M$. We also show that there are Seifert fibered spaces with infinitely many non-isotopic Heegaard splittings that determine Nielsen equivalent generating systems for the fundamental group of $M$.
The mapping class group of a Heegaard splitting is the group of connected components in the set of automorphisms of the ambient manifold that map the Heegaard surface onto itself. For the genus three Heegaard splitting of the 3-torus, we find an eight element generating set for this group. Six of these generators induce generating elements of the mapping class group of the 3-torus and the remaining two are isotopy trivial in the 3-torus.