Technische Universität München Zentrum Mathematik

Transcription

1 Technische Universität München Zentrum Mathematik Prof. Dr. Dr. Jürgen Richter-Gebert, Bernhard Werner Projective Geometry SS 28 Solutions for Worksheet (28-7-2) Question. concrete Cayley-Klein geometry Classwork a) Given the following dual conic B, determine the corresponding primal conic. B = b) Investigate whether the conic described by the primal-dual pair (, B) is degenerate or not. If it is degenerate, give coordinates for the components into which it decomposes, both primal and dual. c) Now this conic (, B) shall be used as the fundamental conic of a Cayley-Klein geometry. Describe the resulting measurements for distances and angles respectively as hyperbolic, parabolic or elliptic. d) Now assume c ang = 2. Characterize under which conditions the angle between two lines will be real. e) The cross ratio which can be constructed most easily is the one for harmonic sets. Use this to construct two lines which enclose a well-defined and real angle. Base your construction on a coordinate system into which the conic (, B) has been drawn. lso, give an explicit description of the value of the angle you are constructing. a) The primal conic can be computed as the adjugate matrix of the dual conic: = B = b) The conic is degenerated. The primal conic has rank and represents the double line l = (,, ) T, i.e. the x-axis. The dual conic has rank 2 and degenerates into 2 points = (,, ) T and = (2,, ) T. This can easily be verified by adding a suitable anti-symmetric matrix. l = = 2 = c) Distance measuring is Euclidean, i.e. parabolic, because of the double line. ngle measuring is hyperbolic, due to the 2 different points. d) Two lines different from l confine a real angle iff their intersections with l are not separated by and. I.e. when both lie inside of and or outside. In these cases, the cross-ratio is positive and the logarithm is real.

2 e) One can simply construct two points and B which are in harmonic position together with and. Doing so, and should not form a pair, as otherwise the angle is complex. Connecting these points and B with an arbitrary additional point P allows us to precisely determine the angle between the connecting lines P and B P. Together with the tangents to the conic, i.e. the connections of P with and, they form an harmonic set of lines. s and shall not form a pair, the cross-ratio relevant for the angle computation is not, but takes one of the other values possible for harmonic sets. I.e. either 2 or 2. This reciprocal gets transformed into a change of the sign of the angles but when we only consider the absolute value of the angle, we can ignore. The absolute angle is c ang ln(2) = ln(2) 2,3466. In particular, this does not depend on the position of P. So, the blue and red angles shown below are both equal to this value. P P B Question 2. Hyperbolically equidistant points Let, be the two reference points on a line to make hyperbolic distance measurements. Consider three more points, B, C on this line. a) Give a conditions on suitable cross-ratios which describes that, B, = B, C, and deduce a bracket polynomial equation that describes the same. b) In the picture below, construct a point C fulfilling the above distance relation. c) Construct two more steps with the same size in the same direction and try to re-use as much as possible of your previous auxiliary construction. B 2

3 a) In order to have equal distances, we need equal cross-ratios. I.e. (, B;, ) = (B, C;, ). Then we make the same computations as for the angles in RP 2 seen in the lecture: (, B;, ) = (B, C;, ) (, ; B, ) = (B, ; C, ) [B][ ] [ ][B] = [BC][ ] [B ][C] [B][B ][C] = [ ][BC][B] b) The above means that (C; BB; ) forms a quad set. So, we can make the usual quad set construction. c) We can use the lines through and in the construction again. nd also, the right-hand one of B and the one through C. Then, we iterate... B C B C 3

4 B C Question 3. Dual partner Given the following matrix Homework = as well as some other matrices B = B 2 = B 3 = B 4 = 2 2 a) Decide which of these matrices B i will form a valid primal-dual pair together with. Justify your answer using a suitable computation. b) Describe these primal and dual conics graphically, both if they form a valid pair and if they do not. c) Describe which Cayley-Klein geometries will result from each of the valid pairs. 4

5 a) The matrix has rank, so we cannot compute its dual directly. The matrices (, B) form a primal/dual pair iff B = λ E. nd here λ will have to, as has no inverse. 4 B = 4 B 2 = B 3 = 4 So, B 2 and B 3 are dual matrices compatible with. With B 4 we obivously get the zero matrix from B, too, but it does not represent a conic. b) represents as a primal matrix with rank a degenerate conic consisting of a double line. B 3 has rank 2 and therefore represents two distinct points on this line. B has rank and gives, hence, a double point on this line. B has rank 2 and so it represents two points. But they do not lie on, as otherwise B would be a dual partner to. = (,, ) B ˆ= (,, ) B 2 ˆ= (,, ) B 3 ˆ= (,, ) B B B 2 B 3 B 3 c) B 2 leads with a double point on a double line to a Galilean geometry. Measuring both distances and angles are parabolic/euclidean. B 3 leads with two real points on a double line to a pseudo-euclidean geometry. Measuring distances is parabolic/euclidean and measuring angles is hyperbolic. Question 4. Very degenerate a) Choose a degenerate conic where both primal and dual matrix have rank. State the matrices explicitly, and draw the resulting conic in a coordinate system. b) With respect to this Cayley-Klein geometry, construct a sequence of at least five equidistant points on an arbitrary line. c) lso construct a pencil of at least five equiangular lines through a common point. I.e., two consecutive lines of that sequence should form the same angle with one another. 5

6 The picture containing all steps can be found after the full discussion of the single parts. a) s the fundamental object has to be drawn and used for constructions, it should be finite. possible choice is = B = This conic is the y-axis as a double line with the origin as a double point on it. b) The construction of projective scales or projectively equidistant sequences of points can be done as we are used to in RP 2. The starting points are P and P and the vanishing point P, in which their connecting line and the reference conic intersect. c) For any given point Q there is exactly one tangent to the fundamental object. Namely, the connection g to the origin. Drawing any line not going through Q, one can use its intersection with the tangent as the point at infinity. One can now construct a sequence of equidistant points w.r.t. this point. Consecutive connecting lines g i of these points with Q have the same angle, since, first, the tangent takes on the role of the point at infinity for the angle measurement and, second, the cross-ratio of the lines equals the cross-ratio of the intersection points. 6

7 P P P 4 P 3 P 2 P B g 4 g 3 g 2 g g g Q 7