Operator algebras·OpenAI Math·Result 285
Counterexamples to Baum–Connes and Kadison–Kaplansky
One of the 372 results in OpenAI's public mathematics catalogue, filed under operator algebras: 3 preprints, the latest dated 23 September 2026. This page quotes OpenAI's own summary of the claim, links the papers and abstracts, and will embed the animation.
Latest paper
A torsion-free counterexample to reduced Baum–Connes injectivity
The animation for this result has not been released yet. Subscribe on YouTube to catch it.
What OpenAI claims
Disproves the coefficient-free reduced Baum–Connes conjecture through a failure of rational injectivity and a separate failure of surjectivity of assembly. A finitely generated torsion-free example witnesses the injectivity failure. Separately, a torsion-free group has a nontrivial projection in its reduced group C∗-algebra, disproving the Kadison–Kaplansky conjecture.
Papers (3)
A torsion-free counterexample to reduced Baum–Connes injectivity
We disprove rational injectivity of the coefficient-free reduced Baum–Connes assembly map for torsion-free groups. Specifically, we construct a finitely generated torsion-free discrete group whose degree-zero assembly map has a kernel class of infinite order.
A torsion-free counterexample to the Kadison–Kaplansky projection conjecture
We construct a finitely generated torsion-free discrete group whose reduced group C∗-algebra contains a projection other than zero and the identity. This disproves the Kadison–Kaplansky projection conjecture.
An irrational-trace counterexample to reduced Baum–Connes
We construct a finitely generated discrete group whose reduced group C∗-algebra contains a projection of irrational canonical trace. Its K0-class lies outside the image of the coefficient-free reduced Baum–Connes assembly map. This disproves the coefficient-free reduced Baum–Connes conjecture for countable discrete groups.
Status
Preprint. The papers have not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.
Related results in Operator algebras
- 286Rigidity and arithmetic of lattice von Neumann algebras
- 287Isomorphism of the free group factorsLean
- 288Kadison's similarity conjectureLean
- 289Strong Kadison–Kastler stability and its spatial boundariesLean
- 290Relative bicentralizers and modular spectral recoveryLean
- 291Cuntz comparison, nuclear dimension, and equivariant Jiang–Su stabilityLean