Torsion in the full orbifold K-theory of abelian symplectic quotients

DOI10.1007/S10711-011-9604-1MaRDI QIDQ2429481zbMATH OpenOpenAlexFDO

Authors Megumi Harada, Rebecca Goldin, Tara S. Holm

Publication date 27 April 2012

Published in Geometriae Dedicata (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0907.5170

\(K\)-theory abelian symplectic reduction equivariant \(K\)-theory equivariant Morse theory inertial \(K\)-theory Morse theory symplectic quotient toric varieties torsion

Mathematics Subject Classification ID

Equivariant (K)-theory (19L47) Momentum maps; symplectic reduction (53D20)

Abstract: Let (M,omega,Phi) be a Hamiltonian T-space and let H be a closed Lie subtorus of T. Under some technical hypotheses on the moment map Phi, we prove that there is no additive torsion in the integral full orbifold K-theory of the orbifold symplectic quotient [M//H]. Our main technical tool is an extension to the case of moment map level sets the well-known result that components of the moment map of a Hamiltonian T-space M are Morse-Bott functions on M. As first applications, we conclude that a large class of symplectic toric orbifolds, as well as certain S^1-quotients of GKM spaces, have integral full orbifold K-theory that is free of additive torsion. Finally, we introduce the notion of semilocally Delzant which allows us to formulate sufficient conditions under which the hypotheses of the main theorem hold. We illustrate our results using low-rank coadjoint orbits of type A and B.

Review text

In this paper, the full orbifold \(K\)-theory of abelian symplectic quotients is discussed. Let \((M, \omega)\) be a Hamilton \(T\)-space with moment map \(\Phi : M \to \mathfrak{t}^*\), where \(T\) is a torus. Let \(\beta : H \hookrightarrow T\) be a subtorus, then the moment map \(\Phi_H : M \to \mathfrak{h}^*\) for the action of \(H\) is given by the composition of \(\Phi\) and the linear projection \(\beta^* : \mathfrak{t}^* \to \mathfrak{h}^*\). Suppose \(\eta \in \mathfrak{h}^*\) is a regular value of \(\Phi_H\) and put \(Z=\Phi_H^{-1}(\eta)\). Then \(Z\) becomes a smooth submanifold of \(M\) with \(H\) acting locally freely. This allows us to define the quotient orbifold stack \(\mathfrak{X}=[Z/H]\). The authors prove that if there exists \(\xi \in \mathfrak{t}\) satisfying certain conditions (omitted here for simplicity), then \(\mathbb{K}_{\mathrm{orb}}(\mathfrak{X})\) contains no additive torsion, where \(\mathbb{K}_{\mathrm{orb}}(\mathfrak{X})\) is identified with \(\bigoplus_{t \in H}K_H(Z^t)\). However the hypothesis proposed perhaps may be already satisfied in many cases of interest. In fact, as an example of an important subclass of abelian symplectic quotients the authors mention the class of orbifold toric varieties, and check that they satisfy this hypothesis. In the last two sections, further examples are provided, which are non-toric. The proof is done using equivariant Morse theory of the moment map. For the \(\xi\) given above, define a function \(\Phi^\xi : M \to \mathbb{R}\) by \(\Phi^\xi(x)=\langle \Phi(x), \xi \rangle\). Then it can be shown that the restriction \(\Phi^\xi|Z^t\) becomes a Morse-Bott function for each \(Z^t\). From analyzing them, the authors conclude that \(K_H(Z^t)\) is torsion-free for each \(Z^t\).

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Torsion in the full orbifold \(K\)-theory of abelian symplectic quotients

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2429481)