Showing 1–50 of 123 results for author: Peralta, M

Identifying JBW$^*$-algebras through their spheres of positive elements

Authors: Antonio M. Peralta, Pedro Saavedra

Abstract: Let $\mathfrak{A}$ and $\mathfrak{B}$ be JBW$^*$-algebras with projection lattices $\mathcal{P} (\mathfrak{A})$ and $\mathcal{P} (\mathfrak{B})$, and let $Θ: \mathcal{P} (\mathfrak{A})\to \mathcal{P}(\mathfrak{B})$ be an order isomorphism. We prove that if $\mathfrak{A}$ does not contain any type $I_2$ direct summand and $Θ$ preserves points at distance $1$, then $Θ$ extends to a Jordan $^*$-isomo… ▽ More Let $\mathfrak{A}$ and $\mathfrak{B}$ be JBW$^*$-algebras with projection lattices $\mathcal{P} (\mathfrak{A})$ and $\mathcal{P} (\mathfrak{B})$, and let $Θ: \mathcal{P} (\mathfrak{A})\to \mathcal{P}(\mathfrak{B})$ be an order isomorphism. We prove that if $\mathfrak{A}$ does not contain any type $I_2$ direct summand and $Θ$ preserves points at distance $1$, then $Θ$ extends to a Jordan $^*$-isomorphism from $\mathfrak{A}$ onto $\mathfrak{B}$. We also establish that if $\mathfrak{A}$ and $\mathfrak{B}$ are two atomic JBW$^*$-algebras of type $I_2$ and $Θ: \mathcal{P} (\mathfrak{A})\to \mathcal{P}(\mathfrak{B})$ preserves points at distance $\frac{\sqrt{2}}{2}$, then $\mathfrak{A}$ is Jordan $^*$-isomorphic to $\mathfrak{B}$. Furthermore, if $\mathfrak{A}$ and $\mathfrak{B}$ are two general JBW$^*$-algebras such that the type $I_2$ part of $\mathfrak{A}$ is atomic and $Θ$ is an isometry, we prove the existence of an extension of $Θ$ to a Jordan $^*$-isomorphism from $\mathfrak{A}$ onto $\mathfrak{B}$. We provide a positive answer to Tingley's problem for positive spheres showing that if $\mathfrak{A}$ and $\mathfrak{B}$ are JBW$^*$-algebras such that the type $I_2$ part of $\mathfrak{A}$ is atomic, then every surjective isometry from the set, $S_{\mathfrak{A}^+}$, of positive norm-one elements of $\mathfrak{A}$ onto the positive norm-one elements of $\mathfrak{B}$ extends to a Jordan $^*$-isomorphism from $\mathfrak{A}$ onto $\mathfrak{B}$. We prove a metric characterization of projections in JBW$^*$-algebras as follows: if $a$ is a norm-one positive element in a JBW$^*$-algebra $\mathfrak{A}$, then $a$ is a projection if, and only if, it satisfies the double sphere property, that is, $$\Big\{c \in S_{\mathfrak{A}^+} : \|c - b\| = 1 \; \text{for all} \; b \in S_{\mathfrak{A}^+} \; \text{with} \; \|b - a\| = 1\Big\} = \{a\}.$$ △ Less

Submitted 6 May, 2025; originally announced May 2025.

Exploring Collaborative GenAI Agents in Synchronous Group Settings: Eliciting Team Perceptions and Design Considerations for the Future of Work

Authors: Janet G. Johnson, Macarena Peralta, Mansanjam Kaur, Ruijie Sophia Huang, Sheng Zhao, Ruijia Guan, Shwetha Rajaram, Michael Nebeling

Abstract: While generative artificial intelligence (GenAI) is finding increased adoption in workplaces, current tools are primarily designed for individual use. Prior work established the potential for these tools to enhance personal creativity and productivity towards shared goals; however, we don't know yet how to best take into account the nuances of group work and team dynamics when deploying GenAI in w… ▽ More While generative artificial intelligence (GenAI) is finding increased adoption in workplaces, current tools are primarily designed for individual use. Prior work established the potential for these tools to enhance personal creativity and productivity towards shared goals; however, we don't know yet how to best take into account the nuances of group work and team dynamics when deploying GenAI in work settings. In this paper, we investigate the potential of collaborative GenAI agents to augment teamwork in synchronous group settings through an exploratory study that engaged 25 professionals across 6 teams in speculative design workshops and individual follow-up interviews. Our workshops included a mixed reality provotype to simulate embodied collaborative GenAI agents capable of actively participating in group discussions. Our findings suggest that, if designed well, collaborative GenAI agents offer valuable opportunities to enhance team problem-solving by challenging groupthink, bridging communication gaps, and reducing social friction. However, teams' willingness to integrate GenAI agents depended on its perceived fit across a number of individual, team, and organizational factors. We outline the key design tensions around agent representation, social prominence, and engagement and highlight the opportunities spatial and immersive technologies could offer to modulate GenAI influence on team outcomes and strike a balance between augmentation and agency. △ Less

Submitted 20 April, 2025; originally announced April 2025.

Comments: To be published in ACM Conference on Computer-Supported Cooperative Work and Social Computing (CSCW 2025). 33 pages, 11 figures, 1 table

An algebraic characterization of linearity for additive maps preserving orthogonality

Authors: Lei Li, Siyu Liu, Antonio M. Peralta

Abstract: We study when an additive mapping preserving orthogonality between two complex inner product spaces is automatically complex-linear or conjugate-linear. Concretely, let $H$ and $K$ be complex inner product spaces with dim$(H)\geq 2$, and let $A: H\to K$ be an additive map preserving orthogonality. We obtain that $A$ is zero or a positive scalar multiple of a real-linear isometry from $H$ into $K$.… ▽ More We study when an additive mapping preserving orthogonality between two complex inner product spaces is automatically complex-linear or conjugate-linear. Concretely, let $H$ and $K$ be complex inner product spaces with dim$(H)\geq 2$, and let $A: H\to K$ be an additive map preserving orthogonality. We obtain that $A$ is zero or a positive scalar multiple of a real-linear isometry from $H$ into $K$. We further prove that the following statements are equivalent: $(a)$ $A$ is complex-linear or conjugate-linear. $(b)$ For every $z\in H$ we have $A(i z) \in \{\pm i A(z)\}$. $(c)$ There exists a non-zero point $z\in H$ such that $A(i z) \in \{\pm i A(z)\}$. $(d)$ There exists a non-zero point $z\in H$ such that $i A(z) \in A(H)$. The mapping $A$ neither is complex-linear nor conjugate-linear if, and only if, there exists a non-zero $x\in H$ such that $i A(x)\notin A(H)$ (equivalently, for every non-zero $x\in H$, $i A(x)\notin A(H)$). Among the consequences we show that, under the hypothesis above, the mapping $A$ is automatically complex-linear or conjugate-linear if $A$ has dense range, or if $H$ and $K$ are finite dimensional with dim$(K)< 2\hbox{dim}(H)$. △ Less

Submitted 20 March, 2025; originally announced March 2025.

Characterization of minimal tripotents via annihilators and its application to the study of additive preservers of truncations

Authors: Lei Li, Siyu Liu, Antonio M. Peralta

Abstract: The contributions in this note begin with a new characterization of (positive) scalar multiples of minimal tripotents in a general JB$^*$-triple $E$, proving that a non-zero element $a\in E$ is a positive scalar multiple of a minimal tripotent in $E$ if, and only if, its inner quadratic annihilator (that is, the set $^{\perp_{q}}\!\{a\} = \{ b\in E: \{a,b,a\} =0\}$) is maximal among all inner quad… ▽ More The contributions in this note begin with a new characterization of (positive) scalar multiples of minimal tripotents in a general JB$^*$-triple $E$, proving that a non-zero element $a\in E$ is a positive scalar multiple of a minimal tripotent in $E$ if, and only if, its inner quadratic annihilator (that is, the set $^{\perp_{q}}\!\{a\} = \{ b\in E: \{a,b,a\} =0\}$) is maximal among all inner quadratic annihilators of single elements in $E$. We subsequently apply this characterization to the study of surjective additive maps between atomic JBW$^*$-triples preserving truncations in both directions. Let $A: E\to F$ be a surjective additive mapping between atomic JBW$^*$-triples, where $E$ contains no one-dimensional Cartan factors as direct summands. We show that $A$ preserves truncations in both directions if, and only if, there exists a bijection $σ: Γ_1\to Γ_2$, a bounded family $(γ_k)_{k\in Γ_1}\subseteq \mathbb{R}^+$, and a family $(Φ_k)_{k\in Γ_1},$ where each $Φ_k$ is a (complex) linear or a conjugate-linear (isometric) triple isomorphism from $C_k$ onto $\widetilde{C}_{σ(k)}$ satisfying $\inf_{k} \{γ_k \} >0,$ and $$A(x) = \Big( γ_{k} Φ_k \left(π_k(x)\right) \Big)_{k\inΓ_1},\ \hbox{ for all } x\in E,$$ where $π_k$ denotes the canonical projection of $E$ onto $C_k.$ △ Less

Submitted 18 December, 2024; originally announced December 2024.

Additive mappings preserving orthogonality between complex inner product spaces

Authors: Lei Li, Siyu Liu, Antonio M. Peralta

Abstract: Let $H$ and $K$ be two complex inner product spaces with dim$(X)\geq 2$. We prove that for each non-zero additive mapping $A:H \to K$ with dense image the following statements are equivalent: $(a)$ $A$ is (complex) linear or conjugate-linear mapping and there exists $γ>0$ such that $\| A (x) \| = γ\|x\|$, for all $x\in X$, that is, $A$ is a positive scalar multiple of a linear or a conjugate-lin… ▽ More Let $H$ and $K$ be two complex inner product spaces with dim$(X)\geq 2$. We prove that for each non-zero additive mapping $A:H \to K$ with dense image the following statements are equivalent: $(a)$ $A$ is (complex) linear or conjugate-linear mapping and there exists $γ>0$ such that $\| A (x) \| = γ\|x\|$, for all $x\in X$, that is, $A$ is a positive scalar multiple of a linear or a conjugate-linear isometry; $(b)$ There exists $γ_1 >0$ such that one of the next properties holds for all $x,y \in H$: $(b.1)$ $\langle A(x) |A(y)\rangle = γ_1 \langle x|y\rangle,$ $(b.2)$ $\langle A(x) |A(y)\rangle = γ_1 \langle y|x \rangle;$ $(c)$ $A$ is linear or conjugate-linear and preserves orthogonality in both directions; $(d)$ $A$ is linear or conjugate-linear and preserves orthogonality; $(e)$ $A$ is additive and preserves orthogonality in both directions; $(f)$ $A$ is additive and preserves orthogonality. This extends to the complex setting a recent generalization of the Koldobsky--Blanco--Turnšek theorem obtained by Wójcik for real normed spaces. △ Less

Submitted 14 October, 2024; v1 submitted 10 October, 2024; originally announced October 2024.

Preservers of Operator Commutativity

Authors: Gerardo M. Escolano, Antonio M. Peralta, Armando R. Villena

Abstract: Let $\mathfrak{M}$ and $\mathfrak{J}$ be JBW$^*$-algebras admitting no central summands of type $I_1$ and $I_2,$ and let $Φ: \mathfrak{M} \rightarrow \mathfrak{J}$ be a linear bijection preserving operator commutativity in both directions, that is, $$[x,\mathfrak{M},y] = 0 \Leftrightarrow [Φ(x),\mathfrak{J},Φ(y)] = 0,$$ for all $x,y\in \mathfrak{M}$, where the associator of three elements $a,b,c$… ▽ More Let $\mathfrak{M}$ and $\mathfrak{J}$ be JBW$^*$-algebras admitting no central summands of type $I_1$ and $I_2,$ and let $Φ: \mathfrak{M} \rightarrow \mathfrak{J}$ be a linear bijection preserving operator commutativity in both directions, that is, $$[x,\mathfrak{M},y] = 0 \Leftrightarrow [Φ(x),\mathfrak{J},Φ(y)] = 0,$$ for all $x,y\in \mathfrak{M}$, where the associator of three elements $a,b,c$ in $\mathfrak{M}$ is defined by $[a,b,c]:=(a\circ b)\circ c - (c\circ b)\circ a$. We prove that under these conditions there exist a unique invertible central element $z_0$ in $\mathfrak{J}$, a unique Jordan isomorphism $J: \mathfrak{M} \rightarrow \mathfrak{J}$, and a unique linear mapping $β$ from $\mathfrak{M}$ to the centre of $\mathfrak{J}$ satisfying $$ Φ(x) = z_0 \circ J(x) + β(x), $$ for all $x\in \mathfrak{M}.$ Furthermore, if $Φ$ is a symmetric mapping (i.e., $Φ(x^*) = Φ(x)^*$ for all $x\in \mathfrak{M}$), the element $z_0$ is self-adjoint, $J$ is a Jordan $^*$-isomorphism, and $β$ is a symmetric mapping too. In case that $\mathfrak{J}$ is a JBW$^*$-algebra admitting no central summands of type $I_1$, we also address the problem of describing the form of all symmetric bilinear mappings $B : \mathfrak{J}\times \mathfrak{J}\to \mathfrak{J}$ whose trace is associating (i.e., $[B(a,a),b,a] = 0,$ for all $a, b \in \mathfrak{J})$ providing a complete solution to it. We also determine the form of all associating linear maps on $\mathfrak{J}$. △ Less

Submitted 10 September, 2024; originally announced September 2024.

Recognizing molecular chirality via twisted 2D materials

Authors: Lorenzo Cavicchi, Mayra Peralta, Álvaro Moreno, Maia Vergniory, Pablo Jarillo-Herrero, Claudia Felser, Giuseppe C. La Rocca, Frank H. L. Koppens, Marco Polini

Abstract: Chirality pervades natural processes from the atomic to the cosmic scales, crucially impacting molecular chemistry and pharmaceutics. Traditional chirality sensing methods face challenges in sensitivity and efficiency, prompting the quest of novel chiral recognition solutions based on nanophotonics. In this work we theoretically investigate the possibility to carry out enantiomeric discrimination… ▽ More Chirality pervades natural processes from the atomic to the cosmic scales, crucially impacting molecular chemistry and pharmaceutics. Traditional chirality sensing methods face challenges in sensitivity and efficiency, prompting the quest of novel chiral recognition solutions based on nanophotonics. In this work we theoretically investigate the possibility to carry out enantiomeric discrimination by measuring the spontaneous emission rate of chiral molecules on twisted two-dimensional materials. We first present a general theoretical framework based on dyadic Green's functions to calculate the chiral contribution to the decay rate in the presence of a generic chiral bilayer interface. We then combine this theory with density functional theory to obtain numerical estimates of the decay rate of helical bilayer nanographene molecules placed on top of twisted bilayer graphene. △ Less

Submitted 9 September, 2024; originally announced September 2024.

Comments: 9 pages, 2 figures, 6 appendices. Draft version. Comments are welcome!

Twisted bilayer graphene for enantiomeric sensing of chiral molecules

Authors: Álvaro Moreno, Lorenzo Cavicchi, Xia Wang, Mayra Peralta, Maia Vergniory, Kenji Watanabe, Takashi Taniguchi, Pablo Jarillo-Herrero, Claudia Felser, Marco Polini, Frank H. L. Koppens

Abstract: Selective sensing of chiral molecules is a key aspect in fields spanning biology, chemistry, and pharmacology. However, conventional optical methods, such as circular dichroism (CD), encounter limitations owing to weak chiral light-matter interactions. Several strategies have been investigated to enhance CD or circularly polarised luminescence (CPL), including superchiral light, plasmonic nanoreso… ▽ More Selective sensing of chiral molecules is a key aspect in fields spanning biology, chemistry, and pharmacology. However, conventional optical methods, such as circular dichroism (CD), encounter limitations owing to weak chiral light-matter interactions. Several strategies have been investigated to enhance CD or circularly polarised luminescence (CPL), including superchiral light, plasmonic nanoresonators and dielectric nanostructures. However, a compromise between spatial uniformity and high sensitivity, without requiring specific molecular functionalization, remains a challenge. In this work, we propose a novel approach using twisted bilayer graphene (TBG), a chiral 2D material with a strong CD peak which energy is tunable through the twist angle. By matching the CD resonance of TBG with the optical transition energy of the molecule, we achieve a decay rate enhancement mediated by resonant energy transfer that depends on the electric-magnetic interaction, that is, on the chirality of both the molecules and TBG. This leads to an enantioselective quenching of the molecule fluorescence, allowing to retrieve the molecule chirality from time-resolved photoluminescence measurements. This method demonstrates high sensitivity down to single layer of molecules, with the potential to achieve the ultimate goal of single-molecule chirality sensing, while preserving the spatial uniformity and integrability of 2D heterostructures. △ Less

Submitted 8 September, 2024; originally announced September 2024.

Spin-orbit coupling effects in single-layer phosphorene

Authors: Mayra Peralta, Dennis A. Freire, Rafael González-Hernández, Francisco Mireles

Abstract: The electronic band structure of monolayer phosphorene is thoroughly studied by considering the presence of spin-orbit interaction. We employ a multiorbital Slater-Koster tight-binding approach to derive effective k.p-type Hamiltonians that describes the dominant spin-orbit coupling (SOC) effects of the Rashba and intrinsic origin at the high Γ and S high symmetry points in phosphorene. In the abs… ▽ More The electronic band structure of monolayer phosphorene is thoroughly studied by considering the presence of spin-orbit interaction. We employ a multiorbital Slater-Koster tight-binding approach to derive effective k.p-type Hamiltonians that describes the dominant spin-orbit coupling (SOC) effects of the Rashba and intrinsic origin at the high Γ and S high symmetry points in phosphorene. In the absence of SOC effects a minimal admixture of pz and py atomic orbitals suffices to reproduce the well known anisotropy of highest valence and the lowest conduction bands at the Γ-point, consistent with density functional theory (DFT) and k.p methods. In contrast, the inclusion of the px and s atomic orbitals are rather crucial for an adequate description of the SOC effects in phosphorene at low energies, particularly at the S-point. We introduce useful analytical expressions for the Rashba and intrinsic SOC parameters in terms of the relevant Slater-Koster integrals. In addition, we report simple formulas for the interband dipole-strenghts, revealing the nature of the strong anisotropic behavior of its lower bands. Our findings can be useful for further studies of electronic and spin transport properties in monolayer phosphorene and its nanoribbons. △ Less

Submitted 12 August, 2024; originally announced August 2024.

Comments: 16 pages, 4 figures

Journal ref: Phys. Rev. B 110, 085404, 2024

Maps preserving the truncation of triple products on Cartan factors

Authors: Jorge J. Garcés, Lei Li, Antonio M. Peralta, Shanshan Su

Abstract: Let $\{C_i\}_{i\in Γ_1},$ and $\{D_j\}_{j\in Γ_2},$ be two families of Cartan factors such that all of them have dimension at least $2$, and consider the atomic JBW$^*$-triples $A=\bigoplus\limits_{i\in Γ_1}^{\ell_{\infty}} C_i$ and $B=\bigoplus\limits_{j\in Γ_2}^{\ell_{\infty}} D_j$. Let $Δ:A \to B$ be a {\rm(}non-necessarily linear nor continuous{\rm)} bijection preserving the truncation of trip… ▽ More Let $\{C_i\}_{i\in Γ_1},$ and $\{D_j\}_{j\in Γ_2},$ be two families of Cartan factors such that all of them have dimension at least $2$, and consider the atomic JBW$^*$-triples $A=\bigoplus\limits_{i\in Γ_1}^{\ell_{\infty}} C_i$ and $B=\bigoplus\limits_{j\in Γ_2}^{\ell_{\infty}} D_j$. Let $Δ:A \to B$ be a {\rm(}non-necessarily linear nor continuous{\rm)} bijection preserving the truncation of triple products in both directions, that is, $$\begin{aligned} \boxed{a \mbox{ is a truncation of } \{b,c,b\}} \Leftrightarrow \boxed{Δ(a) \mbox{ is a truncation of } \{Δ(b),Δ(c),Δ(b)\}} \end{aligned}$$ Assume additionally that the restriction of $Δ$ to each rank-one Cartan factor in $A$, if any, is a continuous mapping. Then we show that $Δ$ is an isometric real linear triple isomorphism. We also study some general properties of bijections preserving the truncation of triple products in both directions between general JB$^*$-triples. △ Less

Submitted 22 May, 2024; originally announced May 2024.

M-ideals in real operator algebras

Authors: David P. Blecher, Matthew Neal, Antonio M. Peralta, Shanshan Su

Abstract: In a recent paper we showed that a subspace of a real JBW*-triple is an M-summand if and only if it is a weak*-closed triple ideal. As a consequence, M-ideals of real JB*-triples, including real C*-algebras, real JB*-algebras and real TROs, correspond to norm-closed triple ideals. In the present paper we extend this result to (possibly non-selfadjoint) real operator algebras and Jordan operator al… ▽ More In a recent paper we showed that a subspace of a real JBW*-triple is an M-summand if and only if it is a weak*-closed triple ideal. As a consequence, M-ideals of real JB*-triples, including real C*-algebras, real JB*-algebras and real TROs, correspond to norm-closed triple ideals. In the present paper we extend this result to (possibly non-selfadjoint) real operator algebras and Jordan operator algebras, where the argument is necessarily different. We also give simple characterizations of one-sided M-ideals in real operator algebras, and give some applications to that theory. △ Less

Submitted 17 February, 2025; v1 submitted 8 May, 2024; originally announced May 2024.

Comments: 18 pages, to appear Math Nachrichten

MSC Class: Primary 46L07; 47L05; 47L25; 47L30; 17C65; Secondary: 46B04; 46L08; 47L75; 17C10

On the equivalence of all notions of generalized derivations whose domain is a C$^{\ast}$-algebra

Authors: Amin Hosseini, Antonio M. Peralta, Shanshan Su

Abstract: Let $\mathcal{M}$ be a Banach bimodule over an associative Banach algebra $\mathcal{A}$, and let $F: \mathcal{A}\to \mathcal{M}$ be a linear mapping. Three main uses of the term \emph{generalized derivation} are identified in the available literature, namely, ($\checkmark$) $F$ is a generalized derivation of the first type if there exists a derivation $ d : \mathcal{A}\to \mathcal{M}^{**}$ satis… ▽ More Let $\mathcal{M}$ be a Banach bimodule over an associative Banach algebra $\mathcal{A}$, and let $F: \mathcal{A}\to \mathcal{M}$ be a linear mapping. Three main uses of the term \emph{generalized derivation} are identified in the available literature, namely, ($\checkmark$) $F$ is a generalized derivation of the first type if there exists a derivation $ d : \mathcal{A}\to \mathcal{M}^{**}$ satisfying $F(a b ) = F(a) b + a d(b),$ for all $a,b\in \mathcal{A}$. ($\checkmark$) $F$ is a generalized derivation of the second type if there exists an element $ξ\in \mathcal{M}^{**}$ satisfying $F(a b ) = F(a) b + a F(b) - a ξb,$ for all $a,b\in \mathcal{A}$. ($\checkmark$) $F$ is a generalized derivation of the third type if there exist two (non-necessarily linear) mappings $G,H : \mathcal{A}\to \mathcal{M}$ satisfying $F(a b ) = G(a) b + a H(b),$ for all $a,b\in \mathcal{A}$. These three types of maps are not, in general, equivalent. Although the first two notions are well studied when $\mathcal{A}$ is a C$^*$-algebra, their connections with the third one have not yet been explored. In this note we prove that every generalized derivation of the third type from a C$^*$-algebra $\mathcal{A}$ to a Banach $\mathcal{A}$-bimodule $\mathcal{M}$ is automatically continuous. We also show that every (continuous) generalized derivation of the third type from $\mathcal{A}$ to $\mathcal{M}$ is a generalized derivation of the first and second type. Consequently, the three notions coincide in this case. We also explore some concepts of generalized Jordan derivations on a C$^*$-algebra and establish some continuity properties for them. △ Less

Submitted 11 October, 2024; v1 submitted 27 March, 2024; originally announced March 2024.

Automatic continuity of biorthogonality preservers between compact C$^*$-algebras and von Neumann algebras

Authors: Mar\' ia Burgos, Jorge J. Garcés, Antonio M. Peralta

Abstract: We prove that every biorthogonality preserving linear surjection between two dual or compact C$^*$-algebras or between two von Neumann algebras is automatically continuous. We prove that every biorthogonality preserving linear surjection between two dual or compact C$^*$-algebras or between two von Neumann algebras is automatically continuous. △ Less

Submitted 1 February, 2024; originally announced February 2024.

Comments: arXiv admin note: text overlap with arXiv:2402.00517

Journal ref: J.Math. Anal. Appl 376 (1), 221-230 (2011)

Generalised triple homomorphisms and Derivations

Authors: Jorge J. Garcés, Antonio M. Peralta

Abstract: We introduce generalised triple homomorphism between Jordan Banach triple systems as a concept which extends the notion of generalised homomorphism between Banach algebras given by Jarosz and Johnson in 1985 and 1987, respectively. We prove that every generalised triple homomorphism between JB$^*$-triples is automatically continuous. When particularised to C$^*$-algebras, we rediscover one of the… ▽ More We introduce generalised triple homomorphism between Jordan Banach triple systems as a concept which extends the notion of generalised homomorphism between Banach algebras given by Jarosz and Johnson in 1985 and 1987, respectively. We prove that every generalised triple homomorphism between JB$^*$-triples is automatically continuous. When particularised to C$^*$-algebras, we rediscover one of the main theorems established by Johnson. We shall also consider generalised triple derivations from a Jordan Banach triple $E$ into a Jordan Banach triple $E$-module, proving that every generalised triple derivation from a JB$^*$-triple $E$ into $E^*$ is automatically continuous. △ Less

Submitted 1 February, 2024; originally announced February 2024.

Journal ref: Canad. J. Math. 65 (2013), 783-807

A Kaplansky Theorem for JB*-triples

Authors: Francisco J. Fernández-Polo, Jorge J. Garcés, Antonio M. Peralta

Abstract: Let $T:E\rightarrow F$ be a non-necessarily continuous triple homomorphism from a (complex) JB$^*$-triple (respectively, a (real) J$^*$B-triple) to a normed Jordan triple. The following statements hold: (1) $T$ has closed range whenever $T$ is continuous (2) $T$ has closed range whenever $T$ is continuous This result generalises classical theorems of I. Kaplansky and S.B. Cleveland in the se… ▽ More Let $T:E\rightarrow F$ be a non-necessarily continuous triple homomorphism from a (complex) JB$^*$-triple (respectively, a (real) J$^*$B-triple) to a normed Jordan triple. The following statements hold: (1) $T$ has closed range whenever $T$ is continuous (2) $T$ has closed range whenever $T$ is continuous This result generalises classical theorems of I. Kaplansky and S.B. Cleveland in the setting of C$^*$-algebras and of A. Bensebah and J.Pérez, L. Rico and A. Rodr'\iguez Palacios in the setting of JB$^*$-algebras. △ Less

Submitted 1 February, 2024; originally announced February 2024.

Journal ref: Proceedings of the American Mathematical Society 140 (9), 3179-3191 (2012)

Automatic continuity of biorthogonality preservers between weakly compact JB$^*$-triples and atomic JBW$^*$-triples

Authors: María Burgos, Jorge J. Garcés, Antonio M. Peralta

Abstract: We prove that every biorthogonality preserving linear surjection from a weakly compact JB$^*$triple containing no infinite dimensional rank-one summands onto another JB$^*$-triple is automatically continuous. We also show that every biorthogonality preserving linear surjection between atomic JBW$^*$triples containing no infinite dimensional rank-one summands is automatically continuous. Consequent… ▽ More We prove that every biorthogonality preserving linear surjection from a weakly compact JB$^*$triple containing no infinite dimensional rank-one summands onto another JB$^*$-triple is automatically continuous. We also show that every biorthogonality preserving linear surjection between atomic JBW$^*$triples containing no infinite dimensional rank-one summands is automatically continuous. Consequently, two atomic JBW$^*$-triples containing no rank-one summands are isomorphic if, and only if, there exists a (non necessarily continuous) biorthogonality preserving linear surjection between them. △ Less

Submitted 1 February, 2024; originally announced February 2024.

Journal ref: Studia Math 204 (2), 97-121 (2011)

$M$-ideals, yet again: the case of real JB$^*$-triples

Authors: David P. Blecher, Matthew Neal, Antonio M. Peralta, Shanshan Su

Abstract: We prove that a subspace of a real JBW$^*$-triple is an $M$-summand if and only if it is a weak$^*$-closed triple ideal. As a consequence, $M$-ideals of real JB$^*$-triples correspond to norm-closed triple ideals. As in the setting of complex JB$^*$-triples, a geometric property is characterized in purely algebraic terms. This is a newfangled treatment of the classical notion of $M$-ideal in the r… ▽ More We prove that a subspace of a real JBW$^*$-triple is an $M$-summand if and only if it is a weak$^*$-closed triple ideal. As a consequence, $M$-ideals of real JB$^*$-triples correspond to norm-closed triple ideals. As in the setting of complex JB$^*$-triples, a geometric property is characterized in purely algebraic terms. This is a newfangled treatment of the classical notion of $M$-ideal in the real setting by a fully new approach due to the unfeasibility of the known arguments in the setting of complex C$^*$-algebras and JB$^*$-triples. The results in this note also provide a full characterization of all $M$-ideals in real C$^*$-algebras, real JB$^*$-algebras and real TROs. △ Less

Submitted 10 January, 2024; originally announced January 2024.

MSC Class: Primary 46B04; Secondary 46B20; 46L57; 47L05; 47C05; 17C65

Metric invariants in Banach and Jordan--Banach algebras

Authors: Antonio M. Peralta

Abstract: In this note we collect some significant contributions on metric invariants for complex Banach algebras and Jordan--Banach algebras established during the last fifteen years. This note is mainly expository, but it also contains complete proofs and arguments, which in many cases are new or have been simplified. We have also included several new results. The common goal in the results is to seek for… ▽ More In this note we collect some significant contributions on metric invariants for complex Banach algebras and Jordan--Banach algebras established during the last fifteen years. This note is mainly expository, but it also contains complete proofs and arguments, which in many cases are new or have been simplified. We have also included several new results. The common goal in the results is to seek for "natural" subsets, $\mathfrak{S}_{A},$ associated with each complex Banach or Jordan--Banach algebra $A$, sets which when equipped with a certain metric, $d_{A}$, enjoys the property that each surjective isometry from $(\mathfrak{S}_{A},d_A)$ to a similar set, $(\mathfrak{S}_{B},d_B),$ associated with another Banach or Jordan--Banach algebra $B$, extends to a surjective real-linear isometry from $A$ onto $B$. In case of a positive answer to this question, the problem of discussing whether in such a case the algebras $A$ and $B$ are in fact isomorphic or Jordan isomorphic is the subsequent question. The main results presented here will cover the cases in which the sets $(\mathfrak{S}_{A},d_A)$ and $(\mathfrak{S}_{B},d_B)$ are in one of the following situations: $(\checkmark)$ Subsets of the set of invertible elements in a unital complex Banach algebra or in a unital complex Jordan--Banach algebra with the metric induced by the norm. Specially in the cases of unital C$^*$- and JB$^*$-algebras. $(\checkmark)$ The sets of positive invertible elements in unital C$^*$- or JB$^*$-algebras with respect to the metric induced by the norm and with respect to the Thompson's metric. $(\checkmark)$ Subsets of the set of unitary elements in unital C$^*$- and JB$^*$-algebras. △ Less

Submitted 31 August, 2023; originally announced August 2023.

MSC Class: 47B49; 46B20; 46A22; 46H70; 46L70

Lie--Trotter formulae in Jordan--Banach algebras with applications to the study of spectral-valued multiplicative functionals

Authors: Gerardo M. Escolano, Antonio M. Peralta, Armando R. Villena

Abstract: We establish some Lie--Trotter formulae for unital complex Jordan--Banach algebras, showing that for each couple of elements $a,b$ in a unital complex Jordan--Banach algebra $\mathfrak{A}$ the identities… ▽ More We establish some Lie--Trotter formulae for unital complex Jordan--Banach algebras, showing that for each couple of elements $a,b$ in a unital complex Jordan--Banach algebra $\mathfrak{A}$ the identities $$ \lim_{n\to \infty} \left(e^{\frac{a}{n}}\circ e^{\frac{b}{n}} \right)^{n} = e^{a+b},\ \lim_{n\to \infty} \left(U_{e^{\frac{a}{n}}} \left( e^{\frac{b}{n}}\right) \right)^{n} = e^{2 a+b}, \hbox{ and }$$ $$ \lim_{n\to \infty} \left(U_{e^{\frac{a}{n}},e^{\frac{c}{n}}} \left( e^{\frac{b}{n}}\right) \right)^{n} = e^{a+b + c}$$ hold. These formulae are actually deduced from a more general result involving holomorphic functions with values in $\mathfrak{A}$. These formulae are employed in the study of spectral-valued (non-necessarily linear) functionals $f:\mathfrak{A}\to \mathbb{C}$ satisfying $f(U_x (y))=U_{f(x)}f(y),$ for all $x,y\in \mathfrak{A}$. We prove that for any such a functional $f,$ there exists a unique continuous (Jordan-)multiplicative linear functional $ψ\colon \mathfrak{A}\to\mathbb{C}$ such that $ f(x)=ψ(x),$ for every $x$ in the connected component of set of all invertible elements of $\mathfrak{A}$ containing the unit element. If we additionally assume that $\mathfrak{A}$ is a JB$^*$-algebra and $f$ is continuous, then $f$ is a linear multiplicative functional on $\mathfrak{A}$. The new conclusions are appropriate Jordan versions of results by Maouche, Brits, Mabrouk, Shulz, and Tour{é}. △ Less

Submitted 8 May, 2023; originally announced May 2023.

MSC Class: 46L05; 46L10; 46H05

Estimations of the numerical index of a JB$^*$-triple

Authors: David Cabezas, Antonio M. Peralta

Abstract: We prove that every commutative JB$^*$-triple has numerical index one. We also revisit the notion of commutativity in JB$^*$-triples to show that a JBW$^*$-triple $M$ has numerical index one precisely when it is commutative, while $e^{-1}\leq n(M) \leq 2^{-1}$ otherwise. Consequently, a JB$^*$-triple $E$ is commutative if and only if $n(E^*) =1$ (equivalently, $n(E^{**}) =1$). In the general setti… ▽ More We prove that every commutative JB$^*$-triple has numerical index one. We also revisit the notion of commutativity in JB$^*$-triples to show that a JBW$^*$-triple $M$ has numerical index one precisely when it is commutative, while $e^{-1}\leq n(M) \leq 2^{-1}$ otherwise. Consequently, a JB$^*$-triple $E$ is commutative if and only if $n(E^*) =1$ (equivalently, $n(E^{**}) =1$). In the general setting we prove that the numerical index of each JB$^*$-triple $E$ admitting a non-commutative element also satisfies $e^{-1}\leq n(M) \leq 2^{-1}$, and the same holds when the bidual of $E$ contains a Cartan factor of rank $\geq 2$ in its atomic part. △ Less

Submitted 28 February, 2023; originally announced February 2023.

Spin polarization induced by decoherence in a tunneling one-dimensional Rashba model

Authors: S. Varela, M. Peralta, V. Mujica, B. Berche, E. Medina

Abstract: Basic questions on the nature of spin polarization in two terminal systems and the way in which decoherence breaks Time-Reversal Symmetry (TRS) are analyzed. We exactly solve several one-dimensional models of tunneling electrons and show the interplay of spin precession and decay of the wavefunction in either a U(1) magnetic field or an effective Spin-Orbit (SO) magnetic field. Spin polarization i… ▽ More Basic questions on the nature of spin polarization in two terminal systems and the way in which decoherence breaks Time-Reversal Symmetry (TRS) are analyzed. We exactly solve several one-dimensional models of tunneling electrons and show the interplay of spin precession and decay of the wavefunction in either a U(1) magnetic field or an effective Spin-Orbit (SO) magnetic field. Spin polarization is clearly identified as the emergence of a spin component parallel to either magnetic field. We show that Onsager's reciprocity is fulfilled when time reversal symmetry is present and no spin polarization arises, no matter the barrier parameters or the SO strength. Introducing a Buttiker's decoherence probe, that preserves unitarity of time evolution, we show that breaking of TRS results in a strong spin polarization for realistic SO, and barrier strengths. We discuss the significance of these results as a very general scenario for the onset of the Chiral-Induced Spin Selectivity effect (CISS), now possibly matching experiments in a quantitative manner. △ Less

Submitted 3 April, 2023; v1 submitted 5 January, 2023; originally announced January 2023.

Comments: 24 pages, 14 figures

MSC Class: 74F15; 81Q99; 81V99

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

Authors: Antonio M. Peralta, Radovan Švarc

Abstract: 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 comp… ▽ More 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. △ Less

Submitted 2 January, 2023; originally announced January 2023.

Tingley's problem for complex Banach spaces which do not satisfy the Hausdorff distance condition

Authors: David Cabezas, María Cueto-Avellaneda, Yuta Enami, Takeshi Miura, Antonio M. Peralta

Abstract: In 2022, Hatori gave a sufficient condition for complex Banach spaces to have the complex Mazur--Ulam property. In this paper, we introduce a class of complex Banach spaces $B$ that do not satisfy the condition but enjoy the property that every surjective isometry on the unit sphere of such $B$ admits an extension to a surjective real linear isometry on the whole space $B$. Typical examples of Ban… ▽ More In 2022, Hatori gave a sufficient condition for complex Banach spaces to have the complex Mazur--Ulam property. In this paper, we introduce a class of complex Banach spaces $B$ that do not satisfy the condition but enjoy the property that every surjective isometry on the unit sphere of such $B$ admits an extension to a surjective real linear isometry on the whole space $B$. Typical examples of Banach spaces studied in this note are the spaces ${\rm Lip}([0,1])$ of all Lipschitz complex-valued functions on $[0,1]$ and $C^1([0,1])$ of all continuously differentiable complex-valued functions on $[0,1]$ equipped with the norm $|f(0)|+\|f'\|_\infty$. △ Less

Submitted 2 June, 2023; v1 submitted 31 October, 2022; originally announced October 2022.

On the strict topology of the multipliers of a JB$^*$-algebra

Authors: Francisco J. Fernández-Polo, Jorge J. Garcés, Lei Li, Antonio M. Peralta

Abstract: We introduce the Jordan-strict topology on the multipliers algebra of a JB$^*$-algebra, a notion which was missing despite the fourty years passed after the first studies on Jordan multipliers. In case that a C$^*$-algebra $A$ is regarded as a JB$^*$-algebra, the J-strict topology of $M(A)$ is precisely the well-studied C$^*$-strict topology. We prove that every JB$^*$-algebra $\mathfrak{A}$ is J-… ▽ More We introduce the Jordan-strict topology on the multipliers algebra of a JB$^*$-algebra, a notion which was missing despite the fourty years passed after the first studies on Jordan multipliers. In case that a C$^*$-algebra $A$ is regarded as a JB$^*$-algebra, the J-strict topology of $M(A)$ is precisely the well-studied C$^*$-strict topology. We prove that every JB$^*$-algebra $\mathfrak{A}$ is J-strict dense in its multipliers algebra $M(\mathfrak{A})$, and that latter algebra is J-strict complete. We show that continuous surjective Jordan homomorphisms, triple homomorphisms, and orthogonality preserving operators between JB$^*$-algebras admit J-strict continuous extensions to the corresponding type of operators between the multipliers algebras. We characterize J-strict continuous functionals on the multipliers algebra of a JB$^*$-algebra $\mathfrak{A}$, and we establish that the dual of $M(\mathfrak{A})$ with respect to the J-strict topology is isometrically isomorphic to $\mathfrak{A}^*$. We also present a first applications of the J-strict topology of the multipliers algebra, by showing that under the extra hypothesis that $\mathfrak{A}$ and $\mathfrak{B}$ are $σ$-unital JB$^*$-algebras, every surjective Jordan $^*$-homomorphism (respectively, triple homomorphism or continuous orthogonality preserving operator) from $\mathfrak{A}$ onto $\mathfrak{B}$ admits an extension to a surjective J-strict continuous Jordan $^*$-homomorphism (respectively, triple homomorphism or continuous orthogonality preserving operator) from $M(\mathfrak{A})$ onto $M(\mathfrak{B})$. △ Less

Submitted 24 October, 2022; originally announced October 2022.

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

Authors: Antonio M. Peralta

Abstract: 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-)l… ▽ More 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. △ Less

Submitted 2 August, 2022; originally announced August 2022.

The Daugavet equation for polynomials on C$^*$-algebras and JB$^*$-triples

Authors: David Cabezas, Miguel Martín, Antonio M. Peralta

Abstract: We prove that every JB$^*$-triple $E$ (in particular, every $C^*$-algebra) satisfying the Daugavet property also satisfies the stronger polynomial Daugavet property, that is, every weakly compact polynomial $P\colon E \longrightarrow E$ satisfies the Daugavet equation $\|\hbox{id}_{E} + P\| = 1+\|P\|$. The analogous conclusion also holds for the alternative Daugavet property. We prove that every JB$^*$-triple $E$ (in particular, every $C^*$-algebra) satisfying the Daugavet property also satisfies the stronger polynomial Daugavet property, that is, every weakly compact polynomial $P\colon E \longrightarrow E$ satisfies the Daugavet equation $\|\hbox{id}_{E} + P\| = 1+\|P\|$. The analogous conclusion also holds for the alternative Daugavet property. △ Less

Submitted 23 June, 2022; originally announced June 2022.

Journal ref: Adv. Math. 439 (2024), 109479 (open access)

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

Authors: David Cabezas, Antonio M. Peralta

Abstract: 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… ▽ More 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. △ Less

Submitted 23 May, 2022; originally announced May 2022.

Maps preserving triple transition pseudo-probabilities

Authors: Antonio M. Peralta

Abstract: 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)= \varphi_v(e),$ where $\varphi_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 trans… ▽ More 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)= \varphi_v(e),$ where $\varphi_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$. △ Less

Submitted 7 April, 2022; originally announced April 2022.

Comments: Wigner theorem; minimal partial isometries; minimal tripotents; socle; triple transition psedudo-probability; preservers; Cartan factors; spin factors; triple isomorphism. arXiv admin note: text overlap with arXiv:2101.00670

MSC Class: Primary 47B49; 46L60; 47N50 Secondary 81R15; 17C65

A projection--less approach to Rickart Jordan structures

Authors: Jorge J. Garcés, Lei Li, Antonio M. Peralta, Haifa M. Tahlawi

Abstract: 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$^*$-trip… ▽ More 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. △ Less

Submitted 16 February, 2022; originally announced February 2022.

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

Authors: David Cabezas, María Cueto-Avellaneda, Daisuke Hirota, Takeshi Miura, Antonio M. Peralta

Abstract: 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 is… ▽ More 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. △ Less

Submitted 17 January, 2022; originally announced January 2022.

MSC Class: 46J10; 46B04; 46B20; 46J15; 47B49; 17C65

Order type relations on the set of tripotents in a JB$^*$-triple

Authors: Jan Hamhalter, Ondřej F. K. Kalenda, Antonio M. Peralta

Abstract: We introduce, investigate and compare several order type relations on the set of tripotents in a JB$^*$-triple. The main two relations we address are $\le_h$ and $\le_n$. We say that $u\le_h e$ (or $u\le_n e$) if $u$ is a self-adjoint (or normal) element of the Peirce-2 subspace associated to $e$ considered as a unital JB$^*$-algebra with unit $e$. It turns out that these relations need not be tra… ▽ More We introduce, investigate and compare several order type relations on the set of tripotents in a JB$^*$-triple. The main two relations we address are $\le_h$ and $\le_n$. We say that $u\le_h e$ (or $u\le_n e$) if $u$ is a self-adjoint (or normal) element of the Peirce-2 subspace associated to $e$ considered as a unital JB$^*$-algebra with unit $e$. It turns out that these relations need not be transitive, so we consider their transitive hulls as well. Properties of these transitive hulls appear to be closely connected with types of von Neumann algebras, with the results on products of symmetries, with determinants in finite-dimensional Cartan factors, with finiteness and other structural properties of JBW$^*$-triples. △ Less

Submitted 15 December, 2021; v1 submitted 6 December, 2021; originally announced December 2021.

Comments: 71 pages

MSC Class: 17C65; 17C27; 17C10; 06A99; 46L10

Exploring new solutions to Tingley's problem for function algebras

Authors: María Cueto-Avellaneda, Daisuke Hirota, Takeshi Miura, Antonio M. Peralta

Abstract: 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 closed function algebras $A$ and $B$ on locally compact Hausdorff spaces can be extended to a surjective real linear isometry from $A$ onto $B$. In a second goal we… ▽ More 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 closed function algebras $A$ and $B$ on locally compact Hausdorff spaces can be extended to a surjective real linear isometry from $A$ onto $B$. In a second goal we study surjective isometries between the unit spheres of two abelian JB$^*$-triples represented as spaces of continuous functions of the form $$C^{\mathbb{T}}_0 (X) := \{ a \in C_0(X) : a (λt) = λa(t) \hbox{ for every } (λ, t) \in \mathbb{T}\times X\},$$ where $X$ is a (locally compact Hausdorff) principal $\mathbb{T}$-bundle. We establish that every surjective isometry $Δ: S(C_0^{\mathbb{T}}(X))\to S(C_0^{\mathbb{T}}(Y))$ admits an extension to a surjective real linear isometry between these two abelian JB$^*$-triples. △ Less

Submitted 21 October, 2021; originally announced October 2021.

MSC Class: 46J10; 46B04; 46B20; 46J15; 47B49; 17C65

Determinants in Jordan matrix algebras

Authors: Jan Hamhalter, Ondřej F. K. Kalenda, Antonio M. Peralta

Abstract: We introduce a natural notion of determinant in matrix JB$^*$-algebras, i.e., for hermitian matrices of biquaternions and for hermitian $3\times 3$ matrices of complex octonions. We establish several properties of these determinants which are useful to understand the structure of the Cartan factor of type $6$. As a tool we provide an explicit description of minimal projections in the Cartan factor… ▽ More We introduce a natural notion of determinant in matrix JB$^*$-algebras, i.e., for hermitian matrices of biquaternions and for hermitian $3\times 3$ matrices of complex octonions. We establish several properties of these determinants which are useful to understand the structure of the Cartan factor of type $6$. As a tool we provide an explicit description of minimal projections in the Cartan factor of type $6$ and a variety of its automorphisms. △ Less

Submitted 23 February, 2022; v1 submitted 20 October, 2021; originally announced October 2021.

Comments: 38 pages; we added one reference and one remark

MSC Class: 46L70; 17C10; 17C40; 15A15

Journal ref: Linear and Multilinear Algebra 71 (2023), no. 6, 961-1002

Similarities and differences between real and complex Banach spaces: an overview and recent developments

Authors: M. S. Moslehian, G. A. Muñoz-Fernández, A. M. Peralta, J. B. Seoane-Sepúlveda

Abstract: There are numerous cases of discrepancies between results obtained in the setting of real Banach spaces and those obtained in the complex context. This article is a modern exposition of the subtle differences between key results and theories for complex and real Banach spaces and the corresponding linear operators between them. We deeply discuss some aspects of the complexification of real Banach… ▽ More There are numerous cases of discrepancies between results obtained in the setting of real Banach spaces and those obtained in the complex context. This article is a modern exposition of the subtle differences between key results and theories for complex and real Banach spaces and the corresponding linear operators between them. We deeply discuss some aspects of the complexification of real Banach spaces and give several examples showing how drastically different can be the behavior of real Banach spaces versus their complex counterparts. △ Less

Submitted 24 February, 2022; v1 submitted 8 July, 2021; originally announced July 2021.

Comments: In this second version we added some new materials and some new proofs for well-known results, 106 pages

On the convergence of multi-level Hermite-Padé approximants

Authors: L. G. González Ricardo, G. López Lagomasino, S. Medina Peralta

Abstract: In the present paper we prove a Stieltjes type theorem on the convergence of a sequence of rational functions associated with a mixed type Hermite-Padé approximation problem of a Nikishin system of functions and analyze the ratio asymptotic of the corresponding Hermite-Padé polynomials. In the present paper we prove a Stieltjes type theorem on the convergence of a sequence of rational functions associated with a mixed type Hermite-Padé approximation problem of a Nikishin system of functions and analyze the ratio asymptotic of the corresponding Hermite-Padé polynomials. △ Less

Submitted 21 June, 2021; originally announced June 2021.

Comments: 24 pages

MSC Class: 42C05; 30E10; 41A21

Surjective isometries between unitary sets of unital JB$^*$-algebras

Authors: María Cueto-Avellaneda, Yuta Enami, Daisuke Hirota, Takeshi Miura, Antonio M. Peralta

Abstract: This paper is, in a first stage, devoted to establish a topological--algebraic characterization of the principal component, $\mathcal{U}^0 (M)$, of the set of unitary elements, $\mathcal{U} (M)$, in a unital JB$^*$-algebra $M$. We arrive to the conclusion that, as in the case of unital C$^*$-algebras,… ▽ More This paper is, in a first stage, devoted to establish a topological--algebraic characterization of the principal component, $\mathcal{U}^0 (M)$, of the set of unitary elements, $\mathcal{U} (M)$, in a unital JB$^*$-algebra $M$. We arrive to the conclusion that, as in the case of unital C$^*$-algebras, $$\begin{aligned}\mathcal{U}^0(M) &= M^{-1}_{\textbf{1}}\cap\mathcal{U} (M) =\left\lbrace U_{e^{i h_n}}\cdots U_{e^{i h_1}}(\textbf{1}) \colon \begin{array}{c} n\in \mathbb{N}, \ h_j\in M_{sa} \forall\ 1\leq j \leq n \end{array} \right\rbrace \end{aligned}$$ is analytically arcwise connected. Our second goal is to provide a complete description of the surjective isometries between the principal components of two unital JB$^*$-algebras $M$ and $N$. Contrary to the case of unital C$^*$-algebras, we shall deduce the existence of connected components in $\mathcal{U} (M)$ which are not isometric as metric spaces. We shall also establish necessary and sufficient conditions to guarantee that a surjective isometry $Δ: \mathcal{U}(M)\to \mathcal{U} (N)$ admits an extension to a surjective linear isometry between $M$ and $N$, a conclusion which is not always true. Among the consequences it is proved that $M$ and $N$ are Jordan $^*$-isomorphic if, and only if, their principal components are isometric as metric spaces if, and only if, there exists a surjective isometry $Δ: \mathcal{U}(M)\to \mathcal{U}(N)$ mapping the unit of $M$ to an element in $\mathcal{U}^0(N)$. These results provide an extension to the setting of unital JB$^*$-algebras of the results obtained by O. Hatori for unital C$^*$-algebras. △ Less

Submitted 31 May, 2021; originally announced May 2021.

Representation of symmetry transformations on the sets of tripotents of spin and Cartan factors

Authors: Yaakov Friedman, Antonio M. Peralta

Abstract: There are six different mathematical formulations of the symmetry group in quantum mechanics, among them the set of pure states $\mathbf{P}$ -- i.e., the set of one-dimensional projections on a complex Hilbert space $H$ -- and the orthomodular lattice $\mathbf{L}$ of closed subspaces of $H$. These six groups are isomorphic when the dimension of $H$ is $\geq 3$. Despite of the difficulties caused b… ▽ More There are six different mathematical formulations of the symmetry group in quantum mechanics, among them the set of pure states $\mathbf{P}$ -- i.e., the set of one-dimensional projections on a complex Hilbert space $H$ -- and the orthomodular lattice $\mathbf{L}$ of closed subspaces of $H$. These six groups are isomorphic when the dimension of $H$ is $\geq 3$. Despite of the difficulties caused by $M_2(\mathbb{C})$, rank two algebras are used for quantum mechanics description of the spin state of spin-$\frac12$ particles, there is a counterexample for Uhlhorn's version of Wigner's theorem for such state space. In this note we prove that in order that the description of the spin will be relativistic, it is not enough to preserve the projection lattice equipped with its natural partial order and orthogonality, but we also need to preserve the partial order set of all tripotents and orthogonality among them (a set which strictly enlarges the lattice of projections). Concretely, let $M$ and $N$ be two atomic JBW$^*$-triples not containing rank-one Cartan factors, and let $\mathcal{U} (M)$ and $\mathcal{U} (N)$ denote the set of all tripotents in $M$ and $N$, respectively. We show that each bijection $Φ: \mathcal{U} (M)\to \mathcal{U} (N)$, preserving the partial ordering in both directions, orthogonality in one direction and satisfying some mild continuity hypothesis can be extended to a real linear triple automorphism. This, in particular, extends a result of Moln{á}r to the wider setting of atomic JBW$^*$-triples not containing rank-one Cartan factors, and provides new models to present quantum behavior. △ Less

Submitted 31 October, 2021; v1 submitted 3 January, 2021; originally announced January 2021.

Surjective isometries between sets of invertible elements in unital Jordan-Banach algebras

Authors: Antonio M. Peralta

Abstract: Let $M$ and $N$ be unital Jordan-Banach algebras, and let $M^{-1}$ and $N^{-1}$ denote the sets of invertible elements in $M$ and $N$, respectively. Suppose that $\mathfrak{M}\subseteq M^{-1}$ and $\mathfrak{N}\subseteq N^{-1}$ are clopen subsets of $M^{-1}$ and $N^{-1}$, respectively, which are closed for powers, inverses and products of the form $U_{a} (b)$. In this paper we prove that for each… ▽ More Let $M$ and $N$ be unital Jordan-Banach algebras, and let $M^{-1}$ and $N^{-1}$ denote the sets of invertible elements in $M$ and $N$, respectively. Suppose that $\mathfrak{M}\subseteq M^{-1}$ and $\mathfrak{N}\subseteq N^{-1}$ are clopen subsets of $M^{-1}$ and $N^{-1}$, respectively, which are closed for powers, inverses and products of the form $U_{a} (b)$. In this paper we prove that for each surjective isometry $Δ: \mathfrak{M}\to \mathfrak{N}$ there exists a surjective real-linear isometry $T_0: M\to N$ and an element $u_0$ in the McCrimmon radical of $N$ such that $Δ(a) = T_0(a) +u_0$ for all $a\in \mathfrak{M}$.\smallskip Assuming that $M$ and $N$ are unital JB$^*$-algebras we establish that for each surjective isometry $Δ: \mathfrak{M}\to \mathfrak{N}$ the element $Δ(\textbf{1}) =u$ is a unitary element in $N$ and there exist a central projection $p\in M$ and a complex-linear Jordan $^*$-isomorphism $J$ from $M$ onto the $u^*$-homotope $N_{u^*}$ such that $$Δ(a) = J(p\circ a) + J ((\textbf{1}-p) \circ a^*),$$ for all $a\in \mathfrak{M}$. Under the additional hypothesis that there is a unitary element $ω_0$ in $N$ satisfying $U_{ω_0} (Δ(\textbf{1})) = \textbf{1}$, we show the existence of a central projection $p\in M$ and a complex-linear Jordan $^*$-isomorphism $Φ$ from $M$ onto $N$ such that $$Δ(a) = U_{w_0^{*}} \left(Φ(p\circ a) + Φ((\textbf{1}-p) \circ a^*)\right),$$ for all $a\in \mathfrak{M}$. △ Less

Submitted 25 April, 2021; v1 submitted 16 November, 2020; originally announced November 2020.

One-parameter groups of orthogonality preservers on JB$^*$-algebras

Authors: Jorge J. Garcés, Antonio M. Peralta

Abstract: In a first objective we improve our understanding about surjective and bijective bounded linear operators preserving orthogonality from a JB$^*$-algebra $\mathcal{A}$ into a JB$^*$-triple $E$. Among many other conclusions, it is shown that a bounded linear bijection $T: \mathcal{A}\to E$ is orthogonality preserving if, and only if, it is biorthogonality preserving if, and only if, it preserves zer… ▽ More In a first objective we improve our understanding about surjective and bijective bounded linear operators preserving orthogonality from a JB$^*$-algebra $\mathcal{A}$ into a JB$^*$-triple $E$. Among many other conclusions, it is shown that a bounded linear bijection $T: \mathcal{A}\to E$ is orthogonality preserving if, and only if, it is biorthogonality preserving if, and only if, it preserves zero-triple-products in both directions (i.e., $\{a,b,c\}=0 \Leftrightarrow \{T(a),T(b),T(c)\}=0$). In the second main result we establish a complete characterization of all one-parameter groups of orthogonality preserving operators on a JB$^*$-algebra. △ Less

Submitted 2 October, 2020; originally announced October 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:2004.04155

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

Authors: Ahlem Ben Ali Essaleh, Antonio M. Peralta

Abstract: 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;… ▽ More 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} △ Less

Submitted 22 September, 2020; originally announced September 2020.

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

Authors: Antonio M. Peralta

Abstract: 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… ▽ More 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. △ Less

Submitted 25 May, 2020; originally announced May 2020.

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

Authors: María Cueto-Avellaneda, Antonio M. Peralta

Abstract: 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 isome… ▽ More 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. △ Less

Submitted 10 May, 2020; originally announced May 2020.

MSC Class: Primary 47B49; 46B03; 46B20; 46A22; 46H70 Secondary 46B04; 46L05; 17C65

One-parameter groups of orthogonality preservers on C$^*$-algebras

Authors: Jorge J. Garcés, Antonio M. Peralta

Abstract: We establish a more precise description of those surjective or bijective continuous linear operators preserving orthogonality between C$^*$-algebras. The new description is applied to determine all uniformly continuous one-parameter semigroups of orthogonality preserving operators on an arbitrary C$^*$-algebra. We prove that given a family $\{T_t: t\in \mathbb{R}_0^{+}\}$ of orthogonality preservi… ▽ More We establish a more precise description of those surjective or bijective continuous linear operators preserving orthogonality between C$^*$-algebras. The new description is applied to determine all uniformly continuous one-parameter semigroups of orthogonality preserving operators on an arbitrary C$^*$-algebra. We prove that given a family $\{T_t: t\in \mathbb{R}_0^{+}\}$ of orthogonality preserving bounded linear bijections on a general C$^*$-algebra $A$ with $T_0=Id$, if for each $t\geq 0,$ we set $h_t = T_t^{**} (1)$ and we write $r_t$ for the range partial isometry of $h_t$ in $A^{**},$ and $S_t$ stands for the triple isomorphism on $A$ associated with $T_t$ satisfying $h_t^* S_t(x)$ $= S_t(x^*)^* h_t$, $h_t S_t(x^*)^* =$ $ S_t(x) h_t^*$, $h_t r_t^* S_t(x) =$ $S_t(x) r_t^* h_t$, and $T_t(x) = h_t r_t^* S_t(x) = S_t(x) r_t^* h_t, \hbox{ for all } x\in A,$ the following statements are equivalent: $(a)$ $\{T_t: t\in \mathbb{R}_0^{+}\}$ is a uniformly continuous one-parameter semigroup of orthogonality preserving operators on $A$; $(b)$ $\{S_t: t\in \mathbb{R}_0^{+}\}$ is a uniformly continuous one-parameter semigroup of surjective linear isometries (i.e. triple isomorphisms) on $A$ (and hence there exists a triple derivation $δ$ on $A$ such that $S_t = e^{t δ}$ for all $t\in \mathbb{R}$), the mapping $t\mapsto h_t $ is continuous at zero, and the identity $ h_{t+s} = h_t r_t^* S_t^{**} (h_s),$ holds for all $s,t\in \mathbb{R}.$ △ Less

Submitted 2 October, 2020; v1 submitted 8 April, 2020; originally announced April 2020.

MSC Class: Primary 46L05; 46L70; 47B48; Secondary 46K70; 46L40; 47B47; 47B49; 46B04; 17A40; 17C65

On optimality of constants in the Little Grothendieck Theorem

Authors: Ondřej F. K. Kalenda, Antonio M. Peralta, Hermann Pfitzner

Abstract: 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 $\varphi\in B^*$ such that… ▽ More 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 $\varphi\in B^*$ such that $$\|Tx\|\le(\sqrt{2}+\varepsilon)\|T\|\|x\|_\varphi\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. △ Less

Submitted 22 August, 2021; v1 submitted 27 February, 2020; originally announced February 2020.

Comments: 37 pages; we corrected some misprints, expanded one proof and updated references

MSC Class: 46L70; 47A30; 17C65

Journal ref: Studia Math. 264 (2022), no. 3, 263-304

Logarithmic asymptotic of multi-level Hermite-Padé polynomials

Authors: L. G. González Ricardo, G. López Lagomasino, S. Medina Peralta

Abstract: We study the logarihtnmic asymptotic of multiple orthogonal polynomials arising in a mixed type Hermite-Padé approximation problem associated with the rational perturbation of a Nikishin system of functions. The formulas obtained allow to give exact estimates of the rate of convergence of the corresponding Hermite-Padé approximants. We study the logarihtnmic asymptotic of multiple orthogonal polynomials arising in a mixed type Hermite-Padé approximation problem associated with the rational perturbation of a Nikishin system of functions. The formulas obtained allow to give exact estimates of the rate of convergence of the corresponding Hermite-Padé approximants. △ Less

Submitted 13 February, 2020; originally announced February 2020.

Comments: 17 pages. arXiv admin note: text overlap with arXiv:1904.00126

MSC Class: 30E10; 41A28; 42C05

On the convergence of multi-level Hermite-Padé approximants for a class of meromorphic functions

Authors: L. G. González Ricardo, G. López Lagomasino, S. Medina Peralta

Abstract: The present paper deals with the convergence properties of multi-level Hermite-Padé approximants for a class of meromorphic functions given by rational perturbations with real coefficients of a Nikishin system of functions, and study the zero location of the corresponding multiple orthogonal polynomials. The present paper deals with the convergence properties of multi-level Hermite-Padé approximants for a class of meromorphic functions given by rational perturbations with real coefficients of a Nikishin system of functions, and study the zero location of the corresponding multiple orthogonal polynomials. △ Less

Submitted 22 January, 2020; originally announced January 2020.

Comments: 18 pages

MSC Class: 30E10; 41A21; 42C05

Finite tripotents and finite JBW$^*$-triples

Authors: Jan Hamhalter, Ondřej F. K. Kalenda, Antonio M. Peralta

Abstract: 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 stan… ▽ More 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. △ Less

Submitted 2 May, 2020; v1 submitted 19 November, 2019; originally announced November 2019.

Comments: 66 pages; we corrected some misprints, modified a bit some notation, added one reference and simplified one proof

Journal ref: J. Math. Anal. Appl. 490 (2020), no. 1, article no. 124217

Linear maps which are anti-derivable at zero

Authors: Doha Adel Abulhamil, Fatmah B. Jamjoom, Antonio M. Peralta

Abstract: 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,$… ▽ More 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. △ Less

Submitted 4 March, 2020; v1 submitted 11 November, 2019; originally announced November 2019.

MSC Class: 46L05; 46L57; 47B47 (Primary); 15A86 (Secondary)

Proximity induced spin orbit effects in graphene on Au

Authors: Alejandro Lopez, Luis Colmenarez, Mayra Peralta, Francisco Mireles, Ernesto Medina

Abstract: We introduce a $p_{z}-d$ coupling model Hamiltonian for the $π$-graphene/Au bands that predicts a rather large intrinsic spin-orbit (SO) coupling as are being reported in recent experiments and DFT studies. Working within the analytical Slater-Koster tight-binding approach we were able to identify the overlapping orbitals of relevance in the enhancement of the SO coupling for both, the sublattice… ▽ More We introduce a $p_{z}-d$ coupling model Hamiltonian for the $π$-graphene/Au bands that predicts a rather large intrinsic spin-orbit (SO) coupling as are being reported in recent experiments and DFT studies. Working within the analytical Slater-Koster tight-binding approach we were able to identify the overlapping orbitals of relevance in the enhancement of the SO coupling for both, the sublattice symmetric (BC), and the ATOP (AC) stacking configurations. Our model effective Hamiltonian reproduces quite well the experimental spectrum for the two registries, and in addition, its shows that the hollow site configuration (BC), in which the A/B sites remain symmetric, yields the larger increase of the SO coupling. We also explore the Au-diluted case keeping the BC configuration and showed that it renders the preservation of the SO-gap with a similar SO interaction enhancement as the undiluted case but with a smaller graphene-gold distance. △ Less

Submitted 2 October, 2019; originally announced October 2019.

Comments: 13 pages, 8 figures

Journal ref: Phys. Rev. B 99, 085411 (2019)

Metric characterisation of unitaries in JB$^*$-algebras

Authors: María Cueto-Avellaneda, Antonio M. Peralta

Abstract: Let $M$ be a unital JB$^*$-algebra whose closed unit ball is denoted by $\mathcal{B}_M$. Let $\partial_e(\mathcal{B}_M)$ denote the set of all extreme points of $\mathcal{B}_M$. We prove that an element $u\in \partial_e(\mathcal{B}_M)$ is a unitary if and only if the set $$\mathcal{M}_{u} = \{e\in \partial_e(\mathcal{B}_M) : \|u\pm e\|\leq \sqrt{2} \}$$ contains an isolated point. This is a new ge… ▽ More Let $M$ be a unital JB$^*$-algebra whose closed unit ball is denoted by $\mathcal{B}_M$. Let $\partial_e(\mathcal{B}_M)$ denote the set of all extreme points of $\mathcal{B}_M$. We prove that an element $u\in \partial_e(\mathcal{B}_M)$ is a unitary if and only if the set $$\mathcal{M}_{u} = \{e\in \partial_e(\mathcal{B}_M) : \|u\pm e\|\leq \sqrt{2} \}$$ contains an isolated point. This is a new geometric characterisation of unitaries in $M$ in terms of the set of extreme points of $\mathcal{B}_M$. △ Less

Submitted 10 July, 2019; originally announced July 2019.