Quadratic Conorm and extremally rich JB*-triples

TL;DR

This paper introduces extremally rich JB*-triples, establishing formulas for distances to extreme points, analyzing the lambda function, and characterizing the continuity of the quadratic connorm.

Contribution

It defines extremally rich JB*-triples and provides new formulas for distances, lambda function values, and conditions for quadratic connorm continuity.

Findings

Distance from an element to extreme points is max{1, ||a||-1} for non-BP quasi-invertible elements.

Lambda function equals 1/2 for all non-BP quasi-invertible elements in the open unit ball.

Quadratic connorm is continuous at a point if and only if the point is either not von Neumann regular or BP quasi-invertible.

Abstract

We introduce and study the class of extremally rich JB$^*$-triples. We establish new results to determine the distance from an element $a$ in an extremally rich JB$^*$-triple $E$ to the set $\partial_{e} (E_1)$ of all extreme points of the closed unit ball of $E$. More concretely, we prove that $$\hbox{dist} (a,\partial_e (E_1)) =\max \{ 1, \|a\|-1\},$$ for every $a\in E$ which is not Brown-Pedersen quasi-invertible. As a consequence, we determine the form of the $\lambda$-function of Aron and Lohman on the open unit ball of an extremally rich JB$^*$-triple $E$, by showing that $\lambda (a)= \frac12$ for every non-BP quasi-invertible element $a$ in the open unit ball of $E$. We also prove that for an extremally rich JB$^*$-triple $E$, the quadratic connorm $\gamma^{q}(.)$ is continuous at a point $a\in E$ if, and only if, either $a$ is not von Neumann regular {\rm(}i.e. $\gamma^{q}(a)=0${\rm)} or $a$ is Brown-Pedersen quasi-invertible.