Bordered manifolds with torus boundary and the link surgery formula

TL;DR

This paper develops a bordered Heegaard Floer homology theory for manifolds with torus boundary, introducing algebraic structures and formulas to compute invariants of complex 3-manifolds via gluing and surgery techniques.

Contribution

It introduces a new algebraic framework for bordered HF^- using the link surgery formula, including type-D modules and an A_infinity tensor product, enabling computations of 3-manifold invariants.

Findings

Connected sum formula as an A_infinity tensor product.

Interpretation of dual knot formulas as bimodules.

Computations of Heegaard Floer homology for manifolds obtained by gluing knots.

Abstract

In this paper, we develop a theory of bordered $\mathit{HF}^-$ using the link surgery formula of Manolescu and Ozsv\'{a}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 $\mathit{CF}^-(Y)$ from $\mathit{CFK}^\infty(K_1)$ and $\mathit{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\'{e}methi's conjecture about lattice homology.