An effective algorithm for the cohomology ring of symplectic reductions.

DOI10.1007/S00039-002-8257-5MaRDI QIDQ1865770zbMATH OpenOpenAlexFDO

Authors Rebecca Goldin

Publication date 22 March 2004

Published in Geometric and Functional Analysis. GAFA (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0110022

zbMATH Keywords

moment mapsymplectic manifold, equivariant cohomology

Mathematics Subject Classification ID

Momentum maps; symplectic reduction (53D20) Symplectic and contact topology in high or arbitrary dimension (57R17)

Abstract: Let G be a compact torus acting on a compact symplectic manifold M in a Hamiltonian fashion, and T a subtorus of G. We prove that the kernel of $kappa:H_G^{\ast }(M)o{H}^{\ast }(M//G)$ is generated by a small number of classes $alphain{H}_G^{\ast }(M)$ satisfying very explicit restriction properties. Our main tool is the equivariant Kirwan map, a natural map from the G-equivariant cohomology of M to the G/T-equivariant cohomology of the symplectic reduction of M by T. We show this map is surjective. This is an equivariant version of the well-known result that the (nonequivariant) Kirwan map $kappa:H_G^{\ast }(M)o{H}^{\ast }(M//G)$ is surjective. We also compute the kernel of the equivariant Kirwan map, generalizing the result due to Tolman and Weitsman in the case T=G and allowing us to apply their methods inductively. This result is new even in the case that dim T = 1. We close with a worked example: the cohomology ring of the product of two $C{P}^2$s, quotiented by the diagonal 2-torus action.

Review text

The following equivariant version of a result by \textit{F. C. Kirwan} [Cohomology of Quotients in Symplectic and Algebraic Geometry, Math. Notes 31, Princeton Univ. Press, Princeton (1984; Zbl 0553.14020)] is proved: Let \(M\) be a compact symplectic manifold with a Hamiltonian action of a torus \(G\), let \(T\) be a subtorus of \(G\), and let \(\Phi\) be the corresponding moment map for the induced \(T\)-action. For a regular value \(\mu\in{\mathfrak t}^*\) of \(\Phi\), the inclusion of the submanifold \(M_\mu=\Phi^{-1}(\mu)\) of \(M\) induces a surjection \[ \kappa:H^*_G(M)\rightarrow H^*_{G/T}(M_\mu/T) \] in equivariant cohomology. The authors prove also a result describing the kernel of \(\kappa\) that turns out to be generated by a small number of classes \(\alpha\in H^*_G(M)\) satisfying very explicit restriction properties. These two theorems allow one to compute the cohomology of the symplectic reduction by a torus action.

Recommendations

• Cohomology Ring of Symplectic Quotients by Circle Actions
• scientific article; zbMATH DE number 1421313
• scientific article; zbMATH DE number 970692
• The residue formula and the Tolman-Weitsman theorem
• The cohomology rings of symplectic quotients

Cited in

(19)

• Moment maps and non-compact cobordisms
• Assignments for topological group actions
• The Verlinde formulas as fixed point formulas.
• Distinguishing the chambers of the moment polytope
• Basic Kirwan surjectivity for K-contact manifolds
• Orbifold cohomology of torus quotients
• Equivariant cohomology of \(SU(n)^{2g}\) and the Kirwan map
• scientific article; zbMATH DE number 5343241 (Why is no real title available?)
• Surjectivity for Hamiltonian 𝐺-spaces in 𝐾-theory
• The residue formula and the Tolman-Weitsman theorem
• Cohomology of symplectic reductions of generic coadjoint orbits
• Real loci of symplectic reductions
• Cohomology Ring of Symplectic Quotients by Circle Actions
• scientific article; zbMATH DE number 970692 (Why is no real title available?)
• Effective Reduction of Goresky-Kottwitz-MacPherson Graphs
• Kirwan surjectivity and Lefschetz-Sommese theorems for a generalized hyperkähler reduction
• Morse theory of the moment map for representations of quivers
• A note on the formulars of Guillemin-Kalkman
• Topology of generalized complex quotients

This page was built for publication: An effective algorithm for the cohomology ring of symplectic reductions.

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