nLab representative function


Let either

  • GG be a Hausdorff topological group and FF either the field of real or complex numbers or

  • GG be a linear algebraic group over an infinite field FF .

Then an FF-valued representative function on GG is FF-valued function which arises in the form tρt\circ\rho where ρ:GEndV\rho:G\to End V is a representation of GG on a finite dimensional FF-vector space and t:EndVFt:End V\to F a linear functional.

In the (Hausdorff) topological group case the representative function is automatically continuous and in the algebraic case it is automatically a regular function.

On the other hand if we assume that a function f:GFf:G\to F is continuous or respectively regular then it is a representative function iff

  • all left translates L gf:hf(hg)L_g f : h\mapsto f(h g) where gGg\in G form a finite dimensional FF-vector space

what is true iff

  • all right translates R gf:hf(gh)R_g f : h\mapsto f(g h) where gGg\in G form a finite dimensional FF-vector space

The set of all representative functions on GG is a Hopf FF-algebra.

Hochschild1971 If GG is an arbitrary monoid with multiplication m:G×GGm:G\times G\to G then mm induces a map m *:Fun(G,k)Fun(G×G,k)m^*:Fun(G,k)\to Fun(G\times G,k), m *(f):ffmm^*(f):f\mapsto f\circ m. We say that fFun(G,k)f\in Fun(G,k) is representative if m *(f)m^*(f) is in the image of the canonical map Fun(G,k)Fun(G,k)Fun(G×G,k)Fun(G,k)\otimes Fun(G,k)\hookrightarrow Fun(G\times G,k). Equivalently, ff is representative if the span of all functions gf:hf(hg)g\cdot f : h\mapsto f(h\cdot g) is finite dimensional. It follows then that m *(f)m^*(f) is in fact in (the image of) R(G)R(G)R(G)\otimes R(G) where R(G)R(G) is the space of all representative functions on GG.

Relations to other spaces of functions on a group

Let GG be an algebraic subgroup of GL(d,k)GL(d,k). The Hopf algebra of regular (“coordinate”) functions 𝒪(G)\mathcal{O}(G) is a finitely generated subHopf algebra of the Hopf algebra of continuous representative functions on GG, CartierHopf.

Peter-Weyl theorem says that the representative functions on a compact topological group form a dense subspace of the space of all continuous functions.


Related entries include Tannaka duality, locally compact topological group, Hopf algebra, harmonic analysis, representation theory, linear algebraic group, distribution on an affine algebraic group

  • G. Hochschild, G. D. Mostow, Representations and representative functions of Lie groups, Annals of Mathematics, Second ser. 66 (1957) 495–542 jstor MR0098796

  • Pierre Cartier, A primer of Hopf algebras, Frontiers in number theory, physics, and geometry II, 537–615, Springer 2007.; preprint IH'ES 2006/40 pdf

  • J. C. Jantzen, Representations of algebraic groups, Acad. Press 1987 (Pure and Appl. Math. vol 131); 2nd edition AMS Math. Surveys and Monog. 107 (2003; reprinted 2007)

  • A. Derighetti, Representative functions on topological groups, Comm. Math. Helv. 44:1 (1969) 476–483

  • G. Hochschild, Introduction to algebraic group schemes, 1971

Last revised on August 22, 2023 at 17:17:08. See the history of this page for a list of all contributions to it.