Periodic Floer homology and Seiberg-Witten-Floer cohomology (Q431725)

The paper under review gives the proof of a conjecture of Hutchings which asserts that the periodic Floer homology associated to the mapping torus of an area preserving diffeomorphism of an oriented surface is isomorphic to a version of the Seiberg-Witten Floer cohomology. The former was defined by \textit{M. Hutchings} [J. Eur. Math. Soc. (JEMS) 4, No.4, 313--361 (2002; Zbl 1017.58005)] and \textit{M. Hutchings} and \textit{M. Sullivan} [Algebr. Geom. Topol. 5, 301--354 (2005; Zbl 1089.57021)] in the following context. Let \(M\) be the mapping torus of a diffeomorphism \(f:F\rightarrow F\) which preserves the area form \(\omega_{f}\). Let \(\Gamma\in H^{1}(M;\mathbb Z)\) be a cohomology class. The periodic Floer homology \(HP(f,\Gamma)\) is the homology of a free complex spanned by the pairs \((\gamma,m)\), where \(\gamma\) is a periodic orbit of the gradient of the fibration \(\pi:M\rightarrow S^1\) and \(m\) is an integer such that \(\Sigma\, m[\gamma]= \Gamma\), distinct pairs have distinct periodic orbit components and \(m=1\) when \(\gamma\) is hyperbolic. The differential is given by the count of some holomorphic curves in \(\mathbb R\times M\) endowed with an appropriate almost complex structure. The isomorphism is first proved under the assumption that \(\Gamma\) is monotone, meaning that \([\omega_{f}]\) is proportional to the class \(2e_{\Gamma}+c_{1}\) where \(e_{\Gamma}\) is the Poincaré dual of \(\Gamma\) and \(c_{1}\) is the first Chern class of \((F, \omega_{f})\). This condition is needed to have Gromov compactness on the appropriate moduli space of holomorphic curves. As a corollary, the periodic Floer homology only depends on the orientation on \(F\), the Hamiltonian isotopy class of \(f\) and the class \(\Gamma\). The paper also provides some computations used to show how one homology can be deduced from the other in different particular cases. The proof follows Taubes' proof of the isomorphism between Hutchings's embedded contact homology and Seiberg-Witten Floer cohomology [\textit{C. H. Taubes}, Geom. Topol. 14, 2497--2582 (2010; Zbl 1276.57037), ibid. 2583--2720 (2010; Zbl 1276.57024), ibid. 2721--2818 (2010; Zbl 1276.57025), ibid. 2819--2960 (2010;Zbl 1276.57026)]. At the end of the paper a generalization for the non-monotone case is proved; it involves Novikov coefficients on the chain complexes and a generalized version of Seiberg-Witten Floer cohomology.