Radial functions on free products (Q2266405)

Ce papier rappelle que sur un groupe muni d'une base fixée de générateurs on peut définir (la définition donnée est incomplète mais on peut espérer la trouver dans des articles donnés en références) une fonction longueur. Une fonction sur le groupe est dite radiale si elle ne dépend que de la longueur. On s'intéresse ici aux groupes radiaux, c.à.d. tels que le produit (de convolution) de fonctions radiales soit lui-même radiale; toute fonction radiale s'y exprime alors par l'intermédiaire d'une fonction (en pratique polynomiale) de la fonction caractéristique des éléments de longueur 1, dont la valeur sur l'identité du groupe définit la mesure de Plancherel sur \({\mathbb{R}}.\) Par rapport à une mesure sur \({\mathbb{R}}\) on définit la notion de suite de polynômes orthogonaux, sur laquelle on rappelle que des relations de récurrence conduisent à une expression explicite de la mesure. On rappelle la définition d'un groupe radialement régulier et de son centre et l'expression de sa mesure de Plancherel. On en donne des exemples essentiels et un contre-exemple. On donne la construction d'un produit libre de groupes liée à la notion de produit libre de suites de polynômes ainsi que les normalisations qui peuvent conduire aux groupes radialement réguliers. On en donne des exemples aussi bien connus que nouveaux.