Solutions of Homework C3(9) 1 Four points A; B; C; D are given on the projective line RP1. Their homogeneous coordinates are A = [2 : 2] ;B = [1 : 5] ;C = [3 : 7] ;D = [2 : 1] : x Calculate the affine coordinate u of these points, (u = y ) and calculate cross-ratio of these points. 2 1 3 2 u = = 1 ; u = ; u = ; u = = 2 : A 2 B 5 C 7 D 1 Calculate the cross-ratio (A; B; C; D). All points have finite coordinate (they are not at infinity). Thus we can calculate the cross-ratio using affine coordinate u. (u − u )(u − u ) (A; B; C; D) = A C B D = (1a) (uA − uD)(uB − uC ) 3 1 1 − 7 5 − 2 9 = 1 3 = − : (1 − 2) 5 − 7 4 Sure one can calculate the cross-ratio using homogeneous coordinates. (This works for any four points not only for finite points): x x x x det A C det B D y y y y (A; B; C; D) = A C B D = (1b) x x x x det A D det B C yA yD yB yC 2 3 1 2 det det 2 7 5 1 8 · (−9) 9 = = = − : 2 2 1 3 (−2) · (−8) 2 det det 2 1 5 7 2 As usual denote by (A; B; C; D) the cross-ratio of the four points A; B; C; D on the projective line. a) Does the cross-ratio change if we change the order of these points? b) Let (A; B; C; D) = λ. Calculate the cross-ratios (B; A; C; D), (A; B; D; C) and (B; A; D; C). ∗ Calculate cross- ratio (A; C; B; D). ∗ Calculate cross-ratio of arbitrary permutation of the points A; B; C; D. We see from definition of cross-ratio that it depends on the order of the points. Show that 1 (B; A; C; D) = if (A; B; C; D) = λ ; (2a) λ 1 and the same is for permutation (A; B; D; C) 1 (A; B; D; C) = if (A; B; C; D) = λ ; (2a0) λ and 00 (A; B; C; D) = (C; D; B; A) : (2a ) 00 First prove relation (2a ) It follows from equation (1a) that (u − u )(u − u ) (u − u )(u − u ) (C; D; A; B) = C A D B = A C B D = (A; B; C; D) : (uC − uB)(uD − uA) (uA − uD)(uB − uC ) Now prove relation (2a) It follows from equation (1a) that (u − u )(u − u ) 1 1 (B; A; C; D) = B C A D = = : (u −u )(u −u ) (uB − uD)(uA − uC ) A C B D (A; B; C; D) (uA−uD )(uB −uC ) Relation (2a') can be proved analogously. 00 Remark 1Sure relations (2a) and (2a') inply relation (2a ). Remark 2 Strictly speaking one cannot use formula (1a) for affine coordinates in the case if one of points is at infinity. On the other hand one can see using continuity arguments that formulae (2a,2a') are valid for arbitrary points if they are valid for finite points (see also the second solution of next exercise). (Sure one can straightforwardly apply formulae (1b) for homogeneus coordinates.) Remark 3 Cross-ratio cannot take value 1. 00 ∗ Relations (2a,2a') and (2a ) induce natural question. How transform cross-ration under arbitrary permutation of four points. One can see by direct calculation that (A; B; C; D) + (A; C; B; D) = 1 : (2b) 00 Relations (2a,2a',2a and 2b) define action of permutation group S4 on cross-ratio: 1 1 1 (A; C; D; B) = = = ; (A; C; B; D) 1 − (A; B; C; D) 1 − λ 1 1 (B; C; A; D) = 1 − (B; A; C; D) = 1 − = 1 − ; (A; B; C; D) λ and so on. 3 Four points A; B; C; D sre given on the projective line. Show that the cross-ratio u − u (A; B; C; D) = A C uB − uC 2 in the case if point D is at infinity. Choose homogeneous coordinates of these points: A = [xA : yA] = [uA : 1] ;B = [xB : yB] = [uB : 1] ;C = [xC : yC ] = [uC : 1] ; andD = [1 : 0] since the point D is at infinity. According formula (1b) we have: (A; B; C; D) = x x x x u u u 1 det A C det B D det A C det B y y y y 1 1 1 0 u − u A C B D = = A C x x x x u 1 u u u − u det A D det B C det A det B C B C yA yD yB yC 1 0 1 1 Second solution In spite of the fact that point D is at infinity one can still apply formula (1a) using continuity considerations: instead coordinate uD = 1 we will put a big N, then consider a limit N ! 1: (u − u )(u − u ) (u − u )(u − N) u − u (A; B; C; D) = A C B D = lim A C B = A C (uA − uD)(uB − uC ) N!infty (uA − N)(uB − uC ) uB − uD uB −N since limN!infty = 1. uA−N 4 Four points A; B; C; D 2 RP2 are given in homogeneous coordinates by 9 1 A = [1 : −1 : 1] ;B = [10 : −15 : 5] ;C = 1 : − : ;D = [1 : 0 : 2] : 5 5 Show that these points are collinear. Calculate their cross-ratio. First show that these points are collinear. We will do it in two different ways 1-st solution All these four points are not at infinity. Calculate coordinates (u; v) of x y these points on the projective plane (u = z ; v = z ) xA yA xB yB uA = = 1 ; vA = = −1 ; uB = = 2 ; vB = = −3 ; zA zA zB zB xC yC xD 1 yD uC = = 5 ; vC = = −9 ; uD = = ; vD = = 0 : (3) zC zC zD 2 zD One can see that all these points belong to the same line 2u + v = 1: 2uA + vA = 2uB + vB = 2uC + vC = 2uD + vD = 1 ; i.e. all these points belong to the same line, and they are collinear. Second way to see why these points are collinear: 3 One can do it also using homogeneous coordinates: One can see that 9 1 A = [1 : −1 : 1] B = [10 : −15 : 5] ;C = 1 : − : = [5 : −9 : 1] ;D = [1 : 0 : 2] ; 5 5 and both matrices TABC , TABD corresponding to triples of points (A; B; C) and (B; C; D) are degenerate 0 1 5 1 1 0 1 2 1 1 det TACD = det @ −1 −9 0 A = 0 ; det TABD = det @ −1 −3 0 A = 0 : 1 1 2 1 1 2 This means that points A; B; D are collinear and points A; C; D are collienar also. We see that all these points belong to the line lAD; they all are collinear. Now calculate cross-ratio of points A; B; C; D. We see that all these points have distinct coordinate u (see equation (3)). Calculate cross-ratio using this affine coordinate: 1 (uA − uC )(uB − uD) (1 − 5) 2 − 2 (A; B; C; D) = = 1 = 4 : (uA − uD)(uB − uC ) 1 − 2 (2 − 5) One can calculate cross-ratio using instead affine coordinate u, another affine coordinate v: (v − v )(v − v ) (−1 + 9) (−3 − 0) (A; B; C; D) = A C B D = = 4 : (vA − vD)(vB − vC ) (−1 − 0) (−3 − (−9)) 5 Two points A; B 2 RP2 are given in homogeneous coordinates, A = [2 : 2 : 4], B = [3 : 7 : 2]. Consider the projective line AB passing through the points A; B. Show that the point C = [1 : 2 : 1] belongs to the line AB, i.e. the points A; B; C are collinear. Show that a point Eλ,µ = [2λ + 3µ : 2λ + 7µ : 4λ + 2µ] where λ, µ are arbitrary real numbers belongs to the line AB Show that the point K = [2 : 0 : 1] does not belong to the line AB, i.e. the points A; B; K are not collinear. Consider a point D = [1 : 3 : 0] which is at infinity. Show that this point is collinear with the points A and B, i.e. it also belongs to the projective line AB. ∗ Calculate the cross-ratio (A; B; C; D). Let X = [a : b : c] be an arbitrary point on the projective plane RP2. Consider the matrix 0 2 3 a 1 TABX = @ 2 7 b A : (5) 4 2 c We know that a point X = [a : b : c] belongs to the line AB which passes through points A = [2 : 2 : 4] and B = [3 : 7 : 2], i.e. points A; B and X are collinear if and only if matrix 4 TABX is degenerate, i.e. det TABX = 0. Recall the geometrical meaning of this condition. The point X 2 RP2 is represented by the line in R3 which passes trhough origin and the 3 point (a; b; c) 2 R , i.e. the line directed along the vector r(a;b;c) attached at the origin. (This line represents the point X = [a : b : c].) The line AB 2 RP2 on the projective plane is represented by the plane in R3 which passes through origin and the points (2; 2; 4) 2 R3, (3; 7; 2) 2 R3, i.e. the plane which is spanned by the linear combination of the vectors r(2;2;4) and r(3;7;4). Hence X 2 lAB means that the vector r(a:b;c) is linear combination of vectors r(2;2;4) and r(3;7;4). In other words the third column of the matrix TABX in equation (5) is linear combination of first and second column, i.e.