Crossed product

﻿
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 construction for groups. (Roughly speaking, crossed product is the expected structure for a group ring of a semidirect product group. Therefore crossed products have a ring theory aspect also. This article concentrates on an important case, where they appear in functional analysis.)

Motivation

Recall that if we have two finite groups G and N with an action of G on N we can form the semidirect product $N \rtimes G$. This contains N as a normal subgroup, and the action of G on N is given by conjugation in the semidirect product. We can replace N by its complex group algebra C[N], and again form a product $C[N] \rtimes G$ in a similar way; this algebra is a sum of subspaces gC[N] as g runs through the elements of G, and is the group algebra of $N \rtimes G$. We can generalize this construction further by replacing C[N] by any algebra A acted on by G to get a crossed product $A \rtimes G$, which is the sum of subspaces gA and where the action of G on A is given by conjugation in the crossed product.

The crossed product of a von Neumann algebra by a group G acting on it is similar except that we have to be more careful about topologies, and need to construct a Hilbert space acted on by the crossed product. (Note that the von Neumann algebra crossed product is usually larger than the algebraic crossed product discussed above; in fact it is some sort of completion of the algebraic crossed product.)

Construction

Suppose that A is a von Neumann algebra of operators acting on a Hilbert space H and G is a discrete group acting on A. We let K be the Hilbert space of all square summable H-valued functions on G. There is an action of A on K given by

• a(k)(g) = g-1(a)k(g)

for k in K, g, h in G, and a in A, and there is an action of G on K given by

• g(k)(h) = k(g-1h).

The crossed product $A \rtimes G$ is the von Neumann algebra acting on K generated by the actions of A and G on K. It does not depend (up to isomorphism) on the choice of the Hilbert space H.

This construction can be extended to work for any locally compact group G acting on any von Neumann algebra A. When A is an abelian von Neumann algebra, this is the original group-measure space construction of Murray and von Neumann.

Properties

We let G be an infinite countable discrete group acting on the abelian von Neumann algebra A. The action is called free if A has no non-zero projections p such that some nontrivial g fixes all elements of pAp. The action is called ergodic if the only invariant projections are 0 and 1. Usually A can be identified as the abelian von Neumann algebra $L^\infty(X)$ of essentially bounded functions on a measure space X acted on by G, and then the action of G on X is ergodic (for any measurable invariant subset, either the subset or its complement has measure 0) if and only if the action of G on A is ergodic.

If the action of G on A is free and ergodic then the crossed product $A \rtimes G$ is a factor. Moreover:

• The factor is of type I if A has a minimal projection such that 1 is the sum of the G conjugates of this projection. This corresponds to the action of G on X being transitive. Example: X is the integers, and G is the group of integers acting by translations.
• The factor has type II1 if A has a faithful finite normal G-invariant trace. This corresponds to X having a finite G invariant measure, absolutely continuous with respect to the measure on X. Example: X is the unit circle in the complex plane, and G is the group of all roots of unity.
• The factor has type II if it is not of types I or II1 and has a faithful semifinite normal G-invariant trace. This corresponds to X having an infinite G invariant measure without atoms, absolutely continuous with respect to the measure on X. Example: X is the real line, and G is the group of rationals acting by translations.
• The factor has type III if A has no faithful semifinite normal G-invariant trace. This corresponds to X having no non-zero absolutely continuous G-invariant measure. Example: X is the real line, and G is the group of all transformations ax+b for a and b rational, a non-zero.

In particular one can construct examples of all the different types of factors as crossed products.

Duality

If A is a von Neumann algebra on which a locally compact Abelian G acts, then Γ, the dual group of characters χ of G, acts by unitaries on K :

• $(\chi\cdot k)(h) =\chi(h) k(h)$

These unitaries normalise the crossed product, defining the dual action of Γ. Together with the crossed product, they generate $A\otimes B(L^2(G))$, which can be identified with the iterated crossed product by the dual action $(A\rtimes G) \rtimes \Gamma$ . Under this identification, the double dual action of G (the dual group of Γ) corresponds to the tensor product of the original action on A and conjugation by the following unitaries on L2(G) :

• $(g\cdot f)(h)=f(hg)$

The crossed product may be identified with the fixed point algebra of the double dual action. More generally A is the fixed point algebra of Γ in the crossed product.

Similar statements hold when G is replaced by a non-Abelian locally compact group or more generally a locally compact quantum group, a class of Hopf algebra related to von Neumann algebras. An analogous theory has also been developed for actions on C* algebras and their crossed products.

Duality first appeared for actions of the reals in the work of Connes and Takesaki on the classification of Type III factors. According to Tomita–Takesaki theory, every vector which is cyclic for the factor and its commutant gives rise to a 1-parameter modular automorphism group. The corresponding crossed product is a Type $II_\infty$ von Neumann algebra and the corresponding dual action restricts to an ergodic action of the reals on its centre, an Abelian von Neumann algebra. This ergodic flow is called the flow of weights; it is independent of the choice of cyclic vector. The Connes spectrum, a closed subgroup of the positive reals, is obtained by applying the exponential to the kernel of this flow.

• When the kernel is the whole of R, the factor is type III1.
• When the kernel is (log λ)Z for λ in (0,1), the factor is type IIIλ.
• When the kernel is trivial, the factor is type III0.

Connes and Haagerup proved that the Connes spectrum and the flow of weights are complete invariants of hyperfinite Type III factors. From this classification and results in ergodic theory, it is known that every infinite-dimensional hyperfinite factor has the form $L^\infty(X)\rtimes Z$ for some free ergodic action of Z.

Examples

• If we take the algebra A to be the complex numbers C, then the crossed product $A \rtimes G$ is called the von Neumann group algebra of G.
• If G is an infinite discrete group such that every conjugacy class has infinite order then the von Neumann group algebra is a factor of type II1. Moreover if every finite set of elements of G generates a finite subgroup (or more generally if G is amenable) then the factor is the hyperfinite factor of type II1.

References

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Crossed molecular beam — experiments are chemical experiments where two beams of atoms or molecules are collided together to elucidate the dynamics of the chemical reaction, and can detect individual reactive collisions.[1] Technique In a crossed molecular beam apparatus …   Wikipedia

• Semidirect product — In mathematics, especially in the area of abstract algebra known as group theory, a semidirect product is a particular way in which a group can be put together from two subgroups, one of which is a normal subgroup. A semidirect product is a… …   Wikipedia

• Cross product (disambiguation) — The cross product is a product in vector algebra. Cross product may also refer to: Seven dimensional cross product, a related product in seven dimensions A product in a Künneth theorem A crossed product in von Neumann algebras This disambiguation …   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

• List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

• Group Hopf algebra — In mathematics, the group Hopf algebra of a given group is a certain construct related to the symmetries of group actions. Deformations of group Hopf algebras are foundational in the theory of quantum groups. DefinitionLet G be an arbitrary group …   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

• Polynomial ring — In mathematics, especially in the field of abstract algebra, a polynomial ring is a ring formed from the set of polynomials in one or more variables with coefficients in another ring. Polynomial rings have influenced much of mathematics, from the …   Wikipedia

• Emmy Noether — Amalie Emmy Noether Born 23 March 1882(1882 03 23) …   Wikipedia

• Cuntz algebra — In C* algebras, the Cuntz algebra (after Joachim Cuntz) is the universal C* algebra generated by n isometries satisfying certain relations. It is the first concrete example of a separable infinite simple C* algebra. Every simple infinite C*… …   Wikipedia