Intersection cohomology of \(S^1\) symplectic quotients and small resolutions
type: Item
instance of: scholarly article
title: Intersection cohomology of \(S^1\) symplectic quotients and small resolutions
zbMATH Open document ID: 0985.53041
DOI: 10.1215/S0012-7094-00-10315-8
author: Eugene Lerman
author: Susan Tolman
published in: Duke Mathematical Journal
publication date: 2002-05-22T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/9810046
review text: Let the circle \(S^1\) act on a compact connected symplectic manifold \(M\) with moment map \(\Phi:M \rightarrow R\) so that \(0\) is in the interior of \(\Phi(M)\). Let \(M_{\text{red}}:=\Phi^{-1}(0)/S^1\) denote the reduced space, which is a stratified space, when \(0\) is a singular value of \(\Phi\). The authors find two explicit formulas for the intersection cohomology \(\mathbb{H}^{\ast} (M_{\text{red}},R)\) (as a graded vector space with pairing) of \(M_{\text{red}}\) in terms of \(H^{\ast}_{S^1}(M,R)\), the \(S^1\) equivariant cohomology of \(M\) and the fixed-point data. They prove that there exists a surjective map \(\kappa:H^{\ast}_{S^1}(M,R) \rightarrow \mathbb{H}^{\ast} (M_{\text{red}},R)\), such that the pairing of \(\kappa(\alpha)\) and \(\kappa(\beta)\) in \(\mathbb{H}^{\ast} (M_{\text{red}},R)\) is given by the explicit formula involving \(\alpha\), \(\beta\) and fixed point-data for any \(\alpha, \beta \in H^{\ast}_{S^1}(M,R)\). They also formulate the alternate version of the result on the existence of the ring structure on \(\mathbb{H}^{\ast}(M_{\text{red}},R)\) compatible with the pairing such that \(\mathbb{H}^{\ast}(M_{\text{red}},R)\) is isomorphic to the quotient of \(H^{\ast}_{S^1}(M,R)\) as a graded ring. The authors prove these results by constructing an orbifold which is a small resolution of \(M_{\text{red}}\). The orbifold is obtained as the quotient of the zero fiber of the perturbation of the moment map \(\Phi\). By construction, the perturbed map is Morse-Bott and its critical points are exactly fixed points of the \(S^1\) action on \(M\). Hence, by standard techniques used to compute the cohomology of symplectic quotients, the authors compute the cohomology of the orbifold which is isomorphic to \(\mathbb{H}^{\ast}(M_{\text{red}},R)\) as a graded vector space with pairing.
reviewed by: Wojciech Domitrz
Mathematics Subject Classification ID: 53D20
Mathematics Subject Classification ID: 55N33
zbMATH DE Number: 1463080
zbMATH Keywords: symplectic reduction
zbMATH Keywords: intersection cohomology
zbMATH Keywords: stratified space
zbMATH Keywords: moment map
zbMATH Keywords: symplectic quotients
zbMATH Keywords: orbifold
MaRDI profile type: MaRDI publication profile
arXiv ID: math/9810046
cites work: Q3961493
cites work: Intersection homology. II
cites work: Q4864182
cites work: Q5690465
cites work: The geometry and topology of quotient varieties of torus actions
cites work: Localization for nonabelian group actions
cites work: Cohomology rings of symplectic quotients.
cites work: Q3346437
cites work: Rational intersection cohomology of quotient varieties
cites work: Rational intersection cohomology of quotient varieties. II
cites work: Q4040491
cites work: Hamiltonian torus actions on symplectic orbifolds and toric varieties
cites work: ON A GENERALIZATION OF THE NOTION OF MANIFOLD
cites work: Stratified symplectic spaces and reduction
cites work: The cohomology rings of symplectic quotients
cites work: Two dimensional gauge theories revisited
cites work: An integration formula for a square of moment maps of circle actions
Recommended article: INTERSECTION COHOMOLOGY OF SYMPLECTIC QUOTIENTS BY CIRCLE ACTIONS
Recommended article: The cohomology rings of symplectic quotients
Recommended article: Intersection theory on symplectic quotients of products of spheres.
Recommended article: Intersection cohomology of quotients of nonsingular varieties
Recommended article: Cohomology rings of symplectic quotients.
description: scientific article