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

Natural star products on symplectic manifolds and quantum moment maps

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

Differential Geometry Geometric Quantization for Proper Moment Maps

SG ] 2 6 A pr 2 01 9 Deformation quantization and Kähler geometry with moment map

Deformation quantization and K\"ahler geometry with moment map

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

Star Products on Coadjoint Orbits

Invariant Star Products of Wick Type: Classification and Quantum Momentum Mappings

Moment Maps and Symmetric Multilinear Forms Associated with Symplectic Classes

On deformation quantization of the space of connections on a two manifold and Chern Simons Gauge Theory

On the $\star$-product quantization and the Duflo map in three dimensions

Deformation Quantization of Lagrangian Fiber Bundles

Topological Quantum Groups, Star Products and their relations

The moment map on the space of symplectic 3D Monge-Ampère equations

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

On the Kontsevich $\star$-product associativity mechanism

Symmetrization of the Berezin star product and multiple star product method

Bicrossproduct vs. twist quantum symmetries in noncommutative geometries: the case of $\varrho$-Minkowski

Moment maps and stability of holomorphic submersions

Symplectic mapping class relations from pencil pairs

Convergence of Star Product: From Examples to a General Framework