Remark: State-preserving expectations

For a von Neumann subalgebra and a faithful normal state $\phi$, the existence of a normal $\phi$-preserving conditional expectation is characterized by invariance of the subalgebra under the modular automorphism group of $\phi$. We use this only as a stated external criterion Takesaki. Neither a regional declaration nor gauge averaging automatically verifies it.