algebra / Operator algebra

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.

25Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraAug 28, 2026Significance 25/100Registry: unreviewed

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

Prior state unknowndisproved

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…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

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.

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.

Recorded attempts

Evidence graph

Connected research record

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