Group algebra

From Wikipedia, the free encyclopedia

This page discusses operator 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 operator algebra, such that the representations of the operator algebra are related to representations of the group. As such, they are similar to the group ring associated to a discrete group.

1 Group algebras of topological groups: Cc(G)
2 The convolution algebra L1(G)
3 The group C*-algebra C*(G)
- 3.1 The maximal group C * -algebra
- 3.2 The reduced group C*-algebra C*r(G)
4 von Neumann algebras associated to groups
5 References

[edit] Group algebras of topological groups: C_c(G)

For the purposes of functional analysis, and in particular of harmonic analysis, one wishes to carry over the group ring construction to topological groups G. In case G is a locally compact Hausdorff group, G carries an essentially unique left-invariant countably additive Borel measure μ called Haar measure. Using the Haar measure, one can define a convolution operation on the space C_c(G) of complex-valued functions on G with compact support; C_c(G) can then be given any of various norms and the completion will be a group algebra.

To define the convolution operation, let f and g be two functions in C_c(G). For t in G, define

$[f * g](t) = \int_G f(s) g(s^{-1} t)\, d \mu(s) \quad$

The fact that f * g is continuous is immediate from the dominated convergence theorem. Also

$\operatorname{Support}(f * g) \subseteq \operatorname{Support}(f) \cdot \operatorname{Support}(g)$

C_c(G) also has a natural involution defined by:

$f^*(s) = \overline{f(s^{-1})} \Delta(s^{-1})$

where Δ is the modular function on G. With this involution, it is a *-algebra.

Theorem. If C_c(G) is given the norm

$\|f\|_1 := \int_G |f(s)| d\mu(s), \quad$ it becomes is an involutive normed algebra with an approximate identity.

The approximate identity can be indexed on a neighborhood basis of the identity consisting of compact sets. Indeed if V is a compact neighborhood of the identity, let f_V be a non-negative continuous function supported in V such that

$\int_V f(g)\, d \mu(g) =1. \quad$

Then {f_V}_V is an approximate identity.

Note that for discrete groups, C_c(G) is the same thing as the complex group ring CG.

The importance of the group algebra is that it captures the unitary representation theory of G as shown in the following;

Theorem. Let G be a locally compact group. If U is a strongly continuous unitary representation of G on a Hilbert space H, then

$\pi_U (f) = \int_G f(g) U(g)\, d \mu(g) \quad$

is a non-degenerate bounded *-representation of the normed algebra C_c(G). The map

$U \mapsto \pi_U \quad$

is a bijection between the set of strongly continuous unitary representation of G and non-degenerate bounded *-representations of C_c(G). This bijection respects unitary equivalence and strong containment. In particular, π_U is irreducible if and only if U is irreducible.

Non-degeneracy of a representation π of C_c(G). on a Hilbert space H_π means that

$\{\pi(f) \xi: f \in \operatorname{C}_C(G), \xi \in H_\pi \}$

is dense in H_π.

[edit] The convolution algebra L¹(G)

It is a standard theorem of measure theory that the completion of C_c(G) in the L¹(G) norm is isomorphic to the space L¹(G) of functions which are integrable with respect to the Haar measure.

Theorem. L¹(G) is a B*-algebra with the convolution product and involution defined above and with the L¹ norm. L¹(G) also has an approximate identity.

[edit] The group C-algebra C(G)

For a locally compact group G, the group C*-algebra of G is defined to be the C*-enveloping algebra of L¹(G). It can also be defined as the completion of C_c(G) with respect to the norm

$\|f\|_{C^*} := \sup_\pi \|\pi(f)\| \quad$

where π ranges over all non-degenerate *-representations of C_c(G) on Hilbert spaces.

Let $\mathbb{C}[G]$ be the group ring of a discrete group $G .$ It has the two following two completions to a $C *$ -algebra.

[edit] The maximal group $C *$ -algebra

The maximal group $C *$ -algebra, $C^*_\mathrm{max}(G)$ or just $C * (G)$ , is defined by the following universal property: any *-homomorphism from $\mathbb{C}[G]$ to some $\mathbb{B}({\mathcal{H}})$ (the $C *$ -algebra of bounded operators on some Hilbert space ${\mathcal{H}}$ ) factors through the inclusion map $\mathbb{C}[G] \hookrightarrow C^*_\mathrm{max}(G).$

If $G$ is amenable then $C^*_r(G) \cong C^*_\mathrm{max}(G).$

[edit] The reduced group C-algebra C^_r(G)

The reduced group C*-algebra focuses on the left regular representation of G rather than on all unitary representations of G. We thus consider the completion of C_c(G) with respect to the norm

$\|f\|_{C^*_r} := \sup \{ \|f*g\|_2: \|g\|_2 = 1\}, \quad$

where

$\|f\|_2 = \sqrt{\int_G |f|^2 d\mu} \quad$

is the L² norm. Since the completion of C_c(G) with regard to the L² norm is a Hilbert space, the C^*_r norm is the norm of the bounded operator convolution by f acting on L²(G) and thus a C* norm.

The reduced group C*-algebra is isomorphic to the non-reduced group C*-algebra defined above if and only if G is amenable.

[edit] von Neumann algebras associated to groups

The group von Neumann algebra W*(G) of G is the enveloping von Neumann algebra of C*(G).

For a discrete group G, we can consider the Hilbert space l²(G) for which G is an orthonormal basis. Since G operates on l²(G) by permuting the basis vectors, we can identify the complex group ring CG with a subalgebra of the algebra of bounded operators on l²(G). The weak closure of this subalgebra, NG, is a von Neumann algebra.

The center of NG can be described in terms of those elements of G whose conjugacy class is finite. In particular, if the identity element of G is the only group element with that property (that is, G has the infinite conjugacy class property), the center of NG consists only of complex multiples of the identity.

NG is isomorphic to the hyperfinite type II₁ factor if and only if G is countable, amenable, and has the infinite conjugacy class property.

[edit] References

J, Dixmier, C* algebras, ISBN 0720407621
A. A. Kirillov, Elements of the theory of representations, ISBN 0-387-07476-7
A.I. Shtern, "Group algebra of a locally compact group" SpringerLink Encyclopaedia of Mathematics (2001)

This article incorporates material from Group $C^*$-algebra on PlanetMath, which is licensed under the GFDL.

Retrieved from "http://en.wikipedia.org../../../g/r/o/Group_algebra.html"

Categories: PlanetMath sourced articles | Ring theory | Representation theory of topological groups | Harmonic analysis | Lie groups

See also ebooksgratis.com: no banners, no cookies, totally FREE.

Group algebra

From Wikipedia, the free encyclopedia

Contents

[edit] Group algebras of topological groups: C_c(G)

[edit] The convolution algebra L¹(G)

[edit] The group C-algebra C(G)

[edit] The maximal group $C *$ -algebra

[edit] The reduced group C-algebra C^_r(G)

[edit] von Neumann algebras associated to groups

[edit] References

Views

Navigation

Search

In other languages

See also ebooksgratis.com: no banners, no cookies, totally FREE.

Group algebra

From Wikipedia, the free encyclopedia

Contents

[edit] Group algebras of topological groups: Cc(G)

[edit] The convolution algebra L1(G)

[edit] The group C*-algebra C*(G)

[edit] The maximal group C * -algebra

[edit] The reduced group C*-algebra C*r(G)

[edit] von Neumann algebras associated to groups

[edit] References

Views

Navigation

Search

In other languages

[edit] Group algebras of topological groups: C_c(G)

[edit] The convolution algebra L¹(G)

[edit] The group C-algebra C(G)

[edit] The maximal group $C *$ -algebra

[edit] The reduced group C-algebra C^_r(G)