Surjectivity for Hamiltonian G-spaces in K-theory

TL;DR

This paper establishes a K-theoretic surjectivity theorem for Hamiltonian G-spaces, linking the K-theory of symplectic quotients to the equivariant K-theory of the original space, extending classical symplectic results.

Contribution

It introduces a K-theoretic analogue of Kirwan surjectivity, proves equivariant formality under certain conditions, and explores the K-theoretic Atiyah-Bott lemma in this context.

Findings

K-theory of symplectic quotients can be expressed via equivariant K-theory.

Under torsion-free fundamental group conditions, all Hamiltonian G-spaces are equivariantly formal.

Every integral cohomology class admits an equivariant extension in the K-theoretic setting.

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;\Z) admits an equivariant extension in H_{G}^{2}(M;\Z).