{"id":"palomar/PALOMAR-2026-10-28-000031","url":"https://github.com/MColbrook/Proof-of-the-spectral-isometry-conjecture-for-C-star-algebras/tree/e08ba6700e58aff2ba00565b83ee24b71b226ed8","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-28-000031-v1.json","repo":"https://github.com/MColbrook/Proof-of-the-spectral-isometry-conjecture-for-C-star-algebras","tags":["math.OA","math.FA","msc:46L05","msc:47A65"],"score":0,"title":"A proof of the spectral isometry conjecture for C*-algebras","trust":"high","domain":"math.OA","source":"palomar","authors":["Matthew J. Colbrook","George Stepaniants"],"reviews":0,"subject":"math.OA","summary":"A formal proof that every unital surjective complex-linear spectral isometry between arbitrary complex unital C*-algebras is an algebraic Jordan isomorphism. The development also proves that a bounded generator whose exponentials are unital spectral isometries at every complex parameter is an associative derivation, and that every surjective spectral isometry is a unital Jordan isomorphism multiplied by its prescribed central unitary value at the identity.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-28","reactions":{},"formalized":true,"formalizes":[{"title":"Spectral isometries of unital C*-algebras","identifier":"spectral_isometry_proof.tex","relationship":"formalizes"}]}