The complex projective line

Transcription

1 17 The complex projective line Now we will to study the simplest case of a complex projective space: the complex projective line. We will see that even this case has already very rich geometric interpretations. The close relation of complex arithmetic operation allows us to express geometric properties by nice algebraic structures. In particular, this case will be the first example of a projective space in which we will be properly able to deal with circles CP 1 Let us recall how we introduced the real projective line. We took the onedimensional space R considered it as a euclidean line and added one point at infinity. Topologically we obtained a circle. The best way to express the elements of the real projective line algebraically was to introduce homogeneous coordinates. For this we associated to each number x R the vector (x, 1) T and identified non-zero scalar multiples. Finally we identified the vector (1, 0) T (and all its non-zero multiples) with the point at infinity. We ended up with the space RP 1 = R2 {(0, 0) T }. R {0} We will do exactly the same for the complex numbers! To obtain the complex projective line we start with all the numbers in C. We associate every number z C with the vector (z,1) T and identify non-zero scalar multiples. By this we associate all vectors of the form (a, b) T ; b 0 to a number in C. What is left is the vector (1, 0) T and all its non-zero multiples. They will represent a unique point at infinity. All in all we obtain the space CP 1 defined by CP 1 = C2 {(0, 0) T }. C {0}

2 The complex projective line This space is isomorphic to all all complex numbers together with one point at infinity. What is the dimension of this space? In a sense this depends on the point of few. From the perspective of real numbers already the complex plane C is a two-dimensional object, since it requires two real parameters to specify the objects of C. Hence one would say that also CP 1 is a real-two-dimensional object since it differs from C just by one point. On the other hand from a complex perspective C is just a one-dimensional object. It contains just one (complex) parameter. As R is the real number line one could consider C as the complex number line. Thus C is complex-one-dimensional, and so is CP 1. This is the reason why we call the space CP 1 the complex projective line! There is another issue important to mention in this context. Identifying vectors that only differ by a non-zero multiple this time also includes multiplication by complex numbers. Thus (1, 2) T, (3i, 6i) T, (2 + i, 4 + 2i) T all represent the same point. For every point represented by (a, b) T with b 0 we can reconstruct the corresponding number of C by multiplication with 1/b. The dehomogenized number is then a/b C. We will also frequently identify CP 1 with the space Ĉ := C { }. As in the case of real numbers we use the standard rules for arithmetic operations with : 1/ = 0; 1/0 = ; 1 + = ; + = Testing geometric properties We will know consider identify the finite part of the complex projective (i.e. C) with the Euclidean plane R 2 and investigate how certain geometric properties can be expressed in terms of algebraic expressions in C. Most of these tests will however not correspond to projectively invariant properties. We will first express the property that two vectors associated to two complex numbers z 1 and z 2 point into the same (or in the opposite) direction. For this we simply have to calculate the quotient z 1 /z 2. Using polar coordinates we get (if z 2 0) z 1 /z 2 =(r 1 e iψ1 /r 2 e iψ2 ) = (r 1 /r 2 )e i(ψ1 iψ2). If the two vectors point in to the same direction we have ψ 1 = ψ 2 and the above expression is a positive real number. If they point in opposite directions we have ψ 1 = π + ψ 2 and (since e iπ = 1) the above number is real and negative. In other word we could say that in the complex plane 0 z 1 and z 2 are collinear if the quotient z 1 /z 2 is real (provided z 2 0). Using complex conjugation we can even turn this into an equality, since z is real if and only if z = z. We get z 1 and z 2 point into the same or opposite direction z 1 /z 2 = z 1 /z 2.

3 17.2 Testing geometric properties 269 C z 2 B z 1 A Fig Testing simple geometric properties. We can use a similar test to decide whether three arbitrary distinct numbers correspond to collinear points. Let A, B and C be three points in the complex plane. We represent these points by their corresponding complex numbers. Then these three points are collinear if the quotient (B A)/(C A) is real (provided the denominator does not vanish). This can is an immediate consequence of our previous considerations since this quotient simply compares the directions of the vectors B A and C A. Analogously to the last statement we get: A, B, C are collinear (B A)/(C A) =(B A)/(C A). Unfortunately, the last two expressions do not fit into our concepts of projective invariants. The next one, however, will. We will describe whether four points lie commonly on a circle. For this we first need a well known theorem of elementary geometry: the peripheral angle theorem. This theorem states that if we have a circle and a secant from A to B on this circle. Then all points on the circle on one side of the secant see the secant under the same angle. The two (invariant) angles on the left and on the right side of the secant sum up to an angle of π. Figure 17.2 illustrates this theorem. We omit a proof here (it can be found in many textbooks of elementary geometry) but we formulate the theorem on the level of complex numbers. For this we denote by A (B, C) the counterclockwise angle between the vectors B A and C A. We can summarize both cases of the peripheral angle theorem by measuring angle differences modulo multiples of π. In such a version the peripheral angle theorem reads: Theorem Let A and B, C, D be four points on a circle embedded in the complex plane. Then the angle difference C (A, B) D (A, B) is a multiple of π We postpone a proof of this version of the peripheral angle theorem until we have the possibility to prove it by a simple projective argument. If C and D

4 The complex projective line α α C α α D A B A π α π α B Fig The peripheral angle theorem. are on the same side of the secant through A and B both angles are equal and the difference is 0 π. If they are on opposite sides of the secant the difference is +π or π depending on the orientation. We will interpret this theorem in the light of complex numbers. The angle C (A, B) can be calculated as the angle ψ 1 of the following complex number C A C B = r 1e iψ1. Similarly the angle D (A, B) can be calculated as angle of D A D B = r 2e iψ2. We can get the difference of the angles simply by dividing these two numbers. We get C A / D A C B D B =(r 1/r 2 )e i(ψ1 ψ2). Since the angle difference is a multiple of π by the peripheral angle theorem this number must be real. Now, the amazing fact is: the expression on the left is nothing else but a cross-ratio in the complex projective plane. Thus we can say that if the four points are on a circle, this cross-ratio (A, B; C, D) is a real number. The converse is also almost true we only have to include the special case that the circle may have infinite radius and degenerates to a line. It is easy to check that if A, B, C, D are collinear the cross-ratio is real, as well. In our considerations we have to consider as real number as well. The cross-ratio assumes this value if either C = B or D = A. All in all we obtain the following beautiful theorem that highlights the close relation of complex projective geometry and the geometry of circles. Theorem Four points in CP 1 are cocircular or collinear if and only if the cross-ratio (A, B; C, D) is in R { }.

5 17.3 Projective transformations 17.3 Projective transformations 271 A projective transformation in CP 1 can (as in the real case) be expressed by a matrix multiplication. If the vector (z 1,z 2 ) T C 2 represents a point in CP 1 by homogeneous coordinates. Then a projective transformation can be expressed as τ: CP 1 CP 1 ( ) ( )( ) z1 ab z1 z 2 cd z 2 As usual the matrix must be non-degenerate. All entries can be complex. Matrices differing only by a non-zero scalar multiple represent the same projective transformation. Since the matrix has for complex parameters and scalar multiples will be identified we have three complex degrees of freedom (or six real degrees of freedom, if one prefers). A complex projective transformation is uniquely determined by determining three pairs of images and pre-images. The same method as introduced in the proof of Theorem 3.4 can be used to obtain the concrete matrix if three pre-images and images are given. As all projective transformations the projective transformations of CP 1 leave cross-ratios invariant. In particular if a cross-ratio of four points A, B, C, D is real then the cross-ratio of the image points τ(a),τ(b),τ(c),τ(d) will be real again. Combing this fact with Theorem 16.2 we obtain the following remarkable fact that by projective transformations circles and lines are transformed to circles and lines. Theorem Let τ be a projective transformation of CP 1. Let A, B, C, D be four points on a circle or a line then the images τ(a),τ(b),τ(c),τ(d) will also be on a circle or on a line. Proof. The proof is immediate since the fact that A, B, C, D is on a circle or on a line is characterized by (A, B; C, D) R { }. After applying the projective transformation the cross ratio is again in R { }. For reasons of convenience we will consider lines as vary large circles. One may think of lines as circles with infinite radius or alternatively of circles that pass through the point at infinity. This we may summarize the last theorem in the simple statement that a circle is mapped by a projective transformation τ: CP 1 CP 1 again into a circle. If we identify CP 1 with C { } we may also express a projective transformation by simple rational expression in «z C { }. A projective transformation represented by the matrix leads via a sequence of homogeniza- ab cd tion/transformation/dehomogenization to the following rational mapping: ( ( ) ( ) z ab z az + b z = 1) cd)( az + b 1 cz + d cz + d.

6 The complex projective line Fig Iterated application of a Möbius transformation. Special care has to be taken if is involved. is mapped to a/c and if the denominator of the ratio is zero then the result should be considered as zero. Such rational mapping Ĉ Ĉ is called a Möbius transformation. Möbius transformations are extensively studied on complex function theory. Our consideration show that they are nothing else but complex projective transformations in CP 1. We will briefly study different types of Möbius transformations. We will illustrate them by pictures in the finite part of C of CP 1. We will go from the most general to more special transformations. Fixpoints of projective transformations correspond to the Eigenvectors of the transformation matrices. Unlike the real case in the complex case the fixpoints will always be elements of CP 1 (In the real case it might have happened that a fixpoint is complex). If the two fixpoints are distinct we may specify a Möbius transformation by the position of the two fixpoints and another point and its image. Figure 16.3 illustrates a most general Möbius transformation. The transformation τ is defined by the two fixpoints (the green points) and the two red points one red point is mapped by τ to the other. The picture shows the iterated application of τ to one of the red points and the iterated application of τ 1 to one of the red points. The yellow points represent these images. The iterated application of τ and τ 1 converges to the two green fixpoints, respectively. Also the iterated images of a circle are shown. Observe that the images are again circles. Iterated application of Möbius transformation may generate pictures of mind-twisting beauty. Figure 16.4 shows an example of another Möbius trans-

7 17.3 Projective transformations 273 Fig Iterated application of a Möbius transformation. formation (and its inverse) applied to a circle. As before the transformation is defined by two fixed points and another pair of points. The circles produced by the iterated application of the transformation are colored blue and yellow alternatingly. A careful choice of the parameters produces interesting circle-packing patterns with several spiraling structures. Let us have a closer look at different kinds of Möbius transformations that may occur. We will express the transformations in the form z az+b cz+d. With non vanishing determinant ab cd. In particular if c = 0 and d = 1 the transformation assumes the simple form az + b. Thus in particular the linear transformations are Möbius transformations. If furthermore a = 1 we have a simple shift along a translation vector that corresponds to b considered as vector. If b = 0 and a is a real number then z a z is a simple scaling around the origin. If on the other hand b = 0 and a is a number on the unit circle a = e iψ then the transformation represents a rotation around the origin by an angle ψ. If a is neither real nor on the unit circle the transformation results in scaling around the origin combined with a rotation. If we iterate this process we produce spiral traces. The first row of Figure 16.5 represents the cases a is real, a is neither real nor on the unit circle, a is on the unit circle. Each arrow indicates the relation of a particular point and its image under the transformation. It is interesting to study the fixpoints for the simple mapping

8 The complex projective line z 1.2 z z (1.2 e i 2 π36 ) z z e i 2 π36 z z (t 1)+(1+t)z (1+t)+(t 1)z z (t 1)+(1+t)z (1+t)+(t 1)z z (t 1)+(1+t)z (1+t)+(t 1)z t =1.2 t =1.2 e i 2 π36 i 2 t = e π36 Fig Prototypes of Möbius transformations. ( ) a 0 z a z. The corresponding matrix is. The Eigenvectors are (0, 1) 01 T and (1, 0) T. Thus these operation leave the point 0 and the point of Ĉ fixed. The second row of Figure 16.5 shows essentially the same transformations. However, the fixpoints have been moved to other positions (namely 1 and 1). A projective transformation that maps 0 to 1 and maps to +1 is given for instance by g(z) = 1+z 1+z. The inverse of this map is given by g 1 (z) = 1 z 1+z. Calculating z g(t g 1 (z)) we obtain a transformation of the form z (t 1) + (1 + t)z (1 + t) + (t 1)z. Such a transformation leaves 1 and +1 invariant and except of this transforms the multiplication by the factor t to the situation with these new fixpoints. It is not an accident that first and last pictures of the second row

9 17.4 Inversions and Möbius Reflections 275 somehow look like flux pictures from electrodynamics. Möbius transformations play an essential role in the field theory of electrostatic or magnetic charges Inversions and Möbius Reflections There is one subtle but important point in the theory of transformations in CP 1 which we have neglected so far. Our considerations of Chapter 5 made a difference between harmonic maps and projective transformations. Over RP 1 these two concepts coincide. The fundamental theorem of projective geometry, however, states that harmonic maps are the more general concept. Every harmonic map can be expressed by a field automorphism followed by a projective transformation. In fact, unlike R the field C possesses a non-trivial field automorphism: complex conjugation and this is the only one. Thus in addition to projective transformations also complex conjugation z z leave the set of circles invariant. Geometrically this is not very surprising since complex conjugation just resembles a mirror reflection in the real axis. The surprising fact is that such simple operations like reflection not at all covered by projective transformations in CP 1. In a certain sense all Möbius transformations will be orientation preserving. The characteristic magnitude preserved by Möbius transformations can be considered as a kind of circle sidedness predicate. To make this precise we define what we mean by the positive side of a circle in CP 1. To be precise here we must consider oriented circles defined by three points A, B, C. We denote such an oriented circle by (A, B, C). Such an oriented circle consists of the circle through A, B, C together with some orientation information. One may think of this orientation as a rotation sense on the boundary such that we traverse the three points in the order A, B, C (if the circle degenerates into a line it may happen that one has to path through infinity if one traverses A, B, C in this order). At every point of the circles boundary one may think of an arrow indicating the rotation sense. Now we rotate this arrow counterclockwise by 90. The rotated arrows point to side of the that we call its positive side. It is important to notice that by this definition the positive side may be either the interior or the exterior of the circle, depending on the order of A, B, C. If the circle degenerates to a line then one of the two halfspaces defined by the line becomes positive, the other one becomes negative, again depending on the order of A, B, C. There is also an easy algebraic characterization of the positive side of the circle We will take this as the formal definition. Definition Let A, B, C be three points in CP 1. The positive side of the circle (A, B, C) defined by A, B, C is the set { p CP 1 the imaginary part of (A, B; C, p) is positive }.

10 The complex projective line Thus the imaginary part of the cross-ratio specifies the sides of the circle. It is positive on the positive side, zero on the boundary and negative on the negative side. The reader may convince himself that this definition agrees with our geometric definition. Now it is immediate to see that we have: Theorem Let A, B, C be three points of CP 1 and let τ be a projective transformation in CP 1. Then τ maps the interior of (A, B, C) to the interior of (τ(a),τ(b),τ(c)). Proof. The proof is immediate. Since τ is a projective transformation it does in particular preserve the sign of the imaginary part of cross ratios. Thus we may say that projective geometry in CP 1 does not only deal with circles it deals with oriented circles. Projective transformations map the positive sides of oriented circles to positive sides of other oriented circles. Hence there cannot be a projective transformation that leaves the real axis pointwise invariant and interchanges its upper and its lower halfspace. Likewise there cannot be a projective transformation that leaves a circle invariant and interchanges its interior and its exterior. Complex conjugation z z helps to add these kind of transformations to our geometric system. It leaves real axis (which is a special circle with infinite radius) invariant. But it interchanges its positive and its negative side. A general harmonic map is a field automorphism followed by a projective transformation. Hence we may express those harmonic maps that are not projective transformation in the form z a z + b c z + d ; ab cd 0. We will call a map of this kind an anti-möbius transformation. Anti-Möbius transformations preserve cocircularity but they interchange sidedness. In fact, every anti-möbius transformation has a circle that as a whole stays invariant under the transformation. Its interior and its exterior will be interchanged. We will not prove this here however we will restrict to a few important examples of such maps with important geometric significance. One of those maps we already encountered z z is the reflection in the real axis. Another important map is of this kind is given by ι: CP 1 CP 1 z 1 z This map is known as inversion in the unit circle. It leaves points on the complex unit pointwise circle invariant and interchanges the interior and the exterior of this circle. The map ι is an involution since ι(ι(z)) = z as an easy computation shows. The origin is mapped to the point. This operation is sometimes also called circle-reflection. However, one should be aware that this operation does not represent a map that mimics optical reflection in a circle.

11 17.5 Grassmann Plücker Relations 277 Reflections in other circles can also be expressed easily by using conjugation with a Möbius transformation τ. If τ maps the unit circle to another circle C then z τ(ι(τ 1 (z))) is the inversion in the circle C. The area of circle inversion is a very rich geometric field and by our considerations can be considered as very closely related to projective geometry. However, we will not go into details here. The interested reader is referred to the vast literature on inversive and circle geometry Grassmann Plücker Relations We now come back to our main track and investigate what conclusions we could draw from bracket expressions in CP 1. We will first investigate Grassmann-Plücker Relations. As over the reals in CP 1 the rank 2 three term Grassmann-Plücker Relation holds. For any points quadruple of points A, B, C, D CP 1 we have [AB][CD] [AC][BD] + [AD][BC] = 0.. There is an amazing consequence that we can draw from this formula that has a completely Euclidean interpretation. For this by AB we denote the distance prom a point A to a point B. Theorem (Ptolemy s Theorem) Let A, B, C, D be four points in the Euclidean plane. Then we have AB CD + AD BC AC BD. Equality holds if and only if the four points are on a common circle or line in the cyclic order A, B, C, D. Proof. First note the striking resemblance of Ptolemy s formula and the Grassmann Plücker Relations. The brackets simply seem to be replaced by distances. In fact we will see that Ptolemy s Theorem may be considered as a kind of shadow of the Grassmann Plücker Relation. For this we start with the relation [AB][CD] [AC][BD] }{{}}{{} α γ +[AD][BC] =0. }{{} β We represent each of the three summand by a single letter. Thus the relation simply reads α γ + β = 0. Rewriting this we get α + β = γ. Now these three variables are complex numbers. In polar coordinates they can be written as r α e iψα, r β e iψ β, r γ e iψγ. The length r α is just the product of the lengths of [AB] and [CD]. If we assume that the points are embedded in the standard homogenization with [XY ]=X Y we obtain that r α = AB CD. Similarly we have r β = AD BC and r γ = AC BD. By the triangle inequality we we get from α + β = γ. The inequality

12 The complex projective line B A D B b a c A C D C Fig Ptolemy s and Pythagoras s Theorem. α + β γ. This is just Ptolemy s expression. Equality is obtained in this expression if all three vectors point into the same direction. In this case we have [AB][CD] [AC][BD] = α γ R+ and [AD][BC] [AC][BD] = β γ R+ Thus in the case of equality these two cross ratios are real and positive. This is the case if and only if the four points are cocircular in this order. We will briefly have a look at a very special case of this theorem. Assume that A, B, C, D are the points of an rectangle in this order. The four points of a rectangle are cocircular. Furthermore opposite sides have same lengths and the diagonals have the same length. Thus the expression may be written as AB CD + AD BC = AC BD. AB 2 + BC 2 = AC 2. If we denote the sides of the rectangle by a and b and its diagonal by c then we get a 2 + b 2 = c 2. This is just Pythagoras s Theorem! In other words Pythagoras s Theorem may be considered as a shadow of a Grassmann-Plücker Relation. Algebraically it has exactly the same shape.