Definition

Let MM be a and let φ\varphi be a ]]. The modular automorphism group of φ\varphi is the unique ultraweakly continuous one-parameter group

σφ:RAut(M)\sigma^\varphi:\mathbb R\longrightarrow\operatorname{Aut}(M)

obtained from the in the weight's or :

πφ(σtφ(x))=Δφitπφ(x)Δφit.\pi_\varphi(\sigma_t^\varphi(x)) =\Delta_\varphi^{it}\pi_\varphi(x)\Delta_\varphi^{-it}.

The ensures that the right-hand side again belongs to πφ(M)\pi_\varphi(M). Thus the definition is independent, up to canonical equivalence, of the chosen realization.

Characterization by the KMS condition

The weight φ\varphi is invariant under its modular group. On the σφ\sigma^\varphi-analytic elements, the group is characterized by the boundary relation

φ(xy)=φ ⁣(yσiφ(x))\varphi(xy)=\varphi\!\left(y\,\sigma_{-i}^\varphi(x)\right)

whenever the terms are in the weight's finite domains. This is the Kubo–Martin–Schwinger condition at inverse temperature 11, and it characterizes the modular dynamics under the standard continuity and faithfulness hypotheses Takesaki, vol. II, Chapter VIII, §1.

Traces and inner modular flows

If φ\varphi is a , then σtφ=idM\sigma_t^\varphi=\operatorname{id}_M for every tt. For a faithful on Mn(C)M_n(\mathbb C) with density matrix ρ\rho,

σtφ(x)=ρitxρit,\sigma_t^\varphi(x)=\rho^{it}x\rho^{-it},

so the modular group is inner and is trivial exactly when ρ\rho is scalar. In general, the outer class of modular flow carries essential information about .

Dependence on the weight

Different generally produce different . Connes's Radon–Nikodym cocycle relates them by a time-dependent inner perturbation, so their images in the agree in the appropriate sense. This weight-independent outer flow underlies the flow of weights and type III classification Takesaki, vol. II, Chapter VIII.

Conventions and scope
References
  1. Masamichi Takesaki, Theory of Operator Algebras II, Springer, 2003. DOI record. Relevant: Chapter VIII, §1 on modular automorphism groups and the Radon–Nikodym theorem for weights.