{"id":"arxiv/2609.10218","url":"https://arxiv.org/abs/2609.10218","tags":["math.OA","math.LO"],"score":0,"title":"Every $\\mathrm{AW}^*$-Algebra is Normal","domain":"math.OA","source":"arxiv","authors":["Jananan Arulseelan","James E. Hanson"],"reviews":0,"subject":"math.OA","summary":"Using set-theoretic methods, we prove that every $\\mathrm{AW}^*$-algebra is normal, resolving a question of Wright that has stood open for 46 years. This was previously known in the case of $\\mathrm{AW}^*$-factors, by work of Saitô and Wright. We also show that if there is a model $V$ of $\\mathrm{ZFC}$ with an $\\mathrm{AW}^*$-algebra that fails to be monotone complete, then in some forcing extension of $V$ there is an $\\mathrm{AW}^*$-factor that fails to be monotone complete, implying that any $\\mathrm{ZFC}$ proof that all $\\mathrm{AW}^*$-factors are monotone complete yields a $\\mathrm{ZFC}$…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-09","reactions":{}}