Local Derivations on Algebras of Measurable Operators

Abstract

The paper is devoted to local derivations on the algebra $S(\mathcal{M},τ)$ of $τ$-measurable operators affiliated with a von Neumann algebra $\mathcal{M}$ and a faithful normal semi-finite trace $τ.$ We prove that every local derivation on $S(\mathcal{M},τ)$ which is continuous in the measure topology, is in fact a derivation. In the particular case of type I von Neumann algebras they all are inner derivations. It is proved that for type I finite von Neumann algebras without an abelian direct summand, and also for von Neumann algebras with the atomic lattice of projections, the condition of continuity of the local derivation is redundant. Finally we give necessary and sufficient conditions on a commutative von Neumann algebra $\mathcal{M}$ for the existence of local derivations which are not derivations on algebras of measurable operators affiliated with $\mathcal{M}.$