Structure of derivations on various algebras of measurable operators for type I von Neumann algebras (Q1019688)

The authors continue their investigations from [J.~Funct.\ Anal.\ 253, No.\,1, 287--302 (2007; Zbl 1138.46040) and Positivity 12, No.\,2, 375--386 (2008; Zbl 1155.46038)] about derivations on algebras of unbounded operators affiliated to von Neumann algebras. Given a von Neumann algebra \(M\) there is the algebra \(S(M)\) of measurable operators, the algebra \(LS(M)\) of locally measurable operators and, if there is a faithful normal semi-finite trace \(\tau\) on \(M\), the algebra \(S(M,\tau)\) of \(\tau\)-measurable operators. In this paper, the case of type \(I\) is worked out in detail. Equipped with some structural results about these algebras, it is shown that a derivation on \(LS(M)\) is inner if and only if it is \(Z\)-linear, where \(Z\) is the center of \(M\). For every derivation on \(LS(M)\), there is a decomposition into an inner derivation and another one generated by a derivation on the center of \(LS(M)\). For type \(I_\infty\), every derivation on \(LS(M)\) is inner. About subalgebras of \(LS(M)\) containing \(M\), it is shown that any \(Z\)-linear derivation is implemented by an element of \(LS(M)\). This applies to \(S(M)\) and \(S(M,\tau)\). With some additional work, it follows that, similar as above, for every derivation on \(S(M)\) (resp., \(S(M,\tau)\)) there is a decomposition into an inner derivation and another one generated by a derivation on the center of \(S(M)\) (resp., \(S(M,\tau)\)), and in the case of type \(I_\infty\), every derivation on \(S(M)\) (resp., \(S(M,\tau)\)) is inner. The consequences for the first Hochschild cohomology groups (i.e., quotient spaces of derivations by inner derivations) are summarized.