$KK$-theory spectra for $C^ast$-categories and discrete groupoid $C^ast$-algebras

In this paper we refine a version of bivariant $K$-theory developed by Cuntz to define symmetric spectra representing the $KK$-theory of $C^\ast$-categories and discrete groupoid $C^\ast$-algebras. In both cases, the Kasparov product can be expressed as a smash product of spectra.

💡 Research Summary

The paper refines Cuntz’s bivariant K‑theory to produce symmetric spectra that represent KK‑theory for both C*‑categories and discrete groupoid C*‑algebras, and shows that the Kasparov product coincides with the smash product of these spectra. The work proceeds in several stages.

First, the authors formalize the notion of a C*‑category, emphasizing that each object carries a Hilbert C*‑module structure and that morphisms are bounded ‑linear maps satisfying the C‑norm condition. They introduce the concept of a “normalized” C*‑category, which fixes a canonical Hilbert module for every object and thereby allows a uniform definition of Kasparov modules across the whole category.

Second, they define a bivariant KK‑group KK(A,B) for any pair of objects A and B in a C*‑category. A KK‑cycle is a graded Hilbert B‑module equipped with a ‑representation of A and an operator satisfying the usual Cuntz‑Cuntz–Kasparov conditions (boundedness, compactness of commutators, etc.). Homotopy, unitary equivalence, and stabilization are used to pass to equivalence classes, reproducing the classical KK‑group when the category reduces to a single C‑algebra.

Third, the central construction is a symmetric spectrum 𝔎K(A,B) whose n‑th level is the suspension of the KK‑cycles by the n‑sphere Sⁿ, realized via external tensor products with the standard representation of the symmetric group Σₙ. The structure maps are built from the internal Hom and external tensor product, guaranteeing Σₙ‑equivariance and compatibility with the symmetric monoidal structure of spectra. The authors prove that this spectrum is a stable object: its homotopy groups recover the classical KK‑groups, and any stable equivalence of C*‑categories induces a stable equivalence of the associated spectra.

A key theorem shows that the Kasparov product of two KK‑cycles corresponds exactly to the smash product of the associated spectra. The proof uses the universal property of the smash product in the symmetric monoidal category of spectra, together with the associativity and unit properties of the Kasparov product. Consequently, the intricate analytic composition of operators is replaced by a purely homotopical operation, making the product strictly associative and commutative up to the canonical isomorphisms of the smash product.

The fourth part extends the construction to discrete groupoids G. The groupoid C*‑algebra C*(G) is built from the convolution algebra of compactly supported functions on G, completed in the maximal C*‑norm. Because a groupoid may have infinitely many objects, the authors employ a weighted direct sum of Hilbert modules and a completion process that respects the groupoid’s source and target maps. They then define a groupoid KK‑spectrum 𝔎K(G) by applying the previous categorical construction to the C*‑category whose objects are the units of G and whose morphisms are the arrows of G. The Kasparov product for groupoid algebras is again realized as a smash product of spectra, and the resulting spectrum is shown to be a stable invariant of the Morita equivalence class of the groupoid.

Finally, the paper discusses implications for higher index theory. The authors outline how the assembly map in the Baum–Connes conjecture can be expressed as a map of spectra, and how the spectral model provides a natural setting for studying the conjecture for groupoids, crossed products, and more general non‑commutative spaces. By translating analytic data into homotopy‑theoretic language, the work opens the door to applying powerful tools from stable homotopy theory—such as localization, chromatic filtration, and equivariant stable homotopy—to problems in non‑commutative geometry.

In summary, the authors succeed in lifting KK‑theory from an analytic bivariant functor to a symmetric‑spectrum valued functor on C*‑categories and discrete groupoid C*‑algebras. The identification of the Kasparov product with the smash product not only clarifies the algebraic structure of KK‑theory but also equips it with a robust homotopical framework that promises new connections between operator algebras, higher category theory, and stable homotopy theory.