Abstract:Let $\text{Man}_{*}$ denote the category of closed, connected, oriented and based $3$-manifolds, with basepoint preserving diffeomorphisms between them. Juhász, 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áth and Szabó. 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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to achieve naturality with respect to diffeomorphisms in Heegaard Floer homology, especially in the case of coefficients being the integers $\mathbb{Z}$. Specifically, the goal of the paper is to prove that Heegaard Floer invariants are natural under diffeomorphisms, that is, these invariants are consistent between different Heegaard diagram representations, and this consistency can be extended to the projection category that includes sign changes.
### Main problems
1. **Naturality problem**:
- Prove the naturality of Heegaard Floer invariants under diffeomorphisms, especially for the case of coefficients being the integers $\mathbb{Z}$.
- Ensure that these invariants are consistent between different Heegaard diagram representations, and this consistency can be extended to the projection category that includes sign changes.
2. **Technical challenges**:
- Previous work mainly focused on the case of coefficients being $\mathbb{F}_2$, while this paper needs to deal with the case of coefficients being $\mathbb{Z}$.
- It is necessary to deal with the influence of simple handle - swap between Heegaard diagrams on the invariants, which was a key difficulty in previous work.
### Specific goals
- **Main results**:
- Establish functors from the closed 3 - manifold category $\text{Man}^*$ to the projection category $\text{Trans}(P(\mathbb{Z}[U]\text{-Mod}))$:
\[
d\text{HF}, \text{HF}^-, \text{HF}^+, \text{HF}^\infty: \text{Man}^* \to \text{Trans}(P(\mathbb{Z}[U]\text{-Mod}))
\]
- Prove that these functors are natural in the sense of homotopy equivalence, and diffeomorphisms that are homotopic have the same image.
- **Corollaries**:
- The finite - rank variant $\text{HF}_{\text{red}}$ also satisfies the above properties, that is:
\[
\text{HF}_{\text{red}}: \text{Man}^* \to \text{Trans}(P(\mathbb{Z}[U]\text{-Mod}))
\]
### Applications and generalizations
- **Mixed invariants with 4 - dimensional manifolds**:
- By establishing naturality under diffeomorphisms, one can define mixed invariants of 4 - dimensional manifolds, which are very effective in detecting smooth information.
- In particular, one can obtain mixed invariants of the form:
\[
\Phi_{X,t}: \Lambda^*(H_1(X; \mathbb{Z})/\text{Tors}) \otimes \mathbb{Z}[U] \to \mathbb{Z}/\pm
\]
- **Symmetric Heegaard Floer homology**:
- By introducing involutive Heegaard Floer homology, one can construct new invariants, which are still valid in the case of coefficients being $\mathbb{Z}$.
### Structure and methods
- **Background and preliminaries**:
- Introduce the basic concepts of sutured 3 - manifolds and Heegaard diagrams.
- Describe the correspondence between sutured 3 - manifolds and closed 3 - manifolds.
- **Main technical steps**:
- Prove the homotopy equivalence of Heegaard Floer chain complexes between different Heegaard diagrams.
- Check whether weak Heegaard invariants satisfy all the axioms of strong Heegaard invariants, especially simple handle - swap invariance.
Through these steps, the paper successfully fills in the literature.