Abstract:Introduction.For a compact connected symplectic 2n-dimensional manifold (M,UJ) with a Hamiltonian action of a compact connected Lie group G, we have a moment map /i : M -> g* such that the Hamiltonian functions nx '•= < faX >, X £ g, satisfy the condition f fi x u n = 0, JM where $ denotes the Lie algebra of G.This /J, is uniquely determined by the G-action on M as above, and is called the reduced moment map.Let us first consider the case where G is a fc-dimensional torus T = (S 1 ) 1 * with the associated Lie algebra t.Then the image /x(M) of the moment map is a compact convex polytope (cf.Atiyah [1], Guillemin and Sternberg [14]).The kernel, denoted by tz, of the exponential map exp : t -> T is called the lattice in t, and points in the lattice are called integral points.They in turn define the dual lattice t| and integral points in t*.By setting iq := tz ^z Q and tq := tj ®z Q? we have rational points in t and t*.A convex polytope in t* is said to be integral or rational, according as all vertices are integral points or rational points, respectively.The fixed point set M T of the T-action on M sits in the critical point set for fi, and the image /i(M T ) is a finite subset of t*.The following proposition, which was originally conjectured by Atiyah [1] in the special case of projective algebraic manifolds, plays a key role in our work: PROPOSITION A. Assume that to represents an integral cohomology class of M modulo torsion. For G = T = (S' 1 ) /c; let fi : M -> t* be the reduced moment map.Then /x(M T ) C tq, and in particular, the convex polytope /i(M) is rational.In this paper, by giving a proof of this proposition, we generalize the results in [10] to symplectic cases.Take a general compact Lie group G, and let fj,: M -» $* be the reduced moment map as above.We here observe that the underlying differentiable structure of a compact symplectic manifold does not necessarily admit a compatible complex structure (see [13]).For the symplectic class [w], just like the £-th moment for a probability distribution, we define a symmetric multilinear form $£ : e g -> M by G for some positive integer m.In view of Proposition A, we obtain

Moment maps and stability of holomorphic submersions

Differential Geometry Geometric Quantization for Proper Moment Maps

Isotropic maps and moment map flow

The universal structure of moment maps in complex geometry

Kähler–Ricci Flow, Kähler–Einstein Metric, and K–stability

A Moment Map for the Space of Maps to a Balanced Manifold

Cahen-Gutt Moment Map, Closed Fedosov Star Product and Structure of the Automorphism Group

Quantum Moment Map and Obstructions to the Existence of Closed Fedosov Star Products

Canonical metrics on holomorphic fibre bundles

The analytic moduli space of holomorphic submersions

Geometric Nonlinear Problems and GIT Stability Through Moment Maps

Moment Maps and Symmetric Multilinear Forms Associated with Symplectic Classes

Moment Maps, Nonlinear PDE and Stability in Mirror Symmetry, I: Geodesics

Deformation quantization and K\"ahler geometry with moment map

A moment map for twisted-Hamiltonian vector fields on locally conformally Kähler manifolds

Norm-squared of the momentum map in infinite dimensions with applications to Kähler geometry and symplectic connections

Multi-moment maps on nearly Kähler six-manifolds

Local moment maps and the splitting of classical multiplets

Weighted K-stability for a class of non-compact toric fibrations

Free Stein Kernel and Moments maps