Bourbaki

Exercice 23, § 6

Groupes et algèbres de Lie, III

Soit G un groupe de Lie réel, et soit c=(U,φ,E)c = (U, \varphi, E) une carte de la variété G centrée en l’élément neutre e. Si x∈Ux \in U, on note ∣x∣c|x|_c la norme de φ(x)\varphi(x) dans l’espace de Banach E. a) Montrer que, si c′=(U′,φ′,E′)c' = (U', \varphi', E') est une autre carte centrée en e, il existe des constantes λ>0\lambda > 0 et μ>0\mu > 0 telles que

μ∣x∣c≤∣x∣c′≤λ∣x∣c \mu|x|_c \leq |x|_{c'} \leq \lambda|x|_c

pour tout x∈Gx \in G assez voisin de e. b) Montrer que, pour tout ρ>0\rho > 0, il existe un voisinage UρU_\rho de e contenu dans U tel que, pour x,yx, y dans UρU_\rho, on ait (x,y)∈Uρ(x, y) \in U_\rho et

∣(x,y)∣c≤ρinf⁡(∣x∣c,∣y∣c). |(x, y)|_c \leq \rho \inf(|x|_c, |y|_c).

c) On suppose G de dimension finie. Soit Γ\Gamma un sous-groupe discret de G. On applique b) avec 0<ρ<10 < \rho < 1 et l’on choisit UρU_\rho relativement compact. L’ensemble Uρ∩ΓU_\rho \cap \Gamma est fini. Soient

{e=γ0,γ1,…,γm} \{e = \gamma_0, \gamma_1, \ldots, \gamma_m\}

ses éléments, numérotés de telle sorte que

∣γ0∣c≤∣γ1∣c≤⋯≤∣γm∣c. |\gamma_0|_c \leq |\gamma_1|_c \leq \cdots \leq |\gamma_m|_c.

Montrer que, si i≤mi \leq m et j≤mj \leq m, le commutateur (γi,γj)(\gamma_i, \gamma_j) est égal à l’un des γk\gamma_k, avec k<inf⁡(i,j)k < \inf(i, j). En déduire que le sous-groupe engendré par Uρ∩ΓU_\rho \cap \Gamma est nilpotent de classe ≤m\leq m.

EXERCICES

Déduire de ce qui précède l’existence d’un voisinage V de e tel que, pour tout sous-groupe discret Γ de G, il existe un sous-groupe intégral nilpotent N de G contenant V ∩ Γ.

d) On suppose G connexe de dimension finie, contenant une suite croissante de sous-groupes discrets D_n de réunion dense dans G. Alors G est nilpotent. (En utilisant c), prouver l’existence d’un sous-groupe central à un paramètre H qui rencontre D_n pour n assez grand en un point distinct de e. Raisonner par récurrence sur dim G, en distinguant deux cas suivant que H est fermé ou relativement compact (exerc. 21 a)).)

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.