Bourbaki

Exercise 11, § 9

Algebra, II, 413

Let VV be a 2-dimensional vector space over a field KK and a,b,c,da, b, c, d four distinct points of the projective line P(V)\mathbf{P}(V). The cross-ratio of the quadruple (a,b,c,d)(a, b, c, d), denoted by [abdc] \begin{bmatrix} a & b \\ d & c \end{bmatrix} , is the set of elements ξ∈K\xi \in K such that there exist two vectors u,vu, v in VV for which (in the notation of no. 6) a=π(u),b=π(v),c=π(u+v),d=π(u+ξv)a = \pi(u), b = \pi(v), c = \pi(u + v), d = \pi(u + \xi v). This definition extends immediately to any quadruple of distinct points of a set with a projective line structure (no. 11).

(a) Show that [abdc] \begin{bmatrix} a & b \\ d & c \end{bmatrix} is the set of conjugates of an element ≠1\neq 1 of the multiplicative group K∗K^* and conversely that, when a,b,ca, b, c, are distinct points of P(V)\mathbf{P}(V) and ρ\rho the set of conjugates of an element ≠1\neq 1 of K∗K^*, there exists a point d∈P(V)d \in \mathbf{P}(V) such that [abdc]=ρ \begin{bmatrix} a & b \\ d & c \end{bmatrix} = \rho. For dd to be unique, it is necessary and sufficient that ρ\rho consist of a single point.

(b) Show that

[abcd]=[badc]=[abdc]−1 \begin{bmatrix} a & b \\ c & d \end{bmatrix} = \begin{bmatrix} b & a \\ d & c \end{bmatrix} = \begin{bmatrix} a & b \\ d & c \end{bmatrix}^{-1}
and
[dacb]=1−[abdc] \begin{bmatrix} d & a \\ c & b \end{bmatrix} = 1 - \begin{bmatrix} a & b \\ d & c \end{bmatrix}
(denoting by ρ−1\rho^{-1} (resp. 1−ρ1 - \rho) the set of conjugates λξ−1λ−1=(λξλ−1)−1\lambda \xi^{-1} \lambda^{-1} = (\lambda \xi \lambda^{-1})^{-1} (resp. 1−λξλ−1=λ(1−ξ)λ−11 - \lambda \xi \lambda^{-1} = \lambda (1 - \xi) \lambda^{-1}), where ξ\xi is an element of ρ\rho).

(c) Let (a,b,c,d),(a′,b′,c′,d′)(a, b, c, d), (a', b', c', d') be two quadruples of distinct points of P(V)\mathbf{P}(V). For there to exist a bijective semi-linear mapping of VV onto itself such that the bijective mapping ff of P(V)\mathbf{P}(V) onto itself, obtained when passing to the quotients, satisfies the conditions f(a)=a′,f(b)=b′,f(c)=c′,f(d)=d′f(a) = a', f(b) = b', f(c) = c', f(d) = d', it is necessary and sufficient that there exist an automorphism σ\sigma of KK such that

[a′b′d′c′]=[abdc]σ. \begin{bmatrix} a' & b' \\ d' & c' \end{bmatrix} = \begin{bmatrix} a & b \\ d & c \end{bmatrix}^\sigma.
For there to exist a transformation ff of the projective group PGL(V)\mathbf{PGL}(V) satisfying the above conditions, it is necessary and sufficient that
[a′b′d′c′]=[abdc]. \begin{bmatrix} a' & b' \\ d' & c' \end{bmatrix} = \begin{bmatrix} a & b \\ d & c \end{bmatrix}.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.