Structural Problems for $C^*$- and von Neumann Algebras
Status Open · unsolvedmath.comLLM status Open unverified
Top Open Problems unknownunknown Not reported cataloguedOpenOpenStatement
Definitions and mathematical statement
Shared notation.
$\mathbb N$, $\mathbb Z$, $\mathbb Q$, $\mathbb R$, and $\mathbb C$ denote the natural numbers, integers, rationals, reals, and complex numbers, respectively. All additional parameters and hypotheses are specified in the question.Statement recorded in the supplied source.
Do the normalized random matrices $X_k$ converge strongly to a free circular distribution? Are $q$-Gaussian $C^*$-algebras selfless for $-1<q<1$ and $q\neq0$? Are the indicated tracial ultrapowers mutually isomorphic? Does there exist a group that has a mixed identity and whose reduced $C^*$-algebra is selfless? Does $C^*(F_2\times F_2)$ have the local lifting property? Does a nonamenable group without free subgroups exist whose reduced $C^*$-algebra has rapid decay? For compact convex $K$, does equality of its minimal and maximal operator-system structures imply that $K$ is a Choquet simplex? Are the free group factors $L(F_2)$ and $L(F_3)$ nonisomorphic? Are the free-product factors $Z(r,\tau)^{*n}$ and $Z(r,\tau)^{*m}$ isomorphic, and is there a dichotomy? Is every unital simple separable $C^*$-algebra singly generated? Do classifiable $C^*$-algebras admit filtrations with rapid decay? Is $F_2$ superrigid among hyperbolic groups at the level of reduced $C^*$-algebras? When is a von Neumann algebra with a faithful state selfless?Formulation references: [S1], [S2].
Short English statement
Do the normalized random matrices $X_k$ converge strongly to a free circular distribution? Are $q$-Gaussian $C^*$-algebras selfless for $-1<q<1$ and $q\neq0$? Are the indicated tracial ultrapowers mutually isomorphic? Does there exist a group that has a mixed identity and whose reduced $C^*$-algebra is selfless? Does $C^*(F_2\times F_2)$ have the local lifting property? Does a nonamenable group without free subgroups exist whose reduced $C^*$-algebra has rapid decay? For compact convex $K$, does equality of its minimal and maximal operator-system structures imply that $K$ is a Choquet simplex? Are the free group factors $L(F_2)$ and $L(F_3)$ nonisomorphic? Are the free-product factors $Z(r,\tau)^{*n}$ and $Z(r,\tau)^{*m}$ isomorphic, and is there a dichotomy? Is every unital simple separable $C^*$-algebra singly generated? Do classifiable $C^*$-algebras admit filtrations with rapid decay? Is $F_2$ superrigid among hyperbolic groups at the level of reduced $C^*$-algebras? When is a von Neumann algebra with a faithful state selfless?Sources
- S1 ULAM.AI and the UnsolvedMath Contributors, UnsolvedMath: A Curated Collection of Open Mathematics Problems, record 30006427 (OWR-14299522-011). Catalogue attribution under CC BY 4.0. https://huggingface.co/datasets/ulamai/UnsolvedMath.
- S2 Original problem formulation and mathematical context. https://doi.org/10.4171/owr/2025/35.
Statement licence: CC-BY-SA-4.0 · Source file
Contributions 1
OpenAI claim summary for Math-2499
Manuscript 1 (family 287, 2026-09-23): The free-group-factor nonisomorphism clause is refuted by L(F2)$\cong$L(F3), but the twelve other operator-algebra questions in this bundle are not thereby answered.
Structural Problems for \$C^*\$- and von Neumann Algebras
OpenAI's claim
The manuscript claims that the factors L$F\_2$ and L$F\_3$ are isomorphic, consequently identifying all interpolated free group factors and giving each the full positive-real fundamental group. The cited manuscript argues for that result; its relation to this problem is specified below.Mathematical statement of the claimed result
Mathematical claim 1.
Writing $\mathbb F_n$ for the free group of rank $n$ and $L(\mathbb F_n)$ for its group von Neumann factor with canonical trace, OpenAI claims \[ L(\mathbb F_2)\xrightarrow{\sim}L(\mathbb F_3) \] by a unital normal trace-preserving $*$-isomorphism. Its rank-step construction also asserts $L(\mathbb F_n)\simeq L(\mathbb F_{n+1})$ for every $n\ge3$. These are actual factor isomorphisms, not only embeddings or stable equivalences.Outline of the argument
Manuscript 1 (family 287, 2026-09-23): Small trace-preserving automorphisms are built using finitely supported cocycles on free words. A Catalan-moment computation and truncated inverses provide coefficients that absorb an additional Haar generator with controlled error. Iterating with carefully allocated errors preserves generation as well as the free distribution; established amplification formulas transfer the consecutive-rank construction to ranks two and three.Formal verification
For family 287, the scope page documents the following selections. The selected normal trace-preserving isomorphisms cover all interpolated free-factor parameters greater than one, including infinity. The fundamental-group consequence is separate. The documented statement covers the main claim of manuscript 1. Comparator files: InterpolatedFactors.lean. Declarations: OAI.FreeGroupFactorMain.Interpolation.allInterpolatedIsomorphic.This site has not executed the Lean files or checked their dependencies. These descriptions report the scope of the linked declarations, rather than a new verification of the proofs.
Status caveat
OpenAI attributes these results to an internal model. Its release notice cautions that results lacking full formalization can contain mistakes. This site has not independently assessed the proofs; a solved label records the scope of the reported claim.Sources
- OpenAI, An isomorphism of the free group factors, 2026-09-23; citation key
OAI:An-isomorphism-of-the-free-group-factors-September-23-2026. PDF (GitHub); PDF (direct); Manuscript page and citation; Latest version; Statement source: thm:main. - Family 287: Lean scope.
- Comparator InterpolatedFactors.json.
- Comparator InterpolatedFactors.lean.
- Family 287: Reasoning summary.
- OpenAI catalogue entry.