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.

Motivation

Recall that if we have two finite groups and N with an action of G on N we can form the semidirect product. 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, and again form a product in a similar way; this algebra is a sum of subspaces gC as g runs through the elements of G, and is the group algebra of.
We can generalize this construction further by replacing C
by any algebra A acted on by G to get a crossed product
, 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.
In physics, this structure appears in presence of the so called gauge group of the first kind. G is the gauge group, and N the "field" algebra. The observables are then defined as the fixed points of N under the action of G. A result by Doplicher, Haag and Roberts says that under some assumptions the crossed product can be recovered from the algebra of observables.

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
for k in K, g, h in G, and a in A,
and there is an action of G on K given by
The crossed product is the von Neumann algebra acting on K generated by the actions of A and G on K. It does not depend 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 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 of essentially bounded functions on a measure space X acted on by G, and then the action of G on X is ergodic 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 is a factor.
Moreover:
In particular one can construct examples of all the different types of factors as crossed products.

Duality

If is a von Neumann algebra on which a locally compact Abelian acts, then, the dual group of characters of, acts by unitaries on :
These unitaries normalise the crossed product, defining the dual action of. Together with the crossed product, they generate, which
can be identified with the iterated crossed product by the dual action . Under this identification, the double dual action of corresponds to the tensor product of the original action on and conjugation by the following unitaries on :
The crossed product may be identified with the fixed point algebra of the double dual action. More generally is the fixed point algebra of in the crossed product.
Similar statements hold when 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 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.
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 for some free ergodic action of.

Examples