Tomita–Takesaki theorem - Imported Knowlpedia Content

Statement

Let $M\subseteq B(H)$ be a von Neumann algebra with cyclic separating vector $\Omega$ . Write $S=J\Delta^{1/2}$ for the polar decomposition of its Tomita operator. The Tomita–Takesaki theorem asserts

JMJ=M' \qquad\text{and}\qquad \Delta^{it}M\Delta^{-it}=M\quad(t\in\mathbb R).

Here $J$ is the modular conjugation, $\Delta$ the modular operator, and $M'$ the commutant. Consequently $\sigma_t^\Omega(x)=\Delta^{it}x\Delta^{-it}$ is a strongly continuous one-parameter group of $*$ -automorphisms of $M$ . These conclusions are intrinsic to the standard pair $(M,\Omega)$ : $J$ exchanges the algebra with its commutant, while the modular unitaries normalize $M$ . In particular, the displayed automorphisms are defined for every real $t$ , not merely on an analytic subalgebra.

Hypotheses and setting

Cyclicity makes $M\Omega$ dense, while separatingness makes $S_0(x\Omega)=x^*\Omega$ well-defined and ensures that $M'\Omega$ is dense. These are exactly the vector hypotheses used to construct the two closed antilinear operators whose polar factors appear in the theorem. General von Neumann algebras are treated by faithful normal semifinite weights, standard forms, or reduction to supports rather than by assuming that a cyclic separating vector exists in an arbitrary representation.

Proof architecture

The proof first compares the closures of $S_0(x\Omega)=x^*\Omega$ and $F_0(x'\Omega)=x'^*\Omega$ . Analytic continuation of matrix coefficients, together with the polar decomposition, gives the inclusions $JMJ\subseteq M'$ and $\Delta^{it}M\Delta^{-it}\subseteq M$ . Applying the same argument to the commutant and to $-t$ upgrades both inclusions to equalities. The full argument is given in Takesaki, Chapter VI, §1.

Consequences

The unitary group $\Delta^{it}$ supplies canonical modular dynamics for the faithful normal vector state. The conjugation $J$ gives an intrinsic anti-isomorphism between $M$ and its commutant in standard position. The weight form of the theorem yields the modular automorphism group of every normal semifinite [[operator-algebras/faithful-weight|faithful weight]], a central tool in the structure theory of type III algebras.

Conventions and scope

References

Masamichi Takesaki, Theory of Operator Algebras I, Springer, 1979. DOI record. Relevant: Chapter VI, §1, the fundamental theorem of modular theory.