Non-existence of translation-invariant derivations on algebras of measurable functions

Ber Aleksey,Huang Jinghao,Kudaybergenov Karimbergen,Sukochev Fedor
DOI: https://doi.org/10.2989/16073606.2022.2053225
2020-01-01
Quaestiones Mathematicae
Abstract: Let $S(0,1)$ be the $*$-algebra of all classes of Lebesgue measurable functions on the unit interval $(0,1)$ and let $(\mathcal{A},\left\|\cdot \right\|_\mathcal{A})$ be a complete symmetric $\Delta$-normed $*$-subalgebra of $S(0,1)$, in which simple functions are dense, e.g., $L_\infty (0,1)$, $L_{\log}(0,1)$, $S(0,1)$ and the Arens algebra $L^\omega (0,1)$ equipped with their natural $\Delta$-norms. We show that there exists no non-trivial derivation $ \delta: \mathcal{A} \to S(0,1)$ commuting with all dyadic translations of the unit interval. Let $\mathcal{M}$ be a type $II$ (or $I_\infty$) von Neumann algebra, $\mathcal{A}$ be its abelian von Neumann subalgebra, let $S(\mathcal{M})$ be the algebra of all measurable operators affiliated with $\mathcal{M}$. We show that any non-trivial derivation $\delta:\mathcal{A} \to S(\mathcal{A})$ can not be extended to a derivation on $S(\mathcal{M})$. In particular, we answer an untreated question in \cite{BKS1}.
What problem does this paper attempt to address?