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

On moment map and bigness of tangent bundles of $G$-varieties

Differential Geometry Geometric Quantization for Proper Moment Maps

Curvatures of Moduli Space of Curves and Applications

Bigness of tangent bundles and dynamical rigidity of Fano manifolds of Picard number 1 (with an appendix by Jie Liu)

On Projective Varieties with Strictly Nef Tangent Bundles

Stability of tangent bundles of complete intersections and effective restriction

Fano manifolds with big tangent bundle: a characterisation of $V_5$

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

On some topological equivalences for moduli spaces of $G$-bundles

On the geometric degree of the tangent bundle of a smooth algebraic variety

Moment Maps and Symmetric Multilinear Forms Associated with Symplectic Classes

On the moment measure conjecture

Big Vector Bundles and Complex Manifolds with Semi-Positive Tangent Bundles

Surface quotient singularities and bigness of the cotangent bundle: Part II

Torsors on moduli spaces of principal $G$-bundles

Positivity of tangent sheaves of projective varieties -- the structure of MRC fibrations

Positivity of higher exterior powers of the tangent bundle

The Generalized Torelli Problem through the geometry of the Gauss map

The universal structure of moment maps in complex geometry

Positivity on simple $G$-varieties

A Generalization of the Existence Theorem of Special Line Bundles