Spectral isometries of unital C^*-algebras

Abstract

This paper provides a human digestion of a proof of the spectral isometry conjecture for C^*-algebras found by GPT-6 Astra. We prove that every unital surjective complex-linear spectral isometry between unital C^*-algebras is a Jordan isomorphism. Without the assumption that the map preserves the identity, it is a central unitary multiple of a Jordan isomorphism. The main step is to show that an entire one-parameter group of unital spectral isometries consists of algebra automorphisms. To prove this, we extend the group to the bidual, which splits into finite and properly infinite summands. On the finite part, we use quadratic and cubic trace identities and on the properly infinite part, we apply a structure theorem for maps that preserve square-zero elements. To show that both summands are invariant, we use holomorphic dependence on the parameter together with a uniform resolvent bound, which ensures that self-adjoint elements have images with real spectrum. We then apply the group theorem to inner automorphisms conjugated by the original spectral isometry. This reduces the problem to the commutative case, where Nagasawa's theorem completes the proof.

A single generation theorem for simple unital C^*-algebras with CPoU and comparison
Xin Ma
arXiv20 Oct 2026PreprintarXiv licenceFull textAnalysis & PDEsarXiv
Free groups amenably act on unital simple AF-algebras
Yuhei Suzuki
arXiv1 Oct 2026PreprintarXiv licenceFull textAnalysis & PDEs Dynamical systemsarXiv
On the generators of separable unital C*-algebras
George A. Elliott, Chun Guang Li, Zhuang Niu
arXiv22 Oct 2026PreprintCC BY 4.0Full textAnalysis & PDEsarXiv
Classification of $3$-dimensional unital commutative algebras
Maqpal Eraliyeva, Ivan Kaygorodov
arXiv13 Oct 2026PreprintarXiv licenceFull textAlgebra & number theoryarXiv
Nonlinear Lie Triple Centralizers of Unital Algebras with Idempotents
Xiuhai Fei, Haifang Zhang, Rongling Li +1
Mathematics27 Oct 2026Peer-reviewedCC BY 4.0Algebra & number theoryCrossref

Cite

BibTeX RIS

BibTeX

@misc{colbrook2026spectral,
  title = {{Spectral isometries of unital $C^*$-algebras}},
  author = {Matthew J. Colbrook and George Stepaniants},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.40470},
  eprint = {2610.40470},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.40470},
}

RIS

TY  - UNPB
TI  - Spectral isometries of unital C^*-algebras
AU  - Matthew J. Colbrook
AU  - George Stepaniants
PY  - 2026
DA  - 2026/10/29
PB  - arXiv
DO  - 10.48550/arxiv.2610.40470
UR  - https://arxiv.org/abs/2610.40470
AB  - This paper provides a human digestion of a proof of the spectral isometry conjecture for C^*-algebras found by GPT-6 Astra. We prove that every unital surjective complex-linear spectral isometry between unital C^*-algebras is a Jordan isomorphism. Without the assumption that the map preserves the identity, it is a central unitary multiple of a Jordan isomorphism. The main step is to show that an entire one-parameter group of unital spectral isometries consists of algebra automorphisms. To prove this, we extend the group to the bidual, which splits into finite and properly infinite summands. On the finite part, we use quadratic and cubic trace identities and on the properly infinite part, we apply a structure theorem for maps that preserve square-zero elements. To show that both summands are invariant, we use holomorphic dependence on the parameter together with a uniform resolvent bound, which ensures that self-adjoint elements have images with real spectrum. We then apply the group theorem to inner automorphisms conjugated by the original spectral isometry. This reduces the problem to the commutative case, where Nagasawa's theorem completes the proof.
ER  -

Abstract

Related

Cite