Bourbaki

Exercice 18, § 9

Algèbre, II, p. 204

Bourbaki marks this one as harder than the rest.

Soient E=P(V)E = \mathbf{P}(V) un plan projectif sur un corps KK, uu une application bijective de EE sur lui-même, provenant par passage aux quotients d’une application semi-linéaire bijective vv de VV sur lui-même, relative à un automorphisme σ\sigma de KK. a) Montrer que les quatre propriétés suivantes sont équivalentes: α)\alpha) pour tout x∈Ex \in E, xx, u(x)u(x) et u2(x)u^2(x) sont en ligne droite; β)\beta) toute droite de EE contient un point invariant par uu; γ)\gamma) par tout point de EE passe une droite invariante par uu; δ)\delta) pour toute droite DD de EE, les trois droites DD, u(D)u(D) et u2(D)u^2(D) ont un point commun. (Montrer d’abord que α\alpha) et γ)\gamma) sont équivalentes; en déduire, par dualité (II, p. 203, exerc. 12) que β)\beta) et δ)\delta) sont équivalentes; prouver enfin que γ)\gamma) entraîne β)\beta) et en déduire par dualité que β)\beta) entraîne γ)\gamma).) b) On suppose que uu possède les propriétés énoncées dans a). Montrer que s’il existe dans EE une droite DD invariante par uu et ne contenant qu’un seul point aa invariant par uu, uu provient par passage aux quotients d’une transvection vv de VV (II, p. 206, exerc. 11). (Montrer que toute droite invariante par uu contient aa; en considérant une droite ne passant pas par aa, montrer qu’il existe une droite D0D_0 passant par aa et contenant au moins deux points invariants par uu; conclure que tous les points de D0D_0 sont nécessairement invariants par uu). c) On suppose que uu possède les propriétés énoncées dans a). Montrer que s’il existe dans EE une droite DD invariante par uu et ne contenant que deux points invariants par uu, uu provient par passage aux quotients d’une dilatation vv de VV (II, p. 206, exerc. 11). (Si aa, bb sont les deux points de DD invariants par uu, montrer que toute droite invariante par uu passe par aa ou par bb; remarquer ensuite qu’il existe au moins deux autres points cc, dd distincts de aa, bb et invariants par uu, et par suite que la droite DcdD_{cd} passe par aa ou bb; conclure en prouvant que tous les points de DcdD_{cd} sont invariants par uu.) d) On suppose que uu possède les propriétés énoncées dans a) et que toute droite de EE invariante par uu contient au moins trois points distincts invariants par uu; il existe alors dans EE un repère projectif (II, p. 202, exerc. 10) dont chaque point est invariant par uu; en conclure qu’il existe une base (ei)1≤i≤3(e_i)_{1 \leq i \leq 3} de VV telle que uu provienne par passage aux quotients d’une application semi-linéaire vv de VV sur lui-même telle que v(ei)=eiv(e_i) = e_i pour 1≤i≤31 \leq i \leq 3. L’ensemble des points de EE invariants par uu est alors le plan projectif P(V0)\mathbf{P}(V_0), où V0V_0 est l’espace vectoriel sur le corps K0K_0 des invariants de σ\sigma, engendré par e1e_1, e2e_2, e3e_3. e) On suppose désormais que uu satisfait aux conditions de a) et de d), et que ni uu ni u2u^2 n’est l’identité. Montrer qu’il existe γ∈K\gamma \in K tel que γσ=γ\gamma^\sigma = \gamma et

(ξσ−ξ)σ=γ(ξσ−ξ) (\xi^\sigma - \xi)^\sigma = \gamma (\xi^\sigma - \xi)
pour tout ξ∈K\xi \in K (utiliser la condition α\alpha) de a), et l’existence de ζ∈K\zeta \in K tel que ζσ≠ζ\zeta^\sigma \neq \zeta). Montrer que γ≠−1\gamma \neq -1, puis que, pour tout ξ∈K\xi \in K tel que ξσ≠ξ\xi^\sigma \neq \xi, on a
(1+γ)ξσγ=γξ(1+γ) (1 + \gamma) \xi^\sigma \gamma = \gamma \xi (1 + \gamma)

(appliquer (1) en remplaçant ξ\xi par ξ2\xi^2); étendre (2) à tout ξ∈K\xi \in K en remarquant que ξ=η−ζ\xi = \eta - \zeta, où ησ≠η\eta^\sigma \neq \eta et ξσ≠ζ\xi^\sigma \neq \zeta. En conclure que γ≠1\gamma \neq 1, puis déduire de (1) et (2) que l’on a

ξσ=(1+γ)ξ(1+γ)−1 \xi^\sigma = (1 + \gamma)\xi(1 + \gamma)^{-1}
pour tout ξ∈K\xi \in K, et que γ+γ−1\gamma + \gamma^{-1} appartient au centre de KK. Réciproque. Donner un exemple où γ\gamma n’appartient pas au centre de KK, mais où γ+γ−1\gamma + \gamma^{-1} est dans ce centre.

Solution

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

Transcrit du volume imprimé. Non traduit.