Abstract:In equivariant topology, Greenlees and May used Mackey functors to show that, rationally, the stable homotopy category of $G$-spectra over a finite group $G$ splits as a product of simpler module categories. We extend the algebraic part (also independently proved by Thévenaz and Webb) of this classical result to Mackey modules over an arbitrary Green functor, and use the case of the complex representation ring Green functor to obtain an algebraic model of the rational equivariant Kasparov category of $G$-cell algebras.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the generalization of a classical result in equivariant stable homotopy theory. Specifically, Greenlees and May proved that in the rational case, the stable homotopy category of \(G\)-spectra of a finite group \(G\) can be decomposed into the product of simpler module categories. The goal of this paper is to generalize this algebraic part of the result to Mackey modules over arbitrary Green functors and, by using the special case of the complex representation ring Green functor, obtain an algebraic model for the rational equivariant Kasparov category.
### Specific problem description
1. **Classical Greenlees - May splitting theorem**:
In equivariant stable homotopy theory, Greenlees and May proved that for a finite group \(G\), the stable homotopy category of rational \(G\)-spectra can be decomposed into the product of simpler module categories:
\[
SH(G)_\mathbb{Q} \simeq \prod_{\text{Cl}(H), H \leq G} \mathbb{Q}[W_G(H)]\text{-Mod}_\mathbb{Z}
\]
where \(W_G(H)=N_G(H)/H\) is the Weyl group of \(H\) in \(G\), and the corresponding factor is the graded module category over \(\mathbb{Q}[W_G(H)]\).
2. **Generalization in this paper**:
The main contribution of this paper is to generalize the above algebraic part of the result to Mackey modules over an arbitrary Green functor \(R\). Specifically, for an arbitrary Green functor \(R\), a functor is constructed:
\[
Br_R: R\text{-Mack}(G) \to \prod_{\text{Cl}(H), H \leq G} R(H) \rtimes_c W_G(H)\text{-Mod}
\]
mapping from the \(R\)-Mackey module category to the product of module categories over certain skew - group rings. Here \(R(H)\) is the Brauer quotient of \(R\) at \(H\), and the skew - group ring combines the conjugation action of \(W_G(H)\).
3. **Application to Kasparov category**:
Finally, the authors apply these results to the \(G\)-equivariant Kasparov category \(KK^G\) and obtain a splitting theorem for separable complex \(G\)-\(C^*\)-algebras. In particular, they prove that for any finite group \(G\), taking equivariant K - theory and Brauer quotient induces an equivalence of symmetric tensor semisimple Abelian categories:
\[
\text{Cell}(G)_\mathbb{Q} \simeq \prod_{\text{Cl}(H), H \leq G, \text{cyclic}} \mathbb{Q}(\zeta_{|H|}) \rtimes_c W_G(H)\text{-Mod}_{\mathbb{Z}/2}
\]
### Summary
The core problem of this paper is to generalize the classical Greenlees - May splitting theorem to a broader algebraic structure (i.e., Mackey modules over arbitrary Green functors) and apply it to the equivariant Kasparov category, thus providing an explicit algebraic classification for rational equivariant KK - theory. This not only deepens our understanding of equivariant stable homotopy theory but also provides new tools and perspectives for the study of equivariant K - theory and KK - theory.