BZPEER

preprint2026arXiv

A metric characterization of projections among positive norm-One elements in unital C $^*$ -algebras

We characterize projections among positive norm-one elements in unital C $^*$ -algebras in pure geometric terms determined by the norm of the underlying Banach space. Concretely, let $A$ be a C $^*$ -algebra (or a JB $^*$ -algebra) whose positive cone and unit sphere are denoted by ${A}^+$ and $\mathrm{S}_{A}$ , respectively. The positive portion of the unit sphere in $A$ , denoted by $\mathrm{S}_{{A}^+}$ , is the set ${A}^+ \cap \mathrm{S}_{A}$ , while the unit sphere of positive norm-one elements around a subset $\mathscr{S}$ in $\mathrm{S}_{A^+}$ is the set $\hbox{Sph}_{_{\mathrm{S}_{{A}^+}}} (\mathscr{S}) :=\Big\{ x\in \mathrm{S}_{{A}^+} : \|x-s\|=1 \hbox{ for all } s\in \mathscr{S} \Big\}.$ Assuming that $A$ is unital, we establish that an element $a\in \mathrm{S}_{{A}^+}$ is a projection if, and only if, it satisfies the double sphere property, that is, $\hbox{Sph}_{_{\mathrm{S}_{{A}^+}}} \left(\hbox{Sph}_{_{\mathrm{S}_{{A}^+}}} \left(\{a\}\right) \right) = \{a\}.$

preprint2023arXiv

A strengthened Kadison's transitivity theorem for unital JB $^*$ -algebras with applications to the Mazur--Ulam property

The principal result in this note is a strengthened version of Kadison's transitivity theorem for unital JB $^*$ -algebras, showing that for each minimal tripotent $e$ in the bidual, $\mathfrak{A}^{**}$ , of a unital JB $^*$ -algebra $\mathfrak{A}$ , there exists a self-adjoint element $h$ in $\mathfrak{A}$ satisfying $e\leq \exp(ih)$ , that is, $e$ is bounded by a unitary in the principal connected component of the unitary elements in $\mathfrak{A}$ . This new result opens the way to attack new geometric results, for example, a Russo--Dye type theorem for maximal norm closed proper faces of the closed unit ball of $\mathfrak{A}$ asserting that each such face $F$ of $\mathfrak{A}$ coincides with the norm closed convex hull of the unitaries of $\mathfrak{A}$ which lie in $F$ . Another geometric property derived from our results proves that every surjective isometry from the unit sphere of a unital JB $^*$ -algebra $\mathfrak{A}$ onto the unit sphere of any other Banach space is affine on every maximal proper face. As a final application we show that every unital JB $^*$ -algebra $\mathfrak{A}$ satisfies the Mazur--Ulam property, that is, every surjective isometry from the unit sphere of $\mathfrak{A}$ onto the unit sphere of any other Banach space $Y$ admits an extension to a surjective real linear isometry from $\mathfrak{A}$ onto $Y$ . This extends a result of M. Mori and N. Ozawa who have proved the same for unital C $^*$ -algebras.

preprint2022arXiv

A projection--less approach to Rickart Jordan structures

The main goal of this paper is to introduce and explore an appropriate notion of weakly Rickart JB $^*$ -triples. We introduce weakly order Rickart JB $^*$ -triples, and we show that a C $^*$ -algebra $A$ is a weakly (order) Rickart JB $^*$ -triple precisely when it is a weakly Rickart C $^*$ -algebra. We also prove that the Peirce-2 subspace associated with a tripotent in a weakly order Rickart JB $^*$ -triple is a Rickart JB $^*$ -algebra in the sense of Ayupov and Arzikulov. By extending a classical property of Rickart C $^*$ -algebras, we prove that every weakly order Rickart JB $^*$ -triple is generated by its tripotents.

preprint2022arXiv

Every commutative JB $^*$ -triple satisfies the complex Mazur--Ulam property

We prove that every commutative JB $^*$ -triple satisfies the complex Mazur--Ulam property. Thanks to the representation theory, we can identify commutative JB $^*$ -triples as spaces of complex-valued continuous functions on a principal $\mathbb{T}$ -bundle $L$ in the form $C_0^\mathbb{T}(L):=\{a\in C_0(L):a(λt)=λa(t)\text{ for every } (λ,t)\in\mathbb{T}\times L\}.$ We prove that every surjective isometry from the unit sphere of $C_0^\mathbb{T}(L)$ onto the unit sphere of any complex Banach space admits an extension to a surjective real linear isometry between the spaces.

preprint2022arXiv

Linear orthogonality preservers between function spaces associated with commutative JB $^*$ -triples

It is known, by Gelfand theory, that every commutative JB $^*$ -triple admits a representation as a space of continuous functions of the form $C_0^{\mathbb{T}}(L) = \{ a\in C_0(L) : a(λt ) = λa(t), \ \forall λ\in \mathbb{T}, t\in L\},$ where $L$ is a principal $\mathbb{T}$ -bundle and $\mathbb{T}$ denotes the unit circle in $\mathbb{C}.$ We provide a description of all orthogonality preserving (non-necessarily continuous) linear maps between commutative JB $^*$ -triples. We show that each linear orthogonality preserver $T: C_{0}^{\mathbb{T}} (L_1)\to C_{0}^{\mathbb{T}} (L_2)$ decomposes in three main parts on its image, on the first part as a positive-weighted composition operator, on the second part the points in $L_2$ where the image of $T$ vanishes, and a third part formed by those points $s$ in $L_2$ such that the evaluation mapping $δ_s\circ T$ is non-continuous. Among the consequences of this representation, we obtain that every linear bijection preserving orthogonality between commutative JB $^*$ -triples is automatically continuous and biorthogonality preserving.

preprint2022arXiv

Maps preserving triple transition pseudo-probabilities

Let $e$ and $v$ be minimal tripotents in a JBW $^*$ -triple $M$ . We introduce the notion of triple transition pseudo-probability from $e$ to $v$ as the complex number $TTP(e,v)= φ_v(e),$ where $φ_v$ is the unique extreme point of the closed unit ball of $M_*$ at which $v$ attains its norm. In the case of two minimal projections in a von Neumann algebra, this correspond to the usual transition probability. We prove that every bijective transformation $Φ$ preserving triple transition pseudo-probabilities between the lattices of tripotents of two atomic JBW $^*$ -triples $M$ and $N$ admits an extension to a bijective {\rm(}complex{\rm)} linear mapping between the socles of these JBW $^*$ -triples. If we additionally assume that $Φ$ preserves orthogonality, then $Φ$ can be extended to a surjective (complex-)linear {\rm(}isometric{\rm)} triple isomorphism from $M$ onto $N$ . In case that $M$ and $N$ are two spin factors or two type 1 Cartan factors we show, via techniques and results on preservers, that every bijection preserving triple transition pseudo-probabilities between the lattices of tripotents of $M$ and $N$ automatically preserves orthogonality, and hence admits an extension to a triple isomorphism from $M$ onto $N$ .

preprint2022arXiv

Preservers of triple transition pseudo-probabilities in connection with orthogonality preservers and surjective isometries

We prove that every bijection preserving triple transition pseudo-probabilities between the sets of minimal tripotents of two atomic JBW $^*$ -triples automatically preserves orthogonality in both directions. Consequently, each bijection preserving triple transition pseudo-probabilities between the sets of minimal tripotents of two atomic JBW $^*$ -triples is precisely the restriction of a (complex-)linear triple isomorphism between the corresponding JBW $^*$ -triples. This result can be regarded as triple version of the celebrated Wigner theorem for Wigner symmetries on the posets of minimal projections in $B(H)$ . We also present a Tingley type theorem by proving that every surjective isometry between the sets of minimal tripotents in two atomic JBW $^*$ -triples admits an extension to a real linear surjective isometry between these two JBW $^*$ -triples. We also show that the class of surjective isometries between the sets of minimal tripotents in two atomic JBW $^*$ -triples is, in general, strictly wider than the set of bijections preserving triple transition pseudo-probabilities.

preprint2021arXiv

On optimality of constants in the Little Grothendieck Theorem

We explore the optimality of the constants making valid the recently established Little Grothendieck inequality for JB $^*$ -triples and JB $^*$ -algebras. In our main result we prove that for each bounded linear operator $T$ from a JB $^*$ -algebra $B$ into a complex Hilbert space $H$ and $\varepsilon>0$ , there is a norm-one functional $φ\in B^*$ such that $$\|Tx\|\le(\sqrt{2}+\varepsilon)\|T\|\|x\|_φ\quad\mbox{ for }x\in B.$$ The constant appearing in this theorem improves the best value known up to date (even for C $^*$ -algebras). We also present an easy example witnessing that the constant cannot be strictly smaller than $\sqrt2$ , hence our main theorem is `asymptotically optimal'. For type I JBW $^*$ -algebras we establish a canonical decomposition of normal functionals which may be used to prove the main result in this special case and also seems to be of an independent interest. As a tool we prove a measurable version of the Schmidt representation of compact operators on a Hilbert space.

preprint2020arXiv

A linear preserver problem on maps which are triple derivable at orthogonal pairs

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 JB $^*$ -algebra $A$ the following assertions are equivalent: $(a)$ $T$ is triple derivable at zero; $(b)$ $T$ is triple derivable at orthogonal elements; $(c)$ There exists a Jordan $^*$ -derivation $D:A\to A^{**}$ , a central element $ξ\in A^{**}_{sa},$ and an anti-symmetric element $η$ in the multiplier algebra of $A$ , such that $T(a) = D(a) + ξ\circ a + η\circ a, \hbox{ for all } a\in A;$ $(d)$ There exist a triple derivation $δ: A\to A^{**}$ and a symmetric element $S$ in the centroid of $A^{**}$ such that $T= δ+S$ . The result is new even in the case of C $^*$ -algebras. We next establish a new characterization of those linear maps on a JBW $^*$ -triple which are triple derivations in terms of a good local behavior on Peirce 2-subspaces. We also prove that assuming some extra conditions on a JBW $^*$ -triple $M$ , the following statements are equivalent for each bounded linear mapping $T$ on $M$ : $(a)$ $T$ is triple derivable at orthogonal pairs; $(b)$ There exists a triple derivation $δ: M\to M$ and an operator $S$ in the centroid of $M$ such that $T = δ+ S$ . \end{enumerate}

preprint2020arXiv

Can one identify two unital JB $^*$ -algebras by the metric spaces determined by their sets of unitaries?

Let $M$ and $N$ be two unital JB $^*$ -algebras and let $\mathcal{U} (M)$ and $\mathcal{U} (N)$ denote the sets of all unitaries in $M$ and $N$ , respectively. We prove that the following statements are equivalent: $(a)$ $M$ and $N$ are isometrically isomorphic as (complex) Banach spaces; $(b)$ $M$ and $N$ are isometrically isomorphic as real Banach spaces; $(c)$ There exists a surjective isometry $Δ: \mathcal{U}(M)\to \mathcal{U}(N).$ We actually establish a more general statement asserting that, under some mild extra conditions, for each surjective isometry $Δ:\mathcal{U} (M) \to \mathcal{U} (N)$ we can find a surjective real linear isometry $Ψ:M\to N$ which coincides with $Δ$ on the subset $e^{i M_{sa}}$ . If we assume that $M$ and $N$ are JBW $^*$ -algebras, then every surjective isometry $Δ:\mathcal{U} (M) \to \mathcal{U} (N)$ admits a (unique) extension to a surjective real linear isometry from $M$ onto $N$ . This is an extension of the Hatori--Moln{á}r theorem to the setting of JB $^*$ -algebras.

preprint2020arXiv

Finite tripotents and finite JBW $^*$ -triples

We study two natural preorders on the set of tripotents in a JB $^*$ -triple defined in terms of their Peirce decomposition and weaker than the standard partial order. We further introduce and investigate the notion of finiteness for tripotents in JBW $^*$ -triples which is a natural generalization of finiteness for projections in von Neumann algebras. We analyze the preorders in detail using the standard representation of JBW $^*$ -triples. We also provide a refined version of this representation - in particular a decomposition of any JBW $^*$ -triple into its finite and properly infinite parts. Since a JBW $^*$ -algebra is finite if and only if the extreme points of its unit ball are just unitaries, our notion of finiteness differs from the concept of modularity widely used in Jordan structures so far. The exact relationship of these two notions is clarified in the last section.

preprint2020arXiv

Grothendieck's inequalities for JB $^*$ -triples: Proof of the Barton-Friedman conjecture

We prove that, given a constant $K> 2$ and a bounded linear operator $T$ from a JB $^*$ -triple $E$ into a complex Hilbert space $H$ , there exists a norm-one functional $ψ\in E^*$ satisfying $\|T(x)\| \leq K \, \|T\| \, \|x\|_ψ,$ for all $x\in E$ . Applying this result we show that, given $G > 8 (1+2\sqrt{3})$ and a bounded bilinear form $V$ on the Cartesian product of two JB $^*$ -triples $E$ and $B$ , there exist norm-one functionals $φ\in E^{*}$ and $ψ\in B^{*}$ satisfying $|V(x,y)| \leq G \ \|V\| \, \|x\|_φ \, \|y\|_ψ$ for all $(x,y)\in E \times B$ . These results prove a conjecture pursued during almost twenty years.

preprint2020arXiv

Linear maps which are anti-derivable at zero

Let $T:A\to X$ be a bounded linear operator, where $A$ is a C $^*$ -algebra, and $X$ denotes an essential Banach $A$ -bimodule. We prove that the following statements are equivalent: $(a)$ $T$ is anti-derivable at zero (i.e. $ab =0$ in $A$ implies $T(b) a + b T(a)=0$ ); $(b)$ There exist an anti-derivation $d:A\to X^{**}$ and an element $ξ\in X^{**}$ satisfying $ξa = a ξ,$ $ξ[a,b]=0,$ $T(a b) = b T(a) + T(b) a - b ξa,$ and $T(a) = d(a) + ξa,$ for all $a,b\in A$ . We also prove a similar equivalence when $X$ is replaced with $A^{**}$ . This provides a complete characterization of those bounded linear maps from $A$ into $X$ or into $A^{**}$ which are anti-derivable at zero. We also present a complete characterization of those continuous linear operators which are $^*$ -anti-derivable at zero.

preprint2020arXiv

On the extension of surjective isometries whose domain is the unit sphere of a space of compact operators

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 real linear isometry from $K(H)$ onto $Y$ . This is probably the first example of an infinite dimensional non-commutative C $^*$ -algebra containing no unitaries and satisfying the Mazur--Ulam property. We also prove that all compact C $^*$ -algebras and all weakly compact JB $^*$ -triples satisfy the Mazur--Ulam property.

preprint2019arXiv

Extension of isometries from the unit sphere of a rank-2 Cartan factor

We prove that every surjective isometry from the unit sphere of a rank-2 Cartan factor $C$ onto the unit sphere of a real Banach space $Y$ , admits an extension to a surjective real linear isometry from $C$ onto $Y$ . The conclusion also covers the case in which $C$ is a spin factor. This result closes an open problem and, combined with the conclusion in a previous paper, allows us to establish that every JBW $^*$ -triple $M$ satisfies the Mazur--Ulam property, that is, every surjective isometry from its unit sphere onto the unit sphere of a arbitrary real Banach space $Y$ admits an extension to a surjective real linear isometry from $M$ onto $Y$ .

preprint2016arXiv

Geometric implications of the M(r,s)-properties and the uniform Kadec-Klee property in JB*-triples

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 weak and norm topologies agree, satisfies the generalized Gossez-Lami Dozo property. We establish sufficient conditions, in terms of the $(r, s)$ -Lipschitz weak $^*$ Kadec-Klee property on a Banach space $X$ , to guarantee that its dual space satisfies the UKK $^*$ property. We determine appropriate conditions to assure that a Banach space $X$ satisfies the $(r, s)$ -Lipschitz weak $^*$ Kadec-Klee property. These results are applied to prove that every spin factor satisfies the UKK property, and consequently, the KKP and the UKK properties are equivalent for real and complex JB $^*$ -triples.

preprint2016arXiv

Linear maps between C-algebras that are -homomorphisms at a fixed point

Let $A$ and $B$ be C $^*$ -algebras. A linear map $T:A\to B$ is said to be a $^*$ -homomorphism at an element $z\in A$ if $a b^*=z$ in $A$ implies $T (a b^*) =T (a) T (b)^* =T(z)$ , and $c^* d=z$ in $A$ gives $T (c^* d) =T (c)^* T (d) =T(z).$ Assuming that $A$ is unital, we prove that every linear map $T: A\to B$ which is a $^*$ -homomorphism at the unit of $A$ is a Jordan $^*$ -homomorphism. If $A$ is simple and infinite, then we establish that a linear map $T: A\to B$ is a $^*$ -homomorphism if and only if $T$ is a $^*$ -homomorphism at the unit of $A$ . For a general unital C $^*$ -algebra $A$ and a linear map $T:A\to B$ , we prove that $T$ is a $^*$ -homomorphism if, and only if, $T$ is a $^*$ -homomorphism at $0$ and at $1$ . Actually if $p$ is a non-zero projection in $A$ , and $T$ is a $^*$ -homomorphism at $p$ and at $1-p$ , then we prove that $T$ is a Jordan $^*$ -homomorphism. We also study bounded linear maps that are $^*$ -homomorphisms at a unitary element in $A$ .

preprint2016arXiv

Low rank compact operators and Tingley's problem

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 isometry $T: E\to B$ . This is a complete solution to Tingley's problem in the setting of weakly compact JB $^*$ -triples. Among the consequences, we show that if $K(H,K)$ denotes the space of compact operators between arbitrary complex Hilbert spaces $H$ and $K$ , then every surjective isometry $f: S(K(H,K)) \to S(K(H,K))$ admits an extension to a surjective real linear isometry $T: K(H,K)\to K(H,K)$ .

preprint2016arXiv

Stability of derivations under weak-2-local continuous perturbations

Let $Ω$ be a compact Hausdorff space and let $A$ be a C $^*$ -algebra. We prove that if every weak-2-local derivation on $A$ is a linear derivation and every derivation on $C(Ω,A)$ is inner, then every weak-2-local derivation $Δ:C(Ω,A)\to C(Ω,A)$ is a {\rm(}linear{\rm)} derivation. As a consequence we derive that, for every complex Hilbert space $H$ , every weak-2-local derivation $Δ: C(Ω,B(H)) \to C(Ω,B(H))$ is a (linear) derivation. We actually show that the same conclusion remains true when $B(H)$ is replaced with an atomic von Neumann algebra. With a modified technique we prove that, if $B$ denotes a compact C $^*$ -algebra (in particular, when $B=K(H)$ ), then every weak-2-local derivation on $C(Ω,B)$ is a (linear) derivation. Among the consequences, we show that for each von Neumann algebra $M$ and every compact Hausdorff space $Ω$ , every 2-local derivation on $C(Ω,M)$ is a (linear) derivation.

preprint2015arXiv

Boundedness of completely additive measures with application to 2-local triple derivations

We prove a Jordan version of Dorofeev's boundedness theorem for completely additive measues and use it to show that every (not necessarily linear nor continuous) 2-local triple derivation on a continuous JBW*-triple is a triple derivation.

preprint2015arXiv

Cebysev subspaces of JBW*-triples

We describe the one-dimensional Čebyšëv subspaces of a JBW $^*$ -triple $M,$ by showing that for a non-zero element $x$ in $M$ , $\mathbb{C}x$ is a Čebyšëv subspace of $M$ if, and only if, $x$ is a Brown-Pedersen quasi-invertible element in ${M}$ . We study the Čebyšëv JBW $^*$ -subtriples of a JBW $^*$ -triple $M$ . We prove that, for each non-zero Čebyšëv JBW $^*$ -subtriple $N$ of $M$ , then exactly one of the following statements holds: $(a)$ $N$ is a rank one JBW $^*$ -triple with dim $(N)\geq 2$ (i.e. a complex Hilbert space regarded as a type 1 Cartan factor). Moreover, $N$ may be a closed subspace of arbitrary dimension and $M$ may have arbitrary rank; $(b)$ $N= \mathbb{C} e$ , where $e$ is a complete tripotent in $M$ ; $(c)$ $N$ and $M$ have rank two, but $N$ may have arbitrary dimension; $(d)$ $N$ has rank greater or equal than three and $N=M$ . We also provide new examples of Čebyšëv subspaces of classic Banach spaces in connection with ternary rings of operators.

preprint2015arXiv

Inner ideals, compact tripotents and Čebyšëv subtriples of JB $^{}$ -triples and C $^$ -algebras

The aim of this note is to study Čebyšëv JB $^*$ -subtriples of general JB $^*$ -triples. It is established that if $F$ is a non-zero Čebyšëv JB $^*$ -subtriple of a JB $^*$ -triple $E$ , then exactly one of the following statements holds:\begin{enumerate}\item $F$ is a rank one JBW $^*$ -triple with dim $(F)\geq 2$ (i.e. a complex Hilbert space regarded as a type 1 Cartan factor). Moreover, $F$ may be a closed subspace of arbitrary dimension and $E$ may have arbitrary rank, \item $F= \mathbb{C} e$ , where $e$ is a complete tripotent in $E$ , \item $E$ and $F$ are rank two JBW $^*$ -triples, but $F$ may have arbitrary dimension, \item $F$ has rank greater or equal than three and $E=F$ . \end{enumerate}

preprint2015arXiv

Linear maps between C*-algebras preserving extreme points and strongly linear preservers

We study new classes of linear preservers between C $^*$ -algebras and JB $^*$ -triples. Let $E$ and $F$ be JB $^*$ -triples with $\partial_{e} (E_1)$ . We prove that every linear map $T:E\to F$ strongly preserving Brown-Pedersen quasi-invertible elements is a triple homomorphism. Among the consequences, we establish that, given two unital C $^*$ -algebras $A$ and $B,$ for each linear map $T$ strongly preserving Brown-Pedersen quasi-invertible elements, then there exists a Jordan $^*$ -homomorphism $S: A\to B$ satisfying $T(x) = T(1) S(x)$ , for every $x\in A$ . We also study the connections between linear maps strongly preserving Brown-Pedersen quasi-invertibility and other clases of linear preservers between C $^*$ -algebras like Bergmann-zero pairs preservers, Brown-Pedersen quasi-invertibility preservers and extreme points preservers.

preprint2015arXiv

Orthogonal forms and orthogonality preservers on real function algebras revisited

In 2014, we determine the precise form of a continuous orthogonal form on a commutative real C $^*$ -algebra. We also describe the general form of a (not-necessarily continuous) orthogonality preserving linear map between commutative unital real C $^*$ -algebras. Among the consequences, we show that every orthogonality preserving linear bijection between commutative unital real C $^*$ -algebras is continuous. In this note we revisit these results and their proofs with the idea of filling a gap in the arguments, and to extend the original conclusions.

preprint2015arXiv

Quadratic Conorm and extremally rich JB*-triples

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 $λ$ -function of Aron and Lohman on the open unit ball of an extremally rich JB $^*$ -triple $E$ , by showing that $λ(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 $γ^{q}(.)$ is continuous at a point $a\in E$ if, and only if, either $a$ is not von Neumann regular {\rm(}i.e. $γ^{q}(a)=0$ {\rm)} or $a$ is Brown-Pedersen quasi-invertible.

preprint2015arXiv

Quasi-linear functionals determined by weak-2-local $^*$ -derivations on $B(H)$

We prove that, for every separable complex Hilbert space $H$ , every weak-2-local $^*$ -derivation on $B(H)$ is a linear $^*$ -derivation. We also establish that every (non-necessarily linear nor continuous) weak-2-local derivation on a finite dimensional C $^*$ -algebra is a linear derivation.

preprint2015arXiv

Weak 2-local derivations on $\mathbb{M}_n$

We introduce the notion of weak-2-local derivation (respectively, $^*$ -derivation) on a C $^*$ -algebra $A$ as a (non-necessarily linear) map $Δ: A\to A$ satisfying that for every $a,b\in A$ and $ϕ\in A^*$ there exists a derivation (respectively, a $^*$ -derivation) $D_{a,b,ϕ}: A\to A$ , depending on $a$ , $b$ and $ϕ$ , such that $ϕΔ(a) = ϕD_{a,b,ϕ} (a)$ and $ϕΔ(b) = ϕD_{a,b,ϕ} (b)$ . We prove that every weak-2-local $^*$ -derivation on $M_n$ is a linear derivation. We also show that the same conclusion remains true for weak-2-local $^*$ -derivations on finite dimensional C $^*$ -algebras.

preprint2015arXiv

Weak Banach-Saks property and Komlos theorem for preduals of JBW $^*$ -triples

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ós property (which can be considered an abstract version of the weak law of large numbers). The results rely on two previous papers from which we infer the fact that, like in the classical case of $L^1$ , a subspace of a JBW $^*$ -triple predual contains $\ell_1$ as soon as it contains uniform copies of $\ell_1^n$ .

preprint2015arXiv

Weak-2-local symmetric maps on C*-algebras

We introduce and study weak-2-local symmetric maps between C $^*$ -algebras $A$ and $B$ as non necessarily linear nor continuous maps $Δ: A\to B$ such that for each $a,b\in A$ and $ϕ\in B^{*}$ , there exists a symmetric linear map $T_{a,b,ϕ}: A\to B$ , depending on $a$ , $b$ and $ϕ$ , satisfying $ϕΔ(a) = ϕT_{a,b,ϕ}(a)$ and $ϕΔ(b) = ϕT_{a,b,ϕ}(b)$ . We prove that every weak-2-local symmetric map between C $^*$ -algebras is a linear map. Among the consequences we show that every weak-2-local $^*$ -derivation on a general C $^*$ -algebra is a (linear) $^*$ -derivation. We also establish a 2-local version of the Kowalski-Słodkowski theorem for general C $^*$ -algebras by proving that every 2-local $^*$ -homomorphism between C $^*$ -algebras is a (linear) $^*$ -homomorphism.

preprint2014arXiv

2-local triple derivations on von Neumann algebras

We prove that every {\rm(}not necessarily linear nor continuous{\rm)} 2-local triple derivation on a von Neumann algebra $M$ is a triple derivation, equivalently, the set Der $_{t} (M)$ , of all triple derivations on $M,$ is algebraically 2-reflexive in the set $\mathcal{M}(M)= M^M$ of all mappings from $M$ into $M$ .

preprint2014arXiv

2-local triple homomorphisms on von Neumann algebras and JBW $^*$ -triples

We prove that every (not necessarily linear nor continuous) 2-local triple homomorphism from a JBW $^*$ -triple into a JB $^*$ -triple is linear and a triple homomorphism. Consequently, every 2-local triple homomorphism from a von Neumann algebra (respectively, from a JBW $^*$ -algebra) into a C $^*$ -algebra (respectively, into a JB $^*$ -algebra) is linear and a triple homomorphism.

preprint2014arXiv

A Kowalski-Słodkowski theorem for 2-local $^*$ -homomorphisms on von Neumann algebras

It is established that every (not necessarily linear) 2-local $^*$ -homomorphism from a von Neumann algebra into a C $^*$ -algebra is linear and a $^*$ -homomorphism. In the setting of (not necessarily linear) 2-local $^*$ -homomorphism from a compact C $^*$ -algebra we prove that the same conclusion remains valid. We also prove that every 2-local Jordan $^*$ -homomorphism from a JBW $^*$ -algebra into a JB $^*$ -algebra is linear and a Jordan $^*$ -homomorphism.

preprint2014arXiv

A note on 2-local representations of C $^*$ -algebras

We survey the results on linear local and 2-local homomorphisms and zero products preserving operators between C $^*$ -algebras, and we incorporate some new precise observations and results to prove that every bounded linear 2-local homomorphism between C $^*$ -algebras is a homomorphism. Consequently, every linear 2-local $^*$ -homomorphism between C $^*$ -algebras is a $^*$ -homomorphism.

preprint2014arXiv

A survey on local and 2-local derivations on C*- and von Neuman algebras

We survey the results on local and 2-local derivations on C*-algebras, von Neumann algebras and JB*-triples.

preprint2014arXiv

Approximation and convex decomposition by extremals and the $λ$ -function in JBW*-triples

We establish new estimates to compute the $λ$ -function of Aron and Lohman on the unit ball of a JB $^*$ -triple. It is established that for every Brown-Pedersen quasi-invertible element $a$ in a JB $^*$ -triple $E$ we have $\hbox{dist} (a, \mathfrak{E} (E_1)) = \max \left\{ 1- m_q (a) , \|a\|-1\right\},$ where $\mathfrak{E} (E_1)$ denotes the set of extreme points of the closed unit ball $E_1$ of $E$ . It is proved that $λ(a) = \frac{1+m_q (a)}{2},$ for every Brown-Pedersen quasi-invertible element $a$ in $E_1$ , where $m_q (a)$ is the square root of the quadratic conorm of $a$ . For an element $a$ in $E_1$ which is not Brown-Pedersen quasi-invertible we can only estimate that $λ(a)\leq \frac12 (1-α_q (a)).$ A complete description of the $λ$ -function on the closed unit ball of every JBW $^*$ -triple is also provided, and as a consequence, we prove that every JBW $^*$ -triple satisfies the uniform $λ$ -property.

preprint2014arXiv

Bilocal *-automorphisms of B(H) satisfying the 3-local property

We prove that, for a complex Hilbert space $H$ with dimension bigger or equal than three, every linear mapping $T: B(H)\to B(H)$ satisfying the 3-local property is a $^*$ -monomorphism, that is, every linear mapping $T: B(H) \to B(H)$ satisfying that for every $a$ in $B(H)$ and every $ξ,η$ in $H$ , there exists a $^*$ -automorphism $π_{a,ξ,η}: B(H)\to B(H)$ , depending on $a$ , $ξ$ , and $η$ , such that $T(a) (ξ) = π_{a,ξ,η} (a) (ξ), \hbox{ and } T(a) (η) = π_{a,ξ,η} (a) (η),$ is a $^*$ -monomorphism. This solves a question posed by L. Molnár in [\emph{Arch. Math.} \textbf{102}, 83-89 (2014)].

preprint2014arXiv

Jordan weak amenability and orthogonal forms on JB*-algebras

We prove the existence of a linear isometric correspondence between the Banach space of all symmetric orthogonal forms on a JB $^*$ -algebra $\mathcal{J}$ and the Banach space of all purely Jordan generalized derivations from $\mathcal{J}$ into $\mathcal{J}^*$ . We also establish the existence of a similar linear isometric correspondence between the Banach spaces of all anti-symmetric orthogonal forms on $\mathcal{J}$ , and of all Lie Jordan derivations from $\mathcal{J}$ into $\mathcal{J}^*$ .

preprint2014arXiv

Perturbation of $\ell_1$ -copies in Preduals of JBW $^*$ -triples

Two normal functionals on a JBW $^*$ -triple are known to be orthogonal if and only if they are $L$ -orthogonal (meaning that they span an isometric copy of $\ell_1(2)$ ). This is shown to be stable under small norm perturbations in the following sense: if the linear span of the two functionals is isometric up to $δ>0$ to $\ell_1(2)$ , then the functionals are less far (in norm) than $\eps>0$ from two orthogonal functionals, where $\eps\to0$ as $δ\to0$ . Analogous statements for finitely and even infinitely many functionals hold as well. And so does a corresponding statement for non-normal functionals. Our results have been known for C $^*$ -algebras.

preprint2014arXiv

Weak-local derivations and homomorphisms on C*-algebras

We prove that every weak-local derivation on a C $^*$ -algebra is continuous, and the same conclusion remains valid for weak $^*$ -local derivations on von Neumann algebras. We further show that weak-local derivations on C $^*$ -algebras and weak $^*$ -local derivations on von Neumann algebras are derivations. We also study the connections between bilocal derivations and bilocal $^*$ -automorphism with our notions of extreme-strong-local derivations and automorphisms.

preprint2013arXiv

Linear isometries between real JB-triples and C-algebras

Let $T: A\to B$ be a (not necessarily surjective) linear isometry between two real JB $^*$ -triples. Then for each $a\in A$ there exists a tripotent $u_a$ in the bidual, $B'',$ of $B$ such that \begin{enumerate}[ $(a)$ ] \item $\{u_a,T(\{f,g,h\}),u_a\}=\{u_a,\{T(f),T(g),T(h)\},u_a\}$ , for all $f,g,h$ in the real JB $^*$ -subtriple, $A_a,$ generated by $a$ ; \item The mapping $\{u_a,T(\cdot),u_a\} :A_a\rightarrow B''$ is a linear isometry. \end{enumerate} Furthermore, when $B$ is a real C $^*$ -algebra, the projection $p=p_a= u_a^* u_a$ satisfies that $T(\cdot)p :A_a\rightarrow B''$ is an isometric triple homomorphism. When $A$ and $B$ are real C $^*$ -algebras and $A$ is abelian of real type, then there exists a partial isometry $u\in B''$ such that the mapping $T(\cdot)u^*u :A\rightarrow B''$ is an isometric triple homomorphism. These results generalise, to the real setting, some previous contributions due to C.-H. Chu and N.-C. Wong, and C.-H. Chu and M. Mackey in 2004 and 2005. We give an example of a non-surjective real linear isometry which cannot be complexified to a complex isometry, showing that the results in the real setting can not be derived by a mere complexification argument.

preprint2013arXiv

Local triple derivations on real C-algebras and JB-triples

We study when a local triple derivation on a real JB*-triple is a triple derivation. We find an example of a (real linear) local triple derivation on a rank-one Cartan factor of type I which is not a triple derivation. On the other hand, we find sufficient conditions on a real JB*-triple E to guarantee that every local triple derivation on E is a triple derivation.

preprint2013arXiv

Orthogonal forms and orthogonality preservers on real function algebras

We initiate the study of orthogonal forms on a real C $^*$ -algebra. Motivated by previous contributions, due to Ylinen, Jajte, Paszkiewicz and Goldstein, we prove that for every continuous orthogonal form $V$ on a commutative real C $^*$ -algebra, $A$ , there exist functionals $φ_1$ and $φ_2$ in $A^{*}$ satisfying $V(x,y) = φ_1 (x y) + φ_2 (x y^*),$ for every $x,y$ in $A$ . We describe the general form of a (not-necessarily continuous) orthogonality preserving linear map between unital commutative real C $^*$ -algebras. As a consequence, we show that every orthogonality preserving linear bijection between unital commutative real C $^*$ -algebras is continuous.

preprint2013arXiv

Orthogonally additive, orthogonality preserving, holomorphic mappings between C*-algebras

We study holomorphic maps between C $^*$ -algebras $A$ and $B$ . When $f:B_A (0,\varrho) \longrightarrow B$ is a holomorphic mapping whose Taylor series at zero is uniformly converging in some open unit ball $U=B_{A}(0,δ)$ and we assume that $f$ is orthogonality preserving on $A_{sa}\cap U$ , orthogonally additive on $U$ and $f(U)$ contains an invertible element in $B$ , then there exist a sequence $(h_n)$ in $B^{**}$ and Jordan $^*$ -homomorphisms $Θ, \widetildeΘ : M(A) \to B^{**}$ such that $f(x) = \sum_{n=1}^\infty h_n \widetildeΘ (a^n)= \sum_{n=1}^\infty Θ (a^n) h_n,$ uniformly in $a\in U$ . When $B$ is abelian the hypothesis of $B$ being unital and $f(U)\cap \hbox{inv} (B) \neq \emptyset$ can be relaxed to get the same statement.

preprint2013arXiv

Positive definite hermitian mappings associated to tripotent elements

We give a simple proof of a meaningful result established by Y. Friedman and B. Russo in 1985, whose proof was originally based on strong holomorphic results. We provide a simple proof which is directly deduced from the axioms of JB*-triples with techniques of Functional Analysis.

preprint2013arXiv

von Neumann algebra preduals satisfy the linear biholomorphic property

We prove that for every JBW $^*$ -triple $E$ of rank $>1$ , the symmetric part of its predual reduces to zero. Consequently, the predual of every infinite dimensional von Neumann algebra $A$ satisfies the linear biholomorphic property, that is, the symmetric part of $A_*$ is zero. This solves a problem posed by M. Neal and B. Russo in [Mathematica Scandinavica, to appear]

preprint2012arXiv

A Kadec-Pelczyński dichotomy-type theorem for preduals of JBW*-algebras

We prove a Kadec-Pelczyński dichotomy-type theorem for bounded sequences in the predual of a JBW*-algebra, showing that for each bounded sequence $(ϕ_n)$ in the predual of a JBW $^*$ -algebra $M$ , there exist a subsequence $(ϕ_{τ(n)})$ , and a sequence of mutually orthogonal projections $(p_n)$ in $M$ such that: [ $(a)$ ] the set ${ϕ_{τ(n)} - ϕ_{τ(n)} P_{2} (p_n): n\in \mathbb{N}}$ is relatively weakly compact, $ϕ_{τ(n)}=ξ_n+ψ_n$ , with $ξ_n := ϕ_{τ(n)} - ϕ_{τ(n)} P_{2} (p_n)$ , and $ψ_n := ϕ_{τ(n)} P_{2} (p_n),$ {\rm(} $ξ_n Q(p_n)= 0$ and $ψ_n Q(p_n)^2 = ψ_n$ {\rm)}, for every $n$ .

preprint2012arXiv

Automatic continuity of derivations on C-algebras and JB-triples

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 complex JB*-triple into its dual space is automatically continuous. Among the consequences, we prove that every triple derivation from a C*-algebra A to a Banach triple A-module is continuous. In particular, every Jordan derivation from A to a Banach A-bimodule is a derivation, a result which complements a classical theorem due to B.E. Johnson and solves a problem which has remained open for over ten years.

preprint2012arXiv

Local triple derivations on C*-algebras

We prove that every bounded local triple derivation on a unital C*-algebra is a triple derivation. A similar statement is established in the category of unital JB*-algebras.

preprint2012arXiv

Ternary Weakly Amenable C-algebras and JB-triples

A well known result of Haagerup from 1983 states that every C*-algebra A is weakly amenable, that is, every (associative) derivation from A into its dual is inner. A Banach algebra B is said to be ternary weakly amenable if every continuous Jordan triple derivation from B into its dual is inner. We show that commutative C*-algebras are ternary weakly amenable, but that B(H) and K(H) are not, unless H is finite dimensional. More generally, we inaugurate the study of weak amenability for Jordan Banach triples, focussing on commutative JB*-triples and some Cartan factors.

Antonio M. Peralta

Research overview

Is this your work?

49 publications

A metric characterization of projections among positive norm-One elements in unital C∗^*∗-algebras

A strengthened Kadison's transitivity theorem for unital JB∗^*∗-algebras with applications to the Mazur--Ulam property

A projection--less approach to Rickart Jordan structures

Every commutative JB∗^*∗-triple satisfies the complex Mazur--Ulam property

Linear orthogonality preservers between function spaces associated with commutative JB∗^*∗-triples

Maps preserving triple transition pseudo-probabilities

Preservers of triple transition pseudo-probabilities in connection with orthogonality preservers and surjective isometries

On optimality of constants in the Little Grothendieck Theorem

A linear preserver problem on maps which are triple derivable at orthogonal pairs

Can one identify two unital JB∗^*∗-algebras by the metric spaces determined by their sets of unitaries?

Finite tripotents and finite JBW∗^*∗-triples

Grothendieck's inequalities for JB∗^*∗-triples: Proof of the Barton-Friedman conjecture

Linear maps which are anti-derivable at zero

On the extension of surjective isometries whose domain is the unit sphere of a space of compact operators

Extension of isometries from the unit sphere of a rank-2 Cartan factor

Geometric implications of the M(r,s)-properties and the uniform Kadec-Klee property in JB*-triples

Linear maps between C*-algebras that are *-homomorphisms at a fixed point

Low rank compact operators and Tingley's problem

Stability of derivations under weak-2-local continuous perturbations

Boundedness of completely additive measures with application to 2-local triple derivations

Cebysev subspaces of JBW*-triples

Inner ideals, compact tripotents and Čebyšëv subtriples of JB∗^{*}∗-triples and C∗^*∗-algebras

Linear maps between C*-algebras preserving extreme points and strongly linear preservers

Orthogonal forms and orthogonality preservers on real function algebras revisited

Quadratic Conorm and extremally rich JB*-triples

Quasi-linear functionals determined by weak-2-local ∗^*∗-derivations on B(H)B(H)B(H)

Weak 2-local derivations on Mn\mathbb{M}_nMn​

Weak Banach-Saks property and Komlos theorem for preduals of JBW∗^*∗-triples

Weak-2-local symmetric maps on C*-algebras

2-local triple derivations on von Neumann algebras

2-local triple homomorphisms on von Neumann algebras and JBW∗^*∗-triples

A Kowalski-Słodkowski theorem for 2-local ∗^*∗-homomorphisms on von Neumann algebras

A note on 2-local representations of C∗^*∗-algebras

A survey on local and 2-local derivations on C*- and von Neuman algebras

Approximation and convex decomposition by extremals and the λλλ-function in JBW*-triples

Bilocal *-automorphisms of B(H) satisfying the 3-local property

Jordan weak amenability and orthogonal forms on JB*-algebras

Perturbation of ℓ1\ell_1ℓ1​-copies in Preduals of JBW∗^*∗-triples

Weak-local derivations and homomorphisms on C*-algebras

Linear isometries between real JB*-triples and C*-algebras

Local triple derivations on real C*-algebras and JB*-triples

Orthogonal forms and orthogonality preservers on real function algebras

Orthogonally additive, orthogonality preserving, holomorphic mappings between C*-algebras

Positive definite hermitian mappings associated to tripotent elements

von Neumann algebra preduals satisfy the linear biholomorphic property

A Kadec-Pelczyński dichotomy-type theorem for preduals of JBW*-algebras

Automatic continuity of derivations on C*-algebras and JB*-triples

Local triple derivations on C*-algebras

Ternary Weakly Amenable C*-algebras and JB*-triples

See the researcher in context

Building this map preview

A metric characterization of projections among positive norm-One elements in unital C $^*$ -algebras

A strengthened Kadison's transitivity theorem for unital JB $^*$ -algebras with applications to the Mazur--Ulam property

Every commutative JB $^*$ -triple satisfies the complex Mazur--Ulam property

Linear orthogonality preservers between function spaces associated with commutative JB $^*$ -triples

Can one identify two unital JB $^*$ -algebras by the metric spaces determined by their sets of unitaries?

Finite tripotents and finite JBW $^*$ -triples

Grothendieck's inequalities for JB $^*$ -triples: Proof of the Barton-Friedman conjecture

Linear maps between C-algebras that are -homomorphisms at a fixed point

Inner ideals, compact tripotents and Čebyšëv subtriples of JB $^{}$ -triples and C $^$ -algebras

Quasi-linear functionals determined by weak-2-local $^*$ -derivations on $B(H)$

Weak 2-local derivations on $\mathbb{M}_n$

Weak Banach-Saks property and Komlos theorem for preduals of JBW $^*$ -triples

2-local triple homomorphisms on von Neumann algebras and JBW $^*$ -triples

A Kowalski-Słodkowski theorem for 2-local $^*$ -homomorphisms on von Neumann algebras

A note on 2-local representations of C $^*$ -algebras

Approximation and convex decomposition by extremals and the $λ$ -function in JBW*-triples

Perturbation of $\ell_1$ -copies in Preduals of JBW $^*$ -triples

Linear isometries between real JB-triples and C-algebras

Local triple derivations on real C-algebras and JB-triples

Automatic continuity of derivations on C-algebras and JB-triples

Ternary Weakly Amenable C-algebras and JB-triples