Related papers: Tingley's problem for spaces of trace class operat…

Tingley's problem asks whether every surjective isometry between the unit spheres of two Banach spaces admits an extension to a real linear surjective isometry between the whole spaces. In this paper, we give an affirmative answer to…

We prove that a surjective isometry between the unit spheres of two uniform algebras is extended to a surjective real-linear isometry between the uniform algebras. It provides the first positive solution for Tingley's problem on a Banach…

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…

Given two complex Hilbert spaces $H$ and $K$, let $S(B(H))$ and $S(B(K))$ denote the unit spheres of the C$^*$-algebras $B(H)$ and $B(K)$ of all bounded linear operators on $H$ and $K$, respectively. We prove that every surjective isometry…

We survey the most recent results on extension of isometries between special subsets of the unit spheres of C$^*$-algebras, von Neumann algebras, trace class operators, preduals of von Neumann algebras, and $p$-Schatten-von Neumann spaces,…

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…

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…

Let $E$ and $B$ be arbitrary weakly compact JB$^*$-triples whose unit spheres are denoted by $S(E)$ and $S(B)$, respectively. We prove that every surjective isometry $f: S(E) \to S(B)$ admits an extension to a surjective real linear…

We extend the existing results on surjective isometries of unit spheres in the Tsirelson space $T\left[\frac{1}{2}, S_1\right]$ to the class $T[\theta,S_{\alpha}]$ for any integer $\theta^{-1} \geq 2$ and $1 \leqslant \alpha < \omega_1$,…

We describe the surjective isometries of the unit sphere of real Schreier spaces of all orders and their $p$-convexifications, for $1 < p < \infty$. This description allows us to provide for those spaces a positive answer to a special case…

Given a C$^*$-algebra $A$, let $S(A^+)$ denote the set of those positive elements in the unit sphere of $A$. Let $H_1$, $H_2,$ $H_3$ and $H_4$ be complex Hilbert spaces, where $H_3$ and $H_4$ are infinite-dimensional and separable. In this…

Let $H$ and $H'$ be a complex Hilbert spaces. For $p\in(1, \infty)\backslash\{2\}$ we consider the Banach space $C_p(H)$ of all $p$-Schatten von Neumann operators, whose unit sphere is denoted by $S(C_p(H))$. We prove that every surjective…

We prove that every surjective isometry between the unit spheres of two von Neumann algebras admits a unique extension to a surjective real linear isometry between these two algebras.

In this paper we show how some metric properties of the unit sphere of a normed space can help to approach a solution to Tingley's problem. In our main result we show that if an onto isometry between the spheres of strictly convex spaces is…

Let $S(C_0(X))^+$ and $S(C_0(Y))^+$ denote the positive parts of the unit spheres of $C_0(X)$ and $C_0(Y)$, where $X$ and $Y$ are locally compact Hausdorff spaces. We prove that every surjective isometry from $S(C_0(X))^+$ onto…

We find all extremisers for the trace theorem on the sphere. We also provide a sharp extension for functions belonging to certain Sobolev spaces with angular regularity.

We review the classification of positive extremal traces on the generic infinite Temperley-Lieb algebra, and then extend the classification to the non-semisimple root of unity case. As a result, we obtain Hilbert space structures on the…

Let $\mathfrak{A}$ and $\mathfrak{B}$ be JBW$^*$-algebras with projection lattices $\mathcal{P} (\mathfrak{A})$ and $\mathcal{P} (\mathfrak{B})$, and let $\Theta: \mathcal{P} (\mathfrak{A})\to \mathcal{P}(\mathfrak{B})$ be an order…

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…

We show that the space of trace-class operators on a Hilbert module over a commutative C*-algebra, as defined and studied in earlier work of Stern and van Suijlekom (Journal of Functional Analysis, 2021), is completely isometrically…