Connes–Kasparov Assembly Map

• The Connes–Kasparov assembly map is a key concept in noncommutative geometry that integrates localized equivariant data from classifying spaces into global K-theory invariants.
• It employs analytical tools like KK-theory and descent homomorphisms to connect topological and operator algebra frameworks, underpinning results related to the Baum–Connes and Novikov conjectures.
• Its index-theoretic interpretation, through constructions such as the Mishchenko line bundle, provides critical insights for addressing rigidity and classification problems in topology and operator algebras.

The Connes–Kasparov assembly map is a fundamental morphism in noncommutative geometry and operator K-theory that provides a deep connection between the topology of classifying spaces for groups and the K-theory of group operator algebras. Its conceptual origins lie within the broader framework of assembly maps as they appear in the formulation of the Baum–Connes conjecture and their role in isomorphism conjectures for algebraic and analytic K-theories of group rings and C*-algebras. The assembly map assimilates localized, often equivariant or topologically controlled, data into global invariants that encode analytic and algebraic complexity of group actions.

1. Assembly Maps: Structural Framework and Explicit Formulations

Assembly maps are morphisms that transfer (assemble) “local” or equivariant homological information, frequently defined on classifying spaces for families of subgroups, into the “global” algebraic invariants of interest. In the context of operator K-theory, the analytic assembly map is a homomorphism of the form

$$\mu: K^G_*(\underline{E}G; A) \to K_*(A \rtimes_r G)$$

where $\underline{E}G$ is the universal proper $G$-space, $A$ is a separable $G$-C*-algebra with trivial group action (often $A = \mathbb{K}$, the C*-algebra of compact operators), and $A \rtimes_r G$ denotes the reduced crossed product.

Kasparov’s formalism recasts the assembly map as the following composition for a proper $G$-space $X$: $$\mathrm{KK}_*^G(C_0(X), \mathbb{C}) \xrightarrow{j^G} \mathrm{KK}_*(C_0(X) \rtimes_r G, C^*_r(G)) \xrightarrow{-\otimes [p_X]} K_*(C^*_r(G))$$ where $j^G$ is the descent homomorphism in KK-theory and $[p_X]$ is the KK-class of the projection constructed from a cut-off function on $X$ (Land, 2013, Lueck, 2018).

2. Relationship to Algebraic K-Theory and the Novikov Conjecture

A major theme is the relation between the analytic (Connes–Kasparov) assembly map and algebraic assembly maps. The Loday assembly map for a ring $R$ is

$$(\mu_{L}^R)_*: H_*(BG; \mathbb{K}(R)) \to K_*(R[G])$$

and, for $R = \mathbb{K}$ (compact operators), the paper establishes a canonical comparison map

$$\iota_{\mathbb{K}}: \mathbb{K}[G] \to C^*_r(G) \hat\otimes \mathbb{K}$$

which induces an isomorphism

$$\iota_{\mathbb{K}*} : K_*(\mathbb{K}[G]) \xrightarrow{\cong} K_*(C^*_r(G) \hat\otimes \mathbb{K})$$

for all torsion-free Gromov hyperbolic groups (Mahanta, 2011). The analytic Connes–Kasparov assembly map with coefficients in $\mathbb{K}$,

$$(\mu^{\operatorname{Ho}_\mathrm{BStrap}}_{\mathbb{K}})_*: K^{\operatorname{top}}_*(BG; \mathbb{K}) \to K_*(C^*_r(G) \hat\otimes \mathbb{K}),$$

is thus tightly connected with the algebraic Loday map. The injectivity or bijectivity of the analytic map (Baum–Connes conjecture with coefficients) translates to validity of the algebraic K-theoretic Novikov conjecture with the same coefficients.

The commutative diagram

$$\begin{array}{ccc} K_*(BG; \mathbb{K}) & \xrightarrow{(\mu^{\operatorname{Ho}_\mathrm{BStrap}}_*)} & K_*(C^*_r(G) \hat\otimes \mathbb{K}) \ \downarrow \cong & & \uparrow \cong \ H_*(BG; \mathbb{K}^{\operatorname{top}}) & \xrightarrow{(\mu^{\operatorname{DL}}_*)} & K_*(C^*_r(G)) \end{array}$$

highlights how, after passage to topological K-theory, the algebraic and analytic assembly maps coincide (Mahanta, 2011).

3. Index-Theoretic Interpretation and Operator Methods

For torsion-free discrete groups, the assembly map admits a concrete index interpretation. Given a classifying map $f: M \to BG$ from a closed manifold, the Mishchenko line bundle

$L_{BG} = EG \times_G C^*G$

can be pulled back to $M$, and the analytic index associated to a Dirac-type operator twisted by $f^*L_{BG}$ yields an element in $K_*(C^*G)$. This method realizes the assembly map as an index map: $$K_*^{\mathrm{an}}(BG) \xrightarrow{\mathrm{MF}\text{ index}} K_*(C^*G)$$ where the analytic K-homology $K_*^{\mathrm{an}}(BG)$ can be identified with the domain of the assembly map for torsion-free groups (Land, 2013, Kaad et al., 2018).

The explicit coincidence of the assembly map and the Mishchenko–Fomenko index was proved via a direct isomorphism between the module of sections of the Miščenko bundle and the Morita equivalence bimodules implementing the Green–Julg isomorphism (Kaad et al., 2018).

4. Assembly Maps in Cohomological and Homotopy-Theoretic Contexts

The assembly map, in the broadest sense, is defined as the map induced by the projection

$pr : E_\mathcal{F}(G) \to G/G$

between a classifying space for a family $\mathcal{F}$ and a point, at the level of suitable equivariant (co)homology theories: $$\operatorname{asmb}: H_n^G(E_\mathcal{F}G; \mathbf{E}) \to H_n^G(G/G; \mathbf{E})$$ (Lueck, 2018). The analytic assembly map of Baum–Connes is recovered for $\mathcal{F}$ the family of finite subgroups and $\mathbf{E}$ modeling topological K-theory of the reduced group C*-algebra.

The equivalence between the analytic (Kasparov) assembly map and the homotopy-theoretic (Davis–Lück) assembly map has been rigorously established via the Paschke transformation, a natural map between homological functors constructed through coarse geometric and analytic models. Under suitable finiteness and properness hypotheses, this transformation is an equivalence and ensures the two notions of assembly coincide (Bunke et al., 2021).

5. Connections to Relative and Twisted Theories, and New Models

Variants and generalizations of the assembly map interface with controlled topology, relative and mapping cone constructions, as well as twisted groupoid and differentiable stack settings, as in geometric K-homology with coefficients and in orbifold index theory (Rouse et al., 2014, Deeley et al., 2015, Hochs et al., 2020). Relative assembly maps for pairs of spaces or subgroups, and models for topological K-homology incorporating all G-actions via localization algebras, have been constructed to address cases out of reach of classical KK-theory (Wang, 2022). A key structural consequence is the transitivity principle, which asserts that if the assembly map is an isomorphism for a family $\mathcal{F}$ and this holds for all subgroups in a bigger family $\mathcal{F}'$, then it holds for the relative assembly map as well.

The configuration space approach provides yet another realization of the assembly map, equipping K-homology classes with combinatorial configurations and exhibiting Bott periodicity and compatibility with natural transformations into equivariant KK-theory (Velásquez, 2016).

6. Impact on Classification and Rigidity Problems

The Connes–Kasparov assembly map underpins a panoply of isomorphism conjectures; for instance, the Baum–Connes conjecture predicts that the analytic assembly map is an isomorphism, a claim known in many cases such as for torsion-free Gromov hyperbolic groups and real semisimple Lie groups with coefficients (Mahanta, 2011, Wei, 2012). The verification of the isomorphism in special cases implies deep results in topology and geometry, including the integral and split Novikov conjectures and the Kadison–Kaplansky idempotent conjecture (Kaad et al., 2018).

Furthermore, the assembly map’s role as an index map makes it a crucial link between the geometry of manifolds (positive scalar curvature, higher signatures) and invariants of C*-algebras, encoding rigidity and classification information. The explicit compatibility between the algebraic and analytic assembly maps, and the reduction principles linking them, provide powerful tools for transferring results across different contexts within K-theory and noncommutative topology (Mahanta, 2011, Land, 2013).

7. Categorical, Quantum, and Controlled Extensions

Homological algebra and triangulated categorical approaches, particularly in the context of quantum groups and noncommutative geometry, have led to new formulations of the assembly map. For complex semisimple quantum groups, the assembly map is defined via cellular approximations and exact triangles in the Kasparov category, and its isomorphism for trivial coefficients extends classical Connes–Kasparov theorems to a quantum setting (Voigt, 2019).

Quantitative and controlled K-theory methods have enabled the construction and isomorphism proofs for L^p-operator assembly maps under finite dynamical complexity, broadening the technical arsenal for addressing the Baum–Connes conjecture and its analytic relatives (Chung, 2016). These tools systematically relate geometric decompositions, Mayer–Vietoris arguments, and analytic invariants.

---

The Connes–Kasparov assembly map thus occupies a central position at the intersection of noncommutative geometry, geometric group theory, operator algebras, and algebraic K-theory. Its diverse incarnations—analytic, algebraic, geometric, homotopy-theoretic, categorical—reflect its versatility and foundational role in connecting representation theory, index theory, and topological invariants of groups and manifolds.