An official website of the United States government
This content will become publicly available on March 1, 2026
Strong Haken via thin position
We use thin position of Heegaard splittings to give a new proof of Haken's Lemma that a Heegaard surface of a reducible manifold is reducible and of Scharlemann's ``Strong Haken Theorem'': a Heegaard surface for a 3-manifold may be isotoped to intersect a given collection of essential spheres and discs in a single loop each. We also give a reformulation of Casson and Gordon's theorem on weakly reducible Heegaard splittings, showing that they exhibit additional structure with respect to certain incompressible surfaces. This article could also serve as an introduction to the theory of generalized Heegaard surfaces and it includes a careful study of their behaviour under amalgamation.
more »
« less
- Award ID(s):
- 2104022
- PAR ID:
- 10629802
- Publisher / Repository:
- Boletín de la Sociedad Matemática Mexicana
- Date Published:
- Journal Name:
- Boletín de la Sociedad Matemática Mexicana
- Volume:
- 31
- Issue:
- 1
- ISSN:
- 1405-213X
- Subject(s) / Keyword(s):
- 3-manifold Heegaard splitting
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
We show that all versions of Heegaard Floer homology, link Floer homology, and sutured Floer homology are natural. That is, they assign concrete groups to each based 3-manifold, based link, and balanced sutured manifold, respectively. Furthermore, we functorially assign isomorphisms to (based) diffeomorphisms, and show that this assignment is isotopy invariant. The proof relies on finding a simple generating set for the fundamental group of the “space of Heegaard diagrams,” and then showing that Heegaard Floer homology has no monodromy around these generators. In fact, this allows us to give sufficient conditions for an arbitrary invariant of multi-pointed Heegaard diagrams to descend to a natural invariant of 3-manifolds, links, or sutured manifolds.more » « less
-
We give several criteria on a closed, oriented 3-manifold that will imply that it is the boundary of a (simply connected) 4-manifold that admits infinitely many distinct smooth structures. We also show that any weakly fillable contact 3-manifold, or contact 3-manifold with non-vanishing Heegaard Floer invariant, is the boundary of a simply connected 4-manifold that admits infinitely many distinct smooth structures each of which supports a symplectic structure with concave boundary, that is there are infinitely many exotic caps for any such contact manifold.more » « less
-
For and finite groups, does there exist a 3-manifold group with as a quotient but no as a quotient? We answer all such questions in terms of the group cohomology of finite groups. We prove non-existence with topological results generalizing the theory of semicharacteristics. To prove existence of 3-manifolds with certain finite quotients but not others, we use a probabilistic method, by first proving a formula for the distribution of the (profinite completion of) the fundamental group of a random 3-manifold in the Dunfield-Thurston model of random Heegaard splittings as the genus goes to infinity. We believe this is the first construction of a new distribution of random groups from its moments.more » « less
-
Abstract A previous result about the decategorified bordered (sutured) Heegaard Floer invariants of surfaces glued together along intervals, generalizing the decategorified content of Rouquier and the author’s higher-tensor-product-based gluing theorem in cornered Heegaard Floer homology, was proved only over $${\mathbb{F}}_2$$ and without gradings. In this paper we add signs and prove a graded version of the interval gluing theorem over $${\mathbb{Z}}$$, enabling a more detailed comparison of these aspects of decategorified Heegaard Floer theory with modern work on non-semisimple 3d TQFTs in mathematics and physics.more » « less
