Moyennabilité intérieure du groupe F de Thompson (Q4355247)

D'après la définition introduite par \textit{M. Bekka} [Invent. Math. 100, 383-401 (1990; Zbl 0702.22010)] une représentation unitaire \(\pi\) d'un groupe localement compact \(G\) sur un espace de Hilbert \(H\) est dite moyennable s'il existe un état \(\varphi\) sur la \(C^*\)-algèbre \(B(H)\) des opérateurs linéaires bornés sur \(H\) tel que \[ \varphi \bigl(\pi (g)T \pi (g^{-1}) \bigr)= \varphi(T) \] quels que soient \(g\in G\), \(T\in B(H)\). Les propriétés classiques de la moyennabilité des groupes ont leur contre-parts dans cette théorie. Rappelons que \(G\) est moyennable si et seulement si la représentation régulière gauche est faiblement contenue dans la représentation triviale \(1_G\). L'auteur considère le groupe \(F\), introduit par R. Thompson en logique, donné par la présentation \[ F=\langle x_0, x_1, x_2,\dots \mid x_i^{-1} x_nx_i= x_{n+1}, i<n \rangle; \] soit \(F_k\) le sous-groupe engendré par les éléments \(x_{k+1}, x_{k+2}, \dots, k\geq 1\). Il établit que pour tout \(k\) la représentation quasi-régulière, à savoir la représentation induite \(\text{ind}^F_{F_k} (1_{F_k})\), est moyennable. Le groupe \(F\) est démontré être intérieurement moyennable.