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.^[1]

The conjecture is a bridge, not a mere equality of two preexisting lists. Its source packages proper-action geometry into topological K-theory; descent and analytic completion produce a map to operator-algebraic K-theory. Bijectivity says that analytic K-classes are neither missing from the geometric construction nor spuriously identified by it. This remains a conjectural program in general, with major proved classes and important failures of stronger variants with coefficients.^[2]^[3]

Structural Signature¶

Recognition roles:

Group object: a countable discrete or suitable locally compact group \(G\).
Universal proper-action space: a model for \(\underline EG\), or the corresponding topological K-theory domain.
Geometric source: equivariant K-homology assembled from proper \(G\)-actions and G-compact pieces.
Analytic target: \(K_*(C_r^*G)\), built from the reduced group C-star algebra.
Assembly mechanism: the canonical map joining source and target.
Two obligations: injectivity and surjectivity, jointly yielding isomorphism.
Variant controls: coefficients, completion, group class, and formulation must be stated.

Recognition test. A statement belongs to the Baum–Connes abstraction only when it names this geometric source, reduced-algebra analytic target, and canonical assembly map. A generic comparison between topology and analysis, or any theorem about K-theory, is insufficient.

What It Is Not¶

It is not a theorem proved for every group. It is not the assertion that a group and its C-star algebra are isomorphic. It concerns K-theory groups connected by an assembly map, not equality of the underlying geometric and operator-algebraic objects. Nor is it one computational recipe for a single K-group: the conjecture is a structural identification program across groups.

The original coefficient-free conjecture must be distinguished from the stronger conjecture with coefficients. Higson, Lafforgue, and Skandalis constructed counterexamples to the latter in its general form; that result is not a counterexample to the coefficient-free conjecture as originally stated.^[3] Likewise, injectivity alone is often associated with Novikov-type consequences, but it does not establish surjectivity or the full conjecture.

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.^[1]

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.^[2] Other results cover additional families through controlled topology, gamma elements, or geometric actions. These are habitats of one assembly-map identity, not reasons to treat all assembly maps as Baum–Connes maps.

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.

Clarity also requires naming the target completion. The reduced group C-star algebra is constitutive. Replacing it with a maximal completion changes the map and can change the conjectural landscape. Similarly, \(K_*^G(\underline EG)\) is shorthand whose model must be interpreted under the relevant hypotheses.

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.

This compression does not erase hard work. Universal proper spaces can be complicated, and proving assembly bijective may require deep analytic machinery. The abstraction manages complexity by organizing proof obligations and transport, not by making them elementary.

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.

Functorial and permanence reasoning can sometimes transfer results among related groups, but only under theorems governing the specific formulations. The abstraction licenses decomposition into source, map, and target; it does not license assuming permanence for arbitrary extensions or subgroups.

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.

Examples¶

Trivial group. For the trivial group, the universal proper space is a point and the reduced group C-star algebra is \(\mathbb C\). The assembly map reduces to the familiar identification of the relevant point K-homology with \(K_*(\mathbb C)\). This degenerate case displays the same source–map–target roles without difficult group geometry.

A-T-menable groups. Higson and Kasparov proved the coefficient version for groups acting properly and isometrically on an affine Hilbert space, a class containing groups with the Haagerup property.^[2] The example maps the group property to proof machinery but does not redefine the conjecture.

Coefficient boundary. The constructions of Higson, Lafforgue, and Skandalis show that the coefficient-strengthened claim can fail.^[3] The diagnostic is whether a coefficient algebra is part of the asserted domain and target; one must not label this as failure of the unqualified coefficient-free statement.

Structural Tensions¶

Geometry versus analysis: the source is geometrically generated while the target is analytically completed. Diagnostic: determine whether the argument controls the assembly map rather than merely computes one side.
Injectivity versus surjectivity: each has different consequences and difficulty. Diagnostic: state exactly which half the theorem establishes.
Original versus coefficient form: coefficients enhance functorial strength but introduce known counterexamples. Diagnostic: inspect whether a coefficient algebra occurs in the asserted map.
Autonomy versus reduction: Isomorphism describes the desired relation, but does not specify the canonical source, target, or assembly mechanism. Diagnostic: remove those specialist roles; if the Baum–Connes claim can no longer be stated, the residual is autonomous.

Structural–Framed Character¶

The conjecture is strongly structural: it compares functorially defined invariants through a canonical map. Yet its vocabulary is entirely framed by operator algebras and equivariant K-theory. It carries no ordinary evaluative judgment, but it depends on specialist choices of proper-action space, completion, coefficients, and category.

Structural Core vs. Domain Accent¶

The portable core is an asserted isomorphism between two descriptions connected by a map. The domain accent supplies virtually all recognition content: group actions, equivariant K-homology, reduced C-star algebras, K-theory, and analytic assembly. Stripping these leaves a generic isomorphism conjecture, not Baum–Connes.

It is therefore domain-specific. Recurrence in topology, index theory, and operator algebras reflects one tightly integrated mathematical program rather than literal substrate independence.

prime:isomorphism supplies the defining claim that assembly is bijective and structure-respecting. prime:mapping is related because the assembly transformation is canonical, but any conjecture needs more than the existence of a map. prime:translation offers a loose epistemic description of moving geometric information into analytic form, but it is declined as a literal parent. Isomorphism alone is proposed.

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

Not to Be Confused With¶

Farrell–Jones conjecture: another assembly-conjecture program with different algebraic K- and L-theory targets.
Novikov conjecture: connected especially to injectivity consequences, not identical to Baum–Connes.
Assembly map in general: a family of constructions; only the specified equivariant-K-homology to reduced-C-star-algebra map carries this identity.
Conjecture with coefficients: a stronger formulation with distinct truth status.
K-theory of a space: related machinery but not the analytic target by itself.

References¶

[1] Paul Baum, Alain Connes, and Nigel Higson, “Classifying Space for Proper Actions and K-Theory of Group C-Algebras,” *Contemporary Mathematics 167 (1994), 240–291. https://doi.org/10.1090/conm/167/1292018 registry ↩a ↩b

[2] Nigel Higson and Gennadi Kasparov, “E-Theory and KK-Theory for Groups Which Act Properly and Isometrically on Hilbert Space,” Inventiones Mathematicae 144 (2001), 23–74. https://doi.org/10.1007/s002220000118 registry ↩a ↩b ↩c

[3] Nigel Higson, Vincent Lafforgue, and Georges Skandalis, “Counterexamples to the Baum–Connes Conjecture,” Geometric and Functional Analysis 12 (2002), 330–354. https://doi.org/10.1007/s00039-002-8249-5 registry ↩a ↩b ↩c