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, 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 sur X vérifie (observer que u induit sur la multiplication par ). 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 pour ; pour , on note la restriction de Ad k au sous-espace propre de L(u) relatif à la valeur propre — 1. Soit la mesure de Haar sur K de masse totale 1. Démontrer les formules et
Solution
Aucune solution n’a encore été écrite.
Cité par
Rien.