algebra / Group theory; amenability and uniformly bounded representations

Dixmier's unitarizability problem for discrete groups

Theorem 1.1: a discrete group is amenable if and only if every uniformly bounded representation on every complex Hilbert space is similar to a unitary one. For every nonamenable GG and ε>0\varepsilon>0 there is a representation with sup⁡g∥π(g)∥≤1+ε\sup_g\|\pi(g)\|\le1+\varepsilon not similar to a unitary one, on a separable space if GG is countable. This settles Dixmier's question for all discrete groups. Not shown: anything for nondiscrete locally compact groups, or a bound on similarity degree beyond what the theorem gives.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraSep 23, 2026Significance 55/100Registry: lean checked

Dixmier's unitarizability problem for discrete groups

Prior state unknown→proved

Theorem 1.1: a discrete group is amenable if and only if every uniformly bounded representation on every complex Hilbert space is similar to a unitary one. For every nonamenable GG and ε>0\varepsilon>0 there is a representation with sup⁡g∥π(g)∥≤1+ε\sup_g\|\pi(g)\|\le1+\varepsilon not similar to a unitary one, on a separable space if GG is countable. This settles Dixmier's question for all discrete groups. Not shown: anything fo…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: a discrete group is amenable if and only if every uniformly bounded representation on every complex Hilbert space is similar to a unitary one. For every nonamenable GG and ε>0\varepsilon>0 there is a representation with sup⁡g∥π(g)∥≤1+ε\sup_g\|\pi(g)\|\le1+\varepsilon not similar to a unitary one, on a separable space if GG is countable. This settles Dixmier's question for all discrete groups. Not shown: anything for nondiscrete locally compact groups, or a bound on similarity degree beyond what the theorem gives.

Theorem 1.1: a discrete group is amenable if and only if every uniformly bounded representation on every complex Hilbert space is similar to a unitary one. For every nonamenable GG and ε>0\varepsilon>0 there is a representation with sup⁡g∥π(g)∥≤1+ε\sup_g\|\pi(g)\|\le1+\varepsilon not similar to a unitary one, on a separable space if GG is countable. This settles Dixmier's question for all discrete groups. Not shown: anything for nondiscrete locally compact groups, or a bound on similarity degree beyond what the theorem gives.

Recorded attempts

Evidence graph

Connected research record