LOCALIZATION FOR NONABELIAN GROUP-ACTIONS

Suppose X is a compact symplectic manifold acted on by a compact Lie group K (which may be nonabelian) in a Hamiltonian fashion, with moment map mu:X --> Lie(K)* and Marsden-Weinstein reduction M(X) = mu(-1)(0)/K. There is then a natural surjective map kappa(0) from the equivariant cohomology H-K*(X) of X to the cohomology H*(M(X)). In this paper we prove a formula (Theorem 8.1, the residue formula) for the evaluation on the fundamental class of M(X) of any eta(0) is an element of H*(M(X)) whose degree is the dimension of M(X), provided that 0 is a regular value of the moment map mu on X. This formula is given in terms of any class eta is an element of H-K*(X) for which kappa(0)(eta) = eta(0), and involves the restriction of eta to K-orbits KF of components F subset of X of the;fixed point set of a chosen maximal torus T subset of K. Since kappa(0) is surjective, in principle the residue formula enables one to determine generators and relations for the cohomology ring H*(M(X)), in terms of generators and relations for H-K*(X). There are two main ingredients in the proof of our formula: one is the localization theorem [3, 7] for equivariant cohomology of manifolds acted on by compact abelian groups, while the other is the equivariant normal form for the symplectic form near the zero locus of the moment map. We also make use of the techniques appearing in our proof of the residue formula to give a new proof of the nonabelian localization formula of Witten ([35, Section 2]) for Hamiltonian actions of compact groups K on symplectic manifolds X; this theorem expresses eta(0)[M(X)] in terms of certain integrals over X.