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

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.