An induction proof of strong NF\ for amenable group $C^{\ast }$-algebras

Abstract

We give a proof that the full group $C^{\ast }$-algebra of a countable discrete amenable group is strong NF. The representation-theoretic construction uses the exact sequence whose kernel is the hyper-FC radical and whose quotient is the maximal ICC quotient. Extreme invariant traces on the radical induce factorial representations of the group. A Choquet decomposition of the regular radical trace selects a separating family whose induced traces are supported on the ordinary FC-centre. Exact twisted crossed-product quotients and a sequential UCT argument make their images quasidiagonal. Faithful irreducible replacements then supply the projections required for inner quasidiagonality. We also give a direct trace-decomposition variant and identify the steps shared by the two proofs.

arXiv comment9 pages, presubmission