235
C Topology The main aim of the course was to show undergraduates in their final
C.1 Covering projections . . . . . . . . . . . . . . . . . . . . . . .233 year how the basic ideas of pure mathematics they had studied in previous
C.2 The genus is a topological invariant . . . . . . . . . . . . . . . 240 years could be brought together in one of the showpieces of mathematics. In
. C.3 Spheres with handles . . . . . . . . . . . . . . . . . . . . . . . 249

and
Z H (Z3 + Z2 + I)+.
One ends up looking at the corresponding complex algebraic curves, in these
cases
y2 = x3
and
y2 = x3 x2+ + 1.
Complex analysis will be important in Chapter 5 and Chapter 6 of this book.
We shall also investigate the topology (that is, roughly speaking, the
shape) of complex algebraic curves in Chapter 4 and $7.3. It is of course
not possible to sketch a complex algebraic curve in C 2 in the same way that
we can sketch real algebraic curves in R2, because C2 has four real dimen
sions. None the less, we can draw sketches of complex algebraic curves (with
some extra points added "at infinity"), which are accurate topological pictures
of the curves but which do not reflect the way they sit inside C2. For some
examples, see figure 3.1. It is important to stress the fact that these pictures
can only represent the complex curves as topological spaces, and not the way
they lie in C2. For example, the complex curve defined by xy = 0 is the
union of the two "complex lines" defined by x = 0 and y = 0 in C2, which
meet at the origin (0,O). Topologically when we add a point at infinity to
each complex line it becomes a sphere, and the complex curve becomes the
union of two spheres meeting at a point as in figure 1.2. This picture, though
topologically correct, represents the two complex lines as tangential to each
other at the point of intersection, and this is not the case in C2. We cannot
avoid this problem without making the complex lines look "singular" at the
origin as in figure 1.3, which again is not really the case.
but was instead the locus of all points having equal distance r from a fixed
point P = (a, b). Similarly a parabola to the Greeks was the locus of all points
having equal distance from a given point P and a given line L, while an ellipse
(hyperbola) was the locus of all points for which the sum (difference) of the
distances from two given points P and Q had a fixed value.
Lines and circles can of course be drawn with a ruler and compasses, and
the Greeks devised more complicated mechanisms to construct parabolas,
ellipses and hyperbolas. With these they were able to solve some famous
problems such as 'duplicating the cuben; in other words constructing a cube
whose volume is twice the volume of a given cube (this was called the Delian
Figure 1.2: The complex curve xy = 0 problem. This comes down to constructing a line segment of length times
the length of a given unit segment. The Greeks realised that this could be
done by constructing the points of intersection of the parabolas
and
22 = Y.
They tried very hard to do this and other constructions (such as trisecting
an arbitrary angle and drawing regular polygons) using ruler and compasses
alone. They failed, and in fact it can be shown using Galois theory (see for
example [Stewart 731 pp.5767) that these constructions are impossible with
ruler and compasses.
Besides lines and circles, ellipses, parabolas and hyperbolas the Greeks
knew constructions for many other curves, for example the epicyclic curves
used to describe the paths of planets before the discovery of Kepler's laws.
(An epicyclic curve is the path of a point on a circle which rolls without
slipping on the exterior of a fixed circle: see figure 1.4). Greek mathematics
was almost forgotten in Western Europe for many centuries after the end of
the Roman Empire, but in the late Middle Ages and Renaissance period it
was gradually rediscovered through contact with Arab mathematicians. It
was during the Renaissance that new algebraic curves were discovered by
Figure 1;3:,.Another view of the complex curve x y = 0 artists such as Leonardo da Vinci who were interested in drawing outlines of
threedimensional shapes in perspective.
As well as reintroducing Greek mathematics the Arabs introduced to Eu
rope a much more sophisticatedunderstanding of algebra and a good algebraic
6 CHAPTER 1 . INTRODUCTION AND BACKGROUND
I 1.1. A BRIEF HISTORY OF ALGEBRAIC CURVES.
is a nonsingular matrix (see Chapter 2 for more details), then many of New
ton's seventy twodifferent cubics become equivalent to one another. In fac
Figure 1.4: An epicyclic curve any complex curve defined by an irreducible cubic polynomial can be put int,
one of the forms
notation. It can be difficult for us to realise how important good notation is y2 = x(x  l)(x  A) with A # 0 , l (nonsingular cubic)
in the solution of a mathematical problem. For example the simple argument y2 = x 2 ( x + l ) (nodal cubic)
Y 2 = x3 (cuspidal cubic)
becomes much harder to express and to follow using words alone. I (see corollary 3.34 and exercise 3.9).
II
Another example of the "bettern behaviour of complex curves than rea
By the end of the seventeenth century mathematicians were familiar with ones is the fact that a real algebraic curve can be so degenerate it doesn'
the idea pioneered by Descartes and Fermat of describing a locus of points in look like a curve at all. For example, the subset
the plane by one or more equations in two variables x and y. The methods
of the differential calculus were gradually being understood and applied to +
{(x, y) E R2: x2 y2 = 0)
curves. It was known that many real algebraic curves turned up in problems
in applied mathematics (one example being the nephroid or kidney curve I of R 2 is the single point (0,O) and
+
which is seen when light is reflected from a mirror whose crosssection is part
of a circle). I {(x, y) E R2 : x2 y2 = 1)
is the empty set. But if P(x, y) is any nonconstant polynomial with comple:
Around 1700 Newton made a detailed study of cubic curves (that is, curves coefficients then the subset of the complex space C2 given by
defined by polynomials of degree three) and described seventy two different
cases. He investigated the singularities of a curve C defined by a polynomial
P(x, y), i.e. the points ( x , y) E C satisfying
I is nonempty and "has complex dimension one" in a reasonable sense.
research right up to the present day. Just one example of its importance in
9
called after Bernhard Riemann (18261866). Riemann was extremely influen modern research is a theory of the structure of elementary physical parti
tial in developing the idea that geometry should deal not only with ordinary cles which received much attention in the 1980s. In this theory particles are
Euclidean space but also with much more general and abstract spaces. represented by 'stringsn or loops, and the surfaces in spacetime swept out
At the same time as Riemann and his followers were investigating complex by these strings as they develop from creation to annihilation are Riemann
algebraic curves using complex analysis and topology, other mathematicians surfaces which are closely related to complex algebraic curves in the complex
began to use purely algebraic methods to obtain the same results. In 1882 plane C2 with some points added at infinity.
Dedekind and Weber showed that much of the theory of algebraic curves
remained valid when the field of complex numbers was replaced by another
(preferably algebraically closed) field K. Instead of studying the curve C
1.2 Relationship with other parts of mathe
defined by an irreducible polynomial P(x, y) directly, they studied the 'field mat ics
of rational functions on C" which consists of all functions f : C + K U {ao)
of the form Nowadays complex algebraic curves turn up and are useful in all sorts of
f (x,Y)= Q ( X , Y ) I R ( ~ , Y ) areas of mathematics ranging from theoretical physics to number theory. This
section gives a brief explanation of their importance in a few of these areas.
where Q(x, y) and R(x, y) are polynomials with coefficients in I< such that
R(x, y) is not divisible by P(x, y) (i.e. such that R(x, y) does not vanish
identically on C). 1 1.2.1 Numbertheory
It is often useful to study curves defined over fields other than the fields
of real and complex numbers. For example number theorists interested in the t In the rest of this book the links between the study of complex algebraic
curves and number theory will not be stressed, but they are important.
integer solutions to a diophantine equation
I Number theorists are interested in the integer solutions to equations such
where P(x, y) is a polynomial with integer coefficients, often first regard the
equation as a congruence modulo a prime number p. Such a congruence can
be thought of as defining an algebraic curve over the finite field For example, does this equation have any solutions with x, y, and z nonzero
integers when n > 2? This comes down to the question of whether there exist
nonzero rational solutions
consisting of the integers modulo p, or over its algebraic closure.
By the end of the nineteenth century mathematicians had begun to make
progress in studying the solutions of systems of more than one polynomial
equation in more than two variables. During the twentieth century many more
ideas and results have been developed in this area of mathematics (known as
I to the equation
+
sn tn = 1, (1.4)
which defines a complex algebraic curve called the Fermat curve of degree
algebraic geometry). Algebraic curves and surfaces are now reasonably well n. This curve is called after the French mathematician Pierre Fermat (1601
understood, but the theory of algebraic varieties of dimension greater than 1665) because Fermat wrote in the margin of one of his books that he had
two remains very incomplete. (An algebraic variety is, roughly speaking, found a "truly marvellous proof" (demonstrutionem mirabilem sane) that the
the set of solutions to finitely many polynomial equations in finitely many equation (1.3) has no nonzero integer solutions when n > 2. For more than
variables over a field I(). three hundred years mathematicians have been trying to prove or disprove
this statement, without success although it has been proved that there are
The study of algebraic curves and Riemann surfaces, involving as it does a no nonzero integer solutions for many particular values of n. In 1983 the
rich interplay between algebra, analysis, topology and geometry, with appli German mathematician Faltings proved that a complex algebraic curve of
cations in many different areas of mathematics, has been the subject of active
10 CHAPTER 1. INTRODUCTION AND BACKGROUND 1.2. RELATIONSHIP WITH OTHER PARTS OF MATHEMATICS 11
genus at least two has only finitely many points with rational coefficients (see in C2 = R4with centre at (a, b). This intersection will be a "knot" or "linkn in
Chapter 4 for the definition of genus). The Fermat curve of degree n has the threedimensional sphere. We can identify this threedimensional sphere
genus
1 topologically with Euclidean space R3 together with an extra point at infinity
(n  l)(n  2)
2 by using stereographic projection. Let us assume for simplicity that the centre
(see $4.3) so when n 2 4 it follows that there are only a finite number of ra (a, b) of the sphere is the origin (0,O) in C2. Then stereographic projection
tional solutions to (14). Whether that finite number is ever nonzero, nobody of the sphere from the point (0, e) maps each point ( x , y) of the sphere other
knows. than (0,e) to the point of intersection of the (real) line joining (x,y) and
(0, E ) with the threedimensional real space
1.2.2 Singularities and the theory of knots
Another important area which will just be touched on in this book is the
study of singularities (see Chapter 7). For more details and lots of pictures where Re(q) and Im(q) are the real and imaginary parts of q. The point
(0, c) is mapped to CQ. Explicitly
see [Brieskorn & Kncrrer 86).
with inverse
is a point (a, b) E C satisfying
r 7
Example 1.2 Now let C be the cubic curve defined by ', , 3" Figure 1.6: A torus
This is the surface T in R3 swept out by rotating the circle with equation
Any point ( x , y) E C can be written as (v ~ ~ 6 +' w2
~ =) e2a2
~ . (1.5)
about the waxis. Topologically T is a torus that is, the surface of a ring
(see figure 1.6). The image of C nS under stereographic projection is a knot
in R3 which lies on the torus T. As we travel along the points
for a unique s E C, and then (x, y ) belongs to the sphere
(&2it, 63 s t
e l
s = {(x,y) E C2 : 1 x I2 + I y 12= 82)
of C n S with the parameter t varying from 0 to 2a, the angle of rotation
if and only if about the waxis of the corresponding points in T is given by
IsI=6 tane1 (:) = tan' ($$) = arg(x) = 2t (mod 27r)
where 6 is the unique positive solution to the equation
which varies from 0 to 27r twice. Thus the knot on T winds twice around
the waxis. On the other hand the standard angular coordinate on the circle
defined by equation (1.5) rotated through some fixed angle about the waxis
Therefore
C n S = {(6'e2", 63e3it) : t c [O, 2n))
which is contained in the subset = tan'()
1+6acoa(3t)6 '
{(x,y) E C2 : 1 x I= ti2, ( y (=63) and it is not difficult to see that when 6 is small enough this varies from 0 to
2.n three times as t varies from 0 to 21. This means that the image of C n S
of S. Under stereographic projection this subset is mapped onto the subset under stereographic projection is a trefoil knot on the torus T (see figure 1.7).
of R3 consisting of all those (u, v , w ) E R3 satisfying Only two points on this knot can be seen in the real picture (figure 1.8).
Algebraic singularities are important in many parts of mathematics be
sides knot theory (e.g. catastrophe theory, which has been applied to areas
or equivalently as diverse as physics, ecology and economics. For a layman's introduction see
( d m ~ ' 6 +~to2~= )c2fi2.
~ V. Arnol'd's book [Arnol'd 861 or [Brieskorn & Kniirrer 861 p.52).
14 CHAPTER 1. INTRODUCTION AND BACKGROUND 1.2. RELATIONSHIP WITH OTHER PARTS OF MATHEMATICS 15
Figure 1.9: Two copies of the cut plane glued along (0, oo)
Figure 1.7: A trefoil knot in the plane and a trefoil knot on a torus
Here f i means the positive square root of r. Note that if r E [O, oo) then
+& tends to f i and & tends to JF as z tends to r through values in
the upper half plane, whereas +& tends to JF and & tends to fi as
z tends to r through values in the lower half plane. 7'
We can take two copies of C cut along [0, m ) and "gluen the upper side of
the cut in the first copy to the lower side of the cut in the second copy, and the
lower side of the cut in the first copy to the upper side of the cut in the second
copy. The picture in figure 1.9 can help to give an intuitive idea of what the
space X obtained in this way looks like. However this picture is misleading in
that it gives the impression that the space intersects itself along the positive
real axis, which is not supposed to happen. A better topological picture of X
with an extra point added at infinity is given as follows. Think of two copies
of the complex sphere C U {oo) cut along the positive real axis from 0 to 00.
Open up the cuts and glue the two copies together to get X U { m ) which is
again a sphere, topologically (see figure 1.10). On this space X it makes sense
to say that there is a singlevalued holomorphic function fi defined by fi +
on the first copy of the cut plane and by 4on the second (see Chapter 5 ) .
If we add in a point oo and set = 00 then we get a holomorphic function
Figure 1.8: The real points on the curve y2 = x3 and a small sphere about
from X U {oo) to C U { o o ) which takes every value except 0 and oo exactly
the origin
twice.
We can either construct this space X U {oo) abstractly, or we can think
of it as being the complex algebraic curve
{ ( t , w ) E C2 : w2 = t )
CHAPTER I . INTRODUCTION AND BACKGROUND 1.2. RELATIONSHIP WITH OTHER PARTS OF MATHEMATICS 17
Figure 1.10: Two copies of the complex sphere glued .along [0, oo)
We can play the same game for any multivalued holomorphic function
w(z) satisfying a relation
P(., w(z)) = 0
where P(x,y) is an irreducible polynomial. The space we construct is just
Figure 1.11: Two copies of the complex sphere glued along three cuts the complex algebraic curve
1
xI dx
Integrals of this form were extensively studied in the last century, in particular
by the Norwegian mathematician Niels Hendrik Abel, after whom they are
where R(x, y) = @$ is a rational function of two variables, into the integral named. They occur in many problems in applied mathematics.
of a rational function of t.
Similarly we can deal with any integral of the form Example 1.4 If w(z) satisfies
~  al)
~ ( 2 =) (Z ..(Z  a k )
f R(x, w(x)) dx where al, . . . ,ak are distinct complex numbers then
where R(x, y) is rational and w(x) is a continuous function of x in [a, b] such
that w(x) and x satisfy a polynomial relation of degree two:
is called an elliptic integral if k is 3 or 4 and a hyperelliptic integral if k is at
+ + C)W(X)+ dx2 + ex + f = 0,
a ~ ( x ) (bx
~ (1.6) least 5.
D
20 CHAPTER 1. INTRODUCTION AND BACKGROUND 1.3. REAL ALGEBRAIC CURVES
1.3 Real Algebraic Curves if and only if there exist positive integers n and rn such that P divides Qn
and Q divides Pm;or equivalently if and only if P and Q have the same
The main object of this book is to study complex algebraic curyes. However irreducible factors, possibly occuring with diflerent multiplicities.
this short section is included on real algebraic curves. This is partly because
real algebraic curves are very important in the history of mathematics, and Proof. A proof can be found in, for example [Atiyah & Macdonald 691 p.85.
there are many important classical examples. It is also partly because it 0
I
can sometimes be useful 'to look at real curves when studying complex ones.
However it is vital to stress that it is often dangerous to do this. There are The analagous result does not hold for real algebraic curves, as example
many important differences between the theories of real and complex curves. 1.8 shows.
22 CHAPTER 1. INTRODUCTION AND BACKGROUND 1.3. REAL ALGEBRAIC CURVES 23
We can find the points (a, b) where the tangent line is parallel to an axis, i.e.
where $$(a, b) = 0 or %(a, b ) = 0. We can also work out the singular points These are called the tangent lines to C at the origin. For example the "eight
of C, i.e. the points (a, b ) where curven or "lemniscate of Geronon defined by
The conchoid of Nicomedes (c. 225 B.C.) is the conchoid of a line with
respect to a point not on the line. If the line is defined by
and the point is the origin (0,O) then the conchoid has equation
Figure 1.14: The curves y2 = x3 + x and y2 = x3  x + 
(x2 y2)(x b)2 = a2x2.
and near the origin the curve only looks like 'half" the tangent lines which One can see from their definition that conchoids of Nicomedes can be drawn
are both defined by y = 0. with the aid of a simple apparatus. This apparatus was used by the Greeks
to trisect angles (this was a famous problem: cf. $1.1). They showed that
These two examples show that care must be taken with the interpretation it is possible to trisect an arbitrary angle a,given as the angle between two
of the tangent lines to a real algebraic curve at a singular point. lines meeting at a point q, as follows. First one draws the perpendicular L to
one line from a point r on the other line; Then one draws the conchoid of L
1.3.3 Real algebraic curves inside complex algebraic with respect to q and with parameter
curves
It is also important to note that rather different real algebraic curves can sit
inside equivalent complex algebraic curves. For example the real cubic curve where 1 is the distance of r from q. The parallel to the first line through r
defined by meets the conchoid on the side away from q at a point p, and the line through
y2 = x3 + x p and q trisects the angle a (see figure 1.15).
has two connected components whereas the real cubic curve defined by
The limacon of Pascal (named after the seventeenth century French math
ematician Pascal) is the conchoid of a circle of radius b with respect to a point
q on its circumference which we may take to be the origin. If we take the
has only one (see figure 1.14).Howeverthe corresponding complex curves are centre of the circle to lie on the xaxis, then the equation is
equivalent under the complex change of coordinates
I
C = {(x,y) E R 2 : P(x, y) = 0)
be any real algebraic curve in R2, let q be a fixed point in R2and let a > 0 be Important special cases of epicycloids and hypocycloids are the cardioid
 . , . . . 1 I  m2 .. .l &l.
 A ,L I: : 2 (an epicycloid with b = c), so called because of its heartlike shape, the
. . 
. 
Q
I;
Figure 1.18: Deltoid
I
x+2y=1 Definition 2.1 Let P(x, y) be a nonconstant polynomial in two variables with
is the point (ahy, y) where y = (2 + 2jll. Using this and standard ruler complex coefficients and no repeated factors. Then the complez algebraic curve
and compass constructions a line segment of length 25 units can be drawn. in C2 defined by P(x, y ) is
Real algebraic curves important in mechanics are the caustic curves inves
tigated by Tschirnhausen and Huygens at the end of the seventeenth century.
A catacaustic (respectively diacaustic) of a given curve C is a curve which is The reason for the assumption in this definition that P(x, y) has no re
tangent to all the light rays from a given source after reflection (respectively peated factors is the theorem called Hilbert's Nullstellensatz already quoted
refraction) in C. If the light source is at infinity the incoming rays are par in $1.3.
II
allel. For example the catacaustic of a circle C with source q i s a cardioid if
q E C, a nephroid if q = cm and a limacon of Pascal otherwise. Theorem (Hilbert's Nullstellensatz) If P(x, y) and Q(x, y) are polyno
mials with complex coefficients then
I
if and only if there ezist positive integers m and n such that P divides Qn
and Q divides Pm; or equivalently if and only if P and Q have the same
irreducible factors, possibly occuring with difiemnt multiplicities.
30 CHAPTER 2. FOUNDATIONS 2.1. COMPLEX ALGEBRAIC CURVES IN C2 31
Corollary 2.2 If P(x, y) and Q(x, y) have no repeated factors then they de Definition 2.7 A nonzero polynomial P(xl, ...,x,) in n variables is homo
fine the same complez algebraic curve in C2 if and only if they are scalar geneous of degree d if
multiples of each other, i.e.
P(Xxl,. . . ,Ax,) = Xdp(xl,. . ,x,).
for all X E C. Equivalently P has the form
for some X E C  (0).
Proof. This is an immediate consequence of Hilbert's Nullstellensatz. 0
for some complez numbers a,,..,, .
Remark 2.3 A more general way of defining a complex algebraic curve in C2
is as an equivalence class of nonconstant polynomials in two variables, where .
. Note that every polynomial factor Q(xl, . . ,x,) of a homogeneous poly
two polynomials are equivalent if and only if they are scalar multiples of each nomial P(xl, ... ,x,) is also homogeneous (see Appendix A).
other. A polynomial with repeated factors is then thought of as defining a Lemma 2.8 If P(x, y) is a nonzero homogeneous polynomial of degree d in
curve with multiplicities attached; for example (y  x2)3 defines the same two variables with complez coeficients then it factors as a product of linear
curve as y  x2 but with multiplicity three. Through most of this book the polynomials
definition 2.1 will be sufficient; occasionally however (e.g. in $3.1) we shall d
need to allow the use of curves defined by polynomials with repeated factors. P(x, Y) = n ( a i x
i=l
+ Pip)
Definition 2.4 The degree d of the curve C defined by P(x,y) is the degree for some ai,Pi E C. r i o
of the polynomial P, i.e. Proof. We can write
d = max {r +s : G,, # 0)
where
.
where ao, .. ,ad E C are not all zero. Let e be the largest element of (0,. ..,d)
such that a, # 0. Then
A point (a, b) E C is called a singular point (or singularity) of C if
aP
dx
(a,
dP
b) = 0 = (a,
8~
b). is a polynomial with complex coefficients of degree e in one variable z and so
can be factorised as
The set of singular points of C is denoted Sing(C). C is called nonsingular
if Sing(C) = 4.
+
Examples 2.5 The curve defined by x2 y2 = 1 is nonsingular. The curve for some 71,. . .,reE C. Then
defined by y2 = x3 has one singular point (0,O).
P(X, y) = aeyd n ~(zi
 7i)
Definition 2.6 A curve defined by a linear equation = aeydenLl (2  7iy).
The result follows. 0
Note that since P(x, y) is a polynomial it has a finite Taylor expansion
where a,p, 7 are complez numbers and a and /3 are not both zero, is called a
line.
%emark 2.14 If V is any vector space over any field K then the associated
f o n : IIl(A) + x
xojective space P(V) is the set of onedimensional subspaces of V. We shall is continuous.
~ o r konly with the case Ii = C and V = Cn+l so to simplify the notation
Me write P, for P(Cnt').
We define subsets Uo, . ..,Un of Pn by
A onedimensional linear subspace U of Cn+' is spanned by any nonzero Notice that the condition x j # 0 is independent of the choice of homogeneous
in Cn+l represents an element x of P,: we call (XO,..,tn) homogeneous. This is a welldefined map with inverse
coordinates for x and write
( Y I , . . . , Y ~ ) H[ l , ~ l , . . . , ~ n ]
..
by definition 2.15. The coordinates (yl,. ,yn) are called inhomogeneow
Then coordinates on UO.
P, = { [ x ~ , ... , t n ] : (20, .. yxn) E Cn+'  (01 I It is easy to check using remark 2.16 that &, : Uo i Cn is continuous (we
and just have to show that its composition with II : II'(Uo) Uo is continuous)
[x~7.. .,tn] = [YO,.
. ,yn] . and its inverse is the composition of ll with the continuous map from Cn to
if and only if there is some X E C  (0) such that x j = Ayj for all j. Cn+' (0) given by
,
Now we can make P, into a topological space (we shall show that unlike
Cn it is compact). We define II : Cntl  (0) 4 P, by Thus is a homeomorphism.
Similarly there are homeomorphisms rjj : Uj t Cn for each j between 1
and n given by
and give P, the quotient topology induced from the usual topology on Cn+'
(0) (cf. [Sutherland 751 p.68). That is, a subset A of P, is open if and only
if II"(A) is an open subset of Cn+'  (0).
38 CHAPTER 2, FOUNDATIONS 2.2. COMPLEX PROJECTIVE SPACES 39
Remark 2.17 The complement of U, in P, is the hyperplane But
I ~ ' ~ xi2 o+ ...+ ( A  # ~ , 12= 1
SO
This can be identified with P,1 in the obvious way. Thus we can build up [xo,...,x,] E II(S2n+1).
the projective spaces P, inductively. POis a single point. P1 can be thought
Thus II : S2"+'+ Pn is surjective, and the result follows. 0
of as C together with a single point oo (i.e. a copy of Po) and thus can be
identified with the Riemann sphere
Definition 2.19 A projective transformation of P, is a bijection
Proposition 2.18 P, is compact. for some linear isomorphism a : Cn+' + Cn+'.Since II is continuous (by
2.16(ii)) and a is continuous it follows that f o lI is continuous, and therefore
Proof. Let by 2.16(iii) that f is continuous. 0
.
where XI,. .,A, are all nonzero complex numbers. Thus the composition of if and only if there exists some X E C  ( 0 ) such that
a with the linear transformation defined by the diagonal matrix x =Xu, y = Xu, z = Xw.
Recall from 52.2 that the complex projective plane P2is the set of one
dimensional complex subspaces of C3.We denote by [ x , y , z] the subspace
spanned by (x,y, z ) E C 3  { O ) , and thus
I Definition 2.27 A point [a,b, c] of a projective curve C in P2defined by a
homogeneous polynomial P ( x ,y, z ) is called singular if
+
Examples 2.28 The projective curve in P2defined by x2 y2 = z1 is non Although different, affine and projective curves are closely related. From
singular. an affine curve C one can obtain a projective curve 6 by adding Upoints at
The curve defined by y2z = x3 has one singular point [0,0,1]. infinityn.
Definition 2.29 A projective curve defined by a linear equation Recall from 52.2 that we can identify C 2 with the open subset
II
of P2 via the homeomorphism 4 : U + C2 defined by
where cr, P, 7 are not all zero, is called a (~rojective)line.
The tangent line to a projective curve C in Pz defined by a homogeneow
polynomial P(s, y, z) at a nonsingular point [a, b, c] E C is the line ~[x,Y=
,~I (I,t)
with inverse
Lemma 2.30 A projective curve In other words Pz is the disjoint union of a copy of C 2 and a copy of PI
which we think of as "at infinityn.
C = { [ x , Y, z] E P2 : P(x, y, z) = 0)
in Pl is compact and Hausdorf. I Let P(x, y, z) be a nonwnstant homogeneous polynomial of degree d. Un
der the identification of U with C2 just described, the intersection with U of
the projective curve 6 defined by P is the affine curve in C 2 defined by the
Proof. In order to show that C is compact, by 2.12(iv) and proposition 2.18
it suffices to show that C is a closed subset of Pl. By 2.16(i) this happens if
and only if
II inhomogeneous polynomial in two variables
P(x, Y, 1).
II"(C) = {(x, y, z) E C3  (0) : P(x, Y, Z) = 0) This polynomial has degree d provided that z is not a factor of P(x, y, z) (i.e.
provided that & does not contain the line z = 0).
is a closed subset of Cn+l (0). This is true since polynomials are continuous.
Any subset of a Hausdorff space is Hausdorff so the result follows from 
.Conversely if Q(x, y) is an inhomogeneous polynomial of degree d in two
variables x and y, say
I &(x, Y) = ar,8xr~8
C = {(x,y) E C2 : Q(x, y) = 0)
in C2 are often called afine curves to distinguish them from projective curves 1 The intersection of this projective curve with the line at infinity z = 0 is the
set of points
r dr ,
t [x, Y, 01 E P2 : ar,dtX Y  0).
O<r<d
2.4. AFFINE AND PROJECTWE CURVES 45
44 CHAPTER 2 FOUNDATIONS
Given this lemma we can complete the proof of lemma 2.31. The point
By lemma 2.8 the homogeneous polynomial (:, t)is a singular point of C if and only if
r dr
ar,drx y
O<r_<d
ap ap
P(4, b, c) = 0 = (a, b, c) = (a, b, c),
The lines defined by ax ay
crix +piy = 0 and Euler's relation tells us that this happens if and only if
are by definition the asymptotes to the curve in C2 defined by Q. These lines
correspond to points [pi, a;] in P I ; when PI is identified with the line z = 0
in P2 these points are precisely the points of C  C.
i.e. if and only if [a, b, c] is a singular point of 6.
In this way we get a bijective correspondence between affine curves C in The intersection of C2 identified with U and the projective tangent line
C2 and projective curves 6 in P2not containing the line at infinity z = 0.
If 6 is nonsingular then so is C but the converse is not necessarily true:
6 may have singular points at infinity even when C is nonsingular. More is the line in C 2 defined by
precisely we have the following result.
i
Proof of lemma 2.32. Euler's relation is obtained by differentiating the
and the projective tangent line at [a, b,c] to 6 in P2 is the tangent line at identity
t)
(i, to c in c'. R(Xx, Xy, Xz) = Am R(x, y, z)
with respect to X and then setting X = 1. 0
Proof. For the proof we need
Remark 2.33 In a similar way definitions such as those given in $2.1 of
Lemma 2.32 (Euler's Relation) If R(x, y, z) is a homogeneous polyno the multiplicity and tangent lines of singular points on a f i e curves can be
mial of degree m then modified to apply to projective curves so that the definitions respect the iden
tification of projective curves with affine curves together with extra "points
at infinityn (cf. exercise 2.8).
46 CHAPTER 2. FOUNDATIONS 2.5. EXERCISES 47
2.5 Exercises + +
for some i, j, k such that i j k = m. Find the singular points and the
multiplicities of the singular points of the following projective curves.
2.1. Show that the subset of C2 consisting of points of the form (a). + +
xy4 yz4 xz4 = 0.
(b). + +
x2y3 x2z3 y2z3 = 0.
(c). y2z = z(x  z)(x  Xz), X E C.
is a complex algebraic curve. (d). +
xn yn.+ zn = 0, n > 0.
2.9. For which values of X E C are the following projective curves in P2
2.2. Find the singular points, and the tangent lines at the singular points, of
each of the following curves in C2: nonsingular? Describe the singularities when they exist.
+ + +
(a). y3  y2 x3  x2 3y2x 3x2y 2xy = 0.+ + + +
(a). x3 y3 z3 3Xxyz = 0.
(b). x 4 + y 4 x2y2 = 0. + + +
(b). ~3 y3 z3 X(X y + + = 0.
(c). y2 = x3  x. 2.10. Suppose nine distinct points in P2 are given, and that they do not all
2.3. If P(x, y) is a polynomial of degree d and a and b are complex numbers, lie on any line in P2. Suppose that any straight line which passes through two
show that P(x, y) is given by of these points also passes through a third. Show that there is a projective
transformation taking these points to the points
(a). Use the theory of the diagonalisation of quadratic forms to show that 2.14. Let p be any odd prime. If A E Z we can reduce X modulo p and define
there is a projective transformation defined by a matrix with rational coeffi the reduction modulo p of the projective curve C of degree three defined by
cients taking C to the curve defined by
to be the subset of the projective plane P((Fp)3) over the finite field F, =
for some a, b E Q  (0). ZlpZ defined by the corresponding equation. Show that for given x E F, the
equation
(b). Show that by making an additional diagonal transformation we can y2 = x(x  1)(x  A)
assume that a and b are integers with no square factors, i.e. each is a product
of distinct primes. Show that we may also assume that I a 121b I. has one solution if x = 0 , l or A, two solutions if
(c). Show that if C has a rational point then b is a square modulo p for every (X(X I)(% A))(p')I2 E 1 (mod p)
prime p dividing a. Deduce from the Chinese remainder theorem that b is a
square modulo a, so there are integers m, a1 such that I m 121a 1 /2 and and no solutions otherwise, in which case
m2 = b + aal. =
(x(x  1)(x  x ) ) ( ~  ' ) / ~ 1 (mod p).
(d). Show that if m2 = b + aal and [Hint: recall that the multiplicative group of any finite field is cyclic]. Deduce
ax2 + by2 = z2 that the number of points in the reduction of C modulo p is
1 + p + (l)('')b C
(p1)/2
r=O
( 7) Y.
Algebraic properties
In this chapter we shall study some of the algebraic properties of complex
algebraic curves. In $3.1 we shall investigate the way in which two com
plex projective curves in P2 can meet each other. In $3.2 we shall study
the 'inflection points" of a complex projective curve and show that every
nonsingular projective curve of degree three is equivalent under a projective
transformation to one defined by
for some A E C  ( 0 , l ) .
We shall be able to prove a more general result about the number of points
of intersection of C and D once we have defined the intersection multiplicity
Ip(C,D)of C and D at a point p. This is defined to be infinity if p lies on
a common component of C and D,and otherwise it is a nonnegative integer
'The reasons for giving BCzout's name to this theorem are not entirely clear, since
although BCzout gave a proof of the theorem it was neither correct nor the first proof to
be given.
52 CHAPTER 3. ALGEBRAIC PROPERTIES
which is zero precisely when p does not belong to C n D. We shall show that of P and Q with respect to x is defined as a determinant in exactly the same
I,(C, D) is one if and only if p is a nonsingular point of both C and D and the way as Rp,g was defined above but with ai(y,z) and bj(y,z) replacing ai and
tangent lines to C and D at p are distinct. The strongest form of BQzout's bj for 0 5 i 2 n and 0 <_ j 5 m. Note that 7Zpto(y,z) is a polynomial in y
theorem can then be expressed as follows. and z whose value when y = b and z = c is the resultant of the polynomials
P(x, b, c ) and Q(z, b, c ) in x, provided that a,(b, c) and b,(b, c) are nonzerot.
Theorem 3.1 (BBzout's theorem) If C and D are two projective curves The following lemmas, whose proofs will be postponed to the end of the
of degrees n and m in P2which have no common component then they have section, indicate why resultants are useful in the study of the intersection of
precisely nm points of intersection counting multiplicities; i.e. projective curves in P2.
I,(C, D ) = nm. Lemma 3.3 Let P(x) and Q(x) be polynomiaki in x. Then P(x) and Q(x)
pECnD have a nonconstant common factor if and only i f
Lemma 3.6 I f
P(x) = (X A l ) ...(x  An)
and
Q(x) = (X PI).,.(X ~ m )
where X I , ...
A,, pl,...,pm are comptez numbers, then
and In particular
Q(x, y , z ) = bo(y, t.) i
bi(y,2)s + ...+ b m ( ~ , ~ ) ~ ~
RP,QR= RP,QRP,R
are polynomials in three variables x, y, z then. the resultant when P, Q and R are polynomials in x. The corresponding result is also true
when P, Q and R are polynomials in x, y and z.
54 CHAPTER 3. ALGEBRAIC PROPERTIES 3.1. B,?~%oUT'S THEOREM 55
Lemma 3.7 Let P(x, y, z) and Q(x, y, z) be homogeneow polynomials of de But if [a, b, c] E S then P(a, b, c) = 0 = Q(a, b, c) and b and c are not both
grees n and m in x, y, z. Then the resultant 'Rp,g(y, a) is a homogeneous zero (because [I, 0,O] does not belong to S) so bz y is a factor of Rp,g(y, z).
polynomial of degree nm in y and z. 
Moreover if [cr, P, y] E S is distinct from (a, b, c] E S then pz r y is not a
Assuming these lemmas, we can prove scalar multiple of bz y, because otherwise [a, b, c], [a,P,7] and [I, 0, O] would
all lie on the line in P2 defined by
Theorem 3.8 Any two projective curves C and D in P2 intersect in at least
one point. bz = y
which contradicts the assumption on [I, 0,0]. This shows that Rp,g(g, a) has
Proof. Let C and D be defined by homogeneous polynomials P(x, y, z ) and
Q(x, y,z) of degrees n and m. By lemma 3.7 the resultant Rp,g(y,z) is a
+
at least n m 1 distinct linear factors, so it must be identically zero. By
lemma 3.4 this implies that C and D have a common component. 0
homogeneous polynomial of degree nm in y and a. Therefore by lemma 2.8
R p , g ( y , ~ )is either identically zero or it is the product of nm linear factors The next results are all applications of these two theorems.
bz  y with b, c complex numbers, not both zero. In either case there exists Corollary 3.10 (i) A nonsingular projective curve C in P2 is irreducible.
(b, c) E C 2  (0) such that R ~ , Q ( z) Y ,vanishes when y = b and z = c. This (ii) An irreducible projective curve C in P2has at most finitely many singular
means that the resultant of the polynomials P(x, b, c) and Q(x, b, c) in x is points.
zero, so by lemma 3.3 these polynomials have a common root a E C . Then
Proof. (i) Let
so [a, b , ~ ]E C n D. o
be a reducible projective curve in P2. Then by theorem 3.8 there is at least
We can also prove one point [a, b, c] E Pz such that
Theorem 3.9 (Weak form of B6zout's theorem). If two projective P(a, b, c) = 0 = &(a, b, c).
curves C and D in P2 of degrees n and m have no common component then
they intersect in at most nm points. It is easy to check that [a, b, c] is a singular point of C.
(ii) Let C be defined by a homogeneous polynomial P(x, y, z) of degree n.
+
Proof. Suppose that C and D have at least nm 1 points of intersection. Without loss of generality we may assume that [I, 0,0] does not belong to
We shall show that C and D have a common component. Choose any set S
+
of nm 1 distinct points in C n D. Then we can choose a point in P2which
C so the coefficient P ( l , 0,O) of xn in P(x, y, z) is not equal to zero. This
ensures that
does not lie on C or on D or on any of the finitely many lines in P2passing
through two distinct points of S. By applying a projective transformation we Q(x, Y, 2) = (aP/ax)(z, Y, 2)
may assume that this point is [I, 0,0]. Then the curves C and D are defined is a homogeneous polynomial of degree n  1 which is not identically zero
by homogeneous polynomials P ( x , y, z) and Q(x, y, z) of degrees n and m .
and hence defines a curve D in Pz Since C is irreducible and the degree
such that of D is strictly less than the degree of C the curves C and D can have no
P(l,O,O) # 0 # Q(l,O,O) common component. Hence by Bkzout's theorem C and D intersect in at
most n(n  1) points. As every singular point of C lies in C n D the result
because [1,0,0] does not belong to C U D. By lemma 3.7 the resultant follows. a
Rp,g(y,~)of P and Q with respect to x is a homogeneous polynomial of
degree n m in y and z, so if R p , ~ ( y , z is
) not identically zero then it is the
product of nm linear factors of the form bz  cy where (b,c) E C2  (0). 1 Definition 3.11 A conic is a curve of degree two in C2 or P2.
Proof. By corollary 3.10, C has at most finitely many singular points. Thus respectively. Choose a point [a, b,c] on E which does not lie on C n D. Then
by applying a suitable projective transformation we may assume that [O, 1,0] the curve of degree n defined by
is a nonsingular point of C and that the tangent line to C at [O, 1,0] is the
line z = 0. Then C must be defined by a polynomial of the form +
A P ( x , Y , ~ ) PQ(x,Y,2)
in P2 . There is a homeomorphism f : PI + C given by Corollary 3.15 (Pascal's mystic hexagon). The pairs of opposite sides
of a hezagon inscribed in an irreducible conic in P2 meet in three collinear
f[x,yl = [xy,y2,x21 points.
with inverse g : C + PI given by
Remark 3.16 This result is to be interpreted as follows. A .hexagon in Pz
is simply determined by six distinct points pl, ...,p6 in P2 (its vertices) and
its sides are the lines in P2joining pl to p2, pz to p3, pa to p4, p4 to ps, p~
to p6 and p6 and pl. The side opposite the line joining pl to pz is the line
(Note that if [x, y, z] E C then x2 = yz so if y # 0 # z then x # 0 and joining pl to p ~ and, so on. The hexagon is said to be inscribed in a conic
if its vertices lie on the conic. Three points of P2 are said to be collinear if
[x, YI = [x21XYI = [YZ,XYI = [z, 21). they all lie on some line in P2.
Thus by corollary 3.12 any irreducible projective conic in Pzis homeomorphic Proof of corollary 3.15. Let the successive sides of the hexagon be the lines
to PI. ..
defined by linear polynomials L1,. ,L6 in x , y, z. The two projective curves
of degree three defined by L1L3L5 and L2L4L6intersect in the six vertices of
The next result is another application of B6mut's theorem. the hexagon and the three points of intersection of the opposite sides of the
hexagon. The result now follows immediately from proposition 3.14. 0
Proposition 3.14 If two projective curves C and D of degrees n in Pz inter
sect in exactly n2 points and if exactly nm of these points lie on an irreducible Remark 3.17 If we assume that the conic is defined by a polynomial with
curve E of degree m < n then the remaining n(n  m) points lie on a curve real coefficients and the vertices of the hexagon lie in the subset R 2 of C 2 C Pz
of degree at most n  m. then we obtain a theorem about real Euclidean geometry (figure 3.1).
I
Proof. Let C, D and E be defined by the homogeneous polynomials
In order to prove the stronger form 3.1 of Bkzout's theorem, we must first
P(x, Y 21, &(x,Y,~ ) , R ( X , Y
2), define the intersection multiplicity I,(C, D) at a point p = [a, b,c] of two
[
58 CHAPTER 3. ALGEBRAIC PROPERTIES 3.1. BEZOUT'S THEOREM
then
Ip(C,D ) = Ip(Ci,D ) + Ip(c2, D).
I is the largest integer k such that (bz  cy)' divides the resultant RPtQ(y,2 ) .
60 CHAPTER 3. ALGEBRAIC PROPERTIES
0 THEOREM
3.1. ~ $ 2 UT'S 61
Remark 3.19 A careful study of the uniqueness proof in this theorem will and by repeated use of (v) and (ii)
reveal that for the proof to be valid we need to allow curves to have multiple
components; i.e. the polynomials defining them may have repeated factors
Ip(Y, xPT(x,z)) = qIp(tl, 5) + IP(Y, T(x, 2)) = q.
(see remarks 2.3 and 2.25). In fact all the arguments of this chapter apply Hence
without alteration to curyes with multiple components. Ip(P, Q) = I,(& Q) q, +
Proof of theorem 3.18. To simplify notation in this proof we shall write and since q > 0 our inductive hypothesis tells us that Ip(R,Q) can be calcu
Ip(P,Q) instead of Ip(C,D) when P(x, y,z) and Q(x, y, z) are homogeneous lated using only the conditions (i)(vi).
polynomials defining the curves C and D. Case 2: r > 0. In this case we can multiply P(x, y, z) and Q(z, y, z) by
First we shall show that the intersection multiplicity Ip(P, Q) can be cal constants to make the polynomials P(s, 0 , l ) and Q(x, 0,l) in s monic. If n
culated using only the conditions (i)(vi), so that these conditions determine and m are the degrees of P(x, y, z) and Q(z, y, z) consider the polynomial
Ip(P,Q) completely. Since the conditions are independent of the choice of
coordinates we may assume that p = [O, 0,1]. Moreover we may assume that S(x, y, z) = ant''Q(x, y, z)  xa"zmP(x, y, z).
P and Q are irreducible by (i) and (v), that I,(P, Q) is finite by (ii), and
that Ip(P,Q) = k > 0 by (iii). Finally by induction on k we may assume that This is constructed to be a homogeneous polynomial in s,y, z such that the
any intersection multiplicity strictly less than k can be calculated using only polynomial
the conditions (i)(vi). S(x, 0, 1) = Q(x, 0 , l )  5''P(x, 0 , l )
Consider the polynomials P(x,O,l) and Q(x,O,l) in x; let them have in x has degree t strictly less than s. Note that S(x, y, z) is not identically
degrees r and s respectively. By (i) we may assume that r 5 s. There are zero since by assumption P(x, y, z) and Q(x, y, z) are irreducible and distinct.
two cases to consider. Moreover by (i), (v) and (vi)
Case 1: r = 0. In this case P(x, 0 , l ) is constant and hence zero because Ip(P,S ) = Ip(P,znta'Q) = Ip(P,Q).
P(O,O, 1) = 0. Since P(x, y, z) is a homogeneous polynomial it follows that
P(x, 0, z) is identically zero, and hence that Now replace P and Q by P and S (or by S and P if t < r). After repeating
this process a finite number of times we reach the situation of Case 1.
P(x,Y,2) = YR(x,y,z)
This completes the uniqueness part of the proof. To prove existence, let
for some homogeneous polynomial R(x, y, z). Moreover we can write us define the intersection multiplicity Ip(C, D) as follows.
Q ( x , Y , ~ ) = Q ( x , O , ~+.Y
) S(X,Y,~)=X~T(X,~)+YS(X,Y,~) r ~f p lies on a common component of C and D then Ip(C, D) =
for some homogeneous polynomials T(x, z) and S(x, y, z) such that T(0,l) is l D then I,,(C, D) = 0.
r If p does not belong to C t
not equal to zero, and some integer q which is positive since Q(0,0,1) = 0.
Note that the condition T(0,l) # 0 means that the point p = [O, 0,1] does r If p belongs to C nD but does not lie on a common component of
not lie on the curve defined by T(x, z) = 0, and hence by (iii) that C and D, first remove any common components from C and D and
then choose coordinates such that the conditions (a)(c) are satisfied.
If p = [a, b, c] in these coordinates then I,(C, D) is the largest integer k
such that (bz  divides the resultant 'Q,Q(Y,z ) of P and Q with
whereas from (iv) we have
respect to x.
IP(Y,x)= 1.
Putting this information together, from (v) we obtain It remains to show that the conditions (i)(vi) are now satisfied.
(i) is a direct consequence of the fact that interchanging two rows of a deter
Ip(P, Q) = Ip(R, Q) + Ip(y, Q), minant changes its sign and hence
from (vi) we get
Ip(y9 Q) = &(Y,xqT(x,2))
62 CHAPTER 3. ALGEBRAIC PROPERTIES 3.1. BEZOUT~STHEOREM 63
We may choose coordinates so that the conditions (a)(c) of theorem 3.18 are
'
(ii) follows from the definition and lemma 3.4. satisfied. Let C and D be defined by the homogeneous polynomials P(z, y, z)
and Q(x, y, z) in this coordinate system. By lemmas 3.4 and 3.7 the resultant
(iii) is easy. If p = [a, b, c] E C n D then the polynomials P(x, b, c) and R p , ~ ( yz)
, is a homogeneous polynomial of degree nm in the two variables y
Q(x, b, c) have a common root a, so by lemma 3.4 the homogeneous poly and z, not identically zero, so by lemma 2.8 it can be expressed as a product
, vanishes when y = b and z = c. Hence it is divisible by
nomial R p , ~ ( yz) of nm linear factors,
bz  cy, so Ip(C, D) > 0.
(iv) is a straightforward calculation with twobytwo determinants.
\
(v) follows immediately from lemma 3.6.
(vi) is true because a determinant is unchanged by the addition of a scalar say, where each ei is a positive integer,
+
multiple of one row to another. The resultant of P and P R Q is the detei
minant of a matrix (sij) obtained from the matrix (rij) defining R p , ~ ( yz),
by the addition of suitable scalar multiples of the first n rows to the last m
rows. More precisely, if and (bi, ci) is not a scalar multiple of (bj, c,) when i # j. By the argument
used to prove theorems 3.8 and 3.9 there exist unique complex numbers ai
such that
CnD={pi: 1 5 i I k )
then
where pi = [ai, bi ,ci],and
Ipi(C, D) = ei.
so that The result follows.
RP,PR+Q(Y, 2) = det(sij) = det(rij) = RP,Q(Y,~).
We can now describe exactly when the intersection multiplicity Ip(C, D)
This completes the proof of the theorem and the definition of the inter
is one.
section multiplicity Ip(C,D). 0
Proposition 3.22 Let C and D be projective curves in P2 and let p be any
Remark 3.20 The uniqueness part of this proof shows that the calculation point in Pz.Then Ip(C, D) = 1 if and only if p is a nonsingular point of C
of intersection multiplicities is not difficult. It only involves some simple and of D and the tangent lines to C and D at p are distinct.
arithmetic manipulation of polynomials.
Remark 3.23 The proof of this proposition can be extended to show that
Remark 3.21 It is a consequence of (iii) and (v) that the intersection multi in general
plicity Ip(C, D) depends only on those components of C and D which contain
IP(C, D)2 mp(C)mp(D)
P.
where mp(C) and mp(D) are the multiplicities of C and D at p as defined in
We can now prove theorem 3.1, the strong form of Bkzout's theorem. exercise 2.8, and that equality holds if and only if C and D have no tangent
lines in common.
Proof of theorem 3.1. Let C and D be projective curves of degrees n and
m in P2 with no common component. w e must prove that thenumber of
points of intersection counting multiplicities is nm, i.e. that
I In order to prove proposition 3.22 we first need to prove the following
lemma.
p€CnD
Ip(C,D) = nm.
I Lemma 3.24 If p E C n D is a singular point of C then Ip(C, D) > 1.
3.1. B ~ Z O U T ' STHEOREM 65
64 CHAPTER 3. ALGEBRAIC PROPERTIES
where y2 divides ao(y,z ) and y divides al(y,z). Also Q(O,0 , l ) = 0 so if and only if
x = AI(Y).
Q ( z , y ,2) = ~ o ( Y2), + bl(y,z)x + ...+ bm(y,z)zm Moreover
where y divides k ( y , z). Thus we can write P ( x , Y , ~= ) ( X  Al(Y))l(z,Y)
where l(x,y) is a polynomial in x whose coefficients are holomorphic functions
of y. If we assume as we may that the coefficient P(l,O,O) of xn in P ( x , y, a )
and is one then n

Z ( X , Y ) = n ( z Ai(y))
ir2
for some homogeneous polynomials co( y, z ) and q ( y,2). If k1= 0 then the
where Al(y),..., A,(y) are the roots of P ( x ,y , l ) regarded as a pol~nomial
first column of the determinant defining Rp,Q(y,z) is divisible by y2 and in s with y fixed. Similarly if U and V are chosen small enough there is a
hence y2 divides R P , ~ (2 Y , required. If b1# 0 then the first column is
) as
holomorphic function ,ul :U ,V such that
divisible by y; if we take out this factor y and subtract blo/bol times the first
column from the second column then the second column becomes divisible by ,u1(0)= 0
y. Hence again y2 divides RpVq(y, z).
and we can write
Proof of proposition 3.22. We may assume that p belongs to C n D and Q(x,Y, 1 ) = ( X  P I ( Y ) ) ~ ( xY, )
that C and D have no common component. Thus we may choose coordinates
such that the conditions (a)(c) of theorem 3.18 are satisfied and p = [0,0,1]. where
By corollary 3.10 we may also assume that p is a nonsingular point of C and
of 13. Let P ( x , Y , z ) and Q ( x , y , z) be the polynomials defining C and D. We
~ ( x , Y=) n(s
m
ie2
P~(Y))
wish to show that the tangent lines to C and D at p coincide if and only if is a polynomial in z whose coefficients are holomorphic functions of y. Then
y2 divides the resultant R p t Q ( y ,z ) , or equivalently if and only if the tangent lines to C and D at p = [O, 0,1] are defined by the equations
and
since RP,*( y,z ) is homogeneous and divisible by y. x =P:(~)Y.
By (c) of theorem 3.18, the point [ I , 0,0] does not lie on the tangent line
If y E U then by lemma 3.6
CHAPTER 3. ALGEBRAIC PROPERTIES 3.1. B ~ Z O U T 'THEOREM
S
P(.)+(x) = Q(x)#(x).
if and only if Equating the coefficients of xj in this equation for 0 < j 5 mn  1, we find
X(0) = ~ : ( o ) ,
aoPo = boa0
i.e. I,(C, D) > 1 if and only if the tangents to C and D at p coincide. 0 aoPl + ad30 = blao + boa1
. . .
Corollary 3.25 Let C and D be projective curves in P2of degrees n and m. ~ ~ P m  1= bman1.
Suppose that every p E C f l D is a'nonsingular point o f C and of D, and that The existence of a nonzero solution
the tangent lines to C and D at p are distinct. Then the intersection C n D
consists of ezactly nm points. (a09...,~nl,Po, a, Pm1)
Proof. This follows directly from theorem 3.1 and proposition 3.22. 0 to these equations is equivalent to the vanishing of the determinant which
defines R p , ~a.
3.1. BEZOUT'S THEOREM 69
68 CHAPTER 3. ALGEBRAIC PROPERTIES
so that Q ( x ) = xm then
Proof of lemma 3.4. Let P ( x , y , z ) and Q(x,y, z ) be nonconstant homoge n
neous polynomials in x , y , z of degrees n and m such that RP,Q = I ' I (  x i ) m e
i=l
P(l,O,O) # 0 # Q(1,0,0). % Hence we must have
RP,Q = n ( p i  xi).
We may assume that P ( l ,0,O) = 1 = Q(1,0,0). Then we can regard P and i3
Q as monic polynomials of degrees n and m in x with coefficients in the ring It follows immediately that
C[y,z] of polynomials in y and z with complex coefficients. This ring C [ y ,z]
I
is contained in the field C ( y ,z ) of rational functions of y and z , i.e. functions RP,QR
= RP,QRP,R
of the form
 f(y,z) whenever P, Q, R are polynomials in x . Therefore if P, Q, R are polynomials
in x, y, z we have
g(~,z)
where f ( y , z ) and g ( y ,z ) are polynomials and g ( y , z ) is not identically zero.
~ ,= R P , Q ( c~ ), ~ P , RC() ~ ,
R P , Q R (c)
Since C ( y , z ) is a field the proof of lemma 3.3 shows that the resultant
R~=,Q(Y, z ) vanishes identically if and only if P ( x ,y, z ) and Q(x,y , z ) have for all b, c E C , and so
a nonconstant common factor when regarded as polynomials in x with coef
ficients in C ( y ,a). It follows from the Gauss lemma (see Appendix A) that
this happens if and only if P ( x ,y, z ) and Q(x,y, z ) have a nonconstant com
as required. 0
mon factor when regarded as polynomials in x with coefficients in C [ y,z], or
equivalently as polynomials in x , y,z with coefficients in C. Since any poly Proof of lemma 3.7. By definition the resultant RP,Q(Y, z ) of homogeneous
nomial factor of a homogeneous polynomial is homogeneous (see Appendix polynomials P ( x , y, z ) and Q(x,y , z ) of degrees n and m is the determinant
A) the result follows. 0 + +
of an n m by n m matrix whose ijth entry rij(y,z) is a homogeneous
polynomial in y and z of degree dij given by
Proof of lemma 3.6. If we regard
dij = n+ij ifl<i<m
ij ifm+l <i_<n+m.
and
as homogeneous polynomials in x, A1, ..., An and pi, ..., pm then the proof
I Then R p , ~ ( yz,) is a sum of terms of the form
 nm.
Since this is also a homogeneous polynomial of degree nm in X I , A,, and ...,
pl, ...,pm it must be a scalar multiple of 7Ep,~.It is easy to check that if Therefore RptQ(y,z ) is a homogeneous polynomial of degree n m in y and z.
0
I
70 CHAPTER 3. ALGEBRAIC PROPERTIES 3.2. POINTS OF INFLECTION AND CUBIC CURVES. 71
3.2 Points of inflection and cubic curves. Proof. Euler's relation (lemma 2.32) tells us that
The concept of a point of inflection on a curve C is a generalisation of the
usual definition of a point of inflection on the graph of a function (that is,
a point at which the second derivative vanishes). We shall see that every Since the first partial derivatives of P are homogeneous of degree d  1 we
nonsingular projective curve of degree greater than two has at least one and can apply Euler's relation to them to get
at most finitely many points of inflection. As a corollary we shall show that
every nonsingular projective cubic curve can be put into the form ( d  1)Pz = xPzs + yPY, + zpz,,
(d  1)P, = xP,, + yP,, + zP,,,
( d  l ) P z = xP,, + yP,, + zPz2.

for some A E C (0,l). We shall also begin our investigation of the natural Thus multiplying the first row of the determinant defining 7 i p by x and the
abelian group structure on a nonsingular cubic curve, and its relationship second row by y and adding to the third row multiplied by z we get
with the points of inflection on the curve.
Definition 3.27 Let P(x, y, z) be a homogeneous polynomial of degree d.
The Hessian lip of P is the polynomial defined by zXp(x, y, z) = (d  1) det
where I Applying the same procedure to the columns of this new determinant and
using the fact that the second partial derivatives of P are symmetric we get
the required result. 0
a2P
Pzv= 
axay etc.
locally defines y as a holomorphic function of E (by the. implicit function
theorem in Appendix B). Differentiating this equation twice with respect to
Remark 3.28 Note that the second partial derivatives of P are homogeneous 1 zweobtainfirst
of degree d 2 in ,x, y, z so W pis a homogeneous polynomial of degree 3(d  2)
in x, y, z.
I
i.e.
z1%'
Definition 3.29 A nonsingular point [a, b, c] of the pmjective curve C in P2 dy dP aP

defined by P(2, y,z) is called a point of inflection (or flex) of C if dx 
and then
It therefore follows immediately from lemma 3.30 that if d > 1 then Proposition 3.33 Let C be a nonsingular projective curve in P2of degree
d.

(i) If d 2 2 then C has at most 3d(d 2) points of inflection.
(ii) If d 1 3 then C has at least one point of inpection.
In particular if P(a, b, 1) = 0 # P,(a, b, 1) then [a, b, 1) is a point of inflection
of C if and only if $$vanishes at a when y is regarded as a function of x 
Proof. By remark 3.28 7ip is homogeneous of degree 3(d 2), so provided
implicitly defined by the equation P(x, y, 1) = 0. Thus the definition of a that it is not constant (when d > 2 this means not identically zero) it defines a
point of inflection on a curve does correspond in a reasonable way to the projective curve in P2in the generalised sense of remarks 2.3 and 2.25. Since
definition of a point of inflection on a graph. the whole of $3.1 applies to curves in this generalised sense the result follows
from the forms 3.8 and 3.9 of BQzout'stheorem once we have shown that P and
Lemma 3.32 Let 'Hp have no nonconstant common factor if d > 1. Since a nonsingular curve
is irreducible (by corollary 3.10(i)) if P and 'Hp have a nonconstant common
factor then P divides 'Hp, so every point of C is a point of inflection. The
be an irreducible projective curve of degree d. Then every point of C is a point result is now a consequence of lemma 3.32.
of inflection if and only if d = 1.
Proof. Suppose that every point of C is a point of inflection. By applying a Corollary 3.34 Let C be a nonsingular cubic curve in P2. Then C is equiv
suitable projective transformation we may assume that alent under a projective transformation to the curve defined by
Then the implicit function theorem (see Appendix A) applied to the poly for some A E C  (0,l).
nomial P(x, y, 1) in x and y tells us that there is a holomorphic function
g : U + V, where U and V are open neighbourhoods of 0 in C, such that Proof. By proposition 3.33 C has a point of inflection. By applying a suitable
g(0) = 0 and if x E U and y E V then projective transformation we may assume that [O,1,0] is a point of inflection
of C and the tangent line to C at [O, 1,0] is the line z = 0. Then C is defined
P ( x , Y , ~=) 0 by a homogeneous polynomial P(x, y, z ) of degree three such that
if and only if
Y = g(x).
We may assume that U is connected and that P,(x, y, 1) # 0 when x E U
and y E V. Since every point of C is an inflection point, by remark 3.31 we Also
have
gt'(x) = 0
because C is nonsingular. Applying lemma 3.30 with the roles of y and z
for every x E U. Because g(0) = 0 this means that there is some A E C such reversed, we get
that
g(z) = Ax pzz pz pxz
for all x E U, and hence that the polynomial P(x, Ax, 1) in x vanishes iden y2Xp(x,y, Z) = 4 det
tically. Since P(x, y, z ) is homogeneous we find by equating the coefficients PIX pz PZI
( )
SO
irreducible so P(x, y, z ) must be a scalar multiple of y  Ax. Thus P(x, y, z) 0 PSI
has degree d = 1 as required. 0 = Nr(O, 1.0) = 4 det P~ 0 PI = I(P.)~ PI,
The converse is trivial, so the proof is complete. 0 PIX PI Pz*
CHAPTER 3. ALGEBRAIC PROPERTIES 3.2. POINTS OF INFLECTION AND CUBIC CURVES. 75
where the partial derivatives are evaluated a t (O,1,0). Thus Example 3.36 As an application of this last result and the corollary 3.25
to Bdzout's theorem we can show that a nonsingular cubic curve C in P2
PZZ(O,l, 0) = 0 has ezactly nine points of inflection. (Thus the bound given in proposition
and hence 3.33(i) is always attained in the case of a nonsingular cubic.) To prove this
+ + +
P(x, Y, z ) = Y Z ( ~ XPY 7 4 $(x, 2) we suppose that C is defined by P(x, y,z) and we let D be the projective
curve in P2defined by the Hessian Zp(x, y, 2). We know from remark 3.28
where 4(x, z) is homogeneous of degree three in x and z and
that Np(x, y, z ) is homogeneous of degree 3; however it may have repeated
factors so as in the proof of proposition 3.33 D must be regarded as a curve in
the generalised sense of remarks 2.3 and 2.25. Since the whole of $3.1 applies
After the projective transformation given by to curves in this generalised sense, it suffices to show that the conditions of
corollary 3.25 are satisfied. That is, we have to show that if p E C n D, or
equivalently if p is a point of inflection of C, then p is a nonsingular point of
C and of D and the tangent lines to C and D at p are distinct.
the curve C is defined by the equation We know from the last remark that by applying a suitable projective
transformation we can assume that
By2t. + 4(z, z) = 0
where $(x,z) is homogeneous of degree three in x and z, and hence is a
product of three linear factors. Since C is nonsingular it is irreducible (by and
corollary 3.10(i)), and hence $(x, z) is not divisible by x so the coefficient P(5, y, z ) = y2z  x(x  z)(x  Xz)
of x3 in $(x,z) is not zero. Therefore after a suitable diagonal projective
transformation C is defined by the equation for some X E C  ( 0 , l ) . We find that
where q E C satisfies
92 = (b  4  3
to put C into the form
and
y2z = x(x  z)(x  Xz)
for some A E C  (0,l). 0
Thus the conditions of corollary 3.25 are satisfied.
Remark 3.35 Note that the proof of corollary 3.34 actually shows that if
p is any point of inflection on a nonsingular cubic curve C then there is a As another useful result about points of inflection on cubics we prove
projective transformation taking p to [O,l, O] and taking C to a curve defined
by Lemma 3.37 A line L in P2meets a nonsingular cubic C either
y2z = x(x  z)(x  Az) (a) in three distinct points p, q,r each "ith intersection multiplicity one (i.e.
for some X E C  (0,l). L is not the tangent line to C at p,q or r); or
I
(b) in two points, p with intersection multiplicity one and q with intersection evaluated at (0,1, O), and
multiplicity two (i.e. L is the tangent line to C at q but not at p and q is not dP
a point of inflection on C); or
%(Ai,O,l) #0
(c) in one point p with intersection multiplicity three (i.e. L is the tangent since C is nonsingular; so [Xi, O,1] is a point of inflection if and only if
line to C at p and p is a point of inflection on C ) .
Proof. This can be deduced from the strong form 3.1 of B&out's theo a2p
w ( A i , O , 1) = 0,
rem by checking that the definition of intersection multiplicities given in the
statement of the lemma coincides with the definition given in theorem 3.18. or equivalently if and only if Ai is a root of multiplicity three in the polynomial
However it is hardly longer and perhaps more illuminating to give a direct P(x, 0, I). The result follows. 0
proof, so that is what will be done here.
Since C is irreducible (by corollary 3.10(i)) it does not contain L, so we We end this chapter with a very pretty result which says that nonsingular
may assume that L is the line defined by projective curves in P2have natural abelian group stmctures. We will not
quite be able to complete the proof here (though see exercises 3.13 and 3.14)
but this will be done later (see 6.21 and 6.39).
and the point [I, 0,O] does not belong to C. Let
Theorem 3.38 Given any nonsingular projective cubic C in P2and a point
of inflection po on C there is a unique additive group structum on C such
Then by lemma 2.8 we can factorise P(x, 0, z) as that po is the Zen, element and three points of C add up to zero if and only if
they are the three points of intersection of C with some line in P2 (allowing
for multiplicities).
for some A1,X2,A3 E C and p E C  {0), so
Proof. To check uniqueness, note first that additive inverses are uniquely
determined since po = po and if p # po then p is the third point of
intersection of C with the line in P2through p and po. Also if p, q are any
The tangent line to C ,at [Xi.O,11 is defined by +
points of C then p q = r where r is the third point of intersection of C
with the line in P2 through p and q (if p # q ) or the tangent line to C at p
(if p = q). Thus the additive group structure is uniquely determined.
It remains to show there is an additive group structure with po as zero
By Euler's relation (lemma 2.32) this line is L if and only if defined in this way. Commutativity comes straight from the definition of
+ +
p q. For any p E C such that p # po we have p po = r where r is the
third point of intersection of C with the line in P2through p and po. This
point r is not po since po is a point of inflection, so r is the third point of
or equivalently if and only if Xi is a repeated root of the polynomial intersection of C with the line in P2through r and po, which is of course p.
+ +
Thus p po = p if p # po, and po po = po since pa is a point of inflection
(so that its tangent line meets C with multiplicity three at po). The proof
If so then by lemma 3.30 +
that p (  p ) = po for every p E C comes equally easily from the definitions
of addition and inverses, so it only remains to prove associativity.
We cannot prove associativity at this point. There are many different
methods of proof, two of which will be given later in this book (see remark
6.21 and theorem 6.39). One more is left to the exercises (see exercises 3.13
and 3.14). 0
78 CHAPTER 3. ALGEBRAIC PROPERTIES 3.3. EXERCISES 79
3.3 Exercises 3.6. Prove Pappus' theorem: if L and M are two projective lines in P2 and
pl,pz,p3 lie on L  L n M and ql,qzjq3 lie on M  L n M then if Lij is the
3.1. Let C and D be projective curves in P2 with no common component.
line joining pi and qj the three points of intersection of the pairs of lines Lij
Show that and Lji are collinear. (This is almost the same as Pascal's theorem and can
be proved in almost the same way. The only difference is that the conic is
Sing(C U D) = Sing(C) U Sirig(D) U (C fl D). now the union of the lines L and M and hence is reducible).
3.7. If in Pascal's theorem we let some vertices of the hexagon coincide (the
Use corollary 3.10 to deduce that any projective curve in Pz defined by a
corresponding side of the hexagon becoming a tangent to the wnic) we get
polynomial with no repeated factors has at most finitely many singular points.
new theorems. State (and sketch in R2) what happens if
3.2. Use Bbout's theorem (theorem 3.1 and lemma 3.25) to show that if (a). pi = p2, p3 = p4, p5 = pe, where pl, . . . , p s are the vertices of the
a projective curve C in P2 of degree d has strictly more than dl2 singular hexagon;
points all lying on a line L then L is a component of C. (b). pl = p* and all the four other vertices are distinct.
3.3. Show that given any five points in Pz there is at least one conic contain From (b) deduce a rule for constructing a tangent to a given conic in R2 at
ing them. Deduce that a projective curve C of degree four in P2 with lour a given point using only a straight edge.
singular points is reducible. [Hint: show that any wnic containing the four
3.8. Let C be a projective curve in P2 defined by a homogeneous polyno
singular points and another point of C must have a component in common
mial P(x, y,z) and let a be a linear transformation of C3. Let Q be the
with C].
homogeneous polynomial Q = P o a' which defines the image of C under
3.4. Show that a polynomial P(x) in one variable with complex coefficients the projective transformation given by a. Show that the matrix of second
has a repeated factor if and only if the resultant derivatives of Q at a point of P2 represented by v E C3  (0) is given by
pre and postmultiplying the matrix of second derivatives of P at the point
represented by a'(v) by the matrix of the linear transformation aI and its
is zero. Show also that if transpose, and hence that
7ip o a" = (det a)27iq.
then Deduce that the definition of an inflection point is invariant under projective
transformations.
3.9. Let C be a projective cubic curve with a singularity at the point [O,O, 11.
Show that the equation of C is of the form
Show that by a suitable change of coordinates the equation can be put into
3.5. Prove the following converse to Pascal's theorem: if the intersections of
one of the forms
the opposite sides of a hexagon lie on a straight line then the vertices lie on
..
a wnic. [This is to be interpreted as follows. Let pl,. ,p6 be six distinct
y2z = cubic in x and y
points of P2,no three of which lie on a line. If i # j let Lij be the line through or
pi and pj. It is required to show that if the three points of intersection of the xyz = cubic in x and y
pairs of lines L12 and L45, L23 and Lm, L34 and L61 all lie on a line then the
..
points pl,. ,ps lie on a conic. You may wish to consider cubic curves which
and hence by a suitable substitution z ++Ax + py + vz into one of the forms
are unions of lines in Pz].
I
where ( 9 ~)27(g3)'
~ # 0.
y 2 Z = 423  g2xz2 g3Z3
1 respectively (see figure 3.2). Let D and E be the reducible cubic curves
N.B. This form of the equation is of historical importance and will appear
again later in the book, but it is not usually any more convenient than the and
one in corollary 3.34.
3.12. By comparing the formula for 'lip in remark 3.31 with the correspond Show that D meets C in the points
ing formula for 7iPQ,or otherwise, show that if C and D are projective curves
in P2 and p E C  D then p is a point of inflection for the curve C if and Po, P, 9, r, P + 9,q + ' 9 (P + 91,(9 + r ) , UP + 9) + r )
only if p is a point of inflection for the curve C U D. whereas E meets C in the points
3.13. Let C, D, E be projective cubic curves in P2 defined by homogeneous
polynomials P(x, y, z), Q ( x ,y ,z ) , R ( x ,y, 2). Suppose that C and D meet in Po, P, Q, r, P + 999 + r, (P + 91, (q + r ) ,(P + (9 + r ) ) .
..
exactly nine points pl, . ,p,. Show that no line in P 2 contains four of these Now use exercise 3.13 to deduce that
points and no conic contains seven of them. Show that there is a unique conic
Q containing pl ,...,p ~ . (P + 9) + r = P + (9 + r).
Now suppose that E contains P I , . .. ,pa and that R(x, y, z ) is not a linear
combination of P ( x , y, z ) and Q(x,y, 2 ) . Show that given distinct points q [Strictly speaking this argument only works when the points
and r in P 2 there is a curve C(X, p, v ) , defined by
Po, P, 9, r, P + 999 + r, (P + 91,(9 + r ) ,UP + 9) + r )
+ pQ(x, Y , + vR(x,Y , z ) = 0
XP(2, Y , 2 ) 2) are distinct. It can be extended to the general case either by tightening up the
with A, p , v E C , which passes through pl, ...,pa, q and r. argument of exercise 3.13 to allow for intersection multiplicities greater than
CHAPTER 3. ALGEBRAIC PROPERTIES 3.3. EXERCISES
where e = e2"'I3. Hence or otherwise show that C has exactly nine points of
inflection (which are independent of A) and that the line through any two of
them meets C again at a third point of inflection.
(N.B. In fact every nonsingular cubic curve in the projective plane is
equivalent under a projective transformation to one of the form
+
they satisfy
x3 + Y3 + z3 + Axyz = 0
where X3 27 # 0. Show that the points of inflection of C are the points of
intersection of C with a different curve of the same form, and deduce that
I and
Y3 = 
(Yl  Y 2 ) x3 + (Z1Y:  YlX2)
21  2 2 x 22
x3+Y3+z3=~=xyz
Find formulas for x3 and y3 in the case XI = 5 2 , yt = y2.
and thus
3.19. Suppose that the polynomial P(x, y, z) defining a nonsingular projec
0 = (X + y + z)(x +ey +e2z)(x +e2y +EZ) tive cubic C in P2 has rational coefficients. Suppose also that po is a point of
 
C = {[x, y, z] E P2 : P(x, y, z) = 0)
has a natural topology, which means that it makes sense to talk about con
cepts such as continuous functions on C (see $52.2 and 2.3). In this chapter we
shall investigate nonsingular complex projective curves from the topological
I
In fact a nonsingular projective curve in P2is topologically a sphere with
g handles (see figure 4.1 for a picture when g = 3).This number g is called
the genus of the curve. We shall see that it is related to the degree d of the
curve by the degreegenus formula:
I
It is also possible to describe the topology of singular projective curves
in P2,although as might be expected the description is more complicated.
It is enough to consider irreducible curves since any projective curve in P2
is the union of finitely many irreducible curves (see 2.26) meeting at finitely
appealing but it lies beyond the scope of this book to carry it through in
detail. The second is essentially the method we shall use in 34.2 and 34.3 to
give a detailed proof of the degreegenus formula, In $4.1 the rough idea of
this proof is explained and illustrated with an example.
(called Noether's formula) is true. It is not difficult to check using the definition of homogeneous coordinates
(definition 2.15) that q5 is bijection with inverse given by
The roof of these facts about singular curves will be left to Chapter 7.
The aim of this chapter is to prove the degreegenus formula for nonsingular 2Re(xg) 2Im(xg) Ix l2  1 Y l2
projective curves.
There are several different ways to prove the degreegenus formula. In 4 is continuous since it is the composition of the continuous map
$4.1 we shall give a brief description of two methods. The first is intuitively (u,v,w) H ( u + i v , l w,O).
88 4.1. THE DEGREEGENUS FORMULA 89
join the d spheres together to form one sphere (topologically). Thus the non
singular perturbation C1 of Co is topologically equivalent to a sphere with
handles. Thus we have at least one nonsingular curve with the right topology.
The second step in this method of proof is to show that if the coefficients
of the polynomial defining a nonsingular curve are perturbed by a sufficiently
small amount then the topology of the curve remains unchanged. This is
perhaps plausible on an intuitive level but we shall not attempt to prove it.
The third step is to show that the space ~ ~ ~ z ] of
y, ~ homogeneous
~ ~ [ x ,
polynomials of degree d in x , y , z M n i n g nonsingular projective curves is
pathconnected. That is, given any two nonsingular projective curves of de
Figure 4.3: A deformation of a singular curve gree d in P z defined by homogeneous polynomials P ( x , y , z ) and Q ( + , Y , z ) ,
there are nonsingular curves Ct defined by polynomials Pt(x, y, z ) for each
t E [0, I] depending continuously on t such that P O ( x , y ,Z ) = P ( x , y, Z ) and
from S2 to C 3  {O} with the map II : C 3  ( 0 ) ,P 2 defined by
P l ( x , y, z ) = Q ( s , y, z ) . The continuous map from [o, 11 to c y M i n " x , Y, Z ]
defined by
n(5,Y, z ) = [ x ,y, z ] ,
while 4' is continuous since its composition with the restriction of n to is called a path in c?"“"~[x, y , ~ from ] P ( x , Y , 2 ) to Q ( x , Y , ~ ) It is not
n"(L) C 3  {O} is continuous (cf. remark 2.16). 0 difficult to Show that such paths exist. If it were not for the requirement that
each p t ( x , y , z ) should define a nonsingular curve we could just take
This lemma shows that topologically our singular curve Co is homeomor
phic to a union of d spheres meeting in $d(d  1) points. P*(x,y , z ) = ( 1  t ) P ( x , y , z ) +~ Q ( x , Y , ~ )
to get a path from P ( x , y, 2 ) to Q ( x , Y , z ) in the space C d t x , ~ , ~ lSine
.
Now it seems intuitively reasonable that it is in fact always possible to such a path has real dimension one and the complement of Cy""'ng[~, Y , z l in
perturb the coefficients of the polynomial defining Coby an arbitrarily small
c d [ x ,y , z ] has real codimension two we can always shift the path very slightly
amount to get a nonsingular projective curve Cl. An equivalent statement is to ensure that it misses the complement of C d
nonning [ x , Y,zl and hence defines
that if c ~ [ x y,, z] denotes the space of homogeneous polynomials of degree din
x , y, z with complex coefficients then the subset c y M i n 8 [ xy,, z] of C d [ z , y , z ]
a path in C ~ ~ ~y, Z [] asXrequired.
,
consisting of polynomials which define nonsingular curves is dense, This N~~ we can put these three steps together to obtain the result we want.
follows from the fact that the subset of C d [ x ,y, Z] consisting of polynomials Let c be any nonsingular projective curve of degree d in P2. BY the first
which define singular curves has complex dimension one less than that of step there exists a nonsingular projective curve Ci of degree d in P2 which is
C d [ x ,Y ,21. Note that C d [ x ,y, z ] can be identified with ~ # ( ~ + l ) ( d +by~ )simply topologically a sphere with
considering coefficients of x i y i z k where i + j + k = d . .  l ) ( d  2)
It turns out that what happens on a topological level when such a pertur I 1
g = (d
2
bation takes place is that the singular points of intersection of the projective handles. By the third step there is a path
lines making up 4 become very thin smooth "necks' or handles joining the
projective lines (ci. figure 4.3).Precisely d  1 of these handles are used to t w c t , t€[0,11
90 CHAPTER 4. TOPOLOGICAL PROPERTIES 4.1. THE DEGREE~GENUSFORMULA 91
~ ~ + ~ ~ + 1 = 3 ~ + + 1 = 3jj(x)
j > ( ~ ) x3
~
which we can regard as defining y as a multivalued function of x; in fact for j = 1,2,3, and all x E D. Therefore the subset
+ 1) + d2x 6 + 2x3  3 3
Y = ( (x3
)'+ 2
((x3+1)dx6+2x33
for appropriate choices of the cube roots (see [Stewart 731 pp. 161163). Note
{ [ x , y , l ] € C : X € D ) = j=1
U{[s,y,lJEPz : XED,Y=fi(s))
of C is the disjoint union of three copies of the cut plane D. If we add in the
that three points at infinity this means that we can construct C topologically by
+ 2 ~ 3 3 = o taking three copies of D U {oo} and glueing the edges of the cuts together
if and only if x3 equals 1 or 3; i.e. x equals 1,w, Q, fi, w f i or ijB appropriately, corresponding to the way the multivalued function jumps from
where w = e 9 . To any value of x in one branch f j to another as y crosses the cuts.
Note that each copy of D U {oo} is topologically a disc, and its boundary
C  { l , w , ~E,
, wB,
QB} is made up of ten line segments. One can check that the boundaries should
4.1. THE DEGREEGENUS FORMULA 93
92 CHAPTER 4. TOPOLOGICAL PROPERTIES
when d = 3 weget g = 1. called nrmification points of 4. We can use 4 to visualise C as two copies of
PI cut and glued together as in $1.2.3 (cf. also example 4.2).
After studying this example in some detail let us consider the general case We shall see in this section that any nonsingular projective curve C of
again. So let
degree d > 1 in P2can be viewed as a branched cover of P I in a similar way
c=
{[x,Y,z]E P2 : P ( x , y , z ) = 0 ) We shall that if we choose coordinates on P2 appropriately then the
be a nonsingular curve of degree d in P2 not containing the point [o,1,0], number of ramification points is precisely d(d  1). We shall use this in the
Then the equation next section to prove the degreegenus formula.
P ( x ,Y , 1) = 0
Let C be a nonsingular projective curve in P2 defined by a homogeneous
defines Y as a multivalued function of x such that there correspond exactly d polynomial P ( x , y, z ) of degree d > 1. By applying a suitable projective
values of Y to each value of x E C other than the 'branch points", that is, transformation we may assume that [0,1,0] $ C. Then we have a welldefined
the values of x for which there is a value of y satisfying map 4 : C + P I given by
dP
P ( x , Y , 1) = 0 = (x, y, 1).
dti, Y , 4 = [x,21.
dy Definition 4.3 The ramification index vd[a,b, C] of 4 at a point [a,b, c] E C
'I'he point 00 is regarded as a branch point if there is a value of y satisfying is the order of the zero of the polynomial P(a, Y , C ) in y at Y = The point
[a,b, cl is called a ramification point of 4 if v4[a,b, cl > 1.
ap
P(l,y,O) = 0 = (l,y,O).
(i) vd[a,b, c] > 0 if and only if [a,b, c] E C.
If PI,.. , p ~are the branch points, suitably ordered, then we can cut the (ii) v&, b, c] > 1 if and only if
complex plane C along the straight line segments dP
P(a, b, c) = 0 = (a, b, c),
bl,~21,
(P2,~31,. . ,[&1,prI a?/
iae. if and only if [a,b, c] E C and the tangent line to C at [a,b,c] contains
and define holomorphic functions f l , . ..,fd on the cut plane such that if y
lies in the cut plane then
P ( x ,Y , 1) = 0 ap a2p
P(a, b, c) = 0 = (a, b, c) = ?(a, b,c).
if and only if Y = f j ( ~ )for some j E { I , . ..,d). Then just as in example OY a~
4.2 we can construct the curve C topologically by glueing together d copies This happens if and only if [a,b, c] is a point of inflection on C and the
of the cut complex plane along the cuts. This always gives a sphere with a tangent line to C at [a,b, c] contains the point [O, 1,0]. To prove this, note
certain number of handles (see Appendix C). However the computation of that [a,b, c] # [O, 1,0] so a # 0 or c # 0. Let Us assume that c # 0; the case
this number g requites some more information about branch points. For this
a # 0 is similar. Suppose
reason we shall study branch points more carefully in the next section.
dP
P(a, b, c) = 0 = (a, b, c);
ay
4.2 Branched covers of P1 then by lemma 3.30 we have
The nonsingular projective curve C in P z defined by the equation y2 = x z
admits a surjection 4 : C + PI defined by 4[x,y,z] = [x,z] such that if
[x,z ] E PIthen qP1([x,21) consists of exactly two points unless x = 0 or
z = 0. Such a map 4 : C , P I is called a double cover of P I branched over
the points [O,l] and [1,0]. The points in C mapping to [O,l] and [1,0] are
96 CHAPTER 4. TOPOLOGICAL PROP 4.2. BRANCHED COVERS OF Pi 97
where the partial derivatives are evaluated at (a,b , ~ ) .B~ ~ ~relatiol ~ Lemma
* ~ (i) q3 has at most d(d  1) mmification points.
4.7
(lemma 2.32) if <
(ij) ~f v&, b, C] 2 for all [a,b, c] E C then C h m ezactIy d(d1) ram$cation
ap
(a, b, c) = 0
8s
Proof. Since C is nonsingular it is irreducible (see corollary 3.10). By as
then as C # 0 and %(a, b, c) = 0 the point [a,b, c] E C would be s i n e  sumption [0,1,0] @ C so the coefficient P(0, 1,0) of yd in P ( z , y, z ) is nonzero.
lar, which contradicts the assumption that C is a nonsingular curve. Hence Thus the homogeneous polynomial
'Hp(a,b, c) = 0 if and only if
aP
a2p
(a, b, c) = 0 a!/
(x,Y, 2)
Proof. By proposition 3.33 C has only a finite number (at most 3d(d 2))  1
! is the union of the images of the edges, and if r : [O, 11 4 [O, 11 and Ui :
of points of inflection. Thus by applying a suitable projective transformation
we may assume that [O, 1,0] does not lie on C nor on any of the tangent lines 1't [0,1]4 A for 1 < i 5 3 are defined by
to C at its points of inflection. The result now follows from remark 4.4(iii). i r ( t ) = l  t , ul(t)=(t,O), u 2 ( t ) = ( l  t , t ) , u 3 ( t ) = ( 0 , 1  t )
0 i,
curve in P2.The first task is to give a precise definition of the term genus.
For this purpose we introduce the concept of a triangulation of a curve C  Remark 4.11 It is common to confuse edges and faces with their images in
the rough idea is that we divide C up into triangles. Let C.
Definition 4.12 The Euler number x of a triangulation is defined by
be the standard triangle in R2 with vertices (0,O ) , (1,O) and (0,l). Let where the symbol #S denotes the number of elements of a finite set S.
A 0 = { ( z , y ) ~ R :2 x > o , Y > o , z + Y < ~ ) The Euler number is important because of the following theorem.
be its interior. Theorem 4.13 (i) Every nbnsingular projective curve C in P2 has a trian
gulation.
Definition 4.9 Let C be a nonsingular complez pmjective curve in Pz.A (ii) The Euler number x of a triangulation of C depends only on C, not on
triangulation of C is given b y the following data: the triangulation.
(a) a finite nonempty set V of points called vertices, Because of this theorem we can define the Euler number x(C) of C to be
(b) a finite nonempty set E of continuous maps e : [ O , l ] + C called edges, the Euler number of any triangulation of C.
(c) a jkite nonempty set F of continuous maps f :A + C called faces,
satisfying Examples 4.14 (i) By lemma 4.1 a complex projective line in Pzis home
(1;) V = {e(O): e E E ) U { e ( l ): e E E ) , i.e. the vertices are the endpoints of omorphic to a sphere. Thus it bas a triangulation with three vertices, t h r e
the edges; edges and two faces (see figure 4.9). Therefore
(ii) if e E E then the restriction of e to the open interval ( 0 , l ) is a homeo
morphism onto its image in C , and this image contains no points in V or in
the image of any other edge e' E E; (ii) The nonsingular cubic curve C defined by
(iii) i f f E F then the restriction o f f to AOis a homeomorphism onto a
connected component K f of C  I? where
with A # O,1 is topologically a torus (see 31.22.) so it has .c? triangulation
with one vertex, three edges, and two faces (see figure 4.10). Thus
100 CHM'TER 4. TOPOLOGICAL PROPERTIES 4.3. PROOF OF THE DEGREEGENUS FORMULA 101
I edges
{hoe : e€ E),
I and faces
{hof : f EF).
I
Thus C and D have the same Euler number and genus. In other words
the Euler number and genus of a nonsingular projective curve are topological
Figure 4.14: A subdivision of figure 4.12 invariants: they only depend on the topology of the curve, not its algebraic
structure.
Theorem 4.18 Let C be a nonsingular projective curve of degree d in Pz, If f i = { < : [ ~ , l ] + C : e' w n t i n u o u s , 9 o d ~ E )
r is a positive integer and r 2 d(d  1) and r 2 3 then C has a triangulation
and
with rd  d(d  1) vertices, 3(r  2)d edges and 2(r  2)d faces. j3= { ~ : A  + C: j continuous,)of EF).
This theorem has the following immediate corollary. Momover if v+(p) is the ramification indez of 4 at P and d is the degree *f
then
Corollary 4.19 ( T h e degreegenus formula) The Euler number x and #v  PER
= d#V Z ( ~ + ( P) 1)s
genw g of a nonsingular projective curve of degree d in Pz are given by
#E = d#E
x = d(3  d)
and
and 1
#P = d#F.
Remark 4.23 It follows from this proposition that the Euler number x(C)
Examples 4.20 (1) When d = 1 then x = 2 and g = 0. A projective curve , of C is given by
of degree 1 in Pois a line so this tallies with example 4.14(i).
(2) When d = 2 then x = 2 and g = 0 again. A projective curve of degree
2 in Pz is a conic, and by remark 3.13 any nonsingular projective conic is
homeomorphic to PI, or equivalently to a complex projective line in P2,so This is called the RiemannHumitz formula for the branched cover 9 : C 4
this tallies with example 4.14(i). P1.
(3) When d = 3 then x = 0 and g = 1. By corollary 3.34 a nonsingular
projective cubic curve in Pz is equivalent under a projective transformation Proof of theorem 4.18 given 4.21 and 4.22. Let P(x, y,z) be a homo
to the curve defined by geneous polynomial of degree d defining the curve C. By lemma 4.8, after
applying a suitable projective transformation to C we may assume that the
map 4 :C 4 P1given by .
for some A E C  (0, I), so this tallies with example 4.14(ii).
For the proof of theorem 4.18 we need two preliminary results. is welldefined (i.e. [O, 1,0\ $$ C) and the ramification index v4[a, b, c] of 4 at
every [a, b, c] E C satisfies
Lemma 4.21 Let {pl,. . . ,p,} be any set of least three pdnts in PI. Then v4[a,b,c) 5 2.
.
there is a triangulation of PI with pl, . .,p, as its vertices and with 3r 6 
edges and 2r  4 faces. Then by lemma 4.7 9 has exactly d(d  1) ramification points, i.e. #R =
d(d  1).
Proposition 4.22 Let By lemma 4.21 if r 2 3 and r 2 d(d 1) then we can choose a triangulation
(V, E, F ) of P1such that
v 2 4(R)
be a nonsingular prvjective curve not containing [O, 1,0] and let 9 : C + P1 
and #V = r, # E = 3r  6 and #F = 2r 4. Therefore by proposition 4.22
be the brunched cover defined by )[x, y, z] = [x, r]. Suppose that (V, E, F ) is a there is a triangulation ( v , &, P ) of C with
triangulation of PI such that the set of vertices V contains the bmnch locw
d(R) of 9. Then there is a triangulation (v,
k ,P ) of C such that
#t=rdd(d1) Figure 4.17: A subdivision of a triangle
as required. 0 k
Proof of lemma 4.21. We can prove this for example by induction on r 2 3.
When r = 3 lemma 2.22 tells us that there is a projective transformation
taking pl to 1, pz to e% and p3 to e*. (Here as usual we identify P I with
C U {m).) We can join these three points by segments of the unit circle in
C (see figure 4.16).
The exterior of the unit circle together with the point at infinity is mapped by
the projective transformation z I, !to the interior of the unit circle. Since
there is a homeomorphism
which takes the vertices of the triangle A to l , e y and e q and takes the
edges of A to the appropriate segments of the unit circle, we get a triangula
tion of PI with three edges and two faces when r = 3.
.
Now suppose r > 3 and we have a triangulation with vertices pl, . . ,p,1
and 3r  9 edges and 2r  6 faces. If p, lies in the interior of a face f (more
precisely, if p, € f (Ao)) we can add three edges joining p, to the vertices of
the face f (see figure 4.17) and obtain a new triangulation with one extra
vertex, p,, three extra edges and one old face subdivided into three new ones. Figure 4.18: A subdivision of two adjacent triangles
If p, does not lie in the interior of a face then it lies on an edge e (more
precisely p, = e(t) for some t E (0, I)). We can then replace e by two edges
joining p, to e(0) and e(l), and add two edges joining p, to the remaining
vertices of the faces f$ and f; (see figure 4.18). This gives a triangulation
with one new vertex, p,, two extra edges and one old edge replaced by two new
108 CHAPTER 4. TOPOLOGICAL PROPERTIES 4.3. PROOF OF THE DEGREEGENUS FORMULA 109
ones, and two old faces each replaced by two new ones. The result follows. 0 i.e. that condition (i) of 4.9 is satisfied.
It follows from lemma C.7 and remark C.9 of Appendix C that if e E E
Proof of proposition 4.22. We must show that p,k and P satisfy the
d ( ~=
) 4 )
conditions (ir(v) in the definition 4.9 of a triangulation, and that the for
~  ~ ~for
u l#V,#fi
a and #P are correct. This uses some topological results for some t E (0,l) then there is a unique continuous map
proved in Appendix C.
By C.8 and C.9 of Appendix C, if f E F and p E C and e': [0,1] ,C
such that 4 o e' = e and e'(t) = p; and moreover by lemma C.6 the restriction
d(p) = f (t) of 8 to (0,l) is a homeomorphism onto its image in C. Condition (ii) of
for some 1 E A not equal to any of the vertices (0,0), (1,O) or (0, I), then definition 4.9 follows using the uniqueness of I. It also follows that
there is a unique continuous map
4'{e(t) : e E E,t E (0,l)) = {I(t) : E fi, t E (0,l))
~:A+c
such that ) o f = f and j = p. By lemma 4.5 6'{f (t)) consists of exactly
d points of C (because f (t) does not belong to the branch locus d(R)) so we r = U e([O, 11) = V U (e(t) : e E E, t E (0,l))
eEE
can deduce that there are exactly d continuous maps f : A , C such that
4 o ,f = f. This means that then
#P = d # ~ . p ( r ) = p ( v ) u { ~ ( t ): z E k , t E (0,l)) = f
We can also deduce that where
i; = U a([o,i]).
a&
Furthermore by lemma 4.5 if t E (0,l) and e E E then &'{e(t)) consists of
In particular t exactly d points of C (because e(t) does not belong to the branch locus #(R))
G = ujefiJ(A) so there are exactly d continuous maps d : [0,1] C such that 4 o 2 = e.
contains C  4'(V) and is therefore dense in C because $'(V) is finite by Thus
lemma 4.5. (The complement of a finite set of points in C is always dense: see
#E = d#E.
e.g. remark 5.29 in $5.2.) But A is compact (by 2.12(i)) so !(A) is compact By lemma C.6 of Appendix C if f E P then the restriction of f to
if f E P (by 2.12(ii)) so G is compact (by 2.12(vi)) so G is closed in C (by A0 is a homeomorphism onto its image which is a connected component
2.12(v) and 2.30). Thus G = C, which implies that of 95'( j(AO)) where f = 4 o f. Since f (Ao) is s connected component of
P1  I' it follows that ](A') is a connected component of
then f maps two distinct points of PI to p but is a homeomorphism away from centred at a E C if and only if it can be expressed as a convergent power
p. [Hint: recall that the image of a closed subset of a compact space under series
a continuous map to a Hausdorff space is always closed, and in particular f(z)=~c,,(za)", Ital<r
n>O
any continuous bijection from a compact space to a Hausdorff space is a
homeomorphism].
111
CHAPTER 5. RIEMANN SURFACES 5.1. THE WEIERSTRASS pFUNCTION 113
112
Residues of meromorphic functions at poles are closely related to integrals
called the Taylor series of f about a (see e.g. [Priestley 851 5.9). The coeffi of the functions along paths in C. Recall that a piecewisesmooth path in an
cient c, is found by differentiating the power series n times at a: we have open subset W of C is a continuous map 7 : [c, d] + W, defined on a closed
1 interval [c, d] of the real line, which is the join of finitely many smooth paths
c, = f(")(a).
n! .
71,. ,7t in W . BY this we mean that there exist real numbers
A memmorphic function on W is a function c=co<cl < . . . < q = d
f :W+CU{oo)
and maps 7i : [ciI, ci] + W for 1 5 i 5 t such that
such that f : W  fl{m) t C is holomorphic and J' has a pole at each
a E fl(m): that is, near a we can write 7(t) = 7i(t) if t E [ci1,q]
and the real and imaginary parts of the restriction of 7;to the open interval
g(z) (Q~,ci) have derivatives which are continuous and extend continuously to
f (2) =
(z  the closed interval [cil, cj]. The path 7 is closed if 7(c) = 7(d) and simple if
for some m > 0 where g(z) is holomorphic in an open nei&bourhood of a 7(t) # 7(s) unless s = t or {s, t) = {c, d).
111
f (2) = C
n>m
4 2  a)" piecewisesmooth path 7 : [c,dj 4 W is by definition III I
where
g(z) = C ~  m ( z a)"
n>_o where 7'(t) is interpreted as yi(t) for t E (Q,~,Q).
is the Taylor expansion of g ( z ) and
The fundamental theorem concerning the integrals of holomorphic func
c,,, = g(a) # 0. tions along paths in C is
~h~~ is called the order or multiplicity of the pole. The coefficient c1 is Theorem 5.2 (Cauchy's theorem). Let 7 be a contour in C and let f be
called the ~ s i d u of
e f (2) at a and is denoted by a function which is holomorphic inside and on 7. Then
r e 4 f (2); a)
Remark 5.1 It is easy to check that in this situation
Remark 5.3 We shall follow [Priestley 851 and define a contour in C to be a

f '(2) simple closed path in C which is the join of paths 71, ,..,7,,each of which is a
f (2) straight line segment or circular arc in C. By the Jordan curve theorem (see
has a simple pole (that is, a Pole of order one) at a with re&iue me Similarly [Priestley 851 3.24) the complement in C of the image 7' of such a contour
if f has a zero of multiplicity (or order) m at a, that is1 if near a we can write 7 has two connected components, one bounded (the inside I(?) of 7) and
one unbounded (the outside of 7). The requirement that f be a holomorphic
f (2) = (2  a)mg(z) function inside and on 7 means that f is holomorphic on some open subset of
# 0, then C containing I ( 7 ) U 7'. For a proof of this form of Cauchy's theorem we can
where g(z) is holomorphic in an open neighbourhood of a and then refer to [Priestley 851 4.6. However Cauchy's theorem is true for much

f '(2) more general contours (d.e.g. exercise 6.2).
f (2)
A consequence of Cauchy's theorem is
has a simple pole at a with residue m.
114 CHAPTER 5. RIEMANN SURFACES 5.1. THE WEIERSTRASS pFUNCTION 115
Theorem 5.4 (Cauchy's residue theorem). Let 7 be a contour in C and Then the series
let f be a meromorphic function inside and on 7 with no poles on 7 and poles
at al, ...,at inside 7. Then
C fn(z)
nll
for all closed piecewisesmooth paths y in convez open subsets of W then f is Then A is a lattice in C. That is, A is an additive subgroup of C which is
holomorphic in W . isomorphic to Z x Z.
Proof. [Priestley 851 5.6. f Proposition 5.10 There is a memrnorphic function p(z) on C debed by
Using these theorems it is possible to prove the following result which is
very useful for constructing holomorphic and meromorphic functions.
Theorem 5.7 Let (fn : W + C)nll be a sequence of holomorphic functions
I with derivative given b y
on an open subset W of C converging uniformly to a function f : W t C .
Then f is holomorphic on W , and the derivatives fi converge uniformly to
f t on W . Proof. Note that the sum of a holomorphic function and a meromorphic
Proof. [Priestley 851 p.78. function on an open subset of C is a meromorphic function. Hence, by the
Weierstrass Mtest (theorem 5.8), to show that p(z) is a welldefined mero
A direct application of this result is the Weierstrass Mtest. morphic function on C and that its derivative can be obtained by differenti
ating the series term by term, it suffices to show that for any R > 0 there is
Theorem 5.8 (Weierstrass' Mtest). Let (f,, :W + C)nll be a sequence a finite subset AR of A such that the series
of holomorphic functions on an open subset W of C. Suppose there ezist
positive real numbers Mn for n 2 1 such that the series C
wEAAR
( ( t  w)2  w2)
converges absolutely uniformly on the disc
{t E C : 1211 R ) .
converges and
I fn(2) I< Mn Vz E W . For this we need
5.1. THE WEIERSTRASS pFUNCTION 117
116 CHAPTER 5. RIEMANN SURFACES
Definition 5.12 p(z) is called the Weierstrass pfunction associated to the
Lemma 5.11 There is some 6 > 0 such that lattice A.
IZUI + yw2 I> 6JG Lemma 5.13 p(z) = p(z) = p(z + 6 ) for all z in C and C in A.
for all real numbers x and y . Proof. First note that if C E A then
Given this lemma, let
A,= {WE A :IwI<2R}. Since the tail end of this series converges absolutely and since w  ( runs over
Then A as w runs over A, we can rearrange the series and substitute w for w  to
AR C {nw, + mw2 : n,m E 2,n2 + m2 5 4R262} get
and hence AR is finite. Moreover if
+
d ( z 0 = d(.)
for all z E C. This implies that
and J z J 5R, then l z l s f I w ~and hence where c(C) depends on C but not on r. Substituting z = iC we get
((2  w)2  w  (~  
= (z(2W z)(z w )  ~ w ( ~
5 (5R Iu I / 2 ) l ( l ~ I ' 14)
= I O R 1~ 4 3
5 10R6'~(n~+ m2)3/2. Now observe that
It remains to prove lemma 5.11. In particular c(C) = p(jC)  p(!C) = 0, and thus
f(e) =I (COS
9)wl + (sin 4)w~I
is continuous. Since the interval [O,2?r] is compact, f is bounded and attains
I This completes the proof. 0
Lemma 5.15 A doubly periodic holomorphic function f on C is constant. where g2 = 20A and g3 = 28p. Using the above formulas for g(z) and pt(z) we
can easily check that k(z) restricts to a holomorphic function of z in an open
Proof. Since f is holomorphic it is continuous, and hence by proposition neighbourhood of 0 which vanishes at 0. But p and p' are both meromorphic
2.12 is bounded on any closed bounded subset of C such as the parallelogram functions on C which are holomorphic on C  A and satisfy
~~t given z E C we can find ( E A such that z + C E P,and since f is doubly for all z E C and C E A. This periodicity shows that k(z) is holomorphic in a
periodic, neighbourhood of each (' E A, and hence k(z)is a doubly periodic holomorphic
f ( 2 + 0 = f (4. function on C . Therefore by lemma 5.15, k(z) must be a constant function,
SO
Thus f is bounded on C,so the result follows from
k(z) = k(0) = 0
Theorem 5.16 (Liouville's theorem). Any bounded holomorphic function for all z E C. Finally to obtain the required series expressions for 92 = 20A
on C is constant. and g3 = 28p note that 2X and 24p are the second and fourth derivatives at
0 of the function
Proof. [Priestley 851 5.2. 0
Using lemma 5.15 we can prove an extremely important identity concern
C ((2  w )  ~ w  ~ )
WEA10)
ing the Weierstrass pfunction. which can be differentiated term by term at z = 0. 0
Lemma 5.17
Proposition 5.18 The Weierstntss pfunction

~ ' ( z ) '= ~ P ( z ) !.?2~(z)
~ 93, 
p:CA+C
where is surjective. Also
=
~ ( 2 ) P(W)
and
if and only if w E A f z .
Proof. Take any c E C and let f ( z ) = p(z)  c. Then by remark 5.1 the
function f'(z)/f ( z ) is meromorphic on C with simple poles of residue m
Proof. where f has poles of multiplicity m and simple poles of residue m where f has
g(.) C ( ( 2  w)2  w  ~ )
 2.' = zeros of multiplicity m, and no other poles. Therefore by Cauchy's residue
WEA(01 theorem (theorem 5.4) if $ is a contour in C not passing through any zero or
vanishes at 0 and restricts to a holomorphic function in an open neighbour pole of f then
hood of O in C . Moreover it is an even function of z (i.e. it takes the same
values at z and  2 ) so its odd derivatives vanish at 0 and hence its Taylor
series expansion about 0 involves only even powers of z. Thus near 0 we can where Z and P are the numbers of zeros and poles of f inside r counted
write according to mu1t iplid ty. Take 7 to be the boundKy of the pardehgmm
P(;) =: 2 .
+ x z ~ + ~ z ~ + z ~ ~ ( z )
where h(z) is a holomorphic i u n c t ion of z defined near z = 0. Then
where a is chosen so that the boundary of P(a) does not pass througb any
pt(z) = + 2X: + 4 p 3 + 6z5h(z)+ t6h'(z). zeros or poles of f . In particular this means that there is precisely one lattice
point C E A inside 7 . By the double periodicity off we have
Consider the function
For then as before all the zeros of f inside 7 will be accounted for. But if Remark 5.21 If we regard the lattice A as an additive subgroup of C, then
wo = wl then A + wo = A  w0 and so as pt(z) is an odd doubly periodic we can form the quotient group
function
gt(wo)= pt(wo) = pt(wo).
Hence pt(wo) = 0 and thus fl(wo)= 0 as required. O + +
where as usual two cosets A a and A b are equal if and only if a  b E A.
This quotient group has a natural topology (the quotient topology) induced
Definition 5.19 Let CA be the projective curve in P2 defined by the polyno from the standard topology on C as follows. Let
mial
n : C ,C/A
QA(x,y, z) = y2z  4x3 g 2 t ~g3z3+2 +
where g2 = g2(A) and g3 = g3(A) are defined as in lemma 5.17.
+
be the surjective map defined by ~ ( a=) A a. Then a subset U of CIA ie
open in the quotient topology on C/A if and only if its inverse image n'l(U)
is open in C.
Lemma 5.20 The cubic curve CA is nonsingular.
122 CHAPTER 5. RIEMANN SURFACES 5.1. THE WElERSTRASS pFUNCTION 123
Proof. We need to show that u is a bijection, and that u and uI are
ZEA~W.
+
We want to show that z E A w. Suppose z E A  w. Then since p' is an
odd doubly periodic function we have
0
pt(z) = @('w).
Figure 5.1: C/A is a torus
) U(W)SO pt(z) = pt(w). Hence
But ~ ( z =
Note that n : C 4 CIA is an open map in the sense that if V is open in pt(z) = pt(w) = 0.
C then n(V) is open in CIA. This is because
But the proof of lemma 5.20 shows that if pt(w) = 0 then p(w) equals a,p
.'(.(V)) = U(V + C)
CEA
where g and h are holomorphic near 0 and g(0) and h(0) are nonzero. So if
z is near 0 but not equal to 0 then
+
which tends to [O, 1,0] as z tends to 0. Thus u is continuous at A 0.
We have shown that u : C/A , CAis a continuous bijection. Since CIA
is compact (by remark 5.21) and CAis Hausdorff (lemma 2.30) it follows that Figure 5.2: A chart
u is a homeom~rphism([Sutherland 751). 0
Riemann surface in a natural way and say what it means for a map between
Remark 6.24 We shall show later (proposition 5.43) that u and its inverse Riemann surfaces to be holomorphic.
are not continuous but indeed holomorphic. However before proving this
we must say what it means! This will be done in the next section. First we need the definition of a (topological) surface.
Definition 5*25 A surface is a Hausdorff topological space S which locally
Note also that proposition 5.23 tallies with the degreegenus formula, homeomorphic to C (or equivalently R
'
).
which tells us that topologically CAis a sphere with one handle, i.e. a torus.
Here, "locally homeomorphic to Cn means that any x E S has an open
neighbourhood U in S which is homeomorphic to an open subset V of C.
5.2 Riemann surfaces
A homeomorphism 4 : U , V between an open subset U of S and an
We saw in the last section that if open subset V of C is called a chart (or local coordinate mapping ) on S (see
figure 5.2).An atlas @ for the surface S is a collection of charts on S
A = {nult mu2 : n,m E 2)
is to make sense of this statement (which will be proved at the end of it: see V, : ar E A) is an atlas for S then the homeomorphisms
proposition 5.43). We need to define Riemann surfaces, show that the com
plex torus CIA and the nonsingular curve CA can each be regarded as a
CHAPTER 5. RIEMANN SURFACES 5.2. RIEMA NN SURFACES 127
~ = { ( ~ , Y ) E C : X EW
V ), ~ E
~ ( x , Y=) x
is a continuous function with continuous inverse
I, (x,g(x)).
Similarly if (aP/ax)(a,b) # 0 there is an open neighbourhood U of (a, b) in
C  Sing(C) such that the map y5 :U + C defined by
u = {[X,~,Z]EC:Z#O,X/~EV,Y/~EW)
= {[x,~,I]EC:XEV,YEW) 40 :UO 3 b , d P :up+ Vp
is an open neighbourh~~dof [a,b, C] in C  Sing(C). The Q: t
defined by
4 [ ~Y , ,21 = X / Z f O C' 14a~uan~p)= ( f 0 4;') 0 (h0 bl) Iccuanup) .
is a homeomorphism with inverse Since k 4:' and its inverse 4, 0 4;' are both holomorphic and the compo.
sition of holomorphic functions is always holomorphic, it fo]lows that f 4;'
W w [W,S(W),
11. is holomorphic at & ( I ) if and only if f o 4;' is holomorphic a t 4P(x).
similarly if [a,b, c] E C and (aP/By)(a,b, c) # 0 # a, or if(8PIBx)(a, #O
or (a~/a~)(~,b, c) # 0, then we can find a homeomorphism 4 : u V This remark proves

+

A continuow map f : S T is called holomorphic with respect to @ and Q
of whose transition functions is of One of the following forms
w H W , l / w , g ( w ) , l / g ( w )w
, / ~ ( wor) ~ ( w ) / w $0 Of O 4': p ) ) : n f'(wP))
I b a ( ~ a n f  l ( ~ du(U, ~g
such that, g is holomorphic and the denominator does not vanish on the set holomo*ic for chart bo : Ua t Va in ib and evey d a r t +@wp
: +
where the transition function is defined. Thus this atlas is holomorphic. 0 5in Q.
 . . 
. . ,


A ._..  . .
._. _ _. .    
  .
. ru Y
on T and
0, : Y, + 2, E C
on R such that
x E Ua, f ( x ) E Wp, g ( f ( x ) )E Yv.
It is enough to show that 0, og o f o 4;' is holomorphic at &(x) E Va. But
in the open neighbourhood
(see figure 5.4) and this is the composition of two holomorphic functions in Figure 5.4: Composition of holomorphic functions
the usual sense of complex analysis, so it is holomorphic. 0
phic atlases on S define the same Riemann surface if and only if the3 are d.9
I
compatible with each other. Then 4 : U t C and $ : V 4 C form a holomorphic atlas on PIwith
transition functions
If (S, 31) and (T, 7 )are Riemann surfaces and f : S + is continuous 9 0 $' = $ 0 $4I :C  (0) ,C  (0)
then by remark 5.37 we can say that f is a holomorphic map between the
Riemann surfaces (S, R)and (T,3)if it is holomorphic with respect to any
(or equivalently all) of the holomorphic atlases @ E 'H on S and Q' E 0x1 z l/z.
T. Recall that if U is an open subset of C then a memmorphic function on u is
a function f : U + C U (00) such that if a E U there exists E > 0 such that
We often denote a Riemann surface (S,'H) by the same symbol S as the in the punctured disc
underlying surface, unless confusion is likely to arise.
(z€C:O<Iza1<&)
Definition 5.39 Two Riemann surfaces S and T are called biholomorphic if the function f takes only finite values and has a Lauren+, series expansion
there is a holomorphic bijection f : S + T whose inverse is holomorphic. (In
fact the requiwment that the inverse o f f should be holomorphic is redundant:
see exercise 5.6).
f (2) = x
k2m
ck(z  a)k
134 CHAPTER 5. RIEMANN SURFACES 5.2. RIEMANN SURFACES 135
for some integer rn. If this power series is identically zero then f ( a ) = 0. Lemma 5.41 Any nonconstant holomorphic map f : PI+ PIis mtiond
Otherwise we may assume that c, # 0, and then (and hence takes the value m at least once).
flu, = { oo if m > 0,
c, i f m = O ,
0 ifm<O.
Proof. The restriction of f to C is a meromorphic function on C, as is the
function
When f ( a ) = a, we say that f has a pole of order m at a. where we interpret f as m. If a meromorphic function has a pole at a point
a E C then it is holomorphic on some punctured disc
Equivalently we can write
f ( z ) = (z  U )  ~ ~ ( Z )
with E > 0 (this follows straight from the definition). Since PIis compact
where .
it follows that f can have only finitely many poles in C , at a ~. ,.,or say.
Suppose that I
k20
f (z) =
n>
Cm,
c t ) ( z  aj),
is holomorphic and h(a) # 0. Thus f (z) is meromorphic in a neighbourhood
of a with a pole at a if and only if is the Laurent expansion of f about aj, and let 1
I,
in c is an additive subgroup of C, We have already noted in remark 5.21 Proposition 643 The homeomorphism u :C/A + cAdefined by
that the quotient group C/A has a natural topology, the quotient t o ~ o l o g ~
induced by the map a : C t C/A which maps
%HA+Z.
~t follows idiately from lemma 5.11 that there exists 6 > 0 such that
I nwl + mwz I>_
6
for all pairs of integers n,m not both zero. Hence if a E C the restriction of
+D 0 u0 R1: do(Uo.nu~(w,))
+6
is holomor~hicin the usual sense of complex .nalysiS for Some holomorphic
x to the open disc
U, = { z E C : ( 2  a1
1
< 6)
charts do : + va on C/A and $p : Wp + 6 on CAsuch that A + E ,yo
4 and + w) E Wp As in example 5.42 we may take 4o to be the inverse of
in c is a homeomorphism onto the open subset ~ ( u a of'
) CIA. If ~ ( u afl) a: t U, = r(V,) !llll I!$
n(Ub) # 0 then there is a unique 1111~,I,t
I~~~~Ill,
4alr llli
nwl + mwz E A where Vo is a sufficiently small open disc in C and a : C + CIA maps to
+
its coset A z. Thus 4;' = : V, 4 u,.
dl,,, ,888
.+
is given by translation by nwl m ~ z Therefore the charts
1/,.,.
= (n (u,)' : n(Ua) + Ua
'I'hus h 0 u 0 4;' is the restriction of either p or pd, both of whi& an , ,.%.
to show that CIA is Hausdorff. This can be checked directly using ~ ~  a that we can take +D to be the map .. .
I .,,(
,,, ,
511 but it also follows immediately from the existence of a homeomorphism
: CIA 4 CAwhere CAis a nonsingular projective curve (proposition 5.23) / x , Y , ~H
] xY
and the fact that CAis Hausdorff (lemma 2.30).
1f S is another Fiemann surface then a function f from CIA to S is bolo
rnorphic if and only if the composition f O T from C to s is holomor~hic.Thus
holomorphic functions f froni CIA to S correspond exactly to holomor~hic (see definition 5.19). Thus
functions g from C to S with the property that
g(z +~ l =>g(z) = g(z +wz)
This function is holomorphic near O (and hence near every point of A by
periods wl and w2. double periodicity) since near 0 we can write
Finally we can prove as promised that the homeomorphism u : CIA + CA
and its inverse are holomorphic.
138 CHAPTER 5. RIEMANN SURFACE 5.3. EXERCISES 139
I111,
11
0
holomorphic atlas which is compatible with it. Show that in every equivalence "it
1 II
5.3 Exercises 5.8. Let be a surface with open subsets V and W such that s = v u W. I!:
,,I)
Suppose that V and W have holomorphic atlases iP and \Ir such that the I I!:
5.1. The identity theorem (or principle of analytic continuation) of complex holomorphic atlases lvnw and 8 lvnw on V n W are compatible. Show 111
analysis tells us that if f : U + C and g : U + C are holomorphic fu~~ctions that U 8 is a holomorphic atlas on S.
from a connected open subset U of C to C , and if f(z) = g(z) for all z in 5.9 Use exercise 5.4 and example 5.42 to show that there are no nonconstant
some nonempty open subset W of U then f (2) = g(z) for all E U (cf. holomorphic doubly periodic functions f : C ,C.
[Priestley 851 5.16). Use this to show that if f : R + S and 9 : R + S
are holomorphic functions between Riemann surfaces R and S and if R is 510. Let ~ ( z be
) the Weierstrass pfunction &sociated with the lattice in
connected and f (z) = CJ(Z) for all z in some nonempty open subset W of R C. Explain why the function
then f(z) = g(z) for all z E R. [Hint: show that the union of all the open
subsets of R on which f and g agree is nonempty and is both 0pen.and closed @:C/A+P1=Cu{m)
in R, so it must be R itself]. +
defined by @(A z) = B(Z) is holomorphic in the sense of Riemann surfaces.
5.2. The open mapping theorem of complex analysis (see [Priestley 851 10.24) Given that ~ ' ( 2 h) a a simple zero at each point in $A  A and no other
says that if f : u , C is a nonconstant holomorphic function from a coil zeros in C,show that if A is generated by wl and w2 then
netted open subset U of C to C then f (U) is open in C . Use this to show that
if f : R , s is a nonconstant holomorphic map between Riemann surfaces
and R is connected then f (R) is an open subset of S.
is a holomorphic doubly periodic function on C. Deduce using exercise 5.9
5.3. Show that a nonconstant holomorphic function f :R + S between .that there is a cubic polynomial Q ( x ) such that
connected Riemann surfaces R and S such that R is compact is surjective.
[Hint: use exercise 5.2 and the fact that the image of a compact space under
d(zI2 = Q(P(z))
a continuous map to a Hausdorff space is compact and hence closed]. Deduce
that S is compact.
5.4. show that if R is a compact connected Riemann surface then there are 5.11. Let f be a nonconstant meromorphic function on C which is even (i.e.
no nonconstant holomorphic functions f : R 4 C. /(I) = f ( z ) for all E C ) and doubly periodic with period lattice A (i.e.
5.3. EXERCISES 141
140 CHAPTER 5. RIEMANN SURFACES
f(z + A) = f(z) for all a E C and A E A). Let p(z) be the IVeierstrass Show that there is a projective transformation of P2 given by a diagonal
@function associated to A. Using Cauchy's residue theorem applied to the matrix taking C to 6 if and only if J(C) = ~ ( 6 where
)
boundary of a suitable parallelogram (as in the proof of proposition 518) or
+
otherwise, show that the number n(f) of cosets A a consisting of zeros of J(C) = id
d  27932'
f(z) is even and positive and is the same as the number of cosets consisting
of poles (allowing for multiplicities of zeros and poles). Show that if a is a 515. Let A and be lattices in C. Use exercises 5.13 and 5.14 to show that
zero and b is a pole then the following statements are equivalent.
(i). CIA is biholomorphic to CIA.
(ii). A = aA for some a E c  (0).

(iii). J(A) = J(A) where J(A) = g2(A)3/(g2(A)3 27g3(A)2).
is an even doubly periodic meromorphic function and either g(z) is constant [Hint: show (i)=+(ii)=+(iii)+(i)].
or n(g) = n(f)  2. Deduce that there is a rational function R(%)such that 518. Let f : R S be a holomorphic map between Riemann surfaces
+
do'Y:[cldjtV
is a piecewisesmooth path in the open subset V of C . (See the definition afler
e m a r k 5.1). The path 7 is closed if y ( a ) = ~ ( b ) ,
The definitions of holomorphic and meromorphic differentials on a Rie
mann surface are not quite so immediate and need some motivation. First we
need to say what we mean by meromorphic functions on a Riemann surface.
Recall from example 5.40(d) that a meromorphic function on an open
subset W of C can be interpreted as a function W + PI which is holomorphic
in the sense of Riemann surfaces (and is not identically cx, on any connected
component of W). Here as usual we identify PIwith C IJ {oo). Thus it is
reasonable to make the following definition.
143
6.1. HOL OMORPHIC DIFFERENTIALS 145
144
Remarks 6.5 (i) Formally a meromorphic differential on S is an equivalence
Definition 6.2 A meromorphic function on a Riemann surface S is a func class of pairs (j,
g) of meromorphic functions on S such that two pain (f,g)
tion f : S + P1 which is holomorphic in the sense of Riemann surfaces and and (f,3) are equivalent if and only if for every holomorphic chart 4 : U t V
is not identically m on any connected component of S. on S and for every z E V we have
Remark 6.3 If we are considering compact Riemann surfaces S (such as non
singular projective curves) then meromorphic functions on S are much more
r o dlc)(g o rl)'(z) = jo d  l ( ~ ) ( io c l ) ( ( ~ ) .
interesting than holomorphic functions f : S + C. This is because every (ii) To get some idea of why this definition might be useful, consider the
holomorphic function j : S + C on a compact Riemann surface is constant following question.
(see exercise 5.4 and lemma 6.26) but there are lots of meromorphic func
'Does it make sense to differentiate a meromorphic function on a Riemann
tions f : S 4PI.This is very hard to prove in general (see e.g. [Jones 711,
surface S?n
Chapter VI or [Springer 571) but we can give examples such as the Weier
strass @function on a complex torus, and rational functions on nonsingular Note that if
projective curves. By a rational function on C  Sing(C) where = (4, :U, ,VQ : a E A)
@
is a holomorphic atlaa on S then a meromorphic function g : S P C U {m)
is determined by the collection of meromorphic functions
is an irreducible projective curve in Pa we mean a meromorphic function on
C  Sing(C) of the form
and conversely a collection of meromorphic functions
where S(x, y, z) and T(x, y, r ) are homogeneous polynomials of the same de defines a meromorphic function g on S such that G, = g o 4;' for each a E A
gree and T(x, y,z) does not vanish identically on C (i.e. T(x,y,z) is not if and only if
divisible by P(x, y, 2 ) ) . Note that if S(s,y,z) and T(x, y, z) have degree k
then
S(Xx, Xy, Az)  AkS(x,y,z) whenever cr,p E A.
T(As,Ay, Az)  AkT(x,y, z) We can of course differentiate the meromorphic functions g o 4;' : V, ,
so the function is independent of the choice of homogeneous coordinates. C U {m) to get meromorphic functions (g 0 4:')' : V, t C U {m). However
in general these do not define a meromorphic function on S since the compo
Definition 6.4 Let j and g be rneromorphic functions on a Riemann surface sitions (g o 4;')' o ma and (go 4;')' o 4~ do not necessarily agree on Ua n Up.
S . Then we say that Instead the chain rule tells us that if u E Uan Up then
f ds
is a meromorphic differential on S, and if .f and 3 are also meromorphic
functions on S, we say that
fdg=jdi
Therefore (g o 4;')' o 4, and (g o 4;')' 0 h differ by a factor of (ko 4;')'o 4,
if and only if for every holomorphic chart 4 : U + V on an open subset U of where 4o o 4;' are the transition functions of the atlas.
S we have This means that if we 'differentiaten the meromorphic function g on S
(f 0 0 +*)I = (f 0 4l)(j 0 4I)'. by differentiatingall the meromorphic functions g 0 4;' : V, + C which are
defined on open subsets of C and then transferring back to get meromorphic
Note that the compositions of f , g , j and with 4' are memmorphic func functions (g o 4;')' o bUon the open subsets Ua which mver S, we do not get
tions on the open subset V of C , so we can diferentiate them and multiply a function on S. Instead, we get an abstract object called a (meromorphic)
them together pointwise in the usual way.
146 CHAPTER 6. DIFFERENTIALS ON RIEMANN SURFACES 6.1. HOLOMORPHIC DIFFERENTIALS 147
differential, written dg. We multiply differentials by rneroInorphic functions Flunark 6.9 The most important thing to remember about a meromorphic
f on s to 6et new differentials written f dg. Two rneromorphic differentials differential f dg is that it is represented on the range of a holomorphic chart
f dg and f d j on S will then be the same if the meromorphic functions v0
do : Uu + by the meromorphic function ( f o o 4:l)l.
( f dz1)(g o 4,")' and ( j o 4i1)(ijo 4;')' which represent them on U, via the
&art 4, + V, are equal for all a E A. Definition 6.10 We say that the memmorphic differential f dg baa a pole
at a point P in S if the memmorphic function ( f o q$l)(g o 41)' ha a
These ideas lead to the following alternative definition of a meromor~hic at d ( ~when
) 4 : U + V is a holomorphic chart on an open neighbou&o& U
differential. of p in S. We call f dg a holomorphic differential 2f it has no
Definition 6.6 Let ( 4 , : U, 4 V, : a E A ) be a holomorphic atlas on a Our reason for introducing holomorphic differentials is that they are the
Riem<mn surface S. Then a meromorphic differential rl 0% S is given by a natural objects to integrate on a Riemann surface S.
collection
{v, : V, + cu (00) : (YEA ) Definition 811Iff dg is a holomo~hicdiflerential on S then the integral
of memmorphic functions o n the open subsets Vo of C such that if Cf, P E A
o f f dg along a piecewisesmooth path 7 :[a,b] ,S is I,I
111
/I
Remark 6.7 If q and C are meromorphic differentials according to this def We know that
inition and C. is not identically zero on any connected component of S then
the ratios q,/Q define meromorphic functions on the open subsets V, of C (f 0 4a1)(g0 4;')) = (f 0 4a1)(i0 42)'
satisfying for every holomorphic chart 4, : U, 4 V,. Since the open subsets U, cover
~u(4o(u>>/Ca(4a(u)) =w ( ~ ~ ( ~ ) ) / C P ( ~ O ( U ) ) S we can find
for all u E U,; or equivalently q = f6. Therefore to show that every meromor a=ao<al< ... < a , = b
phic differential 7 in the sense of definition 6.6 is a meromorphic differential
of the form f dg it is enough to show that the& is at least one noncon
and . . ,q,E A such that
(~1,.
stant meromorphic function g on every Riemann surface. We have already 7([ail9ail) G Uui
remarked at 6.3 that it is beyond the scope of this book to prove that this is
true for any Riemann surface but we have already seen examples of noncon if 1 _< i _< p. Then by the chain rule
stant meromorphic functions on the Riemann surfaces we are interested in,
namely nonsingular curves and complex tori.
Remark 6.8 Note that when S is the complex plane C any meromorphic
differential f dg on S can be expressed uniquely in the form hdz where h s f g'
is meromorphic and z denotes the identity function on C. Thus meromorphic
differentials on C can be identified naturally with meromorphic functions on
C. and this last expression is unaltered if we replace f by j and g by ij.

is the integral of f (z)~'(z)along y in the usual sense of complex analysis defined in appropriate affine coordinates by 111:
(2). If g : S + C is a complexvalued holomorphic mapping on any Riemann
surface S then ..
where a ~ ,.,ah are distinct complex numbers and k = 3 or 4. If k 2 5 then
Cis called a hyperelliptic curve and the integral Sr f dg is called a hypenlliptic
integml.
Definition 6.15 If $ : S 4 R is a holomorphic mapping between Riernann
surfaces S and R, and i f f dg is a holomorphic difirentiat on R then we If the curve y avoids the points of C where y = 0 or z = 0 then the
define a holomorphic diflerential $*(f dg) on S by integral becomes
Then if y : [a,b] 4 S is a piecewisesmooth path in S we have in the usual sense of complex analysis, where 7 is the composition of 7 with
the local chart [x,y, I] w x and an appropriate choice of the square root is
made at j ( t ) for each t E [a, b]. As was mentioned in $1.2.4 integrals of this
form were greatly studied in the nineteenth century. It was found that when
k is one or two they can be expressed in terms of rational functions and log
arithms (see 51.2.4). However when k 2 3 this is no longer the case and the
integrals were used to define new functions (called elliptic and hyperelliptic
Digression on elliptic, hyperelliptic a n d abelian integrals 6.16 functions). The difference between the two cases arises essentially because an
Let irreducible projective curve of degree one or two in Pz is isomorphic to the
c = { [ x , y, z ] E Pz : P(x,y,z) = 0) complex projective line PI (see corollary 3.12) whereas elliptic and hyperel
liptic curves have genus at least one and hence cannot be homeomorphic, let
be an irreducible projective curve in P2. An abelian integral is an integral of
alone isomorphic, to PI.
the form
Now we return to the study of complex tori and nonsingular cubic curves.
where f and g are rational functions on C  Sing(C) (see remark 6.3) and 7 Given a lattice A in C we have defined a biholomorphism
is a piecewisesmooth path in C  Sing(C) not passing through any poles of u : C/A + CA
the meromorphic differential f dg.
150 CHAPTER 6. DIFFERENTIALS ON RIEMANN SURFACES 6.1. HOLOMORPHlC DIFFERENTlALS 151
(see definition 5.22) where CAis the nonsingular cubic curve in P2 defined by
1~=/1a*q=/1dz=4(b)4(a)~~.
ylz = 4z3 g 2 ( ~ ) ~zg3(A)Q.
3
Thus we have proved
As in digression 6.16. there is a meromorphic differential on CAgiven in inho
mogeneous coordinates [ x , y, 1) by y'dx. Let Proposition 6.17
71 = ~ * ( y  ~ d x ) A= {J, : 7 is a dosed
7
piecewise  smooth path in C I A ) .
.;I.
[O, 11 4 C I A then
?(t) = A + ~ A
and hence
+
Proof of proposition 6.19. Suppose that u(A Z ) = P and that 7 : [a, b] + required properties exists on C;the law of associativity was left unproved,
Abel's theorem gives an alternative indirect proof of the existence of an
cAis any piecewisesmo~thpath from [O, 1,0] to p. Then u' 0 7 is a path in
+
CIA from A 0 to A t and hence+ tive group structure with required properties on cubic curves of the form CA;
we can simply use the bijection u to transfer the additive group structure on
CIA to one on CAand Abel's theorem tells us it has the properties we want.
In fact (see exercises 6.13 and 6.14) every nonsingular projective cubic cuwe
in P2 is equivalent under a projective transformation to one of the form cA
for some lattice A in C.
Remark 6e22 Recall from lemma 3.37 that a line in P2meets a nonsingular
projective cubic curve C in P2 either
where : [=,b] C (a) in three distinct points p, q, r each with multiplicity one (i.e. L is not the
ul~y. Then A+?(b) tangent line to C at p, q or r), or
SO
A+ l yldr = A + 4(b)  ?(a) = +
(b) in two distinct points p with multiplicity one and q with multiplicity two
(i.e. L is the tangent line to C at q but not at p, and q is not an inflection !
as required.
(c) in one point P with multiplicity three (i.e. L is the tangent line to c at p
and p is an inflection point of C). IIO
Ill11
6.2 Abel's theorem 'I~u
This means that the group structure on CA is such that if p, q, r are distinct 11
In 55.2 we saw that any complex torus CIA is biholomorphic to a nonsingula points on CAthen /I
cubic curve cAin p2.Since C/A is an abelian group under addition the cubic p+q+r=O
curve CAhas an induced abelian group structure. We can describe this group
if and only if p, q, r all lie on a line in P2,
structure in terms of the geometry of the curve CA in Pz. It is determined
completely by two properties: firstly that the zero (identity) element is the p+p+q=O
inflection point [O, 1,0] and secondly that three points p, 9, r add UP to zero if l
and only if they are the three points of intersection (allowing for multiplicities) if and only if the tangent to CA at p passes through q, and
of the cubic CA with a line in P2.This last fact (which gives an addition
formula for elliptic integrals) is called Abel's theorem for the cubic (theorem p+p+p=O
6.23 below) and the aim of this section is to give a proof of it.
if and only if p is a point of inflection on CA. In particular we see that the
Remark 6.21 We have already observed (theorem 3.38) that if po is a point points of inflection on CA are precisely the points of order 1 or 3. Under the
of inflection on a Donsingular projective cubic curve C then there is a unique group isomorphism u : + CA these correspond to the points of order
additive group structure on C such that the zero element is POand three points 1 or 3 in CIA. There are precisely nine such points in C/A; they can be
add up to zero if and only if they are the points of intersection (allowing for written in the form
multiplicities) of C with a line in P2.Given this, Abel's theorem can be j k
regarded as the statement that the holomorphic bijection A + p +p z
where j, k E {0,1,2). Thus these points form a subgroup of CIA isomorphic
u : C/h + CA
to the product of two copies of the cyclic group of order three. Moreover they
defined at 5.22 is a group isomorphism with respect to this group structure can be arranged in a 3 x 3 array (see figure 6.l)such that the three entries in
(with po = [O, 1,0]) on C,, and the quotient group structure on CIA. I b ~ e v e r +
any row, column or diagonal add up to A 0. It follows that C, has exactly
we did not give a complete proof that an additive group structure with the nine points of inflection pjk for j,k € {0,1,2) (cf. example 3.36), which a n
    .  . &.Ad. .
!I!
Figure 6.2: The points of inflection on CA If t , V, w E C then 1111
ll!,.
t+v+w€A I!,:
be arranged in a 3 x 3 array (see figure 6.2) such that the three ~ o i n t sin if and only if there is a line L in P2 whose intersection with CA consists
iJ/J
any row, column or diagonal all lie on a line in P2. Here the term "diagonaln
includes for example pol, plz, p20. Pictorially this can be expressed as in figure
+ + +
of the points u(A t ) , u(A V) and u(A w) (allowing for multiplicities).
Equivalently ifp, q, r E C A then
6.3. Moreover the nine points of inflection of CAform a subgroup isomorphic
9
to the product of two copies of the cyclic group of order three.
A + ~ o ~ l , yO ll d x + /o,l,ol yldx + O,Jl:l 9  1 =~ ~+
In order to state Abel's theorem, let us recall from proposition 6.19 that if and only if p, q, r are the points of intersection ,of C,,with a line in P 2 .
if A is a lattice in C and C A is the curve in P2 defined by the polynomial
Q A ( x ,y, z) = p2z  4x3 + g2(A)xz2 + g3(A)z3 Remark 6.24 We can interpret Abel's theorem as an addition formula mod
ulo A for elliptic integrals of the form
and u : CIA t CAis defined as at (5.22) by
then u is a holomorphic bijection and its inverse is given by Proof of Abel's theorem. First let us show that if L is a line in P2which
u' ( P ) =A + /l
(0,lPI
f'd~
intersects CAin the points p, q, r (allowing for multiplicities) then
where the integral is over any piecewisesmooth path in CAfrom [o, 1,0] to p.
Theorem 6.23 Abel's theorem for tori. We consider three cases, each more &neral than .the last.
156 CHAPTER 6. DIFFERENTIALS ON RIEMANN SURFACES 6.2. ABELS THEOREM 157
Case 1 . Suppose that L is the tangent line z = 0 to CA at the' point of where qi ($9 t), 92 (3, t ) and q3(4 t) are the points of intersection of CAwith the
line
inflection [O, 1,0]. Then
. sx + t ( ~ bz) = 0.
p = q = r = [O, L O ]
so the equality we want to prove is trivial. As in Case 2 this map u is holomorphic and hence constant. Moreover we
Case 2. Suppose that L is a line of the form cy = bz. Then L meets CA in
+
know from Case 2 that v[O, 11 A 0 SO that U[S,t] = A + O for all [s, t] E PI.
This completes the proof that
the three points
Lemma 6.26 Any holomorphic map from PI to C is constant. u'(P) + ~ " ( q )+ u"(?) = A +0
Given these lemmas (whose proofs are at the end of this section) we deduce
from lemma C.3 of Appendix C that there is a continuous map ji : P1 4 C
such that p = r o ji, where as before n from C to CIA is defined by n(z) =
so that u'(r') = u'(r) and hence i; = r.
A+%.Since the inverse of the restriction of n to a suitable open neighborhood
of any a E C defines a holomorphic chart on a neighbourhood of A+a in CIA This completes the proof of Abel's theorem, given lemmas 6.25 and 6.26.
and p is holomorphic it follows that ji is holomorphic, and hence by lemma 0
+
6.26 ji is constant. Thus p is a constant map. Since p[l,O] = A 0 by Case
+
1 it follows that p[b, c] = A 0 for all [b,c] E PI, i.e. that the equality we Proof of lemma 6.25. We have to show that the mapping p : P1
defined by
CIA
want to prove holds when L is of the form cy = bz.
Case 3, Suppose now that L is any line in P2. Then the equation for L can
be written in the form ~ [ bc], = A + jPlor)
iO*l,OI
yldx +
s t +t(cy bz) = 0
for some s, t not both zero and b, c not both zero. Fix b, c and define v :P1 4
CIA by I is holomorphic.
For all but finitely many b E C the partial derivative
158 CHAPTER 6. DIFFERENTIALS ON RlEMANN SURFACES 6.3. THE RIEMANNROCH THEOREM 159
of the polynomial QA defining CA is nonzero at (a, b, 1) when a is a root of 6.3 The RiemannRoch theorem
the polynomial Qa(x, b, 1) in x. For such a, b the polynomial QA(x,b, 1) has
three distinct roots al, as, a3 say, and In this section we shall see that the genus g of a nonsingular projective curve
C in P2,which we defined in Chapter 4 using the topological properties of
pi(b, 1) = [ai,b, 11 for i = 1,2,3. C, can also be characterised in terms of the holomorphic structure of C. In
fact, g is the dimension of the vector space of holomorphic differentials on C.
By the implicit function theorem (see Appendix B) applied to the polynomial This is a special case of the famous RiemannRoch theorem (theorem 6.37
QA(x,y, 1) there are open neighbourhoods U and Vl, &, V3 of b and al,al,as below) which relates dimensions of vector spaces of meromorphic functions
in C and holomorphic functions gi : U + Vi for i = 1,2,3 such that if x E Vi with prescribed poles and zeros on C. The RiemannRoch theorem has many
and y E U then very useful consequences, including an easy proof of the law of associativity
Q A ( X , Y , ~ ) = ~ x=s~(Y). for the additive group structure on a nonsingular cubic (see theorem 3.38 and
theorem 6.39) and a proof that every meromorphic function on a nonsingu
Hence there are holomorphic maps $i : U + CA given by lar projective curve is rational (theorem 6.41). On the way to proving the
RiemannRoch theorem we shall also find yet another characterisation of the
genus g of C, which is that the number of zeros minus the number of poles
(counted with multiplicities) of any nonzero meromorphic differential on C is
We may choose Vl,V2,V3 to be disjoint. This means that if w E U then
2g  2.
gl(w),g2(w) and g3(w) are distinct roots of the polynomial QA(x,W, 1) and
SO In order to state the RiemannRoch theorem it is convenient to introduce
pi(w, 1) = [gi(w),w,l] = $i(w) some new terminology.
Thus if 7 is a path in U from b to w then $; o 7 is a path in CAfrom pi(b, 1) Definition 6.27 A divisor D on C is a formal sum
to pi(w, 1) and
9:Odw,
W
such that n,,E Z for every p E C and n, = 0 for all but finitely many p e C.
Thus The degree of D is then
deg(D) = n,.
PCC
where the integrals are over any path in U from b to W. Since g:(y) = 0 when If n, = 0 for p 6 {PI,.. .,pk} then we also write
y = 0 the functions gi(y)/y are holomorphic on U so their integrals from
b to w are holomorphic functions of w near b. Thus p is holomorphic in a
neighbourhood of [b, I].
where mj = npj. By convention we may omit every mj equal to 1 and write
Thus we have shown that p is holomorphic except possibly at finitely p instead of 1p. If n, = 0 for all p E C we write
many points of PI. To show that p is holomorphic everywhere it suffices by
theorem B.6 of Appendix B to show that p is continuous. This is left as an
exercise (see exercise 6.4). 0
We add and subtract divisors and multiply them by integers in the obvious
Proof of lemma 6.26. We need to show that a holomorphic map f : way. The set of all divisors on C then becomes an abelian group, denoted
P1+ C is constant. This follows immediately from exercise 5.4 since PI is Div(C), and the degree defines a homomorphism from Div(C) to 2.
compact. Alternatively we can regard f as a holomorphic map f : PI + PI If n, 2 0 for all p E C we write D 2 0 and say that D is efectiue (or
which never takes the value co. Then the result follows from lemma 5.41 I positive). We write D 2 D' if D  Dt 2 0. Note that if D 2 Dt then
which savs that if f were nonconstant then it would have to be rational and
hence would take the value co somewhere on PI. 0 deg D 2 deg D'.
6.3, THE RIEMANNROCH THEOREM 161
160 CHAPTER 6. DIFFERENTIALS ON RIEMANN SURFACES
If w is a meromorphic differential on C which is not identically zero then we
Let f be a meromorphic function 6n C which is not identically zero. If can define the divisor (w)of w using the multiplicities of the poles and zeros of
p E C we can choose a holomorphic chart 4, : Uo + V, on C such that w in exactly the same way as we defined the divisor of ameromorphic function.
p E Uo. Then f o 4;' is a meromorphic function on the open subset V, of C. The divisor of a meromorphic differential is called a canonical divisor and is
If m is a positive integer we say that f has a pole or a zero of multiplicity m often written rc. We have already noted in remark 6.7 that if p is another
at p if f o 4;' has a pole or a zero of multiplicity m a t cb,(p),i.e. near 4 4 p ) meromorphic differential on C which is not identically zero then there is a
we can write meromorphic function f on C such that q = i w , and hence
f 0 4 i 1 ( z )= (.  4 o ( ~ ) )  ~ g ( z ) *
Definition 6.34 Let D = CPEC npp be a divisor on C; then L ( D ) is the set Theorem 6.37 (RiemannRoch) If D is any divisor on a nonsingular pro
of meromorphic junctions on C satisfying jective curve C of genus g in Pz and u is a canonicaI divisor on C; then
(f)+ D 2 0
together with the zero function. In other words a memmorphic function f on We can immediately deduce the second promised alternative definition of
C belongs to C ( D ) i f firstly f is holomorphic ezcept at those p E C for which the genus g of C.
n, > 0 and there the order of the pole is at most Itp, and secondly f has a
Zen, of order at least ni at every p E C such that n, < 0. Corollary 6.38 The genus of a nonsingular projective curve C in P2equals
the dimension I ( & ) of the vector space of all holomorphic differentials on C.
It is easy to check that L ( D ) is a complex vector space. We define
Proof. The RiemannRoch theorem with D = 0 tells us that
l ( D ) = dim L ( D ) .
d e g ( ~ mH) = deg s  md is rational. But it is easy to see that every meromorphic function f on C
I
satisfies
which is strictly negative if m is large enough. Hence if m is large enough
then
I ( K  mH) = 0 for some such HI,. ..,H,. Thus we have proved that the following special
case of Chow's theorem is a consequence of the RiemannRoch theorem.
by corollary 6.35.
166 CHAPTER 6. DIFFERENTIALS ON RIEMANIV SURFACES 6.3. THE RIEMANNROCH THEOREM 167
Theorem 6.41 All rneromorphic functions on a nonsingular projective curve Combining these inequalities and equalities we obtain
in P2 are rational.
Lemma 6.42 Given any divisor D on C and any positive integer mo there as required. 0
exists m 2 mo and points pl, . . . ,pk of C (not necessarily distinct) such that
From this we can prove the RiemannRoch theorem, which says that in
fact equality holds in 6.44.
where H is defined as in example 6.40. Proof of theorem 6.37 (RiemannRoch). Let I) be any divisor on C
and let K be a canonical divisor. By proposition 6.31
Lemma 6.43 If D is any divisor on C, K is a canonical divisor and p is any
point of C then
By corollary 6.44 applied first to D and then to K  D we have
From these two lemmas we obtain half the RiemannRoch theorem. and
Corollary 6.44 (Riemann's theorem.) If D is any divisor on C then
I(K D)  l(D) I deg(lc  D)  g 1 +
= 292degDg+l
= degD+g1.
l(D)l(~.D)2degDg+1.
We deduce that equality holds, i.e. that the RiemannRoch theorem is true.
Proof. We saw in example 6.40 that there exists a positive integer mo such 0
that if m 2 mo then
It remains to prove propositions 6.29 and 6.31 and lemmas 6.42 and 6.43.
l(mH)  l(n  mH) 2 deg(mH)  g + 1. The proof of lemma 6.42 is straightforward.
..
By lemma 6.42 we can choose m 2 noand points pl, . ,pk of C such that
Proof of lemma 6.42. Let
Dkpl+...+pk~mH. D + C~PP
P€C
Hence by corollary 6.30 be any divisor on C and let mo be any positive integer. We wish to show that
there exist points p,, . . .,pk E C and m 2 mo such that
deg(mH) = deg(D + pl + ..+ pk) = deg(D) + k,
D+pl+...+pk~mH .
and by lemma 6.36
By adding points p to D we may assume without loss of generality that n, 2 0
l(mH)I(%mH) = l ( D + p l + . ~ ~ + p k )  I ( ~  D  p l  ~ o~ . k )
for all p E C and that deg D 2 mo.
For each of the finitely many p E C such that np > 0 we can choose a line in
Also by lemma 6.43 and induction on k we have P2through p whose points of intersection with C (allowing for multiplicities)
are
qp' = p, q2(PI  9 qd(PI .
6.3. THE RIEMANNROCH THEOREM
CHAPTER 6. DIFFERENTIALS ON RIEMANN SURFACES
by our choice of coordinates, so
Note that the ratio of two linear homogeneous polynomials in x, y, a defines
..
a meromorphic function on C so if 91,. ,q d are the points of intersection of
any line in Pzwith C (allowing for multiplicities) then
is a local holomorphic chart on C and
we can take x/z as a local holomorphic chart on C (see the proof of proposition It follows that the smallest positive integer m such that f(m)(uo)# 0 is eqwl
5.28) and hence w has no zeros or poles at such points. to the smallest positive integer m such that
At any point [a, b, c] E C such that c = 0 we have a if 0 and
' 170 CHAPTER 6. DIFFERENTIALS ON RIEMANN SURFACES 6.3. THE RIEMANNROCH THEOREM 171
Since Proof of lemma 6.43 given lemma 6.45. Let D be any divisor on the
w = d( f ( u ) )= ft(u)du nonsingular projective curve C in Pz,let rc = ( w ) be a canonical divisor and
let p be any point of C. We need to show that
this tells us that the multiplicity of the zero of w at a ramification point of
4 : C + P1is precisely one less than the ramification index of 4 at the point
(see definition 4.3). By lemma 4.7 and lemma 4.8 we can assume that our
where l ( D ) is defined as the dimension of the space L ( D ) of meromorphic
coordinates have been chosen such that there are exactly d(d 1) ramification
functions j on C satisfying
points and w has a zero of multiplicity one at each one. Hence these points
contribute d(d  1) to the degree of the divisor (w). ( f )+ D 2 0
This shows that together with the zero function.
Suppose that
D = n, q.
PEC
It now follows from the degreegenus formula ($4.1) that Then t ( D ) = t ( D + p ) if there is no meromorphic function f on C such that
as required. 0 with the inequality an equality at the point p, in the sense that f has a pole
+ >
at p of multiplicity ezactly np 1 (if n, ,O) or a zero at p of multiplicity
In order to prove lemma 6.43 we need +
exactly n,  1 (if n, < 0 ) . 0therwise L ( D ) is a linear subspace of L ( D p)
Lemma 6.45 Let w be a meromorphic differential on C with precisely one of codimension 1 . In particular
pole. Then this pole is not a simple pole (i.e. its multiplicity is at least two).
Remark 6.46 This lemma and proposition 6.29 can both be regarded as and similarly
special cases of the residue theorem which says that if w is a meromorphic 0 I(K D )  I ( K  D  p ) < 1.
differential on C (in fact more generally on any compact Riernann surface) Therefore it remains to show that we cannot have
.
with poles at pl,. .,pt then
and
I ( K  D )  I ( K  D  p) = 1
) a meromorphic differential w = f dg at a point
Here the residue r e s { w , ~ of simultaneously. If so there exist meromorphic functions f and g on C satis
p is defined to be the ordinary residue fying
(f)+D+p20
and
where 4 : U, + V, is a holomorphic chart on C such that p E U,. It can be
checked that this definition is independent of the choice of holomorphic chart with both inequalities being equalities at the point p. Then fgw is a mero
. ~:U,+V,. morphic differential on C such that
The proofs given below of proposition 6.29 and lemma 6.45 can be modi ( f w =) ( f ) + ( 9 ) + 2 P
fied without much difficulty to ~rovidea proof of the residue theorem. Lemma with a pole of order exactly one at p. That is, fgw is holomorphic except for
6.45 follows immediately lrom the residue theorem since the residue of a mero a simple pole at p, which contradicts lemma 6.45. o
morphic differential at a simple pole is always nonzero. Proposition 6.29 fol
lows by considering the meromorphic differential f where g is a mmomorphic Finally we must prove proposition 6.29 and lemma 6.45. oJ'jr this we need
function on C which is not identically zero. a modification of lemma 4.21. Recall the definition of a triangulation (4.9).
172 CHAPTER 6. DIFFERENTIALS ON RIEMANN SURFACES 6.3. THE RIEMANNROCH THEOREM
>
Lemma 6.47 Let { p l , .. . ,p,, q,, . :. ,q d ) be a set of r+s points in C with r
..
3. Then there is a triangulation (V, E, F ) of P1 such that V = ( p l , . ,p,)
.
and the set (91,. . ,q,) is contained in the interior of a face, i.e, there is
some f : A 4 P 1 in F such that
for 1 < j < s. W e may also assume that oo is in the interior of a diferent
face.
Proof. The proof is by induction on r , like that of lemma 4.21. First suppose
r = 3.
We can assume by making a linear transformation that 0 does not belong
..
to the set {pl, . ,p3,q1,. . . ,q 3 ) , and that the arguments (taken in the range
.. ..
[0,2n]) of the complex numbers pl, . ,ps, ql,. ,qr are distinct. We can Figure 6.4: A triangulation of P 1
choose a real number R such that
a ~ ~ o s epiecewisesmooth
d path in PI whose image is the boundary of f (A),
and by definition 6.15
= i(9 4 Ij&))(h 4 ~ ~ ~ A ) ) t ( r ) d r o
) f = fo and
If q E ~ ( A othen
(g o 4 )(h 0 4 17(Al)'
has a simple pole at $(q) inside y and no other poles. Since the residue of a
meromorphic function at a simple pole in C is always nonzero it follows from
Figure 6.6: Another subdivision of a triangle Cauchy's residue theorem that

is a homeomorphism whose restriction to j ( ~((0, O), (1,0), ((41))) of (2
is the restriction of a holomorphic chart on C if f # f, (see the roof of
proposition 5.28); if f = f, we must compose 4 with the mapping z 5. cancel in pairs and so we get
The boundary of j ( ~ in ) C is the image of the join 9 of the paths j o ui
for 1 5 i < 3 where ol,a2,u3 : [O, 11 t A are defined as in 4.9(iii). The
composition y = r$ o 3. of this closed piecewisesmooth path in C with 4 is
176 CHAPTER 6. DIFFERENTIALS ON RlEMANN SURFACES 6.4. EXERCISES
poles of g lie in I$'(f0(Ao)) and the sign is consistent for those .f € fi such
This contradiction proves lemma 6.45. 0 that q5 o j = fo, summing over all such f gives,
Proof of proposition 6.29. Let g be a meromorphic function on C which is
not identically zero. We need to show that g has the same number of zeros as
poles, counting multiplicities. We consider the meromorphic differentialdg/g
..
on C, which has poles precisely at the points ql, .,qt where g has zeros or where Z and P are the total numbers of zeros and poles counted with multi
poles. plicities d g in C, while summing over the other f E P givea
As in the proof of lemma 6.45 we choose coordinates in P2such that
[O, 1,0] ! !$ C and 0, q5(ql), . . . ,d(qt) and aa are distinct and are not branch
points of the map 4 :C 4 PI defined by #[x, y, z) = [x, 2). Using lemma 6.47
we choose a triangulation (V, E, F) of P1 such that every branch point of 4
belongs to V, and t$(ql), . . . ,$(qt) and 0 are in the interior of a face fo E F Combining these results we get
white co is in the interior of a different face f, E F. As in the proof of lemma
6.45 we get a triangulation (v, 3, p) of C such that 2P=O
ai required; t,
where 7 is the join of the paths f o ui for 1 5 i 5 3 (see definition 4.9(iii)). 6.4 Exercises
Also
6.1. A holomorphic differential of the form dg where g is a holomorphic
function on a Riemann surface S is called ezact. Show that the integral of
an exact holomorphic differential along a closed piecewisesmooth path in S
for each f E where 7 = $ o 7 is a closed piecewisesmooth path in C. (If is zero. Deduce that the holomorphic differential 7 on a torus C/A satisfying
4 o f = foo we must compose with the function x H here). By remark 5.1 s'q = dz (see the discussion before proposition 6.17) is not exact.
the meromorphic function 6.2. Two piecewisesmooth closed paths yo and 71 : [O, 11 + S in a Riemann
surface S are called homotopic if there is a piecewisesmooth map
G : [O, 1] x [O,1] + S
has a pole at a point a inside 7 with residue p if and only if g o I' "A'.has with G(0, t) = 70(t),G(l,t) = n ( t ) and G(t,O) = G(t, 1) for all t E [O, 11.
either a zero at a with multiplicity p or a pole at ,a with multiplicity p. lnce The deformation theorem from complex analysis (see e.g. [Priestley 851 4.10)
the restriction of (b to ~ ( A ois) a holomorphic chart on C the latter statement says that if 70and 71 are homotopic closed piecewisesmooth paths in an open
subset U of C and i f f : U ,C is holomorphic then
is equivalent to saying that g has either a zero at )litA, (a) with multiplicity
p or a pole at )I$A) (a) with multiplicity p. Therefore by Cauchy's residue
theorem
= k(z(f)  ~ ( f ) ) Deduce that if 70 and 71 are homotopic closed piecewisesmooth paths in a
Riemann surface S and 7 is a holomorphic differential on S then
where ~ ( fand ) ~ ( f are) the numbers of zpos and poles (counted with
multiplicities) of g in the interior of the face f , and where the sign depends
on whether 7 is positively or negatively oriented in C. Since all the zeros and
178 CHAPTER 6. DIFFERENTIALS ON RIEMANN SURFACES 6.4. EXERCISES 179
[Hint: show that if G : [O, 11 x [0,1] + S is continuous then there is a Use Abel's theorem to deduce that
<
positive integer N such that if 1 j, k 5 N then there is a holomorphic
chart hr : Uik + on an open subset Ujr of S with the by $ square
Show that
{P, q, r ) C { ~ l ( bc),p2(b,
If pl(b,c) = pz(b,c) = p3(b,c) then clearly
, c),~3(b,c)I. 0 = det ( P(U) P1(u) 1
p(v) pl(v) 1
P(W) P'(W) 1
).
6.9. (For topologists only). Show that if C is a nonsingular projective curve
with a group structure such that the group multiplication defines a continuous
If pl (b, c), p2(b,c) and p3(b,c) are distinct then the proof of lemma 6.25 shows map from C x C to C then x(C) = 0 so C has genus 1 and degree 3.
that [Ilint: use the Lefschetz fixed point theorem, which implies that if x(C) # 0
, q(b, 4, r(b, 4).
{P, 9, r ) = { ~ ( bc), then any continuous map h : C , C homotopic to the identity has a fixed
Modify the proof of lemma 6.25 to show that the same is true in the remaining +
point. Consider the map p Hp q for fixed q E C.]
case.] 6.10. Use remark 6.22 and exercise 2.10 to show that there is a projective
6.5. Let CAbe the nonsingular cubic curve in P2associated with a lattice A transformation of P2 taking the points of inflection of CA to the points
in C. Show that if al # a2 and p = [al, bl, l],q = [az, bz, l j are points of CA
then the line through p and q in P2 meets CA again at r = [a3,b3, 11 where I0919 11, [1,O, 11, [I,LO],
[O,l,aI, 11, [l,@,O],
10, a, 11, l1,0,al, [a, 1,0],
where o2 a + 1 = 0, and taking CAto the curve defined by
180 CHAPTER 6. DIFFERENTIALS ON RIEMANN SURFACES 6.4. EXERCISES 181
for some p E C. for some A E C  (0,l). The following steps (which are not to be done in
too much detail, if at all!) give a proof that C is biholomorphic to a torus
6.11. Let S be a compact connected Riemann surface of genus zero. Assum C/A. Assume first that X @ R.
ing that the RiemannRoch theorem applies to S, show that if a divisor D on
S is of the form D = p for any p E S then

(i). Show that there is a holomorphic function h from C {[O, 1,Oj) to PI
defined by h[x, y, z] = [ x , z].
(ii). If a # b are complex numbers let Lab be the (real) line in C through a and
b. Let %,+ and Vx,, (respectively &,*, &,*) be the connected components
Deduce that there is a meromorphic function f on S with a simple pole at p of C  Lol (respectively C  Lox,C  LIA) labelled so that X E VA,+ (and
and no other poles. Show that f : S + P1 is a holomorphic bijection with 0 E %,+, 1 E Vl,+). Let Ux = V,, U (Vo,+ n %,+) and define Uo and Ul
holomorphic inverse. similarly.
6.12. The periods
Show that PI  {0,1, A) = UOU Ul U Ux. Show that if ( E {O,l, A) then
*,(A) =2 1j/ ,
1 dx the inverse image h'(UE) of UE in C has two connected components WI,*,
and use the implicit function theorem to show that the restriction of h to
each of these is a biholomorphism with inverse gt,h :U.+ Wt,* of the form
and A dx
r 2 ( ~=) 2 J 4%
1
where fc : Ut + C is holomorphic and satisfies
of the cubic curve defined by
y% = z(x z)(x  Xz)
are holomorphic functions of X E C  {0,1). The sum (iii). If a and b are distinct complex numbers define
where ao = 1 and
where the sign depends on whether [a, b, 11 belongs to WC,+or Wt,. Show
so that that 4.~is holomorphic, and that 4CC[a,b, 11 = $(([a, b, 11.
(iv). Let wo = 2 JT1, fo(z)' dz and wl = 2JTA0fl(z)" dz. Use Cauchy's
theorem to show that
6.13. Let C be a nonsingular projective curve in P2. By applying a suitable
projective transformation we can assume that C is defined by
401[a,b, 11  $oxla, b, 11=fF
h r b , 11  410kat 11= fjwl
if [a, b, 1) E WO,
if [a, b, 11 E Wl,
y 2=
~ x(x  z)(z  Xz) 4~0[a, b, 11 4x1[a, b, 11 = f?(wo + wl) if [a, b, 11 E Wx.
182 CHAPTER ,6. DIFFERENTIALSON RIEMANN SURFACES 6.4. EXERCISES 183
(v). Using (iv) show that there is a welldefined holomorphic map to the curve D defined by
4 : w o u wl u WA = c  { [ o ,0 , 1 ] ,[ I ,0 , 1 ] ,[A,0,1],[o,1901) ,C I A ,
where A = {nwo + mul : n,m E Z ) , such that for some p E C  { 0 , 1 ) . Show that the composition of 4 : C C I A with
the holomorphic bijection u : C / A r CAdefined at definition 5.22 and this
projective transformation is a holomorphic bijection h : C + D and we can
choose the projective transformation such that
(ii). Use the fact that d[a,b, 11 =  $ [ a , b, 11 for all [a,b, 11 E C and that p
is an even function to show that the function h : C 4 D of (i) restricts to a
holomorphic bijection
Use theorem B.6 of Appendix B to show that 4 is holomorphic.
(vii). Show that 4 : C t CIA is a holomorphic bijection and use exercise
5.6 to deduce that 4 has a holomorphic inverse.
(viii). Show that D  {[O,O,11, [0,1,01,[1,0,11,[ P ,0,111
A= {l y" dx : 7 piecewise  smooth closed path in C). of the form
h b , Y, 11 = [f( x ) , g ( x ,Y ) ,11
(ix). Adapt this argument to apply to the case X E R by modifying the where the first coordinate f ( x ) depends only on x. Show that
definitions of Uo,Ul and UA.
6.14. The following steps build on exercise 6.13 to show that every nonsin
gular cubic curve C is equivalent under a projective transformation to one of
the form CA for some lattice A in C. As before we may assume that C is '
is a holomorphic bijection such that
defined in appropriate coordinates by

for some X E C {0,1}. Exercise 6.13 shows that there is a lattice A =
+
{nuo mwl : n, m E Z ) in C and a holomorphic map 4 : C + C I A with Show that 0,l and X are removable singularities of f and deduce that f
holomorphic inverse such that extends to a holomorphic f : C + C such that f(0) = 0 , f ( 1 ) = 1 and
f ( A ) = P.
(iii). Show that a holomorphic bijection f : C 4 C must be of the form
+
f (z) = az b for some a , b E C , a # 0.
and such that d[a,b, 11 = $[a, b, 11. [One method of proof runs along the following lines. If the function f(t)
(i). Show that the nonsingular cubic curve CAdefined by has a pole at z = ' 0 then show that f must be a polynomial, and since
s
f : C + C is a bijection it must then be a linear polynomial. Otherwise
using the CasoratiWeierstrass theorem (see e.g. [Priestley 851 pp.87 and
102) we can find w E C and a sequence (a,),2l of complex numbers such
is equivalent under a projective transformation of the form that a, + oo and f (a,) + w as n ,oo,from which a contradiction can be
obtained by showing that a, t f'(w) as n im . ]
184 CHAPTER 6. DIFFERENTIALS ON RlEMANN SURFACES
(vi). Deduce from (iii) that the holomorphic bijection f : C + C of (ii) must
be the identity map and hence A = p. Conclude that C is equivalent under a
projective transformation to the cubic curve CAassociated to the lattice A.
615. Use exercise 5.4 to show that any two nonzero holomorphic differentials
on a compact connected Riemann surface are constant multiples of each other.
Use exercises 5.15 and 6.14 to deduce that there is a bijection given by
A t+ Singular curves
relation N defined by A 
between the set of equivalence classes of lattices A in C under the equivalence
if A = a h for some a E C  (0) and the
set of equivalence classes of nonsingular cubic curves in P2under projective
Up to this point our attention has been given almost entirely to nonsingvlar
curves. In this chapter we shall look at singular projective curves in Po.
transformations. Use exercise 6.13 to show that the inverse of this bijection However the study of the singularities of curves is a huge subject (see e.g.
is given by [~rieskorn& Kniirrer 861 and the references therein) and we shall be able to
cover only a tiny fraction of it.
c u d ? : y closed piecewise  smooth path in C)
51
In $7.1 we shall construct a "resolution of singularities" f? for any singular
where q is any nonzero holomorphic differential on C. projective curve C in Pz,in the sense that 6 is a compact Riemann surface
with a surjective continuous map r : 6 + C such that Tl(Sing(C)) is a
finite set of points in 6 and the restriction of s to the complement of this
set in 6 is a holomorphic bijection onto the nonsingular part of C. In $7.2
we shall investigate what a singular curve looks like near a singular point,
using a method which goes back to Newton. Finally in $7.3 we shall give a
description of the topology of singular curves.