Baum–Connes Conjecture

An assembly-map conjecture relating a group's geometric equivariant K-homology to the analytic K-theory of its reduced group C-star algebra.

Version

v2 · 2026-09-06 · History

Domain-specific #

1355

Origin domain

operator algebras

Subdomain

noncommutative geometry

Aliases

Baum-Connes Conjecture

Core Idea

The Baum–Connes conjecture predicts that a canonical assembly map converts geometric/topological information about a group action into all of the analytic K-theory of the group's reduced C-star algebra. In a standard shorthand for a discrete group \(G\), the map is

\[ \mu_G:K_*^G(\underline EG)\longrightarrow K_*(C_r^*G), \]

where \(\underline EG\) is the universal proper \(G\)-space, the left side is an equivariant K-homological object, and the right side is the K-theory of the reduced group C-star algebra. Precise models of the source and notation vary with the class of locally compact groups and the formulation. The invariant claim is that the specified assembly map is an isomorphism.

Scope of Application

The conjecture sits at the intersection of operator algebras, noncommutative geometry, equivariant topology, index theory, and geometric group theory. It provides a framework for computing the K-theory of reduced group C-star algebras from proper-action geometry. Its injective side relates to higher signatures and the Novikov conjecture; its surjective side states that analytic classes arise through the assembly construction.

Proof methods depend strongly on the group. Higson and Kasparov established the conjecture with coefficients for groups having the Haagerup property through equivariant KK-theory. Other results cover additional families through controlled topology, gamma elements, or geometric actions.

Clarity

The abstraction makes proof status modular. One may ask whether the map is defined for the chosen formulation, whether it is injective, whether it is surjective, and whether coefficients are present. This prevents a partial theorem from being reported as full bijectivity and a coefficient counterexample from being transferred to the original statement.

Manages Complexity

The conjecture compresses a wide collection of analytic K-theory calculations into a single geometric-to-analytic interface. Rather than construct each analytic class ad hoc, one studies proper group actions, equivariant cycles, and the behavior of assembly. It also divides obstruction analysis: failure could arise through a kernel, a missing target class, or a stronger coefficient demand.

Abstract Reasoning

If assembly is an isomorphism for a group, analytic K-theory may be computed from the topological source, subject to the chosen model. If only injectivity is proved, geometric classes remain distinguishable after assembly, but no conclusion that all analytic classes are geometric follows. If only surjectivity is proved, every target class lifts, but lifts need not be unique.

Knowledge Transfer

Literal transfer occurs among group classes because the same roles—proper-action source, reduced-algebra target, assembly, bijectivity—are retained. Proof technology may change while the conjecture remains recognizable. Index-theoretic intuition also transfers: geometric cycles are sent to analytic index classes.

Outside this specialist ecosystem, “assembling local geometry into global analytic invariants” is an analogy. The parent prime Isomorphism travels widely; the Baum–Connes name does not. Removing equivariant K-homology, reduced group C-star algebras, and group actions destroys the identity.

Relationships to Other Abstractions

Current abstraction Baum–Connes Conjecture Domain-specific

Parents (1) — more general patterns this builds on

• Baum–Connes Conjecture is part of Isomorphism Prime

  prime:isomorphism supplies the defining claim that assembly is bijective and structure-respecting.

Hierarchy paths (4) — routes to 2 parentless roots

• Baum–Connes Conjecture → Isomorphism → Bijectivity → Function (Mapping)

Show alternative paths (3)

Neighborhood in Abstraction Space

Baum–Connes Conjecture sits in a sparse region of the domain-specific corpus (77^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Topological Groups & Homotopy Actions (11 abstractions)

Nearest neighbors

• Algebraic stack — 0.84
• Hausdorff Space — 0.83
• Thurston Elliptization Conjecture — 0.82
• Quaternion-Kähler Manifold — 0.82
• Loop Group — 0.82

Computed from structural-signature embeddings · 2026-09-08