BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Antonio M. Peralta

Antonio M. Peralta contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.OAmath.FA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
15works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

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\}.$

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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}

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access