Bourbaki

Exercise 18, § 9

Tag 05WF, permanent. Cite it as [Bourbaki, Tag 05WF].

Algebra, II, p. 204

Bourbaki marks this one as harder than the rest.

Let E=P(V)E = \mathbf{P}(V) be a projective plane over a field KK, uu a bijective mapping of EE onto itself, obtained by passing to quotients from a bijective semilinear mapping vv of VV onto itself, relative to an automorphism σ\sigma of KK. a) Prove that the following four properties are equivalent: α)\alpha) for every x∈Ex \in E, xx, u(x)u(x) and u2(x)u^2(x) are on a straight line; β)\beta) every right of EE contains a point invariant under uu; γ)\gamma) through every point of EE passes a right invariant under uu; δ)\delta) for every right DD of EE, the three rights DD, u(D)u(D) and u2(D)u^2(D) have a common point. (Prove first that α\alpha) and γ)\gamma) are equivalent; deduce, by duality (II, p. 203, Exercise 12), that β)\beta) and δ)\delta) are equivalent; prove finally that γ)\gamma) implies β)\beta) and deduce by duality that β)\beta) implies γ)\gamma).) b) Suppose that uu has the properties stated in a). Prove that if there exists in EE a right DD invariant under uu and containing only one point aa invariant under uu, uu is obtained by passing to quotients from a transvection vv of VV (II, p. 206, Exercise 11). (Prove that every right invariant under uu contains aa; by considering a right not passing through aa, prove that there exists a right D0D_0 passing through aa and containing at least two points invariant under uu; conclude that all points of D0D_0 are necessarily invariant under uu.) c) Suppose that uu has the properties stated in a). Prove that if there exists in EE a right DD invariant under uu and containing only two points invariant under uu, uu is obtained by passing to quotients from a dilation vv of VV (II, p. 206, Exercise 11). (If aa, bb are the two points of DD invariant under uu, prove that every right invariant under uu passes through aa or through bb; then observe that there exist at least two other points cc, dd distinct from aa, bb and invariant under uu, and consequently that the right DcdD_{cd} passes through aa or bb; conclude by proving that all points of DcdD_{cd} are invariant under uu.) d) Suppose that uu has the properties stated in a) and that every right of EE invariant under uu contains at least three distinct points invariant under uu; there then exists in EE a projective frame (II, p. 202, Exercise 10) each point of which is invariant under uu; conclude that there exists a basis (ei)1≤i≤3(e_i)_{1 \leq i \leq 3} of VV such that uu is obtained by passing to quotients from a semilinear mapping vv of VV onto itself such that v(ei)=eiv(e_i) = e_i for 1≤i≤31 \leq i \leq 3. The set of points of EE invariant under uu is then the projective plane P(V0)\mathbf{P}(V_0), where V0V_0 is the vector space over the field K0K_0 of the invariants of σ\sigma, generated by e1e_1, e2e_2, e3e_3. e) Suppose henceforth that uu satisfies the conditions of a) and d), and that neither uu nor u2u^2 is the identity. Prove that there exists γ∈K\gamma \in K such that γσ=γ\gamma^\sigma = \gamma and

(ξσ−ξ)σ=γ(ξσ−ξ) (\xi^\sigma - \xi)^\sigma = \gamma (\xi^\sigma - \xi)
for every ξ∈K\xi \in K (use the condition α\alpha) of a), and the existence of ζ∈K\zeta \in K such that ζσ≠ζ\zeta^\sigma \neq \zeta). Prove that γ≠−1\gamma \neq -1, then that, for every ξ∈K\xi \in K such that ξσ≠ξ\xi^\sigma \neq \xi, one has
(1+γ)ξσγ=γξ(1+γ) (1 + \gamma) \xi^\sigma \gamma = \gamma \xi (1 + \gamma)

(applying (1) by replacing ξ\xi by ξ2\xi^2); extend (2) to every ξ∈K\xi \in K by noting that ξ=η−ζ\xi = \eta - \zeta, where ησ≠η\eta^\sigma \neq \eta and ξσ≠ζ\xi^\sigma \neq \zeta. Conclude that γ≠1\gamma \neq 1, then deduce from (1) and (2) that one has

ξσ=(1+γ)ξ(1+γ)−1 \xi^\sigma = (1 + \gamma)\xi(1 + \gamma)^{-1}
for every ξ∈K\xi \in K, and that γ+γ−1\gamma + \gamma^{-1} belongs to the center of KK. Converse. Give an example where γ\gamma does not belong to the center of KK, but where γ+γ−1\gamma + \gamma^{-1} is in this center.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Translated with machine help, not yet reviewed by a person.