No label defined (Q4946347)

Let \(\Sigma\) be a compact Riemann surface with area form \(\omega\), and let \(f_0,f_1,\ldots,f_n\) be orientation and area preserving diffeomorphisms of \(\Sigma\) such that \(f_n\circ \ldots \circ f_1=id\). Suppose that \(P\to \Sigma\) is a principal \(SO(3)\)-bundle with nonzero second Stiefel-Whitney class, and choose lifts \(\overline{f}_j:P\to P\) to bundle automorphisms that also satisfy \(\overline{f}_n\circ \ldots \circ \overline{f}_1=id\). They determine \(SO(3)\)-bundles \(Q_{\overline{f}_j}\to Y_{{f}_j}\) over mapping tori. There are natural product structures in instanton Floer homology \(HF(Y_{{f}_j},Q_{\overline{f}_j})\) and in symplectic Floer homology \(HF^{\text{symp}}(M_{\Sigma}, \phi_{\overline{f}_0})\), where \(\phi_{\overline{f}_j}:M_{\Sigma}\to M_{\Sigma}\) are symplectomorphisms on the moduli space of flat connections on \(P\) induced by the lifts \(\overline{f}_j\). The main result of this paper is the theorem which states that the natural isomorphism \(HF(Y_{{f}},Q_{\overline{f}})\to HF^{\text{symp}}(M_{\Sigma}, \phi_{\overline{f}})\) constructed in [\textit{St. Dostoglou} and \textit{D. A. Salamon}, Ann. Math., II. Ser. 139, 581-640 (1994; Zbl 0812.58031)] intertwines the two product structures mentioned above (up to sign). For the entire collection see [Zbl 0930.00050].