analysis / Operator algebras: II_1 factors and free probability

The free group factor isomorphism problem

Claims that L(F2)≅L(F3)L(\mathbb F_2)\cong L(\mathbb F_3), by an explicit iterative construction inside L(Fn+1)L(\mathbb F_{n+1}) of a freely generating Haar nn-tuple, built from small trace-preserving automorphisms driven by a polynomial flow. With the classical interpolated-factor dichotomy, all L(Fr)L(\mathbb F_r), 1<r≤∞1<r\le\infty, are isomorphic and their fundamental group is R>0\mathbb R_{>0}. It also shows free entropy dimension depends on the generating tuple. It does not identify L(F2)L(\mathbb F_2) with other non-free group factors.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

analysisSep 23, 2026Significance 68/100Registry: lean checked

The free group factor isomorphism problem

Prior state unknown→proved

Claims that L(F2)≅L(F3)L(\mathbb F_2)\cong L(\mathbb F_3), by an explicit iterative construction inside L(Fn+1)L(\mathbb F_{n+1}) of a freely generating Haar nn-tuple, built from small trace-preserving automorphisms driven by a polynomial flow. With the classical interpolated-factor dichotomy, all L(Fr)L(\mathbb F_r), 1<r≤∞1<r\le\infty, are isomorphic and their fundamental group is R>0\mathbb R_{>0}. It also shows free entropy dimensio…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Claims that L(F2)≅L(F3)L(\mathbb F_2)\cong L(\mathbb F_3), by an explicit iterative construction inside L(Fn+1)L(\mathbb F_{n+1}) of a freely generating Haar nn-tuple, built from small trace-preserving automorphisms driven by a polynomial flow. With the classical interpolated-factor dichotomy, all L(Fr)L(\mathbb F_r), 1<r≤∞1<r\le\infty, are isomorphic and their fundamental group is R>0\mathbb R_{>0}. It also shows free entropy dimension depends on the generating tuple. It does not identify L(F2)L(\mathbb F_2) with other non-free group factors.

Claims that L(F2)≅L(F3)L(\mathbb F_2)\cong L(\mathbb F_3), by an explicit iterative construction inside L(Fn+1)L(\mathbb F_{n+1}) of a freely generating Haar nn-tuple, built from small trace-preserving automorphisms driven by a polynomial flow. With the classical interpolated-factor dichotomy, all L(Fr)L(\mathbb F_r), 1<r≤∞1<r\le\infty, are isomorphic and their fundamental group is R>0\mathbb R_{>0}. It also shows free entropy dimension depends on the generating tuple. It does not identify L(F2)L(\mathbb F_2) with other non-free group factors.

Recorded attempts

Evidence graph

Connected research record

The free group factor isomorphism problem — Mathematical Frontier Network