English

Every commutative JB$^*$-triple satisfies the complex Mazur--Ulam property

Functional Analysis 2022-01-19 v1

Abstract

We prove that every commutative JB^*-triple satisfies the complex Mazur--Ulam property. Thanks to the representation theory, we can identify commutative JB^*-triples as spaces of complex-valued continuous functions on a principal T\mathbb{T}-bundle LL in the form C0T(L):={aC0(L):a(λt)=λa(t) for every (λ,t)T×L}.C_0^\mathbb{T}(L):=\{a\in C_0(L):a(\lambda t)=\lambda a(t)\text{ for every } (\lambda,t)\in\mathbb{T}\times L\}. We prove that every surjective isometry from the unit sphere of C0T(L)C_0^\mathbb{T}(L) onto the unit sphere of any complex Banach space admits an extension to a surjective real linear isometry between the spaces.

Keywords

Cite

@article{arxiv.2201.06307,
  title  = {Every commutative JB$^*$-triple satisfies the complex Mazur--Ulam property},
  author = {David Cabezas and María Cueto-Avellaneda and Daisuke Hirota and Takeshi Miura and Antonio M. Peralta},
  journal= {arXiv preprint arXiv:2201.06307},
  year   = {2022}
}
R2 v1 2026-06-24T08:52:08.226Z