Bourbaki

Remark

Tag 03DX, permanent. Cite it as [Bourbaki, Tag 03DX].

Théories spectrales, chapter V, § 4. Représentations des groupes compacts

When G is finite, Schur’s orthogonality relation (resp. the orthogonality formula for characters) coincides with that of A, VIII, p. 399 (resp. that of A, VIII, p. 400, prop. 4). On the other hand, the “second orthogonality relation” for the characters of finite groups (A, VIII, p. 402, formula (32)) has no exact analogue when G is compact.

For finite G, the particular case of the second orthogonality formula corresponding to the conjugacy class of ee is the formula

Card G1 ∑π∈G^\sum_{\pi\in\widehat{G}} dim(π\pi )χπ(g)=\chi_{\pi}(g) = 10 sisinong=,eg=,e which is also interpreted as the calculus of the character of the regular representation γG\boldsymbol{\gamma }_G of G, and which is equivalent to the formula Tr(γG(f)\boldsymbol{\gamma }_G(f)) =f(e)=f(e) for every function ff from G into C\mathbf{C}.

Let G again be any compact group. For every function f∈Cf\in \mathscr{C}(G), the endomorphism γG(f)\boldsymbol{\gamma }_G(f) of L2(G)L^2(G) coincides with the endomorphism φ↦f∗φ\varphi \mapsto f*\varphi, and it is of finite trace (lemma 4 of V, p. 407 and corollary 2 of III, p. 33). By loc. cit. and Theorem 2 of IV, p. 177, one also has

Tr(γG(f)\boldsymbol{\gamma }_G(f)) =∫Gf(x−1x)dμ(x)=f(e)=\int_Gf(x^{-1}x)d\mu(x) =f(e).

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4, against glossary version 34. Not checked by a person.