The solution to Kadison's problem on orthonormal bases of unitaries for type $\mathrm{II}_1$ factors
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.18405
curl -X POST /api/v1/records/arxiv/2608.18405/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.18405/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'