Tingley's problem through the facial structure of an atomic JBW*-triple

Abstract

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 Tignley's problem in the Jordan setting.