Spatiality of derivations on the algebra of $\tau$-compact operators

TL;DR

This paper proves that all measure-topology continuous derivations on the algebra of $ au$-compact operators are spatial and can be implemented by $ au$-measurable operators, with automatic continuity in properly infinite cases.

Contribution

It establishes the spatiality of $t_ au$-continuous derivations and shows their automatic continuity for properly infinite von Neumann algebras.

Findings

All $t_ au$-continuous derivations are spatial.

Derivations are implemented by $ au$-measurable operators.

Automatic $t_ au$-continuity in properly infinite cases.

Abstract

This paper is devoted to derivations on the algebra $S_0(M, \tau)$ of all $\tau$-compact operators affiliated with a von Neumann algebra $M$ and a faithful normal semi-finite trace $\tau.$ The main result asserts that every $t_\tau$-continuous derivation $D:S_0(M, \tau)\rightarrow S_0(M, \tau)$ is spatial and implemented by a $\tau$-measurable operator affiliated with $M$, where $t_\tau$ denotes the measure topology on $S_0(M, \tau)$. We also show the automatic $t_\tau$-continuity of all derivations on $S_0(M, \tau)$ for properly infinite von Neumann algebras $M$. Thus in the properly infinite case the condition of $t_\tau$-continuity of the derivation is redundant for its spatiality.