Commutator estimates in $W^*$-algebras

Let $\mathcal{M}$ be a $W^*$-algebra and let $LS(\mathcal{M})$ be the algebra of all locally measurable operators affiliated with $\mathcal{M}$. It is shown that for any self-adjoint element $a\in LS(\mathcal{M})$ there exists a self-adjoint element $c_{_{0}}$ from the center of $LS(\mathcal{M})$, such that for any $ε>0$ there exists a unitary element $u_ε$ from $\mathcal{M}$, satisfying $|[a,u_ε]| \geq (1-ε)|a-c_{_{0}}|$. A corollary of this result is that for any derivation $δ$ on $\mathcal{M}$ with the range in a (not necessarily norm-closed) ideal $I\subseteq\mathcal{M}$, the derivation $δ$ is inner, that is $δ(\cdot)=δ_a(\cdot)=[a,\cdot]$, and $a\in I$. Similar results are also obtained for inner derivations on $LS(\mathcal{M})$.

No reviews yet.

No comments yet.