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

v3 · 2026-09-19 · History

Domain-specific #

1355

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomains

Operator Algebras, Noncommutative Geometry → Mathematics

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.

How would you explain it like I'm…

 

No faithful explanation at this level. Two of three generators judged eli5 infeasible: any five-year-old picture reduces the conjecture to 'two lists turn out to be the same', exactly the 'mere equality of two preexisting lists' reading the core rules out, since the content is that a specific constructed assembly map from geometric to analytic K-theory is bijective.

The Geometry-to-Algebra Translator

Mathematicians study groups, which are collections of symmetries or moves. There are two very different ways to record information about a group. One comes from geometry: looking at spaces the group can move around in a well-behaved way. The other comes from algebra: building a special number-system-like object from the group and measuring it. There is a specific machine, called the assembly map, that turns the geometric information into the algebraic kind. The Baum–Connes conjecture guesses that this machine is perfect: every piece of algebraic information comes from exactly one piece of geometric information, nothing missing and nothing doubled up. It has been proven for many important groups but not for all, and some stronger versions are known to fail.

Assembly Map Isomorphism Conjecture

The Baum–Connes conjecture is a prediction linking geometry and analysis for groups. On one side is an equivariant K-homology group built from the group's proper actions on spaces, which captures geometric and topological information. On the other side is the K-theory of the reduced group C*-algebra, an operator algebra built from the group, which captures analytic information. A canonical map, the assembly map, goes from the first to the second. The conjecture says this map is an isomorphism: every analytic K-theory class comes from geometry, and no two different geometric classes are sent to the same analytic one. So the conjecture is not just that two lists happen to match; it says a specific construction translates one into the other perfectly. It has been proven for many large classes of groups, remains open in general, and some stronger versions with coefficients are known to be false.

 

The Baum–Connes conjecture asserts that for a group G (in the discrete case), the assembly map μ_G: K_*^G(E̲G) → K_*(C_r^* G) is an isomorphism. Here E̲G is the universal space for proper G-actions (the classifying space for proper actions), the source is its G-equivariant K-homology, which is a topological invariant built from proper-action geometry, and the target is the operator K-theory of the reduced group C*-algebra, an analytic invariant. The map is constructed by descent and analytic completion, taking geometric K-cycles to classes in operator K-theory; injectivity means geometric classes are not spuriously identified, and surjectivity means no analytic K-class lies outside the reach of the geometric construction. The conjecture is therefore a claim that a specific bridge is bijective, not merely that two separately computed groups are abstractly isomorphic. Precise models of the source and notation vary with the class of locally compact groups considered and the formulation used. It has been proved for major classes of groups, while important stronger variants, such as versions with coefficients, are known to fail for some groups, so the general conjecture remains an open program.

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) — outgoing typed relations

• Baum–Connes Conjecture includes 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 → includes Isomorphism → is a kind of Bijectivity → is a kind of 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 — Unclustered & Miscellaneous (2769 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-10-25