Metric characterisation of unitaries in JB${}^{\ast }$-algebras

Abstract

Let $M$ be a unital JB${}^{\ast }$-algebra whose closed unit ball is denoted by ${\mathcal{B}}_M$. Let ${\partial }_e({\mathcal{B}}_M)$ denote the set of all extreme points of ${\mathcal{B}}_M$. We prove that an element $u\in {\partial }_e({\mathcal{B}}_M)$ is a unitary if and only if the set $${\mathcal{M}}_u=\{e\in {\partial }_e({\mathcal{B}}_M):\Vert u\pm e\Vert \le \sqrt{2}\}$$ contains an isolated point. This is a new geometric characterisation of unitaries in $M$ in terms of the set of extreme points of ${\mathcal{B}}_M$.

References in corpus (5)

• Tingley's problem through the facial structure of operator algebras
• A reflection on Tingley's problem and some applications
• Measures of weak non-compactness in preduals of von Neumann algebras and JBW${}^{\ast }$-triples
• Mankiewicz's theorem and the Mazur--Ulam property for C*-algebras
• On the extension of isometries between the unit spheres of a JBW${}^{\ast }$-triple and a Banach space