Searcharxiv⌕ Search

arXiv subjects

Antonio M. Peralta

Publications and source records attributed to Antonio M. Peralta.

At least 109 records · Page 6Linked to original sources
arXiv2014

Weak-local derivations and homomorphisms on C*-algebras

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

math.OA↗
arXiv2014

Jordan weak amenability and orthogonal forms on JB*-algebras

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

math.OA↗
arXiv2014

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

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

math.OA↗
arXiv2014

2-local triple derivations on von Neumann algebras

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

math.OA↗
arXiv2014

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

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

math.OA↗
arXiv2014

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

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

math.OA↗
arXiv2014

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

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

math.OA↗
arXiv2014

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

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

math.OA↗
arXiv2013

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

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

math.OA↗
arXiv2013

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

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

math.OA↗
arXiv2013

Orthogonal forms and orthogonality preservers on real function algebras

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

math.OA↗
arXiv2013

von Neumann algebra preduals satisfy the linear biholomorphic property

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

math.OA↗
arXiv2013

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

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

math.OA↗
arXiv2013

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

In a first result we prove that every continuous local triple derivation on a JB$^*$-triple is a triple derivation. We also give an automatic continuity result, that is, we show that local triple derivations on a JB$^*$-triple are continuous even if not assumed a priori to be so. In particular every local triple derivation on a C$^*$-algebra is a triple derivation. We also explore the connections between (bounded local) triple derivations and generalised (Jordan) derivations on a C$^*$-algebra.

math.FA↗
arXiv2013

Positive definite hermitian mappings associated to tripotent elements

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

math.FA↗
arXiv2012

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

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

math.OA↗
arXiv2012

Local triple derivations on C*-algebras

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

math.OA↗