On one-parameter Koopman groups
We characterize Koopman one-parameter $C_0$-groups in the class of all unitary one-parameter $C_0$-groups on $L_2(X)$ as those that preserve $L_\infty(X)$ and for which the infinitesimal generator is a derivation on the bounded functions in its domain.