nLab
convolution algebra

Contents

Idea

There are many related constructions of algebras, topological algebras and so on which bear the name of a convolution algebra.

The basic mechanism is usually the

The probably most widespread example of this is the

This is a special case of the

Of maps from a coalgebra to an algebra

Let kk be a commutative unital ring, (C,Δ)(C,\Delta) a (counital) kk-coalgebra and (A,m)(A,m) an associative (unital) kk-algebra. Then the set of linear maps

Hom k(C,A) \mathrm{Hom}_k(C,A)

has a structure of an associative (unital) algebra, called convolution algebra, in which the product of two linear maps f,gf,g is given by

fg=m(fg)Δ.f\star g = m\circ(f\otimes g)\circ\Delta.

Of a group

Given a finite group GG and a ring RR, the space of functions C(G,R)C(G,R) inherits the convolution product defined by

f 1f 2:g g 1g 2=gf 1(g 1)f 2(g 2). f_1 \star f_2 \colon g \mapsto \sum_{g_1 \cdot g_2 = g} f_1(g_1) \cdot f_2(g_2) \,.

This is the non-commutative product operation that appears in the Hopf algebra structure on C(G,R)C(G,R).

Of a groupoid/category

More generally, there is convolution of functions on morphisms of a groupoid. See at groupoid convolution algebra for details.

Revised on April 5, 2013 18:54:19 by Urs Schreiber (131.174.41.18)