Let V be a 2-dimensional vector space over a field K and a,b,c,d four distinct points of the projective line P(V). The cross-ratio of the quadruple (a,b,c,d), denoted by [adbc], is the set of elements ξ∈K such that there exist two vectors u,v in V for which (in the notation of no. 6) a=π(u),b=π(v),c=π(u+v),d=π(u+ξv). This definition extends immediately to any quadruple of distinct points of a set with a projective line structure (no. 11).
(a) Show that [adbc] is the set of conjugates of an element =1 of the multiplicative group K∗ and conversely that, when a,b,c, are distinct points of P(V) and ρ the set of conjugates of an element =1 of K∗, there exists a point d∈P(V) such that [adbc]=ρ. For d to be unique, it is necessary and sufficient that ρ consist of a single point.
(b) Show that
[acbd]=[bdac]=[adbc]−1 and
[dcab]=1−[adbc] (denoting by
ρ−1 (resp.
1−ρ) the set of conjugates
λξ−1λ−1=(λξλ−1)−1 (resp.
1−λξλ−1=λ(1−ξ)λ−1), where
ξ is an element of
ρ).
(c) Let (a,b,c,d),(a′,b′,c′,d′) be two quadruples of distinct points of P(V). For there to exist a bijective semi-linear mapping of V onto itself such that the bijective mapping f of 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′, it is necessary and sufficient that there exist an automorphism σ of K such that
[a′d′b′c′]=[adbc]σ. For there to exist a transformation
f of the projective group
PGL(V) satisfying the above conditions, it is necessary and sufficient that
[a′d′b′c′]=[adbc].