Spatiality of derivations on the algebra of \(\tau \)-compact operators (Q2442619)

Let \(S_0(M,\tau)\) be the algebra of all \(\tau\)-compact operators affiliated with a von Neumann algebra \(M\) and a faithful normal semi-finite trace \(\tau\) and let \(t_{\tau}\) denote the measure topology on \(S_0(M,\tau)\). The authors prove that every \(t_{\tau}\)-continuous derivation on \(S_0(M,\tau)\) is spatial and implemented by a \(\tau\)-measurable operator affiliated with \(M\). Moreover, the authors show the automatic \(t_{\tau}\)-continuity of all derivations on \(S_0(M,\tau)\) for properly infinite von Neumann algebras \(M\). So, in the properly infinite case, the condition of \(t_{\tau}\)-continuity of the derivation is redundant for its spatiality.