Equivariant higher \(K\)-theory for compact Lie group actions (Q1975391): Difference between revisions

Let \(G\) be a compact Lie group with a closed subgroup \(H\). In this paper the category \({\mathcal A}(G)\) of homogeneous spaces is discussed and higher \(K\)-groups \(K_n^G(G/H,{\mathcal C})\) for any exact category \({\mathcal C}\) are constructed. Theorem 2.5. (i) For all \(n\geq 0\), \(K_n^G(-,{\mathcal C}): {\mathcal A} (G)\to \mathbb{Z}\)-\({\mathcal M}od\) is a Mackey functor, (ii) \(K_0^G(-,{\mathcal C}): {\mathcal A}(G)\to \mathbb{Z}\)-\({\mathcal M}od\) is a Green functor, and \(K^G_n(-,{\mathcal C})\) is a \(K^G_0(-,{\mathcal C})\)-module for all \(n\geq 0\). A subgroup \(D\) of \(G\) is said to be cyclic if powers of a generator of \(D\) are dense in \(G\). If \(p\) is a rational prime, then a subgroup \(K\) of \(G\) is called \(p\)-hyperelementary if there exists an exact sequence \(1\to D\to K\to P\to 1\) where \(P\) is a finite \(p\)-group and \(D\) a cyclic group such that the order of \(D/D_0\) is prime to \(p\). Here \(D_0\) is the component of identity in \(D\). It is called hyperelementary if it is \(p\)-hyperelementary for some \(p\). Let \({\mathcal H}\) be the set of hyperelementary subgroups of \(G\). Theorem 3.10. Let \(M=K_n^G(-,{\mathcal M} (\mathbb{C}))\). Then \(\oplus_{\mathcal H}M(G/H)\to M(G/G)\) is surjective (i.e., \(M(G/G)\) can be computed in terms of \(p\)-hyperelementary subgroups \(K\) of \(G)\).