Bourbaki

Exercice 6, § 6

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

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

On pose bi(G)=dim⁡RHi(G)b_i(G) = \dim_{\mathbf{R}} H^i(G) pour i≥0i \geq 0, et, si XX désigne une indéterminée, PG(X)=∑i≥0bi(G)XiP_G(X) = \sum_{i \geq 0} b_i(G) X^i. a) Démontrer qu’on a bi(G)=∫GTrΛi(Ad g) dgb_i(G) = \int_G \mathrm{Tr} \Lambda^i(\mathrm{Ad}\, g)\, dg et PG(X)=∫Gdet⁡(1+X.Ad g) dgP_G(X) = \int_G \det(1 + X.\mathrm{Ad}\, g)\, dg (cf. Appendice II, lemme 1). b) En déduire les égalités ∑ibi(G)=2r\sum_i b_i(G) = 2^r, et ∑i(−1)ibi(G)=0\sum_i (-1)^i b_i(G) = 0 si dim⁡G>0\dim G > 0 (utiliser la formule de H. Weyl, ou l’exerc. 8 du § 2). c) On prend G=U(n,C)G = U(n, \mathbf{C}). Montrer que PG(X)P_G(X) est le coefficient de (X1…Xn)2n−2(X_1 \ldots X_n)^{2n-2} dans le polynôme 1n!(1+X)n∏1≤i,j≤n,i≠j(XXi+Xj)(Xi−Xj)\frac{1}{n!} (1 + X)^n \prod_{1 \leq i, j \leq n, i \neq j} (XX_i + X_j)(X_i - X_j) (à coefficients dans Z[X]\mathbf{Z}[X]).

Solution

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

Cité par

Rien.

Cite

Transcrit du volume imprimé. Non traduit.