The twisted Floer homology of torus bundles (Q969661)

Let \(Y\) be a closed \(3\)-manifold and \([\omega] \in H^2(Y; \mathbb{Z})\). The main result in this paper concerns the \(\omega\)-twisted Heegaard Floer homology \(\underline{HF}^+(Y; \Lambda_\omega)\), cf. \textit{P.~Ozsváth} and \textit{Z.~Szabó} [Ann. Math. (2) 159, 1027--1158 (2004; Zbl 1073.57009)] when \(Y\) is fibered over \(S^1\) with torus fiber \(F\). Here, \(\Lambda_\omega\) is the universal Novikov ring \(\Lambda\) with a \(\mathbb{Z}[H^1(Y; \mathbb{Z})]\)-action defined from \(\omega\). The paper shows that when \(\omega(F) \neq 0\), \(\underline{HF}^+(Y; \Lambda_\omega) \cong \Lambda\), in analogy to a similar result proven for higher genus fibers \(F\) in \textit{P.~Ozsváth} and \textit{Z.~Szabó} [Duke Math. J. 121, 1--34 (2004; Zbl 1059.57018)]. The proof follows similar lines as well. First a surgery exact sequence of \(\omega\)-twisted Heegaard Floer homology is shown, similar to \textit{P.~Ozsváth} and \textit{Z.~Szabó} [Ann. Math. (2) 159, 1159--1245 (2004; Zbl 1081.57013)], which is used to prove the main result as in the first mentioned paper of \textit{Ozsváth-Szabó}.