Wright's question on AW*-algebra normality

Wright's question asks whether the normality conclusion known for factors extends to arbitrary $AW^*$-algebras. A September 2026 preprint claims this extension and a related forcing-transfer theorem.

Known results

• A 2025 preprint claims that every Type $\mathrm{II}_1$ $AW^*$-factor is a von Neumann algebra, while the Type $\mathrm{II}_\infty$ factor case remains open.
• A 2026 preprint gives equivalent formulations for finite $C^*$-algebras but explicitly says it does not prove its characterization of $W^*$-algebras.
• Earlier work records connections with the Mackey–Gleason problem and does not resolve arbitrary $AW^*$-algebras.

September 2026 claimed resolution

The September 9, 2026 news entry reports that Every AW-Algebra is Normal* asserts normality for all $AW^*$-algebras. This is an unrefereed preprint claim; the retrieved literature contains no corroborating verification, referee report, or resolution of the stated concerns.

Current status (as of September 2026): The all-$AW^*$-algebra theorem is claimed by an unrefereed preprint but remains unverified; the earlier literature does not settle Wright's question.