Next: Bibliography Up: Geometry of the Complex Previous: The complex projective line

# The action of on

From the algebraic viewpoint, there is little difference between the description of the action of the complex projective group on complex projective space and the description of the action of the real projective group on real projective space.

Exercise 2.1 (00)   Show that the action of on defined by is transitive. Show that a matrix fixes all points of if and only if it is a multiple of the indentity.

Definition 2.1   The projective group , is the quotient of by the equivalence relation: two matrices are equivalent if they are multiple of each other.

Exercise 2.2 (00)   Use exercise 2.1 to define a transitive action of on . Show that if an element of the projective group fixes all points in projective space, then it is the identity.

Exercise 2.3   Identify with plus the point at infinity and let

be an invertible (complex) matrix. Show that the effect of the action of on a complex number equals .

Transformations of the form are commonly called Moebius transformations or linear fractional transformations.

Exercise 2.4 (00)   Using the formulas of chapter 2, it is easy to extend the first and second fundamental theorems of projective geometry to the complex setting.
1. Show that there exists a unique transformation of the form

that takes a triple of distinct complex numbers to .
2. Write the formula for the projective transformation that takes to (i.e., the inverse of the above transformation).
3. Write the formula for the transformation that takes to .

As a trivial consequence of this exercise we have:

Theorem 2.1 (First fundamental theorem)   If and are two triples of distinct points on the complex projective line, there exits a unique projective transformation that sends to , to and to .

Definition 2.2   Let be a quadruple of points on the complex projective line with , and different from each other, and let be the unique projective transformation taking , and respectively onto , and . The cross-ratio is defined as the point .

Exercise 2.5 (00)   By indentifying the complex projective line with , verify that the cross-ratio of four complex numbers can be written as:

Exercise 2.6 (00)   Show that if is a projective transformation and is a quadruple of points on the projective line with , and different from each other, then the cross-ratio equals .

Theorem 2.2 (Second fundamental theorem)   A map from the complex projective line to itself is a projective transformation if and only if it preserves cross-ratios.

Exercise 2.7 (00)   Prove theorem 2.2.

The preceding exercises -- exact copies of those of chapter 2 -- may lull the reader into believing that the geometry of the complex projective line is similar to that of the real projective line. We will presently see that the former is infinitely richer and more beautiful. For one thing, circles play a privileged role in complex projective geometry.

Remark. From now on straight lines and circles will be simply called circles. The intuitive idea is that a straight line is a circle of infinite radius, or just the stereographic projection of a circle passing through the north pole.

Exercise 2.8 (10)   Show that four points in are on the same circle if and only if their cross-ratio is a real number.

Exercise 2.9 (05)   Write the equation of the circle passing through points and .

An obvious consequence of exercise 2.8 is the following important result.

Proposition 2.1   Moebius transformations send circles to circles.

Exercise 2.10 (10)   Show that given any two circles there is always a Moebius transformation that takes one circle to the other.

To better understand Moebius transformations, let us consider three particular cases. The first two cases are already familiar: transformations of the form are translations of the number thought of as a vector on the plane, transformations of the form are dilations combined with rotations around the origin. The third case, the inversion , is more interesting.

Exercise 2.11 (15)   Take a point on and let be the inverse image of by stereographic projection from the north pole of the unit sphere. Trace a line from to the south pole and mark the point where this line intersects . Show that this point is .

The reader should always keep in mind that Moebius transformations are just complex projective transformations when seen in the model that identifies with plus a point at infinity. Changing from this model to the sphere usually leads to new insights such as the one in the exercise above. Another example is supplied by the following exercise:

Exercise 2.12 (*15)   Show that a Moebius transformation induces a rotation on the sphere if and only if and . In other words if and only if the matrix

is unitary. Hint: rotations fix a pair of antipodal points.

Since we can multiply all entries of by the same nonzero complex number without changing the transformation, we may assume that the determinant of equals 1. Use this to identify the group as the double cover of the group of rotations .

Exercise 2.13 (20)   Show that any Moebius transformation is the composition of translations, dilations, rotations, and inversions.

Exercise 2.14 (10)   The previous result allows us to give a new proof that circles are preserved under Moebius transformations. In fact, it suffices to prove that the inversion sends circles to circles.
• Let and be real numbers and let be a complex number. Show that the equation defines a circle if and only if . Conversely, show that any circle has an equation of this form.
• Use this to show that Moebius transformations send circles to circles.
• An anti-homography is a transformation of the form , with . Show that anti-homographies also send circles to circles.

Besides sending circles to circles, Moebius transformations have the important property that they preserve angles and orientation. To place this in the proper context, we will study all transformations that satisfy this property.

Exercise 2.15 (20)   Show that the linear transformation from to itself defined by the invertible matrix

preserves angles and orientation if and only if and . In other words, represents multiplication by a nonzero complex number. Hint: preserves orientation if and only if its determinant is positive.

Definition 2.3   A smooth map from an open subset of to is said to preserve angles if at each point in its domain the differential

is a linear transformation that preserves angles. Likewise, is said to preserve orientation if its differential is a linear map that preserves the orientation.

A smooth map from an open subset of to that preserves angles and orientations is said to be conformal.

Exercise 2.16 (10)   This exercise shows that conformal maps are characterized by a simple system of differential equations.
1. Show that a smooth map from an open subset of to is conformal if and only if the Cauchy-Riemann equations hold:

and

2. Let . Show that is conformal if and only if is identically zero.
3. Show that if is a conformal transformation, then and are harmonic functions:

Exercise 2.17 (10)   Let and be two conformal maps defined on some open subset of . In this exercise, we will consider the values of and to be complex numbers rather than just points or vectors in .
1. Show that the function is a conformal map.
2. Show that the function (complex multiplication) is a conformal map. Conclude that any complex polynomial defines a conformal map.
3. Assuming that is not identically zero, show that the function is conformal on its domain of definition. Conclude that a rational function (i.e., a quotient of two polynomials) is conformal on its domain of definition.

The previous exercise proves the following important result:

Theorem 2.3   Moebius transformations are conformal.

Using that Moebius transformations preserve angles, we can give a simple proof that the stereographic projection preserves angles.

Exercise 2.18   Use exercise 1.7, the above theorem, and the fact that rotations on the sphere can be represented by Moebius transformations to show that stereographic projection preserves angles.

Next: Bibliography Up: Geometry of the Complex Previous: The complex projective line
Juan Carlos Alvarez 2000-10-27