Remarks on the flux groups (Q1580357)

From MaRDI portal
Revision as of 01:54, 1 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Remarks on the flux groups
scientific article

    Statements

    Remarks on the flux groups (English)
    0 references
    0 references
    30 January 2001
    0 references
    Let \((M,\omega)\) be a compact symplectic manifold and \(\text{Symp}(M,\omega)\) denotes the group of symplectomorphisms of \((M,\omega)\). Define the flux homomorphism \(F:\pi_1(\text{Symp}_0(M,\omega))\to H^1(M,{\mathbb R})\),\quad \(F(\xi)[a]=\int_{\xi_ta}\omega\), where \(\xi_ta\) denotes the trace of a loop \(a\) under the isotopy \(\{\xi_t\}\) representing \(\xi\). By definition, the flux group \(\Gamma_\omega\) is the image of the flux homomorphism. Theorem A. Let \((M,\omega)\) be a compact symplectic manifold satisfing one of the following conditions: 1. some Chern number of \((M,\omega)\) is nonzero, 2. \(M\) is aspherical and \(Z(\pi_1(M))\subset[\pi_1(M),\pi_1(M) ]\), 3. \(\ker A\subset [\pi_1(M),\pi_1(M) ]+\text{torsion}\), where \(A:\pi_1(M)\to \text{Aut}(\pi_*(M))\) is the action of the fundamental group on homotopy groups. Then \(\Gamma_\omega\subset \ker[\bigcup[\omega]^{n-1}:H^1(M,{\mathbb R})\to H^{2n-1}(M,{\mathbb R}) ]\) and the rank of \(\Gamma_\omega\) over \({\mathbb Z}\) is not greater than \(\dim \ker(\bigcup[\omega]^{n-1})\). Theorem B. Let \((M,\omega)\) be a compact aspherical symplectic manifold. If either Euler characteristic of \(M\) is nonzero or \(\pi_1(M)\) has trivial center then its flux group \(\Gamma_\omega\) is trivial.
    0 references
    symplectic manifold
    0 references
    group of symplectomorphisms
    0 references
    flux homomorphism
    0 references
    Lefschetz manifold
    0 references
    fundamental groups
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references