arXiv research

We present a new, completely three-dimensional proof of the fact, due to Gabai-Eliashberg-Thurston, that every closed, oriented, irreducible 3-manifold with nonzero second homology carries a universally tight contact structure.

In this note I present my understanding of, that is to say the way I look at, David Gabai's proof of his recent 4-Dimensional Light Bulb Theorem (4D-LBT). His construction, entirely smooth, is an ingenious amalgam of classical moves, and represents the first new hands-on advance in constructive smooth 4-manifold theory…

4D theorem for disks, generalizing previous work.

Any Haken 3--manifold (possibly with boundary consisting of tori) can be transformed into a $\mathrm{surface}\times S^1$ by a series of splitting and regluing along incompressible surfaces. This fact was proved by Gabai as an application of his sutured manifold theory. The first half of this paper provides a few techni…

The article examines how many stabilizations are needed to transform 5D s-cobordisms into product cobordisms.

We present a short elementary proof of an existence theorem of certain CAT(-1)-surfaces in open hyperbolic 3-manifolds. The main construction lemma in Calegari and Gabai's proof of Marden's Tameness Conjecture can be replaced by an applicable version of our theorem.

David Gabai recently proved a smooth 4-dimensional "Light Bulb Theorem" in the absence of 2-torsion in the fundamental group. We extend his result to 4-manifolds with arbitrary fundamental group by showing that an invariant of Mike Freedman and Frank Quinn gives the complete obstruction to "homotopy implies isotopy" fo…

We define the Wirtinger width of a knot. Then we prove the Wirtinger width of a knot equals its Gabai width. The algorithmic nature of the Wirtinger width leads to an efficient technique for establishing upper bounds on Gabai width. As an application, we use this technique to calculate the Gabai width of approximately …

We show that for any nontrivial knot in $S^3$, there is an open interval containing zero such that a Dehn surgery on any slope in this interval yields a 3-manifold with taut foliations. This generalizes a theorem of Gabai on zero frame surgery.

We use SO(3) gauge theory to define a functor from a category of unoriented webs and foams to the category of finite-dimensional vector spaces over the field of two elements. We prove a non-vanishing theorem for this SO(3) instanton homology of webs, using Gabai's sutured manifold theory. It is hoped that the non-vanis…

We find conditions under which a non-orientable closed surface S embedded into an orientable closed 4-manifold X can be represented by a connected sum of an embedded closed surface in X and an unknotted projective plane in a 4-sphere. This allows us to extend the Gabai 4-dimensional light bulb theorem and the Auckly-Ki…

Thurston's hyperbolization theorem for Haken manifolds and normal surface theory yield an algorithm to determine whether or not a compact orientable 3-manifold with nonempty boundary consisting of tori admits a complete finite-volume hyperbolic metric on its interior. A conjecture of Gabai, Meyerhoff, and Milley reduce…

In this note, we combine the recent 4-dimensional light bulb theorem of David Gabai and a recent construction of concordances for knots in $S^2\times S^1$ due to Eylem Zeliha Yildiz to construct a concordance between the standard surface of genus $g$ in $S^2\times S^2$ and any homologous surface.

We prove a concordance analogue of Gabai's $4$-dimensional light bulb theorem. That is, we show that when $R$ and $R'$ are homotopically (smoothly) embedded $2$-spheres in a $4$-manifold $X^4$ where $π_1(X^4)$ has no $2$-torsion and one of $R$ or $R'$ has a transverse sphere, then $R$ and $R'$ are concordant. When $π_1…

In 1976, Thurston proved that taut foliations on closed hyperbolic 3-manifolds have Euler class of norm at most one, and conjectured that conversely, any integral second cohomology class with norm equal to one is the Euler class of a taut foliation. This is the first from a series of two papers that together give a neg…

We prove that the map on knot Floer homology induced by a ribbon concordance is injective. As a consequence, we prove that the Seifert genus is monotonic under ribbon concordance. We also generalize a theorem of Gabai about the super-additivity of the Seifert genus under band connected sum. Our result gives evidence fo…

We show that if a knot has a minimal spanning surface that admits certain Gabai disks, then this knot has Property P. As one of the applications we extend and simplify a recent result of Menasco and Zhang that closed 3-braid knots have Property P. Other applications are given.

We study a canonical spanning surface obtained from a knot or link diagram depending on a given Kauffman state, and give a sufficient condition for the surface to be essential. By using the essential surface, we can see the triviality and splittability of a knot or link from its diagrams. This has been done on the exte…

We construct infinitely many smooth oriented 4-manifolds containing pairs of homotopic, smoothly embedded 2-spheres that are not topologically isotopic, but that are equivalent by an ambient diffeomorphism inducing the identity on homology. These examples show that Gabai's recent "Generalized" 4D Lightbulb Theorem does…

New invariant detects more elements in 4D diffeomorphism group.

Ozsvath and Szabo proved that knot Floer homology determines the genera of knots in S^3. We will generalize this deep result to links in homology 3-spheres, by adapting their method. Our proof relies on a result of Gabai and some constructions related to foliations. We also interpret a theorem of Kauffman in the world …

New method finds unique branched surfaces in 3-manifolds.

Colding and Gabai have given an effective version of Li's theorem that non-Haken hyperbolic 3-manifolds have finitely many irreducible Heegaard splittings. As a corollary of their work, we show that Haken hyperbolic 3-manifolds have a finite collection of strongly irreducible Heegaard surfaces $S_i$ and incompressible …

We show that every topological surface lamination of a 3-manifold M is isotopic to one with smoothly immersed leaves. This carries out a project proposed by Gabai in [Problems in foliations and laminations, AMS/IP Stud. Adv. Math. 2.2 1--33]. Consequently any such lamination admits the structure of a Riemann surface la…

Study measures invariant under horospherical subgroups for finitely generated Kleinian groups.

New 4-manifold examples show necessary conditions for 4D Light Bulb Theorem.

Classifies fibered ribbon pretzels, except for a few cases.

Thin position for knots in the 3-sphere was introduced by Gabai and has been used in a variety of contexts. We conjecture an analogue to a theorem of Schubert and Schultens concerning the bridge number of satellite knots. For a satellite knot K, we use the companion torus T to provide a lower bound for w(K), proving th…

New smoothing techniques for topological surfaces in 4-manifolds.

This paper generalizes the definition of a Heegaard splitting to unify Scharlemann and Thomspon's concept of thin position for 3-manifolds, Gabai's thin position for knots, and Rubinstein's almost normal surface theory. This gives generalizations of theorems of Scharlemann, Thompson, Rubinstein, and Stocking. In the fi…

Let $P(K)$ be a satellite knot where the pattern, $P$, is a Berge-Gabai knot (i.e., a knot in the solid torus with a non-trivial solid torus Dehn surgery), and the companion, $K$, is a non-trivial knot in $S^3$. We prove that $P(K)$ is an L-space knot if and only if $K$ is an L-space knot and $P$ is sufficiently positi…

We shall show that for a given homeomorphism type and a set of end invariants (including the parabolic locus) with necessary topological conditions which a topologically tame Kleinian group with that homeomorphism type must satisfy, there is an algebraic limit of minimally parabolic, geometrically finite Kleinian group…

In this technical note, we adapt an idea of Gabai to construct non-uniquely ergodic, non-geometric, arational trees.

New 3D handlebodies in 4-sphere and 5-ball are not isotopic even with same boundary.

We complete the proof of the Generalized Smale Conjecture, apart from the case of $RP^3$, and give a new proof of Gabai's theorem for hyperbolic 3-manifolds. We use an approach based on Ricci flow through singularities, which applies uniformly to spherical space forms other than $S^3$ and $RP^3$ and hyperbolic manifold…

If $Σ$ and $Σ'$ are homotopic embedded surfaces in a $4$-manifold then they may be related by a regular homotopy (at the expense of introducing double points) or by a sequence of stabilisations and destabilisations (at the expense of adding genus). This naturally gives rise to two integer-valued notions of distance bet…

Contact structures on 3-manifolds are analyzed by decomposing the manifold along convex surfaces. Background results of Giroux, Eliashberg, Colin, and Honda are discussed with an emphasis on examples. Convex decompositions are then used to give a new proof of the Gabai-Eliashberg-Thurston Theorem on the existence of un…

This paper contains a purely topological theorem and a geometric application. The topological theorem states that if M is a simple closed orientable 3-manifold such that π_1(M) contains a genus g surface group and H_1(M;Z/2Z) has rank at least 4g-1 then M contains a closed incompressible surface of genus at most g. Thi…

We give a sufficient condition for a branched surface in a 3 dimensional manifold to fully carry a lamination, giving a piece of answer to a classical question of D. Gabai.

We define a new notion of thin position for a graph in a 3-manifold which combines the ideas of thin position for manifolds first originated by Scharlemann and Thompson with the idea of thin position for knots first originated by Gabai. This thin position has the property that connect summing annuli and pairs-of-pants …

A closed hyperbolic 3-manifold is exceptional if its shortest geodesic does not have an embedded tube of radius $\ln(3)/2$. D. Gabai, R. Meyerhoff and N. Thurston identified seven families of exceptional manifolds in their proof of the homotopy rigidity theorem. They identified the hyperbolic manifold known as Vol3 in …

A \emph{generalized dunce hat} is a 2-dimensional polyhedron created by attaching the boundary of a disk $Δ$ to a circle $J$ via a map $f:\partial Δ\to J$ with the property that there is a point $v \in J$ such that $f^{-1}(\{v\})$ is a finite set containing at least 3 points and $f$ maps each component of $\partial Δ- …

A rational homology sphere whose Heegaard Floer homology is the same as that of a lens space is called an L-space. We classify pretzel knots with any number of tangles which admit L-space surgeries. This rests on Gabai's classification of fibered pretzel links.

New knot homologies detect non-fibered knots, expanding on previous results.

Marden's Tameness Conjecture predicts that every hyperbolic 3-manifold with finitely generated fundamental group is homeomorphic to the interior of a compact 3-manifold. It was recently established by Agol and Calegari-Gabai. We will survey the history of work on this conjecture and discuss its many applications.

In this note, we prove that if the boundary of a Mazur-type $4$-manifold is an irreducible Heegaard Floer homology $L$-space, then the manifold must be the $4$-ball, and the boundary must be the $3$-sphere. We use this to give a new proof of Gabai's Property R.

New invariants measure how far spanning surfaces are from being compressible.

We enumerate the small-volume manifolds that can be obtained by Dehn filling on Mom-2 and Mom-3 manifolds as defined by Gabai, Meyerhoff, and the author. In so doing we complete the proof that the Weeks manifold is the minimum-volume compact hyperbolic 3-manifold, as well as enumerating the 10 smallest one-cusped hyper…