Bourbaki

Exercice 10, § 2

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

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

\* Dans cet exercice, on utilise le résultat de topologie algébrique suivant (formule de Lefschetz ¹) : soient X une variété compacte de dimension finie, et ff un morphisme de X dans elle-même. On suppose que l’ensemble F des points xx de X tels que f(x)=xf(x) = x est fini, et que pour tout x∈Fx \in F le nombre δ(x)=det⁡(1−Tx(f))\delta(x) = \det(1 - T_x(f)) est non nul. Si l’on désigne par Hi(f)H^i(f) l’endomorphisme de l’espace vectoriel Hi(X,R)H^i(X, \mathbf{R}) induit par ff (pour i≥0i \geq 0), on a

∑x∈Fδ(x)∣δ(x)∣=∑i≥0(−1)iTr⁡Hi(f). \sum_{x \in F} \frac{\delta(x)}{|\delta(x)|} = \sum_{i \geq 0} (-1)^i \operatorname{Tr} H^i(f).
Soient G un groupe de Lie compact connexe, T un tore maximal de G. Pour g∈Gg \in G, on note τ(g)\tau(g) l’automorphisme de la variété G/TG/T déduit de la multiplication à gauche par gg. a) Soit tt un élément de T tel que le sous-groupe engendré par tt soit dense dans T. Montrer que les points fixes de τ(t)\tau(t) sont les classes nTnT pour n∈NG(T)n \in N_G(T). En déduire qu’on a (NG(T):T)=∑i(−1)idim⁡RHi(G/T,R)(N_G(T):T) = \sum_i (-1)^i \dim_{\mathbf{R}} H^i(G/T, \mathbf{R}). b) Soit gg un élément quelconque de G ; démontrer que l’ensemble des points fixes de τ(g)\tau(g) est non vide, et en déduire une autre démonstration du th. 2. \*

Solution

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

Cité par

Cite

Transcrit du volume imprimé. Non traduit.