Fibered symplectic cohomology and the Leray-Serre spectral sequence (Q1001121): Difference between revisions

Let \(F\hookrightarrow E\overset\pi\rightarrow B\) be symplectic fibrations having a closed symplectic base \((B,\beta)\), a fiber with contact type boundary, and possessing a coupling form \(\Omega\). Symplectic fibrations are negative symplectic fibrations if they satisfy a negativity property reminiscent of negative curvature in Hermitian vector bundles, as well as a monodromy condition allowing to define parallel transport along the boundary. The total space \(E\) is a symplectic manifold with symplectic form \(\omega_\varepsilon\pi^*\beta+\varepsilon \Omega\). A symplectic manifold \((B,\beta)\) is called symplectically aspherical if \(\int f^ *\beta=0\) for any smooth map \(f:\mathbb S^ 2\to B\), and it is monotone if there exists \(\lambda\geq 0\) such that \(\langle[\beta],[f]\rangle=\lambda\langle c_{_ 1}(TB),[f]\rangle\). In this paper, the author defines symplectic homology and cohomology groups \(FH_ *^{[a,b]}(E)\) and \(FH^ *_{[a,b]}(E)\) and constructs a cohomology spectral sequence \(E^{p,q}_ r(a,b)\) of Leray-Serre type converging to \(FH^ *_{[a,b]}(E)\) such that \(E^{p,q}_ 2(a,b)\simeq H^{n+p}(B;{\mathcal F}{\mathcal H}^ q_{[a,b]}(F))\).