Moment maps and symmetric multilinear forms associated with symplectic classes. (Q1811398)

From MaRDI portal
Revision as of 21:50, 27 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Moment maps and symmetric multilinear forms associated with symplectic classes.
scientific article

    Statements

    Moment maps and symmetric multilinear forms associated with symplectic classes. (English)
    0 references
    0 references
    0 references
    9 October 2003
    0 references
    The authors investigate the uniquely determined reduced moment map \(\mu: M\to{\mathfrak g}^*\) (normalized by \(\int_M\mu\omega^n= 0\)) corresponding to a Hamiltonian action of a compact connected Lie group \(G\) with Lie algebra \({\mathfrak g}\) on a compact connected symplectic \(2n\)-dimensional manifold \((M,\omega)\). First, let \(G= T=(S^1)^k\) be a \(k\)-dimensional torus with Lie algebra \({\mathfrak t}\), let \({\mathfrak t}_{\mathbb{Z}}\) be the kernel of the exponential map \(\exp:{\mathfrak t}\to T\) and \({\mathfrak t}^*_{\mathbb{Q}}= {\mathfrak t}^*_{\mathbb{Z}}\otimes\mathbb{Q}\) be the rational points in \({\mathfrak t}^*\). Then, the image \(\mu(M)\) is a compact convex polytope and the image \(\mu(M^T)\) is a finite subset of \({\mathfrak t}^*\). Here \(M^T\) is the fixed point set of \(T\)-actions. Key proposition: Assume that \(\omega\) represents an integral cohomology class \([\omega]\) of \(M\) modulo torsion, then \(\mu(M^T)\subset{\mathfrak t}^*_{\mathbb{Q}}\) and the polytope \(\mu(M)\) is rational, i.e., the vertices are lying in \({\mathfrak t}^*_{\mathbb{Q}}\). Second, let \(G\) be a general compact Lie group and introduce the multilinear form \[ \Phi(Y_1,\dots, Y_l)= \int_M \mu_{Y_1}\cdots \mu_{Y_l}\omega^n\quad (Y_1,\dots, Y_l\in{\mathfrak g}). \] Then, \(\Phi\) does not depend on the choice of \(\omega\) in the class \([\omega]\), moreover \(\Phi(X,\dots, X)\) is a rational number for every \(X\in{\mathfrak g}\) such that \(mX\) is in the kernel of \(\exp:{\mathfrak g}\to G\) for some integer \(m\). Third, the case when \(M\) is a compact complex connected manifold equipped with a pseudo-Kähler form \(\omega\), i.e., a form of type \((1,1)\), and a complex Lie group \(H\) replaces the previous \(G\) is investigated. The results are more technical: certain scalar curvatures \(\delta(\omega)\) are rational numbers.
    0 references
    0 references
    Hamiltonian action
    0 references
    compact connected Lie group
    0 references
    integral cohomology class
    0 references
    rational numbers
    0 references

    Identifiers