clopen.solutions

An isomorphism of the free group factors

Recorded by the registry's curators from GitHub; the authors did not submit it here.

OpenAI

We solve the free group factor isomorphism problem affirmatively by proving that $L(\F_2)$ and $L(\F_3)$ are isomorphic as tracial von Neumann algebras. The classical free group factor alternative then implies that all interpolated free group factors, including $L(\F_\infty)$, are isomorphic and have fundamental group $\R_{>0}$.

Claims

SOLUTION CLAIMED OP-01050 — The free group factor problem
Full resolution · fidelity not yet established
SOLUTION CLAIMED OP-01051 — Do L(F₂) and L(F₃) have isomorphic ultrapowers?
Full resolution · fidelity not yet established
SOLUTION CLAIMED OP-01052 — Invariance of free entropy dimension under change of generators
Counterexample · fidelity not yet established
SOLUTION CLAIMED OP-01053 — Are ℓ²-Betti numbers of groups invariants of their group von Neumann algebras?
Counterexample · fidelity not yet established

Files and sources

Paper
math @ 7ef5c0c, build/main.tex ↗
Posted on GitHub
6 October 2026

No verification run is on record for this version.