A Geometric Description of Equivariant K-Homology for Proper Actions

Let G be a discrete group and let X be a G-finite, proper G-CW-complex. We prove that Kasparov’s equivariant K-homology groups KK^G(C_0(X),\C) are isomorphic to the geometric equivariant K-homology groups of X that are obtained by making the geometric K-homology theory of Baum and Douglas equivariant in the natural way. This reconciles the original and current formulations of the Baum-Connes conjecture for discrete groups.

💡 Research Summary

The paper addresses a long‑standing gap between two formulations of equivariant K‑homology for discrete groups acting properly on spaces. On the one hand, Kasparov’s analytic picture defines equivariant K‑homology as the KK‑group KK⁽ᴳ⁾(C₀(X),ℂ), built from G‑equivariant C∗‑algebras, Hilbert modules, and Fredholm operators. On the other hand, the geometric picture, originally introduced by Baum and Douglas, describes K‑homology classes by cycles (M,E,f) where M is a G‑invariant Spinⁿᶜ manifold, E a G‑equivariant complex vector bundle over M, and f a G‑equivariant continuous map to the space X. While both theories agree in the nonequivariant setting, their equivariant versions have historically been treated separately, leading to two distinct statements of the Baum‑Connes conjecture: a “geometric” version using the geometric assembly map, and an “analytic” version using Kasparov’s assembly map.

The authors restrict attention to a discrete group G and a G‑finite, proper G‑CW‑complex X. Under these hypotheses they construct explicit natural transformations between the analytic and geometric groups and prove that they are mutually inverse isomorphisms. The construction proceeds in two directions:

1. From analytic to geometric (Φ). Starting with a Kasparov cycle (ℰ, F) for (C₀(X),ℂ), they first replace ℰ by a G‑equivariant Hilbert bundle over a G‑invariant Spinⁿᶜ manifold M that represents the same KK‑class. This uses a G‑equivariant version of the “normalization theorem”: any Kasparov cycle can be represented by a Dirac‑type operator on a suitable Spinⁿᶜ manifold after stabilizing and adding trivial bundles. The operator F then becomes a twisted Dirac operator D_E on M, and the map f:M→X is obtained from the support of the C₀(X)‑action. The resulting triple (M,E,f) is a geometric cycle.

2. From geometric to analytic (Ψ). Given a geometric cycle (M,E,f), one equips M with a G‑invariant Spinⁿᶜ structure and a G‑invariant Clifford connection. The twisted Dirac operator D_E acting on L²‑sections of the spinor bundle tensored with E yields a G‑equivariant Fredholm module (L²(M,S⊗E), D_E). Together with the *‑homomorphism induced by f, this defines a Kasparov class in KK⁽ᴳ⁾(C₀(X),ℂ).

The core of the paper is the verification that Φ∘Ψ and Ψ∘Φ are the identity on the respective equivalence classes. This relies on several deep facts:

• Bordism invariance of the index. The analytic index of a twisted Dirac operator is unchanged under G‑equivariant bordism, guaranteeing that different representatives of the same geometric class map to the same KK‑class.
• Stability under vector‑bundle modification. Both theories allow a “vector bundle modification” operation, and the authors show that Φ and Ψ commute with this operation, preserving the equivalence relation.
• Homotopy invariance of KK‑theory. When passing from a geometric cycle back to an analytic one, any homotopy of the map f or of the Spinⁿᶜ structure induces a homotopy of Kasparov cycles, leaving the KK‑class unchanged.
• Naturality with respect to G‑maps. The constructions are functorial for G‑equivariant maps between proper G‑spaces, ensuring that the isomorphism respects the module structure over the representation ring R(G).

Having established the natural isomorphism \