Adam Levine, Duke, Heegaard Floer invariants for homology $S^1 \times S^3$s
SAS 4201Using Heegaard Floer homology, we construct a numerical invariant for any smooth, oriented 4-manifold X with the homology of $S^1 \times S^3$. Specifically, we show that for any smoothly embedded 3-manifold Y representing a generator of H_3(X), a suitable version of the Heegaard Floer d invariant of Y, defined using twisted coefficients, is a diffeomorphism…