The ℓ¹-Bass Conjecture for Discrete Groups

We prove the ℓ${}^1$-Bass conjecture for every discrete group. The Hattori–Stallings trace of every idempotent matrix over the complex ℓ${}^1$ group algebra is supported on finitely many conjugacy classes of finite-order elements.