Projective Naturality in Heegaard Floer Homology

Abstract

Let $\text{Man}_{*}$ denote the category of closed, connected, oriented and based $3$-manifolds, with basepoint preserving diffeomorphisms between them. Juh\'asz, Thurston and Zemke showed that the Heegaard Floer invariants are natural with respect to diffeomorphisms, in the sense that there are functors $HF^{\circ}: \text{Man}_{*} \rightarrow \mathbb{F}_{2}[U]\text{-}\text{Mod}$ whose values agree with the invariants defined by Ozsv\'ath and Szab\'o. The invariant associated to a based $3$-manifold comes from a transitive system in $\mathbb{F}_{2}[U]\text{-}\text{Mod}$ associated to a graph of embedded Heegaard diagrams representing the $3$-manifold. We show that the Heegaard Floer invariants yield functors $HF^{\circ}: \text{Man}_{*} \rightarrow \text{Trans}(P(\mathbb{Z}[U]\text{-}\text{Mod}))$ to the category of transitive systems in a projectivized category of $\mathbb{Z}[U]$-modules. In doing so, we will see that the transitive system of modules associated to a $3$-manifold actually comes from an underlying transitive system in the projectivized homotopy category of chain complexes over $\mathbb{Z}[U]\text{-}\text{Mod}$. We discuss an application to involutive Heegaard Floer homology, and potential generalizations of our results.