Definition
Modular automorphism group
The modular automorphism group is the canonical one-parameter automorphism group associated with a faithful normal semifinite weight.
Definition
Let be a von Neumann algebra and let be a normal semifinite [[operator-algebras/faithful-weight|faithful weight]]. The modular automorphism group of is the unique ultraweakly continuous one-parameter group
obtained from the modular operator in the weight's GNS construction or standard representation:
The Tomita–Takesaki theorem ensures that the right-hand side again belongs to . Thus the definition is independent, up to canonical equivalence, of the chosen realization.
Characterization by the KMS condition
The weight is invariant under its modular group. On the -analytic elements, the group is characterized by the boundary relation
whenever the terms are in the weight's finite domains. This is the Kubo–Martin–Schwinger condition at inverse temperature , 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 is a faithful normal semifinite trace, then for every . For a faithful normal state on with density matrix ,
so the modular group is inner and is trivial exactly when is scalar. In general, the outer class of modular flow carries essential information about type III von Neumann algebras.
Dependence on the weight
Different n.s.f. weights generally produce different automorphism groups. Connes's Radon–Nikodym cocycle relates them by a time-dependent inner perturbation, so their images in the outer automorphism group 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
- 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.