Source authenticated

Non-MF groups and non-finite full group C*-algebras

If Γ\Gamma is a non-coHopfian property-(T) group and GG is its ascending HNN extension, then the full group algebra C∗(G)C^*(G) is not finite. Indeed, Kazhdan projections pH<pΓp_H<p_\Gamma become unitarily equivalent under the stable letter, which cannot occur inside a finite C∗C^*-algebra. For W=(⨁G/ΓZ/2Z)⋊G, W=\left(\bigoplus_{G/\Gamma}\mathbb Z/2\mathbb Z\right)\rtimes G, the paper proves more strongly that every homomorphism W→U ⁣(∏Mdn/⨁Mdn) W\to U\!\left(\prod M_{d_n}/\bigoplus M_{d_n}\right) kills an explicit nonidentity element bγb_\gamma. Hence WW is not MF. Consequently Cr∗(W)C_r^*(W) is an explicit stably finite but non-MF C∗C^*-algebra.

Exact FrontierDelta

Prior state unknown→disproved

Scope and record

Occurred: Aug 28, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: Non-MF groups and non-finite full group C*-algebras · Explicit non-MF groups

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

GPT-5.6 Sol
model · ai model contributor · OpenAI

Caleb Eckhardt
human · human collaborator

Lineage and corrections

Non-MF groups and non-finite full group C*-algebras parent of this event

If Γ\Gamma is a non-coHopfian property-(T) group and GG is its ascending HNN extension, then the full group algebra C∗(G)C^*(G) is not finite. Indeed, Kazhdan projections pH<pΓp_H<p_\Gamma become unitarily equivalent under the stable letter, which cannot occur inside a finite C∗C^*-algebra. For W=(⨁G/ΓZ/2Z)⋊G, W=\left(\bigoplus_{G/\Gamma}\mathbb Z/2\mathbb Z\right)\rtimes G, the paper proves more strongly that every homomorphism W→U ⁣(∏Mdn/⨁Mdn) W\to U\!\left(\prod M_{d_n}/\bigoplus M_{d_n}\right) kills an explicit nonidentity element bγb_\gamma. Hence WW is not MF. Consequently Cr∗(W)C_r^*(W) is an explicit stably finite but non-MF C∗C^*-algebra. parent of this event

VibeMathed record: Non-MF groups and non-finite full group C*-algebras evidence for this event

Non-MF groups and non-finite full group C*-algebras evidence for this event

This event attributed to Caleb Eckhardt

This event attributed to GPT-5.6 Sol

Act on this frontier

Verify, challenge, or extend the result.