It is proved that Riesz elements in the intersection of the kernel and the closure of the image of a family of derivations on a Banach algebra are quasinilpotent. Some related results are obtained.

2000 Mathematics Subject Classification: Primary 47B47, 47B10; Secondary 47A30.Let H be a separable infinite dimensional complex Hilbert space and let L(H) denote the algebra of all bounded linear operators on H into itself. Given A ∈ L(H), the derivation δA : L(H)→ L(H) is defined by δA(X) = AX-XA. In this paper we prove that if A is an n-multicyclic hyponormal operator and T is hyponormal such that AT = TA, then || δA(X)+T|| ≥ ||T|| for all X ∈ L(H). We establish the same inequality if A is...

In this paper, we examine some questions concerned with certain ``skew'' properties of the range of a Jordan *-derivation. In the first part we deal with the question, for example, when the range of a Jordan *-derivation is a complex subspace. The second part of this note treats a problem in relation to the range of a generalized Jordan *-derivation.

In this note, by means of the spectrum of the generating operator, we characterize the self-adjointness and closedness of the range of a normal and a self-adjoint Jordan *-derivation, respectively.

Let $L\left(H\right)$ denote the algebra of operators on a complex infinite dimensional Hilbert space $H$. For $A,B\in L\left(H\right)$, the generalized derivation ${\delta }_{A,B}$ and the elementary operator ${\Delta }_{A,B}$ are defined by ${\delta }_{A,B}\left(X\right)=AX-XB$ and ${\Delta }_{A,B}\left(X\right)=AXB-X$ for all $X\in L\left(H\right)$. In this paper, we exhibit pairs $(A,B)$ of operators such that the range-kernel orthogonality of ${\delta }_{A,B}$ holds for the usual operator norm. We generalize some recent results. We also establish some theorems on the orthogonality of the range and the kernel of ${\Delta }_{A,B}$ with respect to the wider class of unitarily invariant norms on...

Let A and B be bounded operators on a Banach lattice E such that the commutator C = AB - BA and the product BA are positive operators. If the product AB is a power-compact operator, then C is a quasi-nilpotent operator having a triangularizing chain of closed ideals of E. This answers an open question posed by Bračič et al. [Positivity 14 (2010)], where the study of positive commutators of positive operators was initiated.

Let X, Y be Banach spaces and let (X,Y) be the space of bounded linear operators from X to Y. We develop the theory of double operator integrals on (X,Y) and apply this theory to obtain commutator estimates of the form $\left|\right|f\left(B\right)S-{Sf\left(A\right)\left|\right|}_{(X,Y)}\le const\left|\right|BS-{SA\left|\right|}_{(X,Y)}$ for a large class of functions f, where A ∈ (X), B ∈ (Y) are scalar type operators and S ∈ (X,Y). In particular, we establish this estimate for f(t): = |t| and for diagonalizable operators on $X={\ell }_p$ and $Y={\ell }_q$ for p < q. We also study the estimate above in the setting of Banach ideals...

We review the basic facts about the theory of paracommutators in Rn (sec S. Janson, J. Peetre, Trans. Am. Math. Soc. 305 (1988), 467504). We also give an interpretation of paracommutators from the point of view of group representations. This suggests a generalization to more general groups. Here we sketch a theory of paracommutators over stratified groups. This include the famous Heisenberg group. Finally, we take up the question of generalizing the notion of Schatten-von Neumann trace ideals to...

Let A be a semisimple Banach algebra with a linear automorphism σ and let δ: I → A be a σ-derivation, where I is an ideal of A. Then Φ(δ)(I ∩ σ(I)) = 0, where Φ(δ) is the separating space of δ. As a consequence, if I is an essential ideal then the σ-derivation δ is closable. In a prime C*-algebra, we show that every σ-derivation defined on a nonzero ideal is continuous. Finally, any linear map on a prime semisimple Banach algebra with nontrivial idempotents is continuous if it satisfies the σ-derivation...

Let T and V be two Hilbert space contractions and let X be a linear bounded operator. It was proved by C. Foiaş and J. P. Williams that in certain cases the operator block matrix R(X;T,V) (equation (1.1) below) is similar to a contraction if and only if the commutator equation X = TZ-ZV has a bounded solution Z. We characterize here the similarity to contractions of some operator matrices R(X;T,V) in terms of growth conditions or of perturbations of R(0;T,V) = T ⊕ V.

We consider a continuous derivation D on a Banach algebra 𝓐 such that p(D) is a compact operator for some polynomial p. It is shown that either 𝓐 has a nonzero finite-dimensional ideal not contained in the radical rad(𝓐) of 𝓐 or there exists another polynomial p̃ such that p̃(D) maps 𝓐 into rad(𝓐). A special case where Dⁿ is compact is discussed in greater detail.

Soient $A$ une $C^{*}$-algèbre approximativement finie simple avec unité, $G{L}_1\left(A\right)$ le groupe des inversibles et $U_1\left(A\right)$ le groupe des unitaires de $A$. Nous avons défini dans un précédent travail un homomorphisme ${\Delta }_T$, appelé déterminant universel de $A$, de $G{L}_1\left(A\right)$ sur un groupe abélien associé à $A$. Nous montrons ici que, pour qu’un élément $x$ dans $G{L}_1\left(A\right)$ ou dans $U_1\left(A\right)$ soit produit d’un nombre fini de commutateurs, il (faut et il) suffit que $x\in \mathrm{Ker}\left({\Delta }_T\right).$ Ceci permet en particulier d’identifier le noyau de la projection canonique $K_1\left(A\right)\to K_1^{\mathrm{top}}\left(A\right).$ On établit aussi...

For all convolution algebras L 1[0, 1); L loc1 and A(ω) = ∩n L 1(ωn), the derivations are of the form D μ f = Xf * μ for suitable measures μ, where (Xf)(t) = tf(t). We describe the (weakly) compact as well as the (weakly) Montel derivations on these algebras in terms of properties of the measure μ. Moreover, for all these algebras we show that the extension of D μ to a natural dual space is weak-star continuous.

The problem of representability of quadratic functionals by sesquilinear forms is studied in this article in the setting of a module over an algebra that belongs to a certain class of complex Banach *-algebras with an approximate identity. That class includes C*-algebras as well as H*-algebras and their trace classes. Each quadratic functional acting on such a module can be represented by a unique sesquilinear form. That form generally takes values in a larger algebra than the given quadratic functional...