Bordered Floer homology for manifolds with torus boundary via immersed curves

Abstract

This paper gives a geometric interpretation of bordered Heegaard Floer homology for manifolds with torus boundary. If $M$ is such a manifold, we show that the type D structure $\widehat{CFD}$ may be viewed as a set of immersed curves decorated with local systems in $\partial M$. These curves-with-decoration are invariants of the underlying three-manifold up to regular homotopy of the curves and isomorphism of the local systems. Given two such manifolds and a homeomorphism $h$ between the boundary tori, the Heegaard Floer homology of the closed manifold obtained by gluing with $h$ is obtained from the Lagrangian intersection Floer homology of the curve-sets. This machinery has several applications: We establish that the dimension of $\widehat{HF}$ decreases under a certain class of degree one maps (pinches) and we establish that the existence of an essential separating torus gives rise to a lower bound on the dimension of $\widehat{HF}$. In particular, it follows that a prime rational homology sphere $Y$ with $\widehat{HF}(Y)<5$ must be geometric. Other results include a new proof of Eftekhary's theorem that L-space homology spheres are atoroidal; a complete characterisation of toroidal L-spaces in terms of gluing data; and a proof of a conjecture of Hom, Lidman, and Vafaee on satellite L-space knots.

87 pages, 63 figures. Version 3: Revised and expanded following referee comments; this version accepted to Journal of the American Mathematical Society. Version 2: Major rewrite removing the loop-type hypothesis and improving applications. Some material has been omitted from this version and will appear in a forthcoming companion paper

Cited by in corpus (6)

• Instanton Floer homology, sutures, and Heegaard diagrams
• Seifert vs slice genera of knots in twist families and a characterization of braid axes
• Instanton L-spaces and splicing
• Rank inequalities for the Heegaard Floer homology of branched covers
• On symmetries of peculiar modules; or, $\delta$-graded link Floer homology is mutation invariant
• Taut foliations, braid positivity, and unknot detection