×

Intersection cohomology of \(S^1\) symplectic quotients and small resolutions. (English) Zbl 0985.53041

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.

MSC:

53D20 Momentum maps; symplectic reduction
55N33 Intersection homology and cohomology in algebraic topology
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] A. Beilinson, J. Bernstein, and P. Deligne, “Faisceaux pervers” in Analyse et topologie sur les espaces singuliers, I (Luminy, 1981) , Astérisque 100 , Soc. Math. France, Montrouge, 1982, 5–171.
[2] R. Bott and L. Tu, Differential Forms in Algebraic Topology , Grad. Texts in Math. 82 , Springer, Berlin, 1982. · Zbl 0496.55001
[3] J.-L. Brylinsky, “Equivariant intersection cohomology” in Kazhdan-Luszting Theory and Related Topics (Chicago, IL, 1989), Contemp. Math. 139 (1992), 5–32.
[4] M. Goresky and R. MacPherson, Intersection homology. II, Invent. Math. 72 (1983), 77–129. · Zbl 0529.55007
[5] V. Guillemin and J. Kalkman, The Jeffrey-Kirwan localization theorem and residue operations in equivariant cohomology, J. Reine Angew. Math. 470 (1996), 123–142. · Zbl 0837.57028
[6] V. Guillemin, E. Lerman, and S. Sternberg, Symplectic Fibrations and Multiplicity Diagrams, Cambridge Univ. Press, Cambridge, 1996. · Zbl 0870.58023
[7] Y. Hu, The geometry and topology of quotient varieties of torus actions, Duke Math. J. 68 (1992), 151–184. · Zbl 0812.14031
[8] L. Jeffrey and F. Kirwan, Localization for nonabelian group actions, Topology 34 (1995), 291–327. · Zbl 0833.55009
[9] J. Kalkman, Cohomology rings of sympletic quotients, J. Reine Angew. Math. 458 (1995), 37–52. · Zbl 0851.57029
[10] F. Kirwan, Cohomology of Quotients in Symplectic and Algebraic Geometry, Math. Notes 31 , Princeton Univ. Press, Princeton, 1984. · Zbl 0553.14020
[11] –. –. –. –., Rational intersection cohomology of quotient varieties. I , Invent. Math. 86 (1986), 471–505. · Zbl 0613.14016
[12] –. –. –. –., Rational intersection cohomology of quotient varieties. II, Invent. Math. 90 (1987), 153–167. · Zbl 0631.14012
[13] ——–, An Introduction to Intersection Homology Theory, Pitman Res. Notes Math. Series 187 , Longman, Harlaw, 1988. · Zbl 0656.55002
[14] ——–, Newton Institute lectures, fall 1994.
[15] E. Lerman and S. Tolman, Hamiltonian torus actions on symplectic orbifolds and toric varieties, Trans. Amer. Math. Soc. 349 (1997), 4201–4230. JSTOR: · Zbl 0897.58016
[16] I. Satake, On a generalization of the notion of manifold , Proc. Nat. Acad. Sci. U.S.A. 42 (1956), 359–363. · Zbl 0074.18103
[17] R. Sjamaar and E. Lerman, Stratified symplectic spaces and reduction, Ann. of Math. (2) 134 (1991), 375–422. JSTOR: · Zbl 0759.58019
[18] S. Tolman and J. Weitsman, The cohomology rings of abelian symplectic quotients, preprint, http://xxx.lanl.gov/abs/math.DG/9807173. · Zbl 1087.53076
[19] E. Witten, Two-dimensional gauge theories revisited , J. Geom. Phys. 9 (1992), 303–368. · Zbl 0768.53042
[20] J. Woolf, The intersection Betti numbers of singular symplectic quotients, preprint, 1998.
[21] S. Wu, An integration formula for the square of moment maps of circle actions, Lett. Math. Phys. 29 (1993), 311–328. · Zbl 0793.53035
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.