Type classification (Von Neumann algebra)

from Wikipedia, the free encyclopedia

The type classification presented here divides the Von Neumann algebras examined in mathematics into classes, which are called types. This classification , which goes back to Francis J. Murray and John von Neumann , is based on an analysis of the structure of the orthogonal projections contained in a Von Neumann algebra . While any Von Neumann algebras can have components of different types, a factor is always of exactly one type. Therefore, these concept formations play an important role in examining the factors.

motivation

The basic idea is to compare projections of a Von Neumann algebra on a Hilbert space according to size. If such a projection (projection is always meant here as an orthogonal projection), then the projected space belongs to it and, conversely, there is exactly one projection onto this subspace for every closed subspace. It therefore makes sense to use the quantities to compare sizes. Applies to two projections and , one will want to call it the larger one. As with general sets, it may happen that two projections are not directly comparable with one another in this way, as there is no inclusion relationship between the projected spaces. In the case of two sets, comparability can be established by mapping one of the sets bijectively onto a subset of the other. If one pursues this analogy between sets and projections further, and this view proves to be very fruitful, one easily comes to the following concept formation:

Definition: Two projections are called equivalent , in signs if there is one with and , then such is a partial isometry . They say be weaker than , in signs , if there is a projection with and .

Equivalence and comparability depend on the Von Neumann algebra , because it is required that the partial isometry of the above definition is also in . In a commutative Von Neumann algebra , equivalent projections are the same (because from and follows because of commutativity ), in the larger Von Neumann algebra this is not the case.

One can show that is an equivalence relation and induces a partial order on the set of equivalence classes. In particular , if and what is the more difficult part of the proof.

Projections in Von Neumann Algebras

Projections in a Von Neumann algebra can have a number of properties:

  • A projection is called central if it is in the center of . Here the commutant of .
  • A variety of projection 0 is minimal if for each projection with either or true.
  • A projection is called finite if for every projection with and already follows. Note the analogy to set theory: A set is finite if and only if it is not of equal power to a real subset . Minimal projections are finite and, in analogy to set theory, these correspond to the one-element sets.
  • Non-finite projections are called infinite . A projection is really infinite if for every central projection either or is infinite.
  • A projection is pure infinity if for any finite projection with already follows. Purely infinite projections are really infinite.
  • A projection is Abelian if an Abelian von Neumann algebra is. To note that with usually the algebra of all operators , is referred to, what is always one again Von Neumann algebra. Abelian projections are finite.
  • At any projection there is a smallest central projection with , that is for any other central projection with true . This projection is called the central support of and is denoted by.

Accordingly, a Von Neumann algebra is called finite , infinite , genuinely infinite , or purely infinite , if these properties apply to the one element . The same relation obviously holds for the property abelian : A Von Neumann algebra is abelian (that is, commutative) if and only if is an abelian projection.

Comparability rate

Any two projections need not be comparable. However, the Von Neumann algebra can be broken down into a direct sum of three Von Neumann algebras, so that there is comparability in every summand. The following sentence applies:

Theorem of comparability : Let projections in Von Neumann algebra be . Then there are clearly certain, pairwise orthogonal, central projections with , so that the following applies:

  • .
  • If a central projection is included , then applies .
  • If a central projection is included , then applies .

The abbreviation stands for " , and " and two projections are called orthogonal (to each other) if their product is 0.

Type I, Type II, Type III

  • A Von Neumann algebra is the type I (read: type one) when an Abelian projection with there.
  • is called more precisely of type I n , where if is of type I and is the sum of pairwise equivalent Abelian projections.
  • A Von Neumann algebra is called of type II if it does not have any Abelian projections other than 0, but has a finite projection with .
  • A Von Neumann algebra of type II is called of type II 1 if is a finite projection.
  • A Von Neumann algebra of type II is called of type II if there is a truly infinite projection.
  • A Von Neumann algebra is called type III if it does not have any finite projections other than 0.

The conditions for the above type classification are laid out in such a way that a Von Neumann algebra can at most be of one type, but there are Von Neumann algebras that are of no type in the above sense. The following theorem shows that any Von Neumann algebra can be uniquely decomposed into a direct sum, so that all summands have a type:

Theorem of the type decomposition: Let be a Von Neumann algebra. Then there are unique, mutually orthogonal central projections , , and , such that with Total 1:

  • is of type I n or 0.
  • is of type II 1 or 0.
  • is of type II or 0.
  • is of type III or 0.

It is a direct sum of Von Neumann algebras.

Many of these projections can of course be 0, in which case they have no corresponding type component. is a Von Neumann algebra of type I . Type I Von Neumann algebras are sometimes called discrete because they are a direct sum ; the summation index runs through a discrete set. Examples of Von Neumann algebras of type II or III are more complex, they can be obtained, among other things, by suitable group constructions or as factors that are generated by representations of UHF algebras , especially the CAR algebra . In the article on W * -dynamic systems , a weight-theoretical construction of Type II and Type III Von Neumann algebras is presented.

Von Neumann algebras of type II are also called continuous . Therefore, the terms and were chosen in the above sentence (c stands for continuous). Some authors also consider type III algebras to be continuous. Type III algebras are purely infinite.

A Von Neumann algebra without a type III component (that is, in the above sentence) is called semiendlich .

The article Tensor Product for Von Neumann Algebras explains how the type classification presented here behaves in the formation of tensor products.

Factors, dimension function

Since a factor does not contain any other central projections apart from 0 and 1, a factor always has exactly one well-defined type. Type III factors can be further classified; For each one can define factors according to the Connes classification type III λ , which goes back to Alain Connes , which will not be discussed further here. There are factors for each type, even on separable Hilbert spaces.

It immediately follows from the comparability principle that in one factor two projections are comparable. The minimal projections coincide with the Abelian projections. If one only considers factors on separable Hilbert spaces and the set of projections is in , then one can describe the types via the order structure of . The following sentence applies:

Theorem (dimension function): If a factor is on a separable Hilbert space, there is a function with the following properties:

  • for true
  • for true
  • The following applies to two mutually orthogonal projections .
  • For is: finite .

The function is uniquely determined except for a constant factor and is called the dimension function . Except for a scaling factor, the image is one of the following quantities:

  • for a ; is then of type I n .
  • ; is then of type I .
  • ; is then of type II 1 .
  • ; is then of type II .
  • ; is then of type III .

For the type I factor one obtains with the specified scaling for all . That explains the name dimension function .

Note that an orderly bijection induces. The type of a factor is therefore determined according to the above sentence by the order structure of .

swell