Localization for nonabelian group actions
Abstract
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 \to {\rm Lie}(K)^*$ and Marsden-Weinstein reduction $\xred = \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^*(\xred)$. In this paper we prove a formula (Theorem 8.1, the residue formula) for the evaluation on the fundamental class of $\xred$ of any $\eta_0 \in H^*(\xred)$ whose degree is the dimension of $\xred$, provided that $0$ is a regular value of the moment map $\mu$ on $X$. This formula is given in terms of any class $\eta \in H^*_K(X)$ for which $\kappa_0(\eta ) = \eta_0$, and involves the restriction of $\eta$ to $K$-orbits $KF$ of components $F \subset X$ of the fixed point set of a chosen maximal torus $T \subset K$. Since $\kappa_0$ is
- Publication:
-
arXiv e-prints
- Pub Date:
- July 1993
- DOI:
- 10.48550/arXiv.alg-geom/9307001
- arXiv:
- arXiv:alg-geom/9307001
- Bibcode:
- 1993alg.geom..7001J
- Keywords:
-
- Mathematics - Algebraic Geometry
- E-Print:
- 42 pages, LaTex version no. 2.09, Introduction and Section 8 have been rewritten in revised version