Kadison–Kaplansky projection conjecture for reduced group C*-algebras

The question is whether a finitely generated torsion-free discrete group has a scalar projection e in its reduced group C*-algebra whose canonical trace lies strictly between zero and one-half.

Why it matters and what counts as progress

Why it matters: A nontrivial projection would show that torsion-freeness alone does not force projection rigidity in a reduced group C*-algebra.

What counts as progress: A nontrivial scalar projection in a reduced group C*-algebra of a torsion-free group, or a proof excluding all such projections.

How the problem developed

  1. 2022 · Partial result [1]

    Johan Öinert and Stefan Wagner Published criteria for the Kadison–Kaplansky conjecture on group C*-algebras of certain central extensions involving amenable groups.

  2. 23 Sept 2026 · Counterexample claim [2]

    OpenAI Released a manuscript claiming a finitely generated torsion-free discrete group whose reduced group C*-algebra contains a scalar projection with trace strictly between zero and one-half.

AI contribution

Sources

  1. Arora, Das and Sen, Complex group rings and group C*-algebras of group extensions
  2. OpenAI Kadison–Kaplansky projection manuscript
  3. A torsion-free counterexample to the Kadison–Kaplansky projection conjecture
  4. OpenAI mathematics release account
Website timeline

Publication dates and editorial changes.