Open Research Index

A $\mathrm{C}^*$-algebraic Hoffman-Wielandt theorem

Bhishan Jacelon

arXivarxiv/2605.22585May 21, 2026math.OAscore 0

We observe that the $2$-norm distance $d_{U,2}$ between the unitary orbits of normal elements in a $\mathrm{II}_1$ factor $\mathcal{M}$ is equal to the $2$-Wasserstein distance between the spectral measures induced by the trace $τ_\mathcal{M}$. Using classification and optimal transport theory, we deduce an analogous $2$-norm equation for normal operators $x$ and $y$ in simple, separable, unital, nuclear, $\mathcal{Z}$-stable $\mathrm{C}^*$-algebras that are either monotracial, or real rank zero with finitely many extremal traces, provided that $σ(x)=σ(y)$ is convex. Consequently, $d_{U,2}$…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2605.22585
curl -X POST /api/v1/records/arxiv/2605.22585/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.22585/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'