Tomita–Takesaki theory

Tomita–Takesaki theory

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.

The theory was first found by Minoru Tomita (1967) in about 1957–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.

Contents

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 is dense in H, and separating means that the map from M to is injective.) We write φ for the state φ(x)=(xΩ,Ω) of M, so that H is constructed from φ using the GNS construction. We can define an unbounded antilinear operator S0 on H with domain by setting

S0(mΩ)= m*Ω

for all m in M, and similarly we can define an unbounded antilinear operator F0 on H with domain M'Ω by setting

F0(mΩ)= m*Ω

for m in M′. These operators are closable, and we denote their closures by S and F = S*. They have polar decompositions

S = J|S| = JΔ1/2 = Δ−1/2J
F = J|F| = JΔ−1/2 = Δ1/2J

where J = J−1 = J* is an antilinear isometry called the modular conjugation and Δ = S*S= FS is a positive self adjoint operator called the modular operator.

The main result of Tomita–Takesaki theory states that:

JMJ = M′, the commutant of M.
There is a 1-parameter family of modular automorphisms σφt of M associated to the state φ, defined by
σφt(x) = ΔitxΔit

The 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

σψt(x) = utσφt(x)ut−1

so that the modular automorphisms differ by inner automorphisms, and moreover ut satisfies the 1-cocycle condition

us+t = usσφs(ut)

In particular, there is a canonical homomorphism from the additive group of reals to the outer automorphism group of M, that is independent of the choice of faithful state.

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

F(t) = φ(Aαt(B))
F(t+i) = φ(αt(B)A),

Tasaki 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:

  • The whole real line. In this case δ is trivial and the factor is type I or II.
  • A proper dense subgroup of the real line. Then the factor is called a factor of type III0.
  • A discrete subgroup generated by some x > 0. Then the factor is called a factor of type IIIλ with 0 < λ = exp(−2π/x) < 1, or sometimes a Powers factor.
  • The trivial group 0. Then the factor is called a factor of type III1. (This is in some sense the generic case.)

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 xx and an inner product (,) such that

  1. Left multiplication by a fixed aA is a bounded operator.
  2. ♯ is the adjoint; in other words (xy,z) = (y, xz).
  3. The involution is preclosed
  4. 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)*.

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Tomita — (富田 or 冨田, meaning wealthy rice field ) is a Japanese family name. It can refer to several people, including: *Hiroyuki Tomita, Japanese gymnast *Isao Tomita, Japanese electronic music composer *Kishti Tomita, Swedish voice coach and TV… …   Wikipedia

  • Commutation theorem — In mathematics, a commutation theorem explicitly identifies the commutant of a specific von Neumann algebra acting on a Hilbert space in the presence of a trace. The first such result was proved by F.J. Murray and John von Neumann in the 1930s… …   Wikipedia

  • Von Neumann algebra — In mathematics, a von Neumann algebra or W* algebra is a * algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. They were originally introduced by John von Neumann,… …   Wikipedia

  • Crossed product — In mathematics, and more specifically in the theory of von Neumann algebras, a crossed product is a basic method of constructing a new von Neumann algebra from a von Neumann algebra acted on by a group. It is related to the semidirect product… …   Wikipedia

  • Affiliated operator — In mathematics, affiliated operators were introduced by Murray and von Neumann in the theory of von Neumann algebras as a technique for using unbounded operators to study modules generated by a single vector. Later Atiyah and Singer showed that… …   Wikipedia

  • List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie …   Wikipedia

  • Detlev Buchholz — is a theoretical physicist at Göttingen University. He investigates quantum field theory, especially algebraic quantum field theory. His contributions include the concept of infraparticles. Using the methods of Tomita–Takesaki theory he obtained… …   Wikipedia

  • KMS state — The statistical mechanics of quantum field theory (see thermal quantum field theory) at the inverse temperature beta; and chemical potential mu; can be characterized by a condition called the KMS condition.PreliminariesThe simplest case to study… …   Wikipedia

  • Hilbert algebra — In mathematics, Hilbert algebras occur in the theory of von Neumann algebras in:* Commutation theorem * Tomita–Takesaki theory …   Wikipedia

  • Kubo Ryogo — Ryōgo Kubo (jap. 久保 亮五, Kubo Ryōgo; * 15. Februar 1920 in der Präfektur Tokio; † 31. März 1995 in Japan) war ein japanischer theoretischer Physiker, der sich mit statistischer Mechanik und Festkörperphysik beschäftigte. Inhaltsverzeichnis 1 Leben …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”