Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)

 

Surjectivity for Hamiltonian $ G$-spaces in $ K$-theory


Authors: Megumi Harada and Gregory D. Landweber
Journal: Trans. Amer. Math. Soc. 359 (2007), 6001-6025
MSC (2000): Primary 53D20; Secondary 19L47
Published electronically: June 4, 2007
MathSciNet review: 2336314
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let $ G$ be a compact connected Lie group, and $ (M,\omega)$ a Hamiltonian $ G$-space with proper moment map $ \mu$. We give a surjectivity result which expresses the $ K$-theory of the symplectic quotient $ M //G$ in terms of the equivariant $ K$-theory of the original manifold $ M$, under certain technical conditions on $ \mu$. This result is a natural $ K$-theoretic analogue of the Kirwan surjectivity theorem in symplectic geometry. The main technical tool is the $ K$-theoretic Atiyah-Bott lemma, which plays a fundamental role in the symplectic geometry of Hamiltonian $ G$-spaces. We discuss this lemma in detail and highlight the differences between the $ K$-theory and rational cohomology versions of this lemma.

We also introduce a $ K$-theoretic version of equivariant formality and prove that when the fundamental group of $ G$ is torsion-free, every compact Hamiltonian $ G$-space is equivariantly formal. Under these conditions, the forgetful map $ K_{G}^{*}(M)\to K^{*}(M)$ is surjective, and thus every complex vector bundle admits a stable equivariant structure. Furthermore, by considering complex line bundles, we show that every integral cohomology class in $ H^{2}(M;\mathbb{Z})$ admits an equivariant extension in $ H_{G}^{2}(M;\mathbb{Z})$.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 53D20, 19L47

Retrieve articles in all journals with MSC (2000): 53D20, 19L47


Additional Information

Megumi Harada
Affiliation: Department of Mathematics, University of Toronto, Toronto, Ontario, Canada M5S 2E4
Address at time of publication: Department of Mathematics and Statistics, McMaster University, 1280 Main Street West, Hamilton, Ontario, Canada L8S 4K1
Email: megumi@math.toronto.edu, megumi.harada@math.mcmaster.ca

Gregory D. Landweber
Affiliation: Department of Mathematics, University of Oregon, Eugene, Oregon 97403-1222
Address at time of publication: Department of Mathematics, Bard College, Annandale-on-Hudson, New York 12504
Email: greg@math.uoregon.edu, landweber@bard.edu

DOI: http://dx.doi.org/10.1090/S0002-9947-07-04164-5
PII: S 0002-9947(07)04164-5
Keywords: Equivariant $K$-theory, Kirwan surjectivity, Morse-Kirwan function, symplectic quotient, Atiyah-Bott lemma, equivariant formality
Received by editor(s): August 25, 2005
Received by editor(s) in revised form: September 8, 2005
Published electronically: June 4, 2007
Article copyright: © Copyright 2007 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.