In the theory of von Neumann algebras, a part of the mathematical field of functional analysis, Tomita–Takesaki theory is a method for constructing modular automorphisms of von Neumann algebras from the polar decomposition of a certain involution. It is essential for the theory of type III factors, and has led to a good structure theory for these previously intractable objects.
Contents
- Modular automorphisms of a state
- The Connes cocycle
- KMS states
- Structure of type III factors
- Hilbert algebras
- References
The theory was introduced by Minoru Tomita (1967), but his work was hard to follow and mostly unpublished, and little notice was taken of it until Masamichi Takesaki (1970) wrote an account of Tomita's theory.
Modular automorphisms of a state
Suppose that M is a von Neumann algebra acting on a Hilbert space H, and Ω is a separating and cyclic vector of H of norm 1. (Cyclic means that MΩ is dense in H, and separating means that the map from M to MΩ is injective.) We write φ for the state
where
The main result of Tomita–Takesaki theory states that:
for all t and that
the commutant of M.
There is a 1-parameter family of modular automorphisms σφt of M associated to the state φ, defined byThe Connes cocycle
The modular automorphism group of a von Neumann algebra M depends on the choice of state φ. Connes discovered that changing the state does not change the image of the modular automorphism in the outer automorphism group of M. More precisely, given two faithful states φ and ψ of M, we can find unitary elements ut of M for all real t such that
KMS states
The term KMS state comes from the Kubo–Martin–Schwinger condition in quantum statistical mechanics.
A KMS state φ on a von Neumann algebra M with a given 1-parameter group of automorphisms αt is a state fixed by the automorphisms such that for every pair of elements A, B of M there is a bounded continuous function F in the strip 0≤Im(t)≤1, holomorphic in the interior, such that
Takesaki and Winnink showed that a (faithful semi finite normal) state φ is a KMS state for the 1-parameter group of modular automorphisms σφ−t. Moreover this characterizes the modular automorphisms of φ.
(There is often an extra parameter, denoted by β, used in the theory of KMS states. In the description above this has been normalized to be 1 by rescaling the 1-parameter family of automorphisms.)
Structure of type III factors
We have seen above that there is a canonical homomorphism δ from the group of reals to the outer automorphism group of a von Neumann algebra, given by modular automorphisms. The kernel of δ is an important invariant of the algebra. For simplicity assume that the von Neumann algebra is a factor. Then the possibilities for the kernel of δ are:
Hilbert algebras
The main results of Tomita–Takesaki theory were proved using left and right Hilbert algebras.
A left Hilbert algebra is an algebra with involution x→x♯ and an inner product (,) such that
- Left multiplication by a fixed a ∈ A is a bounded operator.
- ♯ is the adjoint; in other words (xy,z) = (y, x♯z).
- The involution ♯ is preclosed
- The subalgebra spanned by all products xy is dense in A.
A right Hilbert algebra is defined similarly (with an involution ♭) with left and right reversed in the conditions above.
A Hilbert algebra is a left Hilbert algebra such that in addition ♯ is an isometry, in other words (x,y) = (y♯, x♯).
Examples: If M is a von Neumann algebra acting on a Hilbert space H with a cyclic separating vector v, then put A = Mv and define (xv)(yv) = xyv and (xv)♯ = x*v. Tomita's key discovery was that this makes A into a left Hilbert algebra, so in particular the closure of the operator ♯ has a polar decomposition as above. The vector v is the identity of A, so A is a unital left Hilbert algebra.
If G is a locally compact group, then the vector space of all continuous complex functions on G with compact support is a right Hilbert algebra if multiplication is given by convolution, and x♭(g) = x(g−1)*.