Bordered manifolds with torus boundary and the link surgery formula

Abstract

In this paper, we develop a theory of bordered ${HF}^{-}$ using the link surgery formula of Manolescu and Ozsváth. We interpret their link surgery complexes as type-$D$ modules over an associative algebra $\mathcal{K}$, which we introduce. We prove a connected sum formula, which we interpret as an $A_{\infty }$-tensor product over our algebra $\mathcal{K}$. Topologically, this connected sum formula may be viewed as a formula for gluing along torus boundary components. We compute several important examples. We show that the dual knot formula of Hedden--Levine and Eftekhary may be interpreted as the $DA$-bimodule for a particular diffeomorphism of the torus. As another example, if $K_1$ and $K_2$ are knots in $S^3$, and $Y$ is obtained by gluing the complements of $K_1$ and $K_2$ together using an orientation reversing diffeomorphism of their boundaries, then our theory may be used to compute ${CF}^{-}(Y)$ from ${CFK}^{\infty }(K_1)$ and ${CFK}^{\infty }(K_2)$. We additionally compute the type-$D$ modules for rationally framed solid tori. Our theory also computes the Heegaard Floer homology of all 3-manifolds which bound a plumbing of a tree of disk bundles over 2-spheres. In a subsequent article, we use this work to verify Némethi's conjecture about lattice homology.

arXiv comment196 pages. v6: Additional corrections and improvements in response to a referee report