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 CC^*-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 WU ⁣(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 CC^*-algebra.

Exact FrontierDelta

Prior state unknowndisproved

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 CC^*-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 WU ⁣(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 CC^*-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.

Non-MF groups and non-finite full group C*-algebras — Mathematical Frontier Network