On the Range Inclusion for Normal Derivations on C*-algebras

Abstract

For a von Neumann subalgebra $A \, \subseteq \, {\cal B}({\cal H})$ and any two elements a, b ∈ A with a normal, such that the corresponding derivations da and db satisfy the condition ‖db(x)‖ ≤ ‖da(x)‖ for all x ∈ A, there exist completely bounded (a)ʹ-bimodule map $\varphi : {\cal B}({\cal H}) \rightarrow {\cal B}({\cal H})$ such that db|A = φ da|A=daφ|A. (In particular db(A) ⊆ da(A).) Moreover, if A is a factor, then φ can be taken to be normal and these equalities hold on ${\cal B}({\cal H})$ instead of just on A. This result is not true for general (even primitive) C*-algebras ${\cal A}$.