Every commutative JB∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^*$$\end{document}-triple satisfies the complex Mazur–Ulam property

We prove that every commutative JB∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^*$$\end{document}-triple, represented as a space of continuous functions C0T(L),\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C_0^{\mathbb {T}}(L),$$\end{document} satisfies the complex Mazur–Ulam property, that is, every surjective isometry from the unit sphere of C0T(L)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C_0^{\mathbb {T}}(L)$$\end{document} onto the unit sphere of any complex Banach space admits an extension to a surjective real linear isometry between the spaces.


Introduction
New recent advances continue improving our understanding of Tingley's problem by enlarging the list of positive solutions, and the range of spaces satisfying the Mazur-Ulam property. As introduced in [8], a Banach space X satisfies the Mazur-Ulam property if every surjective isometry from its unit sphere onto the unit sphere of any other Banach space admits an extension to a surjective real linear isometry between the spaces. It is worth to note that this property was previously considered by Ding in [10] without an explicit name (see also [23, page 730]). A remarkable outstanding discovering has been obtained by Banakh in [1], who has proved that every 2-dimensional Banach space X satisfies the Mazur-Ulam property. This is, in fact, the culminating point of deep technical advances (see [2,6]).
The abundance of unitary elements in unital C * -algebras, real von Neumann algebras and JBW * -algebras is a key property to prove that these spaces together with all JBW * -triples satisfy the Mazur-Ulam property (cf. [3,13,16]). A prototypical example of non-unital C * -algebra is given by the C * -algebra K(H), of all compact operators on an infinite dimensional complex Hilbert space H, or more generally, by a compact C * -algebra (i.e., a c 0 -sum of K(H)-spaces). Compact C * -algebras and weakly compact JBW * -triples are in the list of Banach spaces satisfying the Mazur-Ulam property (see [18]).
Tingley's problem is also studied in the case of certain function algebras and spaces. The first positive solution to Tingley's problem for a Banach space consisting of analytic functions, apart from Hilbert spaces, was obtained by Hatori et al. in [12], where a proof is given for any surjective isometry between the unit spheres of two uniform algebras (i.e., closed subalgebras of C(K) containing the constants and separating the points of K). Hatori has gone further by showing that every uniform algebra satisfies the complex Mazur-Ulam property, i.e., every surjective isometry from its unit sphere onto the unit sphere of any complex Banach spaces admits an extension to a real linear mapping between the spaces [11,Theorem 4.5].
The non-unital analogue of uniform algebras is materialized in the notion of uniformly closed function algebra on a locally compact Hausdorff space L. We recently showed that each surjective isometry between the unit spheres of two uniformly closed function algebras on locally compact Hausdorff spaces admits an extension to a surjective real linear isometry between these algebras (see [9]). In the just quoted reference we also proved that Tingley's problem admits a positive solution for any surjective isometry between the unit spheres of two commutative JB * -triples, which are not, in general, subalgebras of the algebra C 0 (L) of all complex-valued continuous functions on L vanishing at infinity (see Sect. 3 for details). In this note we shall employ a recent tool developed by Hatori in [11] to infer that a stronger conclusion holds, namely, every commutative JB * -triple satisfies the complex Mazur-Ulam property. Among the consequences we derive that every commutative C * -algebra enjoys the complex Mazur-Ulam property.

Preliminaries
We shall briefly recall some basic terminology to understand the sufficient condition in [11,Proposition 4.4] to guarantee that a Banach space satisfies the complex Mazur-Ulam property. Let X be a real or complex Banach space, and let X * , S(X) and B X denote the dual space, the unit sphere and the closed unit ball of X, respectively. It is known, thanks to Hahn-Banach theorem or Eidelheit's separation theorem, that maximal convex subsets of S(X) and maximal proper norm closed faces of B X define the same subsets (cf. [21,Lemma 3.3] or [22,Lemma 3.2]). The set of all maximal convex subsets of S(X), equivalently, all maximal proper norm closed faces of B X , will be denoted by X . For each F ∈ X there exists an extreme point of the closed unit ball . The set of all extreme points of B X * for which −1 {1} ∩ S(X) is a maximal convex subset of S(X) will be denoted by Q X . On the latter set we consider the equivalence relation defined by where = ℝ if X is a real Banach space and = ℂ if X is a complex Banach space. A set of representatives for the quotient set Q X ∕ ∼ (or for X ) will consist in a subset X of Q X which is formed by precisely one, and only one, element in each equivalence class of Q X ∕ ∼ . According to this notation, for each F ∈ X there exists a unique ∈ X and ∈ such that , that is, the elements in X are bijectively labelled by the set X × , and we can define a bijection I X ∶ X → X × labelling the set X .
For example, by the classical description of the extreme points of the closed unit ball of the dual of a C(K) space as those functionals of the form . It is shown in [11,Example 2.4] that for a uniform algebra A over a compact Hausdorff space K, the set { t ∶ t ∈ Ch(A)} is a set of representatives for A, where Ch(A) denotes the Choquet boundary of A.
Let A, B be non-empty closed subsets of a metric space (E, d). The usual Hausdorff distance between A and B is defined by We shall employ this Hausdorff distance to measure distances between elements in X . According to [11], a Banach space X satisfies the condition of the Hausdorff distance if the elements in X satisfy the following rules: for , � ∈ Q X and , � ∈ . Let X ⊂ Q X be a set of representatives for X .
Under the light of [11, Lemma 3.1] to conclude that a complex Banach space X together with a set of representatives X satisfies the condition of the Hausdorff distance, it suffices to prove that Let us go back to the set Q X determining the set X of all maximal proper norm closed faces of B X . For ∈ Q X and ∈ = B ( = ℝ or ℂ ), we set where | | = 1 if = 0. It is known that for each in a set of representatives X , the inclusion holds for all ∈ (cf. [11,Lemma 4.3]). O. Hatori has recently established that a complex Banach space X, together with a set of representatives X for X , satisfying the condition of the Hausdorff distance and the equality: for each in X and ∈ , satisfies the complex Mazur-Ulam property (cf. [11,Proposition 4.4]).

The complex Mazur-Ulam property for commutative JB * -triples
We shall avoid the axiomatic definition of commutative JB * -triples and we shall simply recall their representation as function spaces. By the Gelfand theory for JB * -triples (see [14,Corollary 1.11]), each abelian JB * -triple can be identified with the norm closed subspace of C 0 (L) defined by where L is a principal -bundle, that is, a subset of a Hausdorff locally convex complex space such that 0 ∉ L, L ∪ {0} is compact, and L = L (see also [7, §4.2.1] or [5,9]).
We can state next the main result of the paper. (2) F , ∩ F � , � ≠ � for any ≠ � in X , , � in .
The proof will be obtained after a series of technical results via [11,Proposition 4.4].
Although for each locally compact space L , the Banach space C 0 (L) is isometrically isomorphic to a C 0 (L) space (cf. [17,Proposition 10]), there exist principal -bundles L for which the space C 0 (L) is not isometrically isomorphic to a C 0 (L) space (cf. [14, Corollary 1.13 and subsequent comments]). Therefore, there exist abelian JB * -triples which are not isometrically isomorphic to commutative C * -algebras. The next corollary is a weaker consequence of our previous theorem.

Corollary 3.2
Every abelian C * -algebra (that is, every C 0 (L) space) satisfies the complex Mazur-Ulam property.
Compared with previous results, we observe that as a consequence of the result proved by Hatori for uniform algebras in [11,Theorem 4.5] every unital abelian C * -algebra satisfies the complex Mazur-Ulam property. Actually, all unital C * -algebras enjoy the Mazur-Ulam property [16]. In the case of real-valued continuous functions, Liu proved that for each compact Hausdorff space K, C(K, ℝ) satisfies the Mazur-Ulam property (see [15,Corollary 6]).
Let L be a locally compact Hausdorff space. A closed subspace E of C 0 (L, ), separates the points of L if for any t 1 ≠ t 2 in L there exists a function a ∈ E such that a(t 1 ) ≠ a(t 2 ). Following [11], we shall say that E satisfies the condition (r) if for any t in the Choquet boundary of E, each neighborhood V of t, and > 0 there exists u ∈ E such that 0 ≤ u ≤ 1 = u(t) on L and 0 ≤ u ≤ on L ∖V. The proof of Corollary 5.4 in the preprint version of [11] (see arXiv:2017.01515) affirms that each closed subspace E of C 0 (L, ℝ) separating the points of L and satisfying a stronger assumption than condition (r) has the Mazur-Ulam property. After some private communications with O. Hatori we actually learned that property (r) is enough to conclude that any such closed subspace E satisfies the Mazur-Ulam property. Actually the desired conclusion can be derived from [4,Theorem 2.4] by just observing that condition (r) implies that the isometric identification of E in C 0 Ch(E) is C-rich, and hence a lush space. Corollary 3.9 in [20] implies that E has the Mazur-Ulam property.
We focus now on the main goal of this section. Henceforth, let L be a principal -bundle and L 0 ⊂ L a maximal non-overlapping set, that is, L 0 is maximal satisfying that for each t ∈ L 0 we have L 0 ∩ t = {t} (its existence is guaranteed by Zorn's lemma).
Assume that a Banach space Y satisfies the following property: for every extreme point ∈ e (B Y * ), the set { } is a weak * -semi-exposed face of B Y * . It is clear that each extreme point ∈ e (B Y * ) is determined by the set { } � = −1 (1) ∩ S(Y). Hence, the equivalence relation ∼ defined in Sect. 2 (cf. [11, Definition 2.1]) can be characterized in the following terms: for , ∈ e (B Y * ), we have ∼ ⇔ = for some ∈ . Since Y = C 0 (L) satisfies the mentioned property, the set { t ∶ t ∈ L 0 } is a set of representatives for the relation ∼ . We know that each maximal proper face F of the closed unit ball of C 0 (L) is of the form: for some (t 0 , ) ∈ L 0 × (cf. [9, Lemma 3.5]).
We can now begin with the technical details for our arguments.
Proof Since L 0 is non-overlapping, we know that t 1 and t 2 are disjoint compact subsets of L.
Proof Lemma 3.3 assures the existence of disjoint open -symmetric neighbourhoods with compact closure W 1 and W 2 of t 1 and t 2 , respectively. By [9,Remark 3.4], there exist functions a 1 , a 2 ∈ S(C 0 (L)) such that a j (t j ) = 1 and a j| L∖W j ≡ 0 for j = 1, 2.
We shall next show that C 0 (L) satisfies the second hypothesis in [11,Proposition 4.4].
Take now any s ∈ L such that a(s) ≠ 0. Then we have and clearly the equality |a(s) − a j (s)| = | | | |a(s)| − h j |a(s)| | | | also holds when a(s) = 0. We, therefore, have d(a, a j ) ≤ 1 + (−1) j | | ( j = 1, 2 ), which implies that a ∈ M t 0 , . ◻ Proof of Theorem 3.1 Remark 3.5 and Proposition 3.6 guarantee that C 0 (L) satisfies the hypotheses in [11,Proposition 4.4] for the set of representatives given by L 0 , and the just quoted proposition gives the desired conclusion. ◻ not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http:// creat iveco mmons. org/ licen ses/ by/4. 0/.