Bourbaki

Exercice 11, § 6

Étiquette 01FW, permanente. À citer comme [Bourbaki, Tag 01FW].

Groupes et algèbres de Lie, IX, p. 124

Soit u un automorphisme d'ordre deux de G ; on note K la composante neutre de l'ensemble des points fixes de u, f\mathfrak{f} son algèbre de Lie, et X l'espace symétrique G/K (§ 1, exerc. 8). a) Montrer que toute forme différentielle G-invariante ω\omega sur X vérifie dω=0d\omega = 0 (observer que u induit sur Altp(g/f)\mathrm{Alt}^p(g/\mathfrak{f}) la multiplication par (−1)p(-1)^p). b) En déduire un isomorphisme de l'algèbre graduée H(G/K) sur la sous-algèbre graduée de Alt(g/\mathfrak{f}) formée des éléments K-invariants. c) On pose bi(G/K)=dim⁡RHi(G/K)b_i(G/K) = \dim_R H^i(G/K) pour i⩾0i \geqslant 0; pour k∈Kk \in K, on note Ad−k\mathrm{Ad}^- k la restriction de Ad k au sous-espace propre de L(u) relatif à la valeur propre — 1. Soit dkdk la mesure de Haar sur K de masse totale 1. Démontrer les formules bi(G/K)=∫KTr Λi(Ad−k) dkb_i(G/K) = \int_K \mathrm{Tr}\, \Lambda^i(\mathrm{Ad}^- k)\, dk et

∑i⩾0bi(G/K) Xi=∫Kdet⁡(1+X Ad−k) dk. \sum_{i \geqslant 0} b_i(G/K)\, X^i = \int_K \det(1 + X\, \mathrm{Ad}^- k)\, dk.
d) Si de plus K est de rang maximum, prouver que l'algèbre H(G/K) est nulle en degrés impairs (observer qu'on a u=Int ku = \mathrm{Int}\, k, avec k∈Kk \in K). e) Calculer l'algèbre graduée H(S_n). En déduire que S_n admet une structure de groupe de Lie (compatible avec sa structure de variété) si et seulement si n est égal à 1 ou 3.

Solution

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

Cité par

Rien.

Cite

Transcrit du volume imprimé. Non traduit.