The K-theory of abelian versus nonabelian symplectic quotients
From MaRDI portal
Publication:6476577
arXivmath/0601294MaRDI QIDQ6476577FDOQ6476577
Authors: Megumi Harada, G. D. Landweber 
Publication date: 12 January 2006
Abstract: We compare the K-theories of symplectic quotients with respect to a compact connected Lie group and with respect to its maximal torus, and in particular we give a method for computing the former in terms of the latter. More specifically, let G be a compact connected Lie group with no torsion in its fundamental group, let T be a maximal torus of G, and let M be a compact Hamiltonian G-space. Let M//G and M//T denote the symplectic quotients of M by G and by T, respectively. Using Hodgkin's Kunneth spectral sequence for equivariant K-theory, we express the K-theory of M//G in terms of the elements in the K-theory of M//T which are invariant under the action of the Weyl group, in addition to the Euler class e of a natural Spin^c vector bundle over M//T. This Euler class e is induced by the denominator in the Weyl character formula, viewed as a virtual representation of T; this is relevant for our proof. Our results are K-theoretic analogues of similar (unpublished) results by Martin for rational cohomology. However, our results and approach differ from his in three significant ways. First, Martin's method involves integral formulae, but the corresponding index formulae in K-theory are too coarse a tool, as they cannot detect torsion. Instead, we carefully analyze related K-theoretic pushforward maps. Second, Martin's method involves dividing by the order of the Weyl group, which is not possible in (integral) K-theory. We render this unnecessary by examining Weyl anti-invariant elements, proving a K-theoretic version of a lemma due to Brion. Finally, Martin's results are expressed in terms of the annihilator ideal of e^2, the square of the Euler class mentioned above. We are able to "remove the square", working instead with the annihilator ideal of e.
This page was built for publication: The K-theory of abelian versus nonabelian symplectic quotients
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6476577)
