We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.OA

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Operator Algebras

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

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}$ 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 $\xi\in \mathcal{M}^{**}$ satisfying $F(a b ) = F(a) b + a F(b) - a \xi 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}$.
There are examples showing that these three definitions are not, in general, equivalent. Despite that the first two notions are well studied when $\mathcal{A}$ is a C$^*$-algebra, it is not known if the three notions are equivalent under these special assumptions. In this note we prove that every generalized derivation of the third type whose domain is a C$^*$-algebra is automatically continuous. We also prove that every (continuous) generalized derivation of the third type from a C$^*$-algebra $\mathcal{A}$ into a general Banach $\mathcal{A}$-bimodule is a generalized derivation of the first and second type. In particular, the three notions coincide in this case. We also explore the possible notions of generalized Jordan derivations on a C$^*$-algebra and establish some continuity properties for them.
Subjects: Operator Algebras (math.OA)
Cite as: arXiv:2403.18773 [math.OA]
  (or arXiv:2403.18773v1 [math.OA] for this version)

Submission history

From: Antonio M. Peralta [view email]
[v1] Wed, 27 Mar 2024 17:22:07 GMT (21kb)

Link back to: arXiv, form interface, contact.