Localization for nonabelian group actions

DOI10.1016/0040-9383(94)00028-JMaRDI QIDQ1804901zbMATH OpenOpenAlexFDO

Publication date 20 March 1996

Published in Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/alg-geom/9307001

equivariant cohomology gauge theory Hamiltonian actions of compact groups on symplectic manifolds Marsden-Weinstein reduction moment map nonabelian localization formula regular value of the moment map residue formula symplectic actions of compact Lie groups symplectic geometry

Mathematics Subject Classification ID

Dynamical aspects of finite-dimensional Hamiltonian and Lagrangian systems (37J99) Equivariant homology and cohomology in algebraic topology (55N91) Groups acting on specific manifolds (57S25)

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

m u : X o m L i e (K)^{*}

and Marsden-Weinstein reduction

x r e d = m u^{- 1} (0) / K

. There is then a natural surjective map

k a p p a_{0}

from the equivariant cohomology

H_{K}^{*} (X)

of

X

to the cohomology

H^{*} (x r e d)

. In this paper we prove a formula (Theorem 8.1, the residue formula) for the evaluation on the fundamental class of

x r e d

of any

e t a_{0} i n H^{*} (x r e d)

whose degree is the dimension of

x r e d

, provided that

0

is a regular value of the moment map

m u

on

X

. This formula is given in terms of any class

e t a i n H_{K}^{*} (X)

for which

k a p p a_{0} (e t a) = e t a_{0}

, and involves the restriction of

e t a

to

K

-orbits

K F

of components

F s u b s e t X

of the fixed point set of a chosen maximal torus

T s u b s e t K

. Since

k a p p a_{0}

is

Review text

Close ties between symplectic geometry and equivariant cohomology began with the work of Atiyah and Bott in the early eighties. Since then the area attracted the interest of many analysts and geometers, with the influx also of ideas from theoretical physics, specially gauge theory. From the summary: ``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 \text{Lie} (K)^*\) and Marsden- Weinstein reduction \({\mathcal M}_X= \mu^{-1} (0)/K\). There is then a natural surjective map \(h_0\) from the equivariant cohomology \(H^*_K (X)\) of \(X\) to the cohomology \(H^* ({\mathcal M}_X)\). In this paper we prove a formula (Theorem 8.1, the residue formula) for the evaluation on the fundamental class of \({\mathcal M}_X\) of any \(\eta_0\in H^* ({\mathcal M}_X)\) whose degree is the dimension of \({\mathcal M}_X\), provided 0 is a regular value of the moment map \(\mu\) on \(X\dots\). Since \(h_0\) is surjective, in principle the residue formula enables one to determine generators and relations for the cohomology ring \(H^* ({\mathcal M}_X)\), in terms of generators and relations for \(H^*_K (X)\dots\). We also make use of the techniques in our proof to give a new proof of the nonabelian localization formula of Witten for Hamiltonian actions of compact groups \(K\) on symplectic manifolds \(X\).

Recommendations

Cited in

(only showing first 100 items - show all)

This page was built for publication: Localization for nonabelian group actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1804901)