On extensions of a symplectic class (Q645480): Difference between revisions

From the viewpoint of rational homotopy theory, the author defines that a closed symplectic manifold \((M, \omega)\) is \(\mathbb T^{2k}\)-separable if it admits a minimal model of the form \((\wedge V, d)= \otimes_{i=1}^k(\wedge(t_{i_1}, t_{i_2}), 0)\otimes(\wedge Z, d)\) with a graded vector space \(V\), for which \((Z)^1=0\) and there exists a cocycle \(\beta\in (Z)^2\) such that in \(H^2(M; \mathbb R), we have [\omega]= q\gamma[\beta]+\sum_{i=1}^kq_i\gamma([t_{i_1}, t_{i_2}])\) for some non-zero real numbers \(q\) and \(q_i\), where \(\gamma\) denotes the map induced by the inclusion \(\mathbb Q\to\mathbb R\). After choosing a map of rationalized spaces \(p_M\) from \(M\) to \(\mathbb T^{2k}\), such that \(p_M^*[s_{i_{\lambda}}]= t_{i_\lambda}\) for appropriate generators \(s_{1_{\lambda}},\cdots, s_{k_{\lambda}}\;(\lambda=1, 2)\) of \(H^*(\mathbb T^{2k})\), the author defines a composite map \(\kappa=\tau\circ ev^*\circ p_M^*: H^1(\mathbb T^{2k})\to H^2(B_{aut_1(M)})\) called detective map where \(ev\) is the evaluation map on the identity component \(aut_1(M)\) of the monoid of self-homotopy equivalences of \(M\) at a base point and \(\tau: H^1(aut_1(M))\to H^2(B_{aut_1(M)})\) is the transgression of the Leray-Serre spectral sequence of the universal fibration. Let \((M, \omega)\) be a nilpotent \(\mathbb T^{2k}\)-separable symplectic manifold and \((M, \omega)\to P \to B\) a fibration over a simply connected space \(B\) with classifying map \(f: B\to B_{aut_1(M)}\). The main result (Theorem 1.8) of the paper says that the symplectic class \([\omega]\in H^2(M; \mathbb R)\) extends to a cohomology class of \(P\) if and only if \(H^*(f)\circ\kappa\) is trivial. In the proof, the author shows that \(\beta\) is a permanent cycle and then the triviality of \(H^*(f)\circ\kappa\) gives \(D_{2}[(\omega)]=0\) in the \(E_2\)-term with \(d_{3}([\omega)]=0\). Moreover, an extension result of a symplectic class for a fibration with fiber a nilmanifold is obtained.