Related papers: Every commutative JB$^*$-triple satisfies the comp…

We prove that every JBW$^*$-triple $M$ with rank one or rank bigger than or equal to three satisfies the Mazur--Ulam property, that is, every surjective isometry from the unit sphere of $M$ onto the unit sphere of another Banach space $Y$…

Let $K$ be a compact Hausdorff space and let $H$ be a real or complex Hilbert space with dim$(H_\mathbb{R})\geq 2$. We prove that the space $C(K,H)$ of all $H$-valued continuous functions on $K$, equipped with the supremum norm, satisfies…

Let $(\Omega,\mu)$ be a $\sigma$-finite measure space. Given a Banach space $X$, let the symbol $S(X)$ stand for the unit sphere of $X$. We prove that the space $L^{\infty} (\Omega,\mu)$ of all complex-valued measurable essentially bounded…

We prove that every surjective isometry from the unit sphere of the space $K(H),$ of all compact operators on an arbitrary complex Hilbert space $H$, onto the unit sphere of an arbitrary real Banach space $Y$ can be extended to a surjective…

The principal result in this note is a strengthened version of Kadison's transitivity theorem for unital JB$^*$-algebras, showing that for each minimal tripotent $e$ in the bidual, $\mathfrak{A}^{**}$, of a unital JB$^*$-algebra…

We prove that every surjective isometry from the unit sphere of a rank-2 Cartan factor $C$ onto the unit sphere of a real Banach space $Y$, admits an extension to a surjective real linear isometry from $C$ onto $Y$. The conclusion also…

Let $\Gamma$ be an infinite set equipped with the discrete topology. We prove that the space $\ell_{\infty}(\Gamma),$ of all complex-valued bounded functions on $\Gamma$, satisfies the Mazur-Ulam property, that is, every surjective isometry…

It is known, by Gelfand theory, that every commutative JB$^*$-triple admits a representation as a space of continuous functions of the form $$C_0^{\mathbb{T}}(L) = \{ a\in C_0(L) : a(\lambda t ) = \lambda a(t), \ \forall \lambda\in…

Given an infinite set $\Gamma$, we prove that the space of complex null sequences $c_0(\Gamma)$ satisfies the Mazur-Ulam property, that is, for each Banach space $X$, every surjective isometry from the unit sphere of $c_0(\Gamma)$ onto the…

We prove that every unital C*-algebra $A$ has the Mazur--Ulam property. Namely, every surjective isometry from the unit sphere $S_A$ of $A$ onto the unit sphere $S_Y$ of another normed space $Y$ extends to a real linear map. This extends…

An atomic decomposition is proved for Banach spaces which satisfy some affine geometric axioms compatible with notions from the quantum mechanical measuring process. This is then applied to yield, under appropriate assumptions, geometric…

Let $M$ and $N$ be two unital JB$^*$-algebras and let $\mathcal{U} (M)$ and $\mathcal{U} (N)$ denote the sets of all unitaries in $M$ and $N$, respectively. We prove that the following statements are equivalent: $(a)$ $M$ and $N$ are…

In this paper we deal with those Banach spaces $Z$ which satisfy the Mazur--Ulam property, namely that every surjective isometry $\Delta$ from the unit sphere of $Z$ to the unit sphere of any Banach space $Y$ admits an unique extension to a…

We give a sufficient condition for a Banach space with which the homogeneous extension of a surjective isometry from the unit sphere of it onto another one is real-linear. The condition is satisfied by a uniform algebra and a certain…

Let $f: S(E) \to S(B)$ be a surjective isometry between the unit spheres of two weakly compact JB$^*$-triples not containing direct summands of rank smaller than or equal to 3. Suppose $E$ has rank greater than or equal to 5. Applying…

We prove that every isometry between the unit spheres of 2-dimensional Banach spaces extends to a linear isometry of the Banach spaces. This resolves the famous Tingley's problem in the class of 2-dimensional Banach spaces.

In 2022, Hatori gave a sufficient condition for complex Banach spaces to have the complex Mazur--Ulam property. In this paper, we introduce a class of complex Banach spaces $B$ that do not satisfy the condition but enjoy the property that…

We prove that a subspace of a real JBW$^*$-triple is an $M$-summand if and only if it is a weak$^*$-closed triple ideal. As a consequence, $M$-ideals of real JB$^*$-triples correspond to norm-closed triple ideals. As in the setting of…

Let $T: A\to B$ be a (not necessarily surjective) linear isometry between two real JB$^*$-triples. Then for each $a\in A$ there exists a tripotent $u_a$ in the bidual, $B'',$ of $B$ such that \begin{enumerate}[$(a)$] \item…

We prove that every surjective isometry between the unit spheres of two atomic JBW$^*$-triples $E$ and $B$ admits a unit extension to a surjective real linear isometry from $E$ into $B$. This result constitutes a new positive answer to…