Group algebra

In functional analysis and related areas of mathematics, group algebras are constructions that generalize the concept of group ring to some classes of topological groups with the aim to reduce the theory of representations of topological groups to the theory of representations of topological algebras. There are several nonequivalent definitions of group algebra, each of which is considered convenient in a particular situation.

Idea: group algebras for finite groups

If ${\displaystyle G}$ is a finite group then for any field ${\displaystyle K}$ the set ${\displaystyle K^{G}}$ of all functions ${\displaystyle u:G\to K}$ possesses a natural structure of (finite-dimensional) Hopf algebra over ${\displaystyle K}$ with (the usual pointwise summation of functions and multiplication them by scalars, and)

• the multiplication ${\displaystyle \nabla :K^{G}\otimes K^{G}\to K^{G}}$, generated by the pointwise multiplication of functions,
${\displaystyle \nabla (u\otimes v)(t)=u(t)\cdot v(t),\quad u,v\in K^{G},\quad t\in G,}$
• the comultiplication ${\displaystyle \Delta :K^{G}\to K^{G\times G}\cong K^{G}\otimes K^{G}}$, generated by the operation of multiplication in ${\displaystyle G}$
${\displaystyle \Delta (u)(s,t)=u(s\cdot t),\quad u\in K^{G},\quad s,t\in K,}$
• and the antipode ${\displaystyle S:K^{G}\to K^{G}}$ generated by the operation of taking the inverse element in ${\displaystyle G}$
${\displaystyle S(u)(t)=u(t^{-1}),\quad u\in K^{G},\quad t\in K.}$

The dual space ${\displaystyle K_{G}=(K^{G})'}$ (of all linear functionals ${\displaystyle \alpha :K^{G}\to K}$) is the dual Hopf algebra, where, in particular, the multiplication ${\displaystyle (\alpha ,\beta )\in K_{G}\times K_{G}\mapsto \alpha *\beta \in K_{G}}$ can be described by the formula

${\displaystyle \alpha *\beta (u)=\sum _{s,t\in G}\alpha _{s}\cdot \beta _{t}\cdot u(s\cdot t),\quad u\in K^{G},}$

or by the formula

${\displaystyle \alpha *\beta =\sum _{s,t\in G}\alpha _{s}\cdot \beta _{t}\cdot \delta _{s\cdot t},}$

where

${\displaystyle \delta _{t}\in K_{G},\quad \delta _{t}(u)=u(t),\quad u\in K^{G},\quad t\in G}$

are delta-functionals, and

${\displaystyle \alpha =\sum _{s\in G}\alpha _{s}\cdot \delta _{s},\quad \beta =\sum _{t\in G}\beta _{t}\cdot \delta _{t}}$

are the expansions of ${\displaystyle \alpha }$ and ${\displaystyle \beta }$ along the basis ${\displaystyle \{\delta _{t};\ t\in G\}}$ in the vector space ${\displaystyle K_{G}}$.

• The algebra ${\displaystyle K_{G}}$ (denoted also as ${\displaystyle K[G]}$) is called the group algebra (or the group ring) of the group ${\displaystyle G}$ over the field ${\displaystyle K}$.
• A map ${\displaystyle \pi :G\to A}$ of a group ${\displaystyle G}$ into a unital associative algebra ${\displaystyle A}$ over ${\displaystyle K}$ is called a representation of the group ${\displaystyle G}$ in the algebra ${\displaystyle A}$, if it preserves the unit and the multiplication:
${\displaystyle \pi (1_{G})=1_{A},\quad \pi (s\cdot t)=\pi (s)\cdot \pi (t),\quad s,t\in G.}$

Example: the operation of passage to the delta-functional

${\displaystyle \delta :G\to K_{G},\quad t\in G\mapsto \delta _{t}\in K_{G}}$

is a representation of ${\displaystyle G}$ in ${\displaystyle K_{G}}$:

${\displaystyle \delta _{1_{G}}=1_{K_{G}},\quad \delta _{s\cdot t}=\delta _{s}*\delta _{t},\quad s,t\in G.}$

There is a natural correspondence between the representations of the group ${\displaystyle G}$ in (unital associative) algebras ${\displaystyle A}$ and the homomorphisms of the unital algebras ${\displaystyle \varphi :K_{G}\to A}$:

Theorem (universal property). For any finite group ${\displaystyle G}$ and for any unital associative algebra ${\displaystyle A}$ over ${\displaystyle K}$ the formula
${\displaystyle \pi =\varphi \circ \delta }$
establishes a one-to-one correspondence between the representations ${\displaystyle \pi :G\to A}$ of the group ${\displaystyle G}$ in ${\displaystyle A}$ and the homomorphisms of the unital associative algebras ${\displaystyle \varphi :K_{G}\to A}$.

This observation has a series of important corollaries, which allow to reduce the theory of representations of finite groups to the theory of representations of finite-dimensional algebras[1][2].

The construction of the group algebra ${\displaystyle K_{G}}$ can be easily generalized to arbitrary (not necessarily finite) groups ${\displaystyle G}$ (in the purely algebraic sense, without topology) with the same purposes: the generalization is called group ring ${\displaystyle K[G]}$, and many results are preserved in this way, including the fact that ${\displaystyle K[G]}$ possesses the universal property (and is a Hopf algebra when ${\displaystyle K}$ is a field). But up to the recent time the generalizations to the topological groups faced numerous difficulties because of the lack of the convenient categories of topological vector spaces with dualities. The generalizations were mostly constructed in the category of Banach spaces, but the absence of a suitable duality in this category led to various distortions of the properties of these constructions, in particular, they were not Hopf algebras, and even the correspondence between the representations of groups and the homomorphisms of their group algebras was usually violated (however, this correspondence sometimes could be understood in some special sense).

Classical group algebras in functional analysis

In classical functional analysis, there are several constructions generalizing the purely algebraic idea of group algebra, but preserving only some part of its main properties.

The algebra Cc(G) of continuous functions with compact support

If G is a locally compact Hausdorff group, G carries an essentially unique left-invariant countably additive Borel measure μ called a Haar measure. Using the Haar measure, one can define a convolution operation on the space Cc(G) of complex-valued continuous functions on G with compact support; Cc(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 Cc(G). For t in G, define

${\displaystyle [f*g](t)=\int _{G}f(s)g\left(s^{-1}t\right)\,d\mu (s).}$

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

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

where the dot stands for the product in G. Cc(G) also has a natural involution defined by:

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

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

Theorem. With the norm:

${\displaystyle \|f\|_{1}:=\int _{G}|f(s)|\,d\mu (s),}$

Cc(G) becomes 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 fV be a non-negative continuous function supported in V such that

${\displaystyle \int _{V}f_{V}(g)\,d\mu (g)=1.}$

Then {fV}V is an approximate identity. A group algebra has an identity, as opposed to just an approximate identity, if and only if the topology on the group is the discrete topology.

Note that for discrete groups, Cc(G) is the same thing as the complex group ring C[G].

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

${\displaystyle \pi _{U}(f)=\int _{G}f(g)U(g)\,d\mu (g)}$

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

${\displaystyle U\mapsto \pi _{U}}$

is a bijection between the set of strongly continuous unitary representations of G and non-degenerate bounded *-representations of Cc(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 Cc(G) on a Hilbert space Hπ means that

${\displaystyle \left\{\pi (f)\xi :f\in \operatorname {C} _{c}(G),\xi \in H_{\pi }\right\}}$

is dense in Hπ.

The convolution algebra L1(G)

It is a standard theorem of measure theory that the completion of Cc(G) in the L1(G) norm is isomorphic to the space L1(G) of equivalence classes of functions which are integrable with respect to the Haar measure, where, as usual, two functions are regarded as equivalent if and only if they differ only on a set of Haar measure zero.

Theorem. L1(G) is a Banach *-algebra with the convolution product and involution defined above and with the L1 norm. L1(G) also has a bounded approximate identity.

The group C*-algebra C*(G)

Let C[G] be the group ring of a discrete group G.

For a locally compact group G, the group C*-algebra C*(G) of G is defined to be the C*-enveloping algebra of L1(G), i.e. the completion of Cc(G) with respect to the largest C*-norm:

${\displaystyle \|f\|_{C^{*}}:=\sup _{\pi }\|\pi (f)\|,}$

where π ranges over all non-degenerate *-representations of Cc(G) on Hilbert spaces. When G is discrete, it follows from the triangle inequality that, for any such π, one has:

${\displaystyle \|\pi (f)\|\leq \|f\|_{1},}$

hence the norm is well-defined.

It follows from the definition that C*(G) has the following universal property: any *-homomorphism from C[G] to some B(H) (the C*-algebra of bounded operators on some Hilbert space H) factors through the inclusion map:

${\displaystyle \mathbf {C} [G]\hookrightarrow C_{\max }^{*}(G).}$

The reduced group C*-algebra Cr*(G)

The reduced group C*-algebra Cr*(G) is the completion of Cc(G) with respect to the norm

${\displaystyle \|f\|_{C_{r}^{*}}:=\sup \left\{\|f*g\|_{2}:\|g\|_{2}=1\right\},}$

where

${\displaystyle \|f\|_{2}={\sqrt {\int _{G}|f|^{2}\,d\mu }}}$

is the L2 norm. Since the completion of Cc(G) with regard to the L2 norm is a Hilbert space, the Cr* norm is the norm of the bounded operator acting on L2(G) by convolution with f and thus a C*-norm.

Equivalently, Cr*(G) is the C*-algebra generated by the image of the left regular representation on 2(G).

In general, Cr*(G) is a quotient of C*(G). The reduced group C*-algebra is isomorphic to the non-reduced group C*-algebra defined above if and only if G is amenable.

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 space2(G) for which G is an orthonormal basis. Since G operates on ℓ2(G) by permuting the basis vectors, we can identify the complex group ring C[G] with a subalgebra of the algebra of bounded operators on ℓ2(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 II1 factor if and only if G is countable, amenable, and has the infinite conjugacy class property.

Stereotype group algebras

The full analogy with the purely algebraic situation appears in the stereotype theory where a series of natural group algebras is constructed including the following four examples.

• On each locally compact group ${\displaystyle G}$ one can consider the algebra ${\displaystyle {\mathcal {C}}(G)}$ of all continuous functions ${\displaystyle u:G\to {\mathbb {C} }}$ with the pointwise multiplication. Being endowed with the topology of uniform convergence on compact sets ${\displaystyle T\subseteq G}$, it becomes a stereotype algebra. Its stereotype dual space ${\displaystyle {\mathcal {C}}^{\star }(G)}$, which consists of Radon measures with compact support on ${\displaystyle G}$, is a stereotype algebra with respect to the operation of convolution:[3] ${\displaystyle \alpha *\beta (u)=\int _{G}\left(\int _{G}u(s\cdot t)\,\alpha (ds)\right)\beta (dt),\quad \alpha ,\beta \in {\mathcal {C}}^{\star }(G),\ u\in {\mathcal {C}}(G).}$
The algebra ${\displaystyle {\mathcal {C}}^{\star }(G)}$ is called the stereotype group algebra of measures on the locally compact group ${\displaystyle G}$.[4]
• On each real Lie group ${\displaystyle G}$ one can consider the algebra ${\displaystyle {\mathcal {E}}(G)}$ of all smooth functions ${\displaystyle u:G\to {\mathbb {C} }}$ with the pointwise multiplication, and the topology of uniform convergence with all derivatives on compact sets ${\displaystyle T\subseteq G}$. Again, it is a stereotype algebra. Its stereotype dual space ${\displaystyle {\mathcal {E}}^{\star }(G)}$, which consists of distributions with compact support on ${\displaystyle G}$, is a stereotype algebra with respect to the operation of convolution of distributions. The algebra ${\displaystyle {\mathcal {E}}^{\star }(G)}$ is called the stereotype group algebra of distributions on the real Lie group ${\displaystyle G}$.
• On each Stein group[5] ${\displaystyle G}$ one can consider the algebra ${\displaystyle {\mathcal {O}}(G)}$ of all holomorphic functions ${\displaystyle u:G\to {\mathbb {C} }}$ with the pointwise multiplication and the topology of uniform convergence on compact sets ${\displaystyle T\subseteq G}$. Again, this is a stereotype algebra. Its stereotype dual space ${\displaystyle {\mathcal {O}}^{\star }(G)}$, which consists of holomorphic fuhctionals on ${\displaystyle G}$, is a stereotype algebra with respect to the operation of convolution of functionals. The algebra ${\displaystyle {\mathcal {O}}^{\star }(G)}$ is called the stereotype group algebra of analytic functionals on the Stein group ${\displaystyle G}$.
• On each affine algebraic group ${\displaystyle G}$ one can consider the algebra ${\displaystyle {\mathcal {P}}(G)}$ of all polynomials (or regular functions) ${\displaystyle u:G\to {\mathbb {C} }}$ with the pointwise multiplication and the strongest locally convex topology. This is again a stereotype algebra, and its stereotype dual space ${\displaystyle {\mathcal {P}}^{\star }(G)}$, which consists of currents on ${\displaystyle G}$, is a stereotype algebra with respect to the operation of convolution of currents. The algebra ${\displaystyle {\mathcal {P}}^{\star }(G)}$ is called the stereotype group algebra of currents on the affine algebraic group ${\displaystyle G}$.

The representation[6] ${\displaystyle \delta :G\to {\mathcal {C}}^{\star }(G)}$, ${\displaystyle \delta (x)(u)=u(x)}$, ${\displaystyle x\in G}$, ${\displaystyle u\in {\mathcal {C}}^{\star }(G)}$ is called the representation as delta-functionals.

The representations ${\displaystyle \delta :G\to {\mathcal {E}}^{\star }(G)}$, ${\displaystyle \delta :G\to {\mathcal {O}}^{\star }(G)}$, ${\displaystyle \delta :G\to {\mathcal {P}}^{\star }(G)}$, are defined similarly.

The following two results distinguish the stereotype group algebras among the other models of group algebras in analysis.

Theorem (universal property).[7] For any stereotype algebra ${\displaystyle A}$ the formula
${\displaystyle \pi =\varphi \circ \delta }$
establishes a one-to-one correspondence between
• the continuous representations[6] ${\displaystyle \pi :G\to A}$ of any given locally compact group ${\displaystyle G}$ in the stereotype algebra ${\displaystyle A}$ and the morphisms of stereotype algebras ${\displaystyle \varphi :{\mathcal {C}}^{\star }(G)\to A}$,
• the smooth[8] representations[6] ${\displaystyle \pi :G\to A}$ of any given real Lie group ${\displaystyle G}$ in the stereotype algebra ${\displaystyle A}$ and the morphisms of stereotype algebras ${\displaystyle \varphi :{\mathcal {E}}^{\star }(G)\to A}$,
• the holomorphic[9] representations[6] ${\displaystyle \pi :G\to A}$ of any given Stein group ${\displaystyle G}$ in the stereotype algebra ${\displaystyle A}$ and the morphisms of stereotype algebras ${\displaystyle \varphi :{\mathcal {O}}^{\star }(G)\to A}$,
• the polynomial (regular)[10] representations[6] ${\displaystyle \pi :G\to A}$ of any given affine algebraic group ${\displaystyle G}$ in the stereotype algebra ${\displaystyle A}$ and the morphisms of stereotype algebras ${\displaystyle \varphi :{\mathcal {P}}^{\star }(G)\to A}$.
Theorem.[11] The group algebras ${\displaystyle {\mathcal {C}}^{\star }(G)}$, ${\displaystyle {\mathcal {E}}^{\star }(G)}$, ${\displaystyle {\mathcal {O}}^{\star }(G)}$, ${\displaystyle {\mathcal {P}}^{\star }(G)}$ are Hopf algebras in the monoidal category (Ste,${\displaystyle \circledast }$,${\displaystyle {\mathbb {C} }}$) of stereotype spaces.

Notes

1. Lang 2002, Chapter XVIII.
2. Vinberg 2003, 12.4.
3. Akbarov 2003, p. 272.
4. If ${\displaystyle G}$ is an infinite locally compact group then the algebra ${\displaystyle {\mathcal {C}}^{\star }(G)}$ of measures on ${\displaystyle G}$ is not a Fréchet algebra. In the case when ${\displaystyle G}$ is compact, ${\displaystyle {\mathcal {C}}^{\star }(G)}$ is a Smith space. If ${\displaystyle G}$ is ${\displaystyle \sigma }$-compact, then ${\displaystyle {\mathcal {C}}^{\star }(G)}$ is a Brauner space.
5. A Stein group is a complex Lie group ${\displaystyle G}$ which is a Stein manifold.
6. We use here the definition given above: a map ${\displaystyle \pi :G\to A}$ of a group ${\displaystyle G}$ into a unital associative algebra ${\displaystyle A}$ over ${\displaystyle K}$ is called a representation of the group ${\displaystyle G}$ in the algebra ${\displaystyle A}$, if it preserves the unit and the multiplication:
${\displaystyle \pi (1_{G})=1_{A},\quad \pi (s\cdot t)=\pi (s)\cdot \pi (t),\quad s,t\in G.}$
7. Akbarov 2003, p. 275.
8. A map ${\displaystyle \xi :M\to X}$ of a smooth manifold ${\displaystyle M}$ into a stereotype space ${\displaystyle X}$ is said to be smooth if for each functional ${\displaystyle f\in X^{\star }}$ the composition ${\displaystyle f\circ \xi }$ is a smooth function on ${\displaystyle M}$, and the map ${\displaystyle f\in X^{\star }\mapsto f\circ \xi \in {\mathcal {E}}(M)}$ is continuous.
9. A map ${\displaystyle \xi :M\to X}$ of a Stein manifold ${\displaystyle M}$ into a stereotype space ${\displaystyle X}$ is said to be holomorphic if for each functional ${\displaystyle f\in X^{\star }}$ the composition ${\displaystyle f\circ \xi }$ is a holomorphic function on ${\displaystyle M}$, and the map ${\displaystyle f\in X^{\star }\mapsto f\circ \xi \in {\mathcal {O}}(M)}$ is continuous.
10. A map ${\displaystyle \xi :M\to X}$ of an affine algebraic variety ${\displaystyle M}$ over ${\displaystyle {\mathbb {C} }}$ into a stereotype space ${\displaystyle X}$ is said to be polynomial (or regular) if for each functional ${\displaystyle f\in X^{\star }}$ the composition ${\displaystyle f\circ \xi }$ is a polynomial on ${\displaystyle M}$, and the map ${\displaystyle f\in X^{\star }\mapsto f\circ \xi \in {\mathcal {P}}(M)}$ is continuous.
11. Akbarov 2009, p. 507.

References

• Lang, S. (2002). Algebra. Graduate Texts in Mathematics. Springer. ISBN 978-1-4613-0041-0.
• Vinberg, E.B. (2003). A Course in Algebra. Graduate Studies in Mathematics. 56. ISBN 978-0-8218-3318-6.
• Dixmier, J. (2003). C*-algebras. North Holland. ISBN 978-0444557476.
• Kirillov, A.A. (1976). Elements of the theory of representations. Grundlehren der mathematischen Wissenschaften. Springer. ISBN 978-3-642-66243-0.
• Loomis, L.H. (2011). Introduction to Abstract Harmonic Analysis. Dover Books on Mathematics. Dover Publications. ISBN 978-0486481234.
• A.I. Shtern (2001) [1994], "Group algebra of a locally compact group", in Hazewinkel, Michiel (ed.), Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4 This article incorporates material from Group $C^*$-algebra on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.
• Akbarov, S.S. (2003). "Pontryagin duality in the theory of topological vector spaces and in topological algebra". Journal of Mathematical Sciences. 113 (2): 179–349. doi:10.1023/A:1020929201133.
• Akbarov, S.S. (2009). "Holomorphic functions of exponential type and duality for Stein groups with algebraic connected component of identity". Journal of Mathematical Sciences. 162 (4): 459–586. arXiv:0806.3205. doi:10.1007/s10958-009-9646-1.