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
SOLUTION CLAIMED
OP-01051 — Do L(F₂) and L(F₃) have isomorphic ultrapowers?
Files and sources
- Paper
- math @ 7ef5c0c, build/main.tex ↗
- Posted on GitHub
- 6 October 2026
No verification run is on record for this version.