Hyperfinite type II factor

Hyperfinite type II factor

In mathematics, there are up to isomorphism exactly two hyperfinite type II factors; one infinite and one finite. Murray and von Neumann proved that up to isomorphism there is a unique von Neumann algebra that is a factor of type II1 and also hyperfinite; it is called the hyperfinite type II1 factor.There are an uncountable number of other factors of type II1. Connes proved that the infinite one is also unique.

Constructions

*The von Neumann group algebra of a discrete group with the infinite conjugacy class property is a factor of type II1, and if the group is amenable and countable the factor is hyperfinite. There are many groups with these properties, as any locally finite group is amenable. For example, the von Neumann group algebra of the infinite symmetric group of all permutations of a countable infinite set that fix all but a finite number of elements gives the hyperfinite type II1 factor.
*The hyperfinite type II1 factor also arises from the group-measure space construction for ergodic free measure-preserving actions of countable amenable groups on probability spaces.
*The Von_Neumann_algebra#Tensor_products_of_von_Neumann_algebras
infinite tensor product
of a countable number of factors of type I"n" with respect to their tracial states is the hyperfinite type II1 factor. When "n"=2, this is also sometimes called the Clifford algebra of an infinite separable Hilbert space.
*If "p" is any non-zero finite projection in a hyperfinite von Neumann algebra "A" of type II, then "pAp" is the hyperfinite type II1 factor. Equivalently the fundamental group of "A" is the group of all positive real numbers. This can often be hard to see directly. It is, however, obvious when "A" is the infinite tensor product of factors of type In, where n runs over all integers greater than 1 infinitely many times: just take "p" equivalent to an infinite tensor product of projections "p""n" on which the tracial state is either 1 or 1- 1/n.

Properties

The hyperfinite II1 factor "R" is the unique smallest infinitedimensional factor in the following sense: it is contained in any other infinite dimensional factor, and any infinite dimensional factor contained in "R" is isomorphic to "R".

The outer automorphism group of "R" is an infinite simple group with countable many conjugacy classes, indexed by pairs consisting of a positive integer "p" and a complex "p"th root of 1.

The infinite hyperfinite type II factor

While there are other factors of type II, there is a unique hyperfinite one, up to isomorphism. It consists of those infinite square matrices with entries in the hyperfinite type II1 factor that define bounded operators.

ee also

*Subfactors

References

*A. Connes, [http://links.jstor.org/sici?sici=0003-486X%28197607%292%3A104%3A1%3C73%3ACOIFC%3E2.0.CO%3B2-V "Classification of Injective Factors"] The Annals of Mathematics 2nd Ser., Vol. 104, No. 1 (Jul., 1976), pp. 73-115
*F.J. Murray, J. von Neumann, [http://links.jstor.org/sici?sici=0003-486X%28194310%292%3A44%3A4%3C716%3AOROOI%3E2.0.CO%3B2-O "On rings of operators IV"] Ann. of Math. (2) , 44 (1943) pp. 716–808. This shows that all approximately finite factors of type II1 are isomorphic.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Type 2 — or Type II may refer to:* Type 2 20 mm AA Machine Cannon, a Japanese weapon * Type 2 AT mine * Type 2 cannon, a 30 mm Japanese weapon * Type 2 encryption * Type 2 Gumbel distribution * Type 2 Ho I, a Japanese tank * Type 2 Ka Mi, a Japanese tank* …   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

  • Approximately finite dimensional C*-algebra — In C* algebras, an approximately finite dimensional, or AF, C* algebra is one that is the inductive limit of a sequence of finite dimensional C* algebras. Approximate finite dimensionality was first defined and described combinatorially by… …   Wikipedia

  • Connes embedding problem — In von Neumann algebras, the Connes embedding problem or conjecture, due to Alain Connes, asks whether every type II1 factor on a separable Hilbert space can be embedded into the ultrapower of the hyperfinite type II1 factor by a free ultrafilter …   Wikipedia

  • John von Neumann — Von Neumann redirects here. For other uses, see Von Neumann (disambiguation). The native form of this personal name is Neumann János. This article uses the Western name order. John von Neumann …   Wikipedia

  • Non-commutative harmonic analysis — In mathematics, non commutative harmonic analysis is the field in which results from Fourier analysis are extended to topological groups which are not commutative. Since for locally compact abelian groups have a well understood theory, Pontryagin …   Wikipedia

  • Noncommutative harmonic analysis — In mathematics, noncommutative harmonic analysis is the field in which results from Fourier analysis are extended to topological groups which are not commutative. Since for locally compact abelian groups have a well understood theory, Pontryagin… …   Wikipedia

  • List of mathematics articles (H) — NOTOC H H cobordism H derivative H index H infinity methods in control theory H relation H space H theorem H tree Haag s theorem Haagerup property Haaland equation Haar measure Haar wavelet Haboush s theorem Hackenbush Hadamard code Hadamard… …   Wikipedia

  • Continuous geometry — In mathematics, continuous geometry is an analogue of complex projective geometry introduced by von Neumann (1936, 1998), where instead of the dimension of a subspace being in a discrete set 0, 1, ..., n, it can be an element of the unit… …   Wikipedia

  • Group algebra — This page discusses topological algebras associated to topological groups; for the purely algebraic case of discrete groups see group ring. In mathematics, the group algebra is any of various constructions to assign to a locally compact group an… …   Wikipedia

Share the article and excerpts

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