{"id":"arxiv/2608.18405","url":"https://arxiv.org/abs/2608.18405","tags":["math.OA"],"score":0,"title":"The solution to Kadison's problem on orthonormal bases of unitaries for type $\\mathrm{II}_1$ factors","domain":"math.OA","source":"arxiv","authors":["Yixin He","Quanyu Tang","Zongben Xu","Teng Zhang"],"reviews":0,"subject":"math.OA","summary":"In 1967, Kadison asked whether every type $\\mathrm{II}_1$ factor admits an orthonormal basis, with respect to its trace, consisting of unitaries. We resolve this problem in full generality and, more broadly, characterize the diffuse finite von Neumann algebras admitting such bases consisting of symmetries. Let $M$ be a diffuse finite von Neumann algebra with a faithful normal tracial state $τ$, let $κ$ be the density character of $L^2(M,τ)$, and identify $M$ with its canonical image in $L^2(M,τ)$. We prove that there exists a family $B\\subset {s\\in M:s=s^*=s^{-1},\\ τ(s)=0}$ such that…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-19","reactions":{}}