A second cohomology class of the symplectomorphism group with the discrete topology
Homology of classifying spaces and characteristic classes in algebraic topology (55R40) Symplectic and contact topology in high or arbitrary dimension (57R17) Differential topological aspects of diffeomorphisms (57R50) Cohomology of classifying spaces for pseudogroup structures (Spencer, Gelfand-Fuks, etc.) (58H10)
If \((M,\omega)\) is a connected, symplectic manifold of dimension \(2n\) and \(G=\text{Symp}(M,\omega)\) is its symplectomorphism group, then \({\mathcal P}\to M\) is the principal symplectic frame bundle for \((M,\omega)\). If \({\mathcal J}\) is the quotient space \({\mathcal P}/U(n)\), then the projection \(p:{\mathcal J}\to M={\mathcal P}/\text{Sp}(2n,\mathbb R)\) is a fiber bundle over \(M\) with fiber \(\text{Sp}(2n,\mathbb R)/U(n)\) which is identified with the Siegel upper half space and is contractible. In this paper, the author considers a symplectic manifold \((M,\omega)\) of dimension \(2n\) with first Chern class \(c_1(M)\) proportional to the class \([\omega]\) of the symplectic form \(\omega\), that is, the equality \(c_1(M)+\kappa[\omega]=0\) is satisfied in \(H^2(M;\mathbb R)\) for some \(\kappa\in\mathbb R\). A second cohomology class \(\sigma\in H^2(M;\mathbb R)\) in the group cohomology of the symplectomorphism group \(G=\text{Symp}(M,\omega)\) with values in \(\mathbb R\) is defined by means of a fiber bundle \(p:{\mathcal J}\to M\) over \(M\). If \(BG^\delta\) is the classifying space of \(G^\delta\), which is \(G\) with the discrete topology, then the group cohomology \(H^*(G,\mathbb R)\) is identified with the singular cohomology \(H^*(BG^\delta;\mathbb R)\) of \(BG^\delta\). The identity map of \(G\) induces a continuous map \(BG^\delta\to BG\) and a homomorphism \(\imath^*:H^*(BG;\mathbb R)\to H^*(BG^\delta;\mathbb R)\). If \(j\in{\mathcal J}\) and \(J\) is any positive compatible almost complex structure on \((M,\omega)\), then \(G_j\) and \(G_J\) are subgroups of \(G\) consisting of all elements which preserve \(j\) and \(J\), respectively. Among other properties, the author shows that if \(K\) is any subgroup of \(G_j\) for some \(j\) or of \(G_J\) for some \(J\), \(M\) is closed, and \(K\subset G_J\), then the restriction of the class \(\sigma\) to \(K\) vanishes, that is, the equality \(\imath^*\sigma=0\) in \(H^2(K,\mathbb R)\) holds, where \(\imath:K\hookrightarrow G\) is the inclusion. Also, it is shown that the homomorphism \(\pi^*:H^2(G,\mathbb R)\to H^2(E^\sigma M)\) is injective and the equality \(\pi^*\sigma=c_1(E^\sigma TM)+\kappa\|\omega\|\) holds in \(H^2(E^\sigma M)\), where \(E^\sigma M=EG^\sigma\times_{G^\sigma}M\to BG^\sigma\) with the universal \(G^\sigma\)-bundle \(EG^\sigma\to BG^\sigma\) over the classifying space \(BG^\sigma\) of \(G^\sigma\).
- A 2-cocycle on a symplectomorphism group
- A two-cocycle on the group of symplectic diffeomorphisms
- Casson invariant, signature defect of framed manifolds and the secondary characteristic classes of surface bundles
- Characteristic classes of foliated surface bundles with area-preserving holonomy
- Compatible complex structures on symplectic rational ruled surfaces
- Continuous cohomology of the group of volume-preserving and symplectic diffeomorphisms, measurable transfer and higher asymptotic cycles
- Crossed flux homomorphisms and vanishing theorems for flux groups
- Floer cohomology and pencils of quadrics
- scientific article; zbMATH DE number 1565334 (Why is no real title available?)
- On crossed homomorphisms on symplectic mapping class groups
- Periodic Hamiltonian flows on four-dimensional manifolds
- Signatures of foliated surface bundles and the symplectomorphism groups of surfaces
- Simplicial De Rham cohomology and characteristic classes of flat bundles
- Stability of the homology of the mapping class groups of orientable surfaces
- The second homology group of the mapping class group of an orientable surface
- The second homology groups of mapping class groups of orientable surfaces
- The symplectic nature of fundamental groups of surfaces
- Topology of symplectomorphism groups of rational ruled surfaces
- Twistor theory of symplectic manifolds
This page was built for publication: A second cohomology class of the symplectomorphism group with the discrete topology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q679782)
