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

We study $C$-rich spaces, lush spaces, and $C$-extremely regular spaces concerning with the Mazur-Ulam property. We show that a uniform algebra and the real part of a uniform algebra with the supremum norm are $C$-rich spaces, hence lush…

In this note we present two new positive answers to Tingley's problem in certain subspaces of function algebras. In the first result we prove that every surjective isometry between the unit spheres, $S(A)$ and $S(B)$, of two uniformly…

We prove that a Le Page-type inequality is also valid for metrically characterizing those JB$^*$-triples that are commutative. More precisely, we establish that the following statements are equivalent for any JB$^*$-triple $E$: $(a)$ $E$ is…

A Banach space $X$ has the $Mazur$-$Ulam$ $property$ if any isometry from the unit sphere of $X$ onto the unit sphere of any other Banach space $Y$ extends to a linear isometry of the Banach spaces $X,Y$. A Banach space $X$ is called…

We prove that every commutative JB$^*$-triple has numerical index one. We also revisit the notion of commutativity in JB$^*$-triples to show that a JBW$^*$-triple $M$ has numerical index one precisely when it is commutative, while…

We introduce the (T)-property, and prove that every Banach space with the (T)-property has the Mazur-Ulam property (briefly MUP). As its immediate applications, we obtain that almost-CL-spaces admitting a smooth point(specially, separable…

We show that the predual of a JBW$^*$-triple has the weak Banach-Saks property, that is, reflexive subspaces of a JBW$^*$-triple predual are super-reflexive. We also prove that JBW$^*$-triple preduals satisfy the Koml\'os property (which…

The main result says that every surjective isometry between two ideal Banach function spaces satisfying certain conditions can be presented as a composition of a measurable transformation of a variable and multiplication by a function.

We explore new implications of the $M(r,s)$ and $M^*(r,s)$ properties for Banach spaces. We show that a Banach space $X$ satisfying property $M(1,s)$ for some $0<s\leq 1$, admitting a point $x_{0}$ in its unit sphere at which the relative…

We prove that every biorthogonality preserving linear surjection from a weakly compact JB$^*$triple containing no infinite dimensional rank-one summands onto another JB$^*$-triple is automatically continuous. We also show that every…

We introduce the notion of a Jordan triple module and determine the precise conditions under which every derivation from a JB*-triple E into a Banach (Jordan) triple E-module is continuous. In particular, every derivation from a real or…

We characterise the isomorphisms of Tits--Kantor--Koecher Lie algebras of JB*-triples as a class of surjective linear isometries and show how these algebras form a category equivalent to that of JB*-triples. We introduce the concepts of…

This paper is, in a first stage, devoted to establish a topological--algebraic characterization of the principal component, $\mathcal{U}^0 (M)$, of the set of unitary elements, $\mathcal{U} (M)$, in a unital JB$^*$-algebra $M$. We arrive to…

We show that every Hilbert C*-module E is a JB*-triple in a canonical way and establish an explicit expression for the holomorphic automorphisms of the unit ball of E.

It is shown that every linear strong Birkhoff-James isomorphism between unital $C^*$-algebras is a $*$-isomorphism followed by a unitary multiplication. Moreover, as a partial extension of this result to the non-unital case, the form of…

We prove that the predual, $M_*$, of a JBW$^*$-triple $M$ is a 1-Plichko space (i.e. it admits a countably 1-norming Markushevich basis or, equivalently, it has a commutative 1-projectional skeleton), and obtain a natural description of the…

A Banach space $X$ is said to have the Daugavet property if every rank-one operator $T:X\longrightarrow X$ satisfies $\|Id + T\| = 1 + \|T\|$. We give geometric characterizations of this property in the settings of $C^*$-algebras,…

A linear mapping $T$ on a JB$^*$-triple is called triple derivable at orthogonal pairs if for every $a,b,c\in E$ with $a\perp b$ we have $$0 = \{T(a), b,c\} + \{a,T(b),c\}+\{a,b,T(c)\}.$$ We prove that for each bounded linear mapping $T$ on…

A Banach space $X$ is said to have the alternative Daugavet property if for every (bounded and linear) rank-one operator $T:X\longrightarrow X$ there exists a modulus one scalar $\omega$ such that $\|Id + \omega T\|= 1 + \|T\|$. We give…

Given a category of objects, it is both useful and important to know if all the objects in the category may be realised as sub-objects -- via morphisms in the given category -- of a single object in that category enjoying some nice…