Bass trace vanishing for complex group rings

For every discrete group G, must the Hattori–Stallings trace of each class in K₀(CG) vanish on all infinite-order conjugacy classes? This complex group-ring form of the Bass trace question is distinct from an integral identity-only assertion.

Why it matters and what counts as progress

Why it matters: The unrestricted complex trace-support question reaches beyond linear groups and cannot be replaced by an integral statement without extra input.

What counts as progress: Prove infinite-order vanishing for further group classes or all discrete groups, or construct a trace class violating the support condition.

How the problem developed

  1. 1976 · Conjecture [1]

    Hyman Bass Formulated the integral Bass trace conjecture for Hattori–Stallings traces of projective group-ring modules.

  2. 2004 · Partial result [2]

    Paul Baum, Indira Chatterji and Thomas Schick Established related trace-vanishing results for amenable groups; the arbitrary-group complex group-ring statement remained open.

  3. 24 Sept 2026 · Reported claim [3]

    OpenAI The preprint claims that Hattori–Stallings trace coefficients vanish on all infinite-order conjugacy classes for every discrete group over ℂ.

AI contribution

The Bass trace conjecture and the characteristic-zero Kaplansky idempotent conjecture

OpenAI

For every discrete group G, OpenAI claims that the Hattori–Stallings trace of every class in K₀(C G) vanishes on each infinite-order conjugacy class. The claim concerns the complex group ring; an integral identity-only consequence needs a separate known finite-order input.

AI involvementAI-led
ImportanceMajor
Technical verificationFormal (Lean)
Human understandingFew
Reported

Sources

  1. Bass, Euler characteristics and characters of discrete groups
  2. Berrick, Chatterji and Mislin, From acyclic groups to the Bass conjecture
  3. OpenAI, The Bass trace conjecture for complex group rings
  4. The Bass trace conjecture and the characteristic-zero Kaplansky idempotent conjecture
  5. Lean proof of the Bass trace support theorem
  6. Bass trace comparator and permitted axioms
  7. OpenAI mathematical research repository
Website timeline

Publication dates and editorial changes.