# Caractère d'un groupe compact

Dans l'étude des représentations continues d'un groupe compact, les caractères sont des fonctions centrales (c'est-à-dire constantes sur les classes de conjugaison) associées aux représentations. Ils permettent de caractériser les classes d'équivalence de représentations continues irréductibles complexes de dimension finie d'un groupe compact. Par ailleurs, la décomposition d'une représentation en somme orthogonale de représentations irréductibles se comprend en termes de décomposition en séries du caractère associé dans l'algèbre hilbertienne (en) associée au groupe.

## Définition

G désigne un groupe compact. Une représentation (continue) complexe de G de dimension finie est un morphisme continu ρ:G→GL(V), où V est un espace vectoriel complexe de dimension finie. On appelle caractère associé à ρ l'application χ$_ρ$ définie par :
$\forall s\in G,\,\chi _{\rho }(s)=Tr\left[\rho (s)\right]$
où Tr désigne la trace. On parle simplement de caractère ou de caractère irréductible pour désigner le caractère associé à une représentation ou une représentation irréductible.
Deux représentations ρ$_1$:G→GL(V$_1$) et ρ$_2$:G→GL(V$_2$) sont équivalentes s'il existe un isomorphisme linéaire T:V$_1$→V$_2$ tel que pour tout g∊G on a : ρ$_2$(g)∘T=T∘ρ$_1$(g). Les caractères associés à des représentations équivalentes sont égaux.
Pour un groupe compact, toute représentation complexe de dimension finie est équivalente à une représentation unitaire. Certains auteurs ne parlent donc dans ce cadre que de représentations unitaires.

## Sommes et produits tensoriels

Les caractères associés aux représentations duale ρ* et conjuguée ρ de ρ sont égaux au conjugué du caractère associé à ρ :
$\chi _{\rho ^{*}}=\chi _{\overline {\rho }}={\overline {\chi _{\rho }}}.$
La seconde égalité est immédiate et la première résulte du fait que ρ* est équivalente à ρ, ce qui peut se démontrer en se ramenant – à nouveau par équivalence – au cas où ρ est unitaire.
Le caractère associé à la somme directe de deux représentations est égal à la somme des caractères qui leur sont associés :
$\chi _{\rho _{1}\oplus \rho _{2}}=\chi _{\rho _{1}}+\chi _{\rho _{2}}.$
Le caractère associé au produit tensoriel de deux représentations est égal au produit des caractères qui leur sont associés :
$\chi _{\rho _{1}\otimes \rho _{2}}=\chi _{\rho _{1}}.\chi _{\rho _{2}}.$

## Propriétés élémentaires

* Tout caractère est une fonction continue (donc bornée et de carré intégrable pour la mesure de Haar λ).
En effet, la fonction χ$_ρ$ est continue, comme composée de deux applications continues : ρ et l'application trace. Son image est donc une partie compacte (donc bornée) de ℂ. A forti χ$_ρ$ est de carré intégrable, car λ est une mesure finie. De plus, toute borne explicite pour ρ en fournit une pour χ$_ρ$ car si V est de dimension n, |χ$_ρ$(g)|≤n║ρ(g)║ (en particulier si ρ est unitaire, |χ$_ρ$(g)|≤n).
* Les caractères sont des fonctions centrales : ils sont constants sur les classes de conjugaison de G.
En effet, pour tous s et t dans G, on a :
$\chi _{\rho }(sts^{-1})=Tr\left[\rho (sts^{-1})\right]=Tr\left[\rho (s)\rho (t)\rho (s)^{-1}\right]=Tr\left[\rho (t)\right]=\chi _{\rho }(t)$
* Pour deux représentations irréductibles non équivalentes ρ et σ, les caractères associés sont orthogonaux au sens où$\int _{G}\chi _{\rho }(t).{\overline {\chi _{\sigma }(t)}}~\mathrm {d} \lambda (t).$
En effet, pour toute représentation (V, ρ), le caractère χ$_ρ$ appartient au sous-espace C(ρ) engendré, dans l'espace de Hilbert L$^2$(λ), par les coefficients matriciels de ρ (dans n'importe quelle base de V). Or si ρ et σ sont irréductibles et non équivalentes, C(ρ) et C(σ) sont orthogonaux.

## Algèbre hilbertienne de G

L'espace de Banach L$^2$(λ), muni du produit de convolution défini par :
$\forall f,g\in \mathrm {L} ^{2}(G),\,f*g(s)=\int _{G}f(t).g(s^{-1}t)~\mathrm {d} \lambda (t),$
est une algèbre de Banach. Son centre est la sous-algèbre fermée des fonctions centrales mesurables sur G de carré intégrable. Les caractères χ$_ρ$, quand ρ parcourt un ensemble maximal de représentations (continues, complexes, de dimensions finies) irréductibles non équivalentes, forment une base hilbertienne de ce centre. Le sous-espace dense qu'ils engendrent est l'algèbre des caractères.