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

Mellin Polar Coordinate Moment and Its Affine Invariance

Necessary Condition of Affine Moment Invariants

Isomorphism between Differential and Moment Invariants under Affine Transform

3D polar-radius invariant moments and structure moment invariants

Modular Invariance and Anomaly Cancellation Formulas

A Framework for Moment Invariants

Invariant Image Representation Using Novel Fractional-Order Polar Harmonic Fourier Moments

New Scheme for Implementing the Method of Moments with Interpolative Closure

Image Recognition By Affine Tchebichef Moment Invariants

3D Gaussian Geometric Moment Invariants

3D Model Retrieval Based on Polar-Radius Surface Moment Invariants

Non-Uniform Cube Fourier Moments Based Image Representation

Geometric Moment Invariants to Motion Blur

Sums of squares certificates for polynomial moment inequalities

Futaki Invariant and CM Polarization

Image Description with Generalized Pseudo-Zernike Moments

Quantum Entanglement, Symmetric Nonnegative Quadratic Polynomials and Moment Problems

A complete set of pseudo-zernike moment invariants by image shape description

Moment Maps and Symmetric Multilinear Forms Associated with Symplectic Classes

Nonnegative moment coordinates on finite element geometries

Object recognition by combined invariants of orthogonal Fourier-Mellin moments