Group Algebra Of A Locally Compact Group
   HOME

TheInfoList



OR:

In
functional analysis Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (e.g. inner product, norm, topology, etc.) and the linear functions defined ...
and related areas of mathematics, the group algebra is any of various constructions to assign to a
locally compact group In mathematics, a locally compact group is a topological group ''G'' for which the underlying topology is locally compact and Hausdorff. Locally compact groups are important because many examples of groups that arise throughout mathematics are lo ...
an
operator algebra In functional analysis, a branch of mathematics, an operator algebra is an algebra of continuous linear operators on a topological vector space, with the multiplication given by the composition of mappings. The results obtained in the study o ...
(or more generally a
Banach algebra In mathematics, especially functional analysis, a Banach algebra, named after Stefan Banach, is an associative algebra A over the real or complex numbers (or over a non-Archimedean complete normed field) that at the same time is also a Banach ...
), such that representations of the algebra are related to representations of the group. As such, they are similar to the
group ring In algebra, a group ring is a free module and at the same time a ring, constructed in a natural way from any given ring and any given group. As a free module, its ring of scalars is the given ring, and its basis is the set of elements of the gi ...
associated to a discrete group.


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 In mathematics (in particular, functional analysis), convolution is a mathematical operation on two functions ( and ) that produces a third function (f*g) that expresses how the shape of one is modified by the other. The term ''convolution' ...
operation on the space ''Cc''(''G'') of complex-valued continuous functions on ''G'' with
compact support In mathematics, the support of a real-valued function f is the subset of the function domain containing the elements which are not mapped to zero. If the domain of f is a topological space, then the support of f is instead defined as the smal ...
; ''Cc''(''G'') can then be given any of various
norm Naturally occurring radioactive materials (NORM) and technologically enhanced naturally occurring radioactive materials (TENORM) consist of materials, usually industrial wastes or by-products enriched with radioactive elements found in the envir ...
s 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 : * gt) = \int_G f(s) g \left (s^ t \right )\, d \mu(s). The fact that f * g is continuous is immediate from the
dominated convergence theorem In measure theory, Lebesgue's dominated convergence theorem provides sufficient conditions under which almost everywhere convergence of a sequence of functions implies convergence in the ''L''1 norm. Its power and utility are two of the primary ...
. Also : \operatorname(f * g) \subseteq \operatorname(f) \cdot \operatorname(g) where the dot stands for the product in ''G''. ''Cc''(''G'') also has a natural
involution Involution may refer to: * Involute, a construction in the differential geometry of curves * ''Agricultural Involution: The Processes of Ecological Change in Indonesia'', a 1963 study of intensification of production through increased labour input ...
defined by: : f^*(s) = \overline \, \Delta(s^) where Δ is the
modular function In mathematics, a modular form is a (complex) analytic function on the upper half-plane satisfying a certain kind of functional equation with respect to the group action of the modular group, and also satisfying a growth condition. The theory of ...
on ''G''. With this involution, it is a *-algebra.
Theorem. With the norm: : \, f\, _1 := \int_G , f(s), \, d\mu(s), ''Cc''(''G'') becomes an involutive normed algebra with an
approximate identity In mathematics, particularly in functional analysis and ring theory, an approximate identity is a net in a Banach algebra or ring (generally without an identity) that acts as a substitute for an identity element. Definition A right approxima ...
.
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 : \int_V f_(g)\, d \mu(g) =1. Then ''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 In topology, a discrete space is a particularly simple example of a topological space or similar structure, one in which the points form a , meaning they are ''isolated'' from each other in a certain sense. The discrete topology is the finest t ...
. 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 In mathematics, a unitary representation of a group ''G'' is a linear representation π of ''G'' on a complex Hilbert space ''V'' such that π(''g'') is a unitary operator for every ''g'' ∈ ''G''. The general theory is well-developed in case ' ...
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) is a non-degenerate bounded *-representation of the normed algebra ''Cc''(''G''). The map : 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 : \left \ is dense in ''H''.


The convolution algebra ''L''1(''G'')

It is a standard theorem of measure theory that the completion of ''Cc''(''G'') in the ''L''1(''G'') norm is isomorphic to the space ''L''1(''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. ''L''1(''G'') is a
Banach *-algebra In mathematics, especially functional analysis, a Banach algebra, named after Stefan Banach, is an associative algebra A over the real or complex numbers (or over a non-Archimedean complete normed field) that at the same time is also a Banach s ...
with the convolution product and involution defined above and with the ''L''1 norm. ''L''1(''G'') also has a bounded approximate identity.


The group C*-algebra ''C*''(''G'')

Let C 'G''be the
group ring In algebra, a group ring is a free module and at the same time a ring, constructed in a natural way from any given ring and any given group. As a free module, its ring of scalars is the given ring, and its basis is the set of elements of the gi ...
of a
discrete group In mathematics, a topological group ''G'' is called a discrete group if there is no limit point in it (i.e., for each element in ''G'', there is a neighborhood which only contains that element). Equivalently, the group ''G'' is discrete if and o ...
''G''. For a locally compact group ''G'', the group
C*-algebra In mathematics, specifically in functional analysis, a C∗-algebra (pronounced "C-star") is a Banach algebra together with an involution satisfying the properties of the adjoint. A particular case is that of a complex algebra ''A'' of continu ...
''C*''(''G'') of ''G'' is defined to be the C*-enveloping algebra of ''L''1(''G''), i.e. the completion of ''Cc''(''G'') with respect to the largest C*-norm: : \, f\, _ := \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: : \, \pi (f)\, \leq \, f \, _1, hence the norm is well-defined. It follows from the definition that, when G is a discrete group, ''C*''(''G'') has the following
universal property In mathematics, more specifically in category theory, a universal property is a property that characterizes up to an isomorphism the result of some constructions. Thus, universal properties can be used for defining some objects independently ...
: any *-homomorphism from C 'G''to some B(''H'') (the C*-algebra of
bounded operator In functional analysis and operator theory, a bounded linear operator is a linear transformation L : X \to Y between topological vector spaces (TVSs) X and Y that maps bounded subsets of X to bounded subsets of Y. If X and Y are normed vecto ...
s on some
Hilbert space In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natu ...
''H'') factors through the
inclusion map In mathematics, if A is a subset of B, then the inclusion map (also inclusion function, insertion, or canonical injection) is the function \iota that sends each element x of A to x, treated as an element of B: \iota : A\rightarrow B, \qquad \iot ...
: :\mathbf \hookrightarrow C^*_(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 : \, f\, _ := \sup \left \, where : \, f\, _2 = \sqrt is the ''L''2 norm. Since the completion of ''Cc''(''G'') with regard to the ''L''2 norm is a Hilbert space, the ''Cr*'' norm is the norm of the bounded operator acting on ''L''2(''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 space In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natu ...
2(''G'') for which ''G'' is an
orthonormal basis In mathematics, particularly linear algebra, an orthonormal basis for an inner product space ''V'' with finite dimension is a basis for V whose vectors are orthonormal, that is, they are all unit vectors and orthogonal to each other. For ex ...
. 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 operator In functional analysis and operator theory, a bounded linear operator is a linear transformation L : X \to Y between topological vector spaces (TVSs) X and Y that maps bounded subsets of X to bounded subsets of Y. If X and Y are normed vecto ...
s on ℓ2(''G''). The weak closure of this subalgebra, ''NG'', is a
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. It is a special type of C*-algebra. Von Neumann a ...
. The center of ''NG'' can be described in terms of those elements of ''G'' whose
conjugacy class In mathematics, especially group theory, two elements a and b of a group are conjugate if there is an element g in the group such that b = gag^. This is an equivalence relation whose equivalence classes are called conjugacy classes. In other w ...
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 In mathematics, a group is said to have the infinite conjugacy class property, or to be an ICC group, if the conjugacy class of every group element but the identity is infinite. The von Neumann group algebra of a group is a factor if and only if ...
), 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 In mathematics, a set is countable if either it is finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function from it into the natural number ...
, amenable, and has the infinite conjugacy class property.


See also

* Graph algebra *
Incidence algebra In order theory, a field of mathematics, an incidence algebra is an associative algebra, defined for every locally finite partially ordered set and commutative ring with unity. Subalgebras called reduced incidence algebras give a natural construct ...
*
Hecke algebra of a locally compact group In mathematics, a Hecke algebra of a locally compact group (mathematics), group is an algebra of bi-invariant measures under convolution. Definition Let (''G'',''K'') be a pair consisting of a unimodular group, unimodular locally compact topologi ...
*
Path algebra In graph theory, a quiver is a directed graph where Loop (graph theory), loops and multiple arrows between two vertex (graph theory), vertices are allowed, i.e. a multidigraph. They are commonly used in representation theory: a representation  ...
* Groupoid algebra * Stereotype algebra * Stereotype group algebra *
Hopf algebra Hopf is a German surname. Notable people with the surname include: * Eberhard Hopf (1902–1983), Austrian mathematician * Hans Hopf (1916–1993), German tenor * Heinz Hopf (1894–1971), German mathematician * Heinz Hopf (actor) (1934–2001), Sw ...


Notes


References

* * * * * * {{PlanetMath attribution, id=3628, title=Group $C^*$-algebra Algebras C*-algebras von Neumann algebras Unitary representation theory Harmonic analysis Lie groups