Moment maps and symmetric multilinear forms associated with symplectic classes. (Q1811398): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
 
(2 intermediate revisions by one other user not shown)
Property / reviewed by
 
Property / reviewed by: Jan Chrastina / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Jan Chrastina / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Latest revision as of 04:46, 5 March 2024

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
    Hamiltonian action
    0 references
    compact connected Lie group
    0 references
    integral cohomology class
    0 references
    rational numbers
    0 references
    0 references

    Identifiers