Related papers: A Le Page--Kaplansky theorem characterizing commut…

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…

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…

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$…

Let A,B be two square complex matrices of dimension at most 3. We show that the following conditions are equivalent i) There exists a finite subset U included in {2,3,4,...} such that for every positive integer t that is not in U,…

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$…

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…

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…

Motivated by advances in categorical probability, we introduce non-commutative almost everywhere (a.e.) equivalence and disintegrations in the setting of C*-algebras. We show that C*-algebras (resp. W*-algebras) and a.e. equivalence classes…

We characterise the isomorphisms of Tits--Kantor--Koecher Lie algebras of JB*-triples as a class of surjective linear isometries and show how these algebras form a category equivalent to that of JB*-triples. We introduce the concepts of…

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…

Let $a$ and $b$ be elements in the closed ball of a unital C$^*$-algebra $A$ (if $A$ is not unital we consider its natural unitization). We shall say that $a$ and $b$ are domain (respectively, range) absolutely compatible ($a\triangle_d b$,…

We show that every Hilbert C*-module E is a JB*-triple in a canonical way and establish an explicit expression for the holomorphic automorphisms of the unit ball of E.

We prove that the C*-algebra of a directed graph $E$ is liminal iff the graph satisfies the finiteness condition: if $p$ is an infinite path or a path ending with a sink or an infinite emitter, and if $v$ is any vertex, then there are only…

We consider polynomial maps, which we call degree $d$-linear maps, that satisfy the Jacobian condition. We prove that certain infinite families of elements, which appear in the coefficients of the formal inverse of such maps, are in the…

It is shown that every commutative arithmetic ring $R$ has $lambda$-dimension $ leq 3$. An example of a commutative Kaplansky ring with $ lambda$-dimension 3 is given. If $R$ satisfies an additional condition then $ lambda$-dim($R$)

Motivated by a question of L. Robert, asking whether $\rm L(T(A)) = Lsc_{C}(T(A))$ for any separable C*-algebra A, we introduce and initiate the study of \emph{tracially reflexive C*-algebras}. We first prove that commutative C*-algebras…

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(\lambda t ) = \lambda a(t), \ \forall \lambda\in…

This paper deals with the variety of commutative nonassociative algebras satisfying the identity $L_x^3+ \gamma L_{x^3} = 0$, $\gamma \in K$. Correa et al proved that if $\gamma = 0,1$ then any such finitely generated algebra is nilpotent.…

Let A and B be matrices of M_n(C). We show that if exp(A)^k exp(B)^l=exp(kA+lB) for all integers k and l, then AB=BA. We also show that if exp(A)^k exp(B)=exp(B)exp(A)^k=exp(kA+B)$ for every positive integer k, then the pair (A,B) has…

The aim of this note is to study \v{C}eby\v{s}\"ev JB$^*$-subtriples of general JB$^*$-triples. It is established that if $F$ is a non-zero \v{C}eby\v{s}\"ev JB$^*$-subtriple of a JB$^*$-triple $E$, then exactly one of the following…