Algebraic Geometry
Algebraic Geometry
Matt Kerr
Contents
Part 1.
Chapter 1.
Chapter 2.
21
Chapter 3.
39
Chapter 4.
49
Part 2.
63
Chapter 5.
65
Chapter 6.
75
Chapter 7.
87
Chapter 8.
97
Chapter 9.
Hilbert's nullstellensatz
107
Chapter 10.
113
Chapter 11.
121
Chapter 12.
Intersections of curves
131
Chapter 13.
143
Chapter 14.
155
Chapter 15.
167
Part 3.
Cubic curves
173
Chapter 16.
175
Chapter 17.
187
CONTENTS
Chapter 18.
195
Chapter 19.
207
Chapter 20.
219
Chapter 21.
225
Chapter 22.
241
Chapter 23.
Counting
255
Part 4.
Fp -rational
263
Chapter 24.
265
Chapter 25.
273
Chapter 26.
Chapter 27.
281
291
Chapter 28.
303
Chapter 29.
311
325
Part 1
CHAPTER 1
C2 ,
R2 , C2 , F2p , Q2 . . .?
C
= R2 . (A complex plane will mean something
2
2
over C, so C will be the complex ane plane, P the
H := {x + iy | x, y R, y >
plane in C; that terminology is
0} C
unavoidable.
The objects which shall concern us, then, will be 1-dimensional over
Example 1.0.2. (a) Consider the set of rational points on the Fer-
{(x, y) Q2 | x4 + y 4 = 1} Q2 .
(1.0.1)
bd 6= 0.
(b) Next we look at the Fermat cubic (degree 3) curve
{(x, y) C2 | x3 + y 3 = 1} C2 .
(1.0.2)
1-torus,
shown
1+
(for some
H,
where
:= Z h1, i
a b
c d
!
SL2 (Z) and 0 :=
a0 +b
c0 +d
1+ 3
. We call (1.0.2) an elliptic
2
{(x, y) R2 | x2 + y 2 = 1} R2 ,
First we shall pursue conics to get a preliminary feel for the interplay
between algebra and geometry. These aren't too hard to visualize: you
know what the real solution sets look like (ellipses, hyperbolas, pairs
R2
of lines, etc.) and the complex solutions are all spheres once we add
points at innity.
P2n
R2
n in x and y . (If
n
write P .) In an exercise
n+2
2
dim(P2 ) = 6.
3
(b) For P , the
dimension is 10).
P2
is given by
{1, x, y, xy, x2 , y 2 },
so
basis is
{1, x, y, xy, x2 , y 2 , x3 , x2 y, xy 2 , y 3 }
(and the
S = {p1 , . . . , pm } R2 ,
dene a linear evaluation map
evSn : P n Rm
via
f (p1 )
.
.
.
f 7
f (pm )
Recall from linear algebra the
(1.1.1)
rank
nullity
evSn
is surjective (onto).
Now if
evSn
S.
m;
By (1.1.1) we have:
n polynomials vanishing
n+2
dimension
m.
2
on a general conguration of
1or
S is called n-general 1
points has
10
What does all this have to do with algebraic curves? Well, given a
polynomial in
Pn ,
2
we have the assignment
P n \P n1
{degree n
R2 .
More precisely,
given by
f ker(evS ) Cf S.
(1.1.2)
Q.
6 5 = 1.
A, B, C, D, E
by Prop.
2+2
2
the points are collinear. It's best to wait until we're doing projective
geometry to prove that, and so we will.
2notation: A\B
R2 .
A B.
11
mm
n
minors in a matrix representing evS .
A, B, C, D, E, P1 , P2 , P3
in (3-)general position, the vector space of cubic polynomials vanishing
at all of them has dimension
3+2
2
8 = 2.
equations
0 =
.
.
.
i.e.
10
variables
{aj }
expressing what it
fa to lie in V .
Now let A, B, C, D, E be (2-)general and Q the unique conic through
means for
them:
B
Q
C
A
D
E
A, B, C, D, E
12
B
Q
C
A
D
BC
E
AB
CD
DE
P1
C
A
D
BC
E
AB
l
CD
DE
P
1
P
2
3Of
q Q we
P1 P2 BC =: P3 .
P1 P2 ,
and label
end up
course, the lines may be parallel. There are two ways to x this: either make
A, B, C, D, E
work projectively. Since this chapter is entirely motivational we won't worry about
that level of detail..
13
C
A
D
BC
E
AB
l
CD
DE
P P
1 2
P
1
Finally, we draw
P
3
P
2
EP3
and set
q := EP3 `.
C
A
D
q
BC
AB
l
CD
EP3
DE
P
1
P
3
P
2
Proposition 1.2.1.
q Q.
Lemma 1.2.2.
when
A, B, C, D, E
A, B, C, D, E, P1 , P2 , P3
is in (3-)general position,
1.8] We write
14
C1 := Q P1 P2 ,
C2 := AB CD EP3 ,
C3 := ` BC DE,
each of which contains the set
S := {A, B, C, D, E, P1 , P2 , P3 }.
f1 , f2 , f3 belong to V := ker(evS3 ). Since the dimen2, f1 , f2 , f3 cannot be linearly independent and we have a
So by (1.1.2),
sion of
is
4
nontrivial relation
f1 + f2 + f3 = 0
(1.2.1)
with real coecients.
Suppose
=0
in (1.2.1). Then
f2 = f3 ,
so that
f2
and
f3
are
AB CD EP3 = ` BC DE.
` = AB, CD or EP3 , which implies ` contains A, B, C, D,
E a contradiction to our choice of `!
So 6= 0, and we may rewrite (1.2.1) as
f1 = f2 f3 .
4not
meets
Q.
Since
our choice of
of as
was in light of
all of
, ,
are zero
15
Griths (my Ph.D. advisor) and J. Harris devoted two nice articles to
it.
D?
C ,D
is understood.
n-sided
C, D has an n-sided
there is a circumin-
C.
u
2009.
16
enriques.mathematik.uni-mainz.de/intgeo/poncelet.html.
While this
picture
x0
START
etc.
L0
Poncelet
Construction
D
x2
L1
x1
If
xn = x0
for any
x0 ,
then
xn = x 0
for every
x0 .
fC = 0
C.
Henceforth,
and
fD = 0
and
that is,
C, D C2 .
Topologi-
cally these are real surfaces (in fact, spheres with one or two missing
points), and are complex-analytically isomorphic to
or
C ,
but it
E := {(x, L) C D | x L},
where
D.
An involution is a map
which, applied twice, gives the identity. Here are two involutions on
E:
17
1(x,L):=(x,L)
(1) =id.
x
and
2(x,L):=(x,L)
(2)
2
x
=id.
The composition
:= 2 1
takes
1
2
(x, L) 7
(x0 , L) 7
(x0 , L0 ) =: (x1 , L1 )
(1 , 2 and
to
E ).
More generally,
ith
(x, L)
n (x, L) = (x, L)
(1.3.2)
for some
n.
x C:
tangent to
x
/ C D, there are exactly two lines containing x and
D; if x C D, there is only one. So we nd that the
if
projection
E
C
(x, L) 7 x
18
(x,L)
(x,L)
C/lattice.
One deduces
C/ C/
u 7 u + ,
(x, L) is some point u0 . Whether or not n (u0 )
do with whether n , and nothing to do with
u0
has everything to
the choice of
u0 ,
C, D,
n =
id. for
y2
1a2
n = 4.
C
L0
x1
D
L1
x2
(b)
L3
x3
L2
4x
C = {x2 + y 2 = 1}, D = { (1+T
+
)2
4y 2
(1T )2
= 1}, n = 3.
= 1},
EXERCISES
19
1T
2
1+T
2
Exercises
(1)
P2n
n+2
. [For a more challenging
2
r2 }.
C = {x2 + y 2 = 1}
and
D = {x2 + y 2 =
E is singular (see
and
1)
does the
th
n,
(say,
C)
CHAPTER 2
1 complex
1-manifolds
gree
m in x, y (the 2
S2m
of the form
fm (x, y) =
cjk xj y k ,
j,k0
j+k=m
Skm
m.
is the space of
i1 ,...,ik 0
i1 ++ik =m
the ane resp. projective plane. Later we will dene algebraic curves in higher
dimensional projective spaces and products thereof, but the most intrinsic denition of an algebraic curve as a
2the
cjk
S2m
22
with
fd
L : t 7 (t, t)
(where
(2.1.1)
points:
#{C L} = d ??
(2.1.2)
Some issues arise . . .
Problem
(a)
Solution
(b)
(c)
multiple roots!
(d)
might contain
pass to
C2
C2
L!
Uh-oh
0 = f0 sd + f1 (, )sd1 + + fd (, ).
(2.1.3)
A solution at
3called CP2
or
P2C
in some books
23
about these degenerate cases, but they will look completely natural in
projective coordinates.
Finally, if all
f` (, ) = 0,
then
C L
L
8
(5,5)
(i,i)
(1,1)
R2
is only
2.
So .
innity to
5.
L)?
First, visualize
as
point) at
24
i
1
and think of all arrows as going o to the same point. Adding this point
C {},
resulting in a sphere
1
circle
unit
0
This is an informal way of thinking of
P1
in the following:
Pn
Pn := D
(Cn+1 \{0})
(z0 ,z1 ,...,zn )(z0 ,z1 ,...,zn )
C
Cn+1 ,
[z0 : z1 : : zn ].
For
n=1
phism
P1 ,
P1
C {}
[z0 : z1 ] 7 zz01 =: z
4as will be proved in Chapter 5, one should really think of Pn
(but we haven't dened these yet).
denotes
(0, 0, . . . , 0).
as a complex manifold
25
[z0 : z1 ] 7
z1
.
z0
[z0 : z1 ]).
This map
is
picture of
z1
z0
i
1
circle
unit
0
while the schematic real picture is
[0:1]
Next, setting
0
n=2
[1:0]
=
P2 ,
morphism
P2
if z0 6=0
[z0 : z1 : z2 ]
(2.1.4)
if z0 =0
expresses how
P2
1
(C C)
P
z1 z2
,
C2
z0 z0
[z1 : z2 ] P1
P1 )
to
C2 .
For
P2 ,
the
[0:0:1]
L , i.e.
z0=0
z1=0
all 3
P1s
[0:1:0]
[1:0:0]
z2=0
3 P1 's:
26
z0=0
z1=0
z2=0
Remark 2.1.4. Equation (2.1.4) relates ane coordinates (on
C2 )
{f (x, y) = 0} C
described above?
C=
P2 as
to
[Z : X : Y ] = [Z : X : Y ], in order for a
F (Z, X, Y ) = 0 to make sense projectively (i.e.
polynomial
in
P2 ),
we
must have
(2.1.5)
F (Z, X, Y ) = 0 = F (Z, X, Y ) = 0 ( C ).
(cf.
F .)
C P2
F S3d .
d,
the property
of degree
f (x, y) = 0 7 Z f
(2.1.6)
X Y
,
Z Z
CC
=0
C P2
of a given ane
by
F = 0),
27
then
F (Z, X, Y ) = 0 7 F (1, x, y) = 0
(2.1.7)
restricts
C C2 .
F, C
deg Fi ),
Q
F = Fi (so that deg F =
set of Fi , we have C = Ci .
to be as in Denition 2.5. If
then writing
Ci
no proper (deg
1)
has
homogeneous factors.
Now let's consider our intersection problem (2.1.2) once more, in the
complex projective setting. Referring to the discussion up to Example
m-fold
2.2, if
and
have an
and
in
C2
L P2
be a (projective) line in
P2 ,
i.e. an
not containing
L,
meets
in
L, so
For
f (x, y) = 0
is a point in
C2
where
f,
f
, and
x
28
f
f
f
are all zero that is, a point on the curve where
and
vany
x
y
ish. A singularity of a projective algebraic curve
F (Z, X, Y ) = 0
is a
F
F F
,
, and
are all zero. A curve with one or more
point where F ,
X Y
Z
singular points is called singular ; a curve with none is called smooth.
Example 2.1.10. Here are some local real (schematic) pictures of
cusp
x3 = y 2 );
[1 : 0 : 0] on X 3 Y 2 Z = 0 (or (0, 0)
XY = 0 has
at [1 : 0 : 0]:
the curve
or normal crossing)
ordinary
triple point
ordinary
double point
X=0
Y=0
P1 's
(namely,
X=0
and
Y = 0)
touching at one
X=0
Y=0
2.2. COMPLEX
1-MANIFOLDS
29
Before we pass to the analytic side of our story, there are 2 more
facts about homogeneous polynomials worth a quick mention.
First,
d
d
the map S3 P2 given by F (Z, X, Y ) 7 F (1, x, y) is an isomorphism,
d
d
so dim(S3 ) = dim(P2 ) in particular. Second is the Euler formula
N
X
(2.1.8)
i=0
Zi
F
=dF
Zi
for
d
F SN
+1
2.2. Complex
1-manifolds
{UI }I
X,
the
empty set, and all unions and all nite intersections of its members.
(Here
is a sub-collection of the
unions, and
{UI }I
and
containing
and
q,
respectively.
5 map.
p X,
and
this construction:
1-manifold
consists of
5a
map
is open
M;
open sets taken
is open (resp. continuous) if the image (resp. preimage) of any open set
30
(iii) mappings
z : U C
:= z z1 : z (U ) z (U )
are biholomorphic (i.e., analytic isomorphisms).
The
{z }, { }
are key:
by
Rn
and
require the transition functions to be smooth (i.e., have continuous partial derivatives of all orders), then
dierentiable) real
n-manifold
instead.
If we think of the (complex analytic) transition functions in Denition 2.11 as maps from
R2
to
R2 ,
then
( |{z}
x ,
y
) = ( u(x, y) , v(x, y) )
|{z}
| {z }
| {z }
real
part
is smooth and
u, v
imag.
part
real
part
imag.
part
ux uy
vx vy
6if U
and
V .
ux vx
vx ux
!
,
U := U U .
goes from V
for
z (U )
and
for
z (U ),
so that
1-MANIFOLDS
2.2. COMPLEX
is
Example 2.2.2.
of complex
u2x + vx2
(obviously
biholomorphic. Therefore
7
orientable as a real 2-manifold.
31
is
0)
preserves
1-manifolds.
U ),
Now assume
nite subcover.
1-manifold
always admits
an = [1 : n] =
[ n1
2-manifold.
: 1] does limit to
R, M is an orientable,
is homeo-
has genus
g:
etc.
g=0
g=2
g=1
the local coordinates, but for some purposes it is also convenient to cut
7in
fact, a matrix of the form
A
B
B
A
is a rotation times a dilation, hence
is
32
g=1
g=2
Extrapolating from this, one sees that if you begin with a sphere with
4g
edges identied
all
identied.)
8
Using this we can do a quick computation of the Euler characteristic
of
M:
M := faces edges + vertices = 1 2g + 1 = 2 2g.
(2.2.1)
g = 0)
Example 2.2.3. (
nates
[X : Y ].
Let
[0:1]=" "
U0
[1:0}="0"
U01
M
U1
That is,
8traditionally
lation of
M,
one would use the numbers of faces, edges, and vertices in a triangu-
33
we take
z0 :
U0
C
Y
[X : Y ] 7 X
z1 :
U1
C
.
[X : Y ] 7 X
Y
and
Writing
C C.
U01 := U0 U1 ,
we have
by denition) is then
10 : C C
.
u 7 u1
neighborhoods shown
covering by coordinate
neighborhoods
),
(before quotienting by
translation by some
C
ij
Topologically,
and
g=1
C/
as shown.
is a compact complex
1-manifold
P1 .
34
v
u2g+2
uY
F(z) := t
(z i )
i=1
on
(of genus
g,
P1 , cut identical
j = 1, . . . , g + 1. Then
2j1
to
2j
for
F becomes single-valued;
1
morphism M P presenting it as a nite branched cover of the
projective line. We won't do this explicitly here especially endowing
it with an analytic atlas, since that is really a special case of normalizing
an algebraic curve (cf.
3.1).9
(w =)z 3
= w3 })
{z=w3}
3
4 i
e3
wdisk
3 2
1
zdisk
To construct it, think about following
z3
terclockwise: when you reach your starting point the function has become
2i
3
9it
4i
3
1
3;
z3
makes a very instructive exercise though, and the next example gives a hint on
how to do it
branch.
35
III
II
"z1/3"
"e 3 z1/3"
"e 3 z1/3"
{z=w3}
zdisk
(The green segments are glued but I can't draw in 4 dimensions.) An
easier way to visualize this Riemann surface is this: it's just the
disk. The diculty is in seeing the
w-disk
over the
w-
z -disk.
p
(z a)(z b)(z c)
F(z) =
over
P1 .
In a neighborhood of
surface of
(z z0 )
1
2
z0 = a, b, c
we just did except with 2 unit disks instead of 3. Indeed, going once
around
a, b,
or
takes
F 7 F;
of the polynomial under the square root is odd, going once around
is equivalent to
P1 's
36
on which
becomes well-dened:
"open" the
cuts and
join
"+ f "
" f "
8
8
c
a
(In the picture,
and
are called
1-cycles;
p
(z a)(z b)(z c)(z d),
with
replacing
F(z)
1-manifold
1-
manifold.
Exercises
(1) Take projective closures of
and
L := {x = 0}
in
P2
plicities?
EXERCISES
(3) Let
37
geneous (of some degree). [You will have to assume the following
g (in (z0 , z1 , z2 )), with vanish{f = 0} {g = 0}, then f divides a power of g . This
and
If this is too
CHAPTER 3
M
{(U , z )}
Let
analytic chart
: V U ( M )
V := z (U ) C.
z 1
The local
z .
1
.)
z
holomorphic) function
U
f
39
40
Remark 3.1.2. (a) One really works with functions of the coordi-
z ,
nate
f =: g
(mapping
V P1 ),
and then
g = g .
(3.1.1)
(b)
K(M )
O(M )
=C
compact
(constant functions).
any
p M, f
f K(M )
z m h(z)
(3.1.2)
m Z, z
with
1To
then
be absolutely precise, if
K(P1 )
= C(z) (z
z
and
V.
1.
an indeterminate).
is a local coordinate on
is a holomorphic function on
understood.
U 3 p,
with
V = z(U ),
41
:= {m1 1 + m2 2 | mi Z} (1 , 2 C linearly
independent over R) for a lattice, K(C/)
= C(, 0 ) where (u) is
the Weierstrass -function for .
(b) Writing
I am really going
z = z0 and w = z1
to use z as a global
coordinate on
on
P1
(on
U1 ,
it is
1
P(w
)
1 ).
Q( w
)
K(P1 ), p (f ) < 0
Given
2
at nitely many points zi (=
X
1
(u) := 2 +
u
1
1
(u )2 2
6=0
of Riemann surfaces
3 is a collection
{U })
|z {F 1 (Ui )U }
F : U M
of continuous
, i.
M M
zi F
1-manifolds
compactness is
inessential.)
2otherwise
1
1
f have an accumutaion point =
f
identically 0. (Also, note that I am identifying points by the value of the coordinate
z on P1 . If M were not P1 , I would write pi instead of zi .)
compactness
3write {U , z } and {U
i , zi }
4this composition renders z
zeroes of
i as a function of
this sense)
in
42
M
F
Ui
zi
F(U)
Vi
F (U ) U
i
U
z
the composition
z (p) = 0 and
F is nonconstant, then after normalizing the local coordinates,5 we
have z
i (z ) = (z ) for some (unique) Z>0 . One says that f has
ramication index at p (over q ). If this index is > 1, we say that f
is branched over q (or ramies at p).
like
Y
and it is understood that the picture is really as in
around the point on the base
cover
X.
erally, a complex
1-manifold).
5see
Exercise 4 below
K(M ).
{},
M P1 ,
ex-
P1
43
F :M
z0 F is holomorphic on the
, while z1 F = z0 F1 is
6
of the preimage of 0. Hence, F
{F }
(M )
coordinate on
and
Zj
Zi
Mij
where (under
are not both zero; these are the open subsets in the last
7
denition. By Prop. 3.1.8, the conditions of Defn. 3.1.9 mean that
Zj
are meromorphic functions on the Mij . We need to show that the
Zi
Z
zj = Z0j extend to meromorphic functions on all of M . First, M is
p
/ M0j (i.e. Zj and Z0
vanish at p), we have a neighborhood U containing p where some other
Zi does not vanish, so that U Mij , Mi0 . Now, on U M0j we can
1
Zj
ZZ0i
write zj =
as a product of functions which are meromorphic
Zi
on all of U , hence showing that zj extends as desired.
covered by the open sets
{Zi 6= 0}.
Hence, for
C P2 ,
: M P2
6The
holomorphicity of
1 (C\sing(C)).
1
z0 F guarantees, in particular, that
poles and not essential singularities.
ij may be empty if
has only
(M ) is contained in a coordinate
44
M,
: M P2 such that
(M ) is an irreducible algebraic curve with sing((M )) consisting
of ordinary double points (or empty), and
" "
If a curve
(and we shall see this quite explicitly later on). In either case, we say
that
is the normalization of
C.
Let's look briey at the meaning of (B), which we will not prove
in this course.
compact complex
2 {[0:0:1]}
[Z:X:Y]
projection
which exhibits
[Z:X]
as a branched cover of
P1
g(x)
obtained by solving
f (x, g(x)) = 0.
So Theorem 3.10(B) contains the statement that every complex 1manifold is an existence domain in the sense of
2.3.
45
We should also note that any Riemann surface admits a holomorphic embedding
: M , P3 ,
C P2 .
Given a
point
` C = {p, q}
or
` C = 2p,
i.e.
` = Tp C
at
p.
on
C,
Con-
anywhere else).
C . One possibility is to
p to project C onto it:
P1 )
C
p
tan
gen
t
line
P1 C
46
solving for
in terms of
we have
x2 + 2 (x 1)2 = 1
=
(x 1){(1 + 2 )x + (1 2 )} = 0.
=
Ignoring the solution
x=
(2 + 1)x2 22 x + (2 1) = 0
x=1
2 1
,
2 + 1
p), we have
2 1
2
1
=
.
2 + 1
2 + 1
(which corresponds to
y=
Hence, we nd
() =
2 1 2
,
2 + 1 2 + 1
.
One can also do stereographic projection to construct normalizations of singular cubic curves:
p
P
` already meets C
p;
since
in one additional
Exercises
(2)
df
along the boundary.]
integrate
f
(3) Convince yourself that the order
on a RS
p (f )
of a meromorphic function
coordinate.
(4) Prove the following, which was claimed in Denition 3.1.6: Given
M, M 0
f : M M0
EXERCISES
47
(and
(5)
m.
p = (0, 0).
Picture:
p
p
What are
and
Change coordinates on
(fractional linear
exercise.
be used in a later
CHAPTER 4
Z =
Z0
of the form
L = { t z = 0},
(4.1.1)
where
is a nonzero vector in
C3 .
3.3),
C , L = L .
the line; for conics, one chooses any point on the conic.)
However,
not all conics are smooth, and so we will need to classify conics up to
projective equivalence.
{XY = 0} = {X = 0} {Y = 0}
and the double line
{X 2 = 0}.
1There
As
far as conics are concerned, we like projective equivalence simply because it gives
a uniform and algebraic treatment of singular and smooth curves.
49
50
The rst has two irreducible components (and is hence reducible ), while
the second has one component of multiplicity two (and is said to be
non-reduced ).
GL(n, C)
.
h id. | C i
T (A)[Z] = [A Z].
(We are, consistently with the notation mentioned at the beginning of
the chapter, letting the matrix
A act on Z
it sends no nonzero
if
if
T (A) : P2 P2 , A
2roughly
{XY = 0}
{XY 3 = 0}
is not.
Obviously this is going a bit beyond the notion of an algebraic curve as a solution
set, since it incorporates multiplicity. To really formalize what such an object is,
we would have to work with scheme theory or algebraic cycles, which I do not want
to do. So unless otherwise stated, in this course an algebraic curve is assumed to
be reduced.
3the
P1
51
a b
c d
!!
[Z0 : Z1 ] = [aZ0 + bZ1 : cZ0 + dZ1 ].
[1 : z],
!!
a b
c + dz
(z) =
.
a + bz
c d
P1
P1 P1 )
as a complex
1-manifold.
C = {F (Z) =
0} of degree d, points in T (A)C are of the form T (A)Z for Z C . These
How do projectivities aect algebraic curves? For a curve
{F T (A1 )() = 0} (= T (A)C)
(4.1.2)
since then
C,
Z0 , . . . , Zn in the equation
we nd:
singular) alge-
d.
T (A)C = C
for some
A,
C, C
In gen-
are said to be
projectively equivalent.
Proof. To see why smoothness is preserved, write
4i.e.
F () = F (T (A1 ))
in
Z0 , . . . , Z n
52
If
F = F T (A1 ),
chain rule
then
F = F T (A),
X T (A)i F X F
F
=
=
,
ai0
Z0
Z0 i
i
i
i
so that
0 6=
X F
F
(Z) =
(T (A)Z) = 0,
ai0
Z0
i
i
a contradiction.
Given
( A1 )Z ,
so that
t t
L = { t Z = 0},
0 = t A1 Z =
T (A)L = L( t A1 ) .
(4.1.3)
Since
(4.1.2) gives
ial)
P2
Let
0=
Z0 Z1 Z2
d
2
d
2
e
2
f
2
Z0
t
Z1 =: ZBZ
c
Z2
e
2
f
2
5 matrix
B.
(The expression
A Z
for
Z,
QB ,
ZBZ
is
(4.1.2) substitutes
yielding
T (A)QB = Q( t A1 BA1 ) .
M , the transformation B 7 t M BM =:
B, B 0 are cogredient over C. All nonzero
B0
5i.e.
the transpose
equals
/C to
1 0 0
0 1 0 ,
0 0 0
1 0 0
0 0 0 ,
0 0 0
53
1 0 0
0 1 0 .
0 0 1
or
We conclude:
P2
one of
{X 2 = 0}, {X 2 + Y 2 = 0},
or
{X 2 + Y 2 + Z 2 = 0}.
Notice that
and so
lent.
(ii)
QB
is smooth
det B 6= 0.
{X 2 + Y 2 + Z 2 = 0}
C = {F (Z0 , Z1 , Z2 ) = 0}
suppose
R (, ) C
t 7 f (t) = [Z0 (t) : Z1 (t) : Z2 (t)]
is a dierentiable path segment in
C.
Then,
2
X
dZi
F
0 = (F f ) (0) =
(f (0))
(0)
Zi
dt
i=0
0
6This
is Sylvester's theorem. For an easy proof of the real version, see pp. 161-162
7or
equivalently, irreducible
1.)
54
0
(0)
Z
0
0
F
F
F
= Z
(f
(0))
(f
(0))
(f
(0))
Z
1 (0)
Z1
Z2
0
Z20 (0)
= t F (f (0)) f 0 (0),
LF (f (0)) contains
C through f (0).
f 0 (0)
to all such
F (f (0)) = 0,
C to be smooth
then it
at
f (0)
Tp C to a curve C = {F =
p = [p0 : p1 : p2 ] C is LF (p) .
0} P
at a smooth point
f(, )
p=f(0)
f (f(0))
TpC =L
C
The next proposition makes the intuitively obvious statement that projectivities respect tangent lines:
L
T (A)C
Proposition 4.2.2. If
at
p,
then
T (A)L
T (A)p.
F = F T (A)1 ,
this is equivalent to
L t A1 (F T (A))(p) = L F (T (A)p)
or
(F T (A))(p) t A F (T (A)p)
(4.2.1)
where
means up to multiplication by
C .
55
Now, the tangent line to a line (at any point) is the line itself; for
conics the story is less trivial. First we write
F (Z) = t ZBZ,
B
dard
e0 , e1 , e2
0
0
1
basis vectors 0 , 1 , 0 ,
1
0
0
t
F/Z0
ZBe0 + t e0 BZ
t
e0 BZ
= 2 t e1 BZ = 2BZ.
t
e2 BZ
t
QB
at
[p] QB
is
is
LBp .8
V := Hom(V, C)
of linear functionals (f
h,i
V V C
(4.3.1)
given by
: V C);
hf, vi = f (v).
e = {ei } ( ei , ej = ij ),
hf, vi =
([f ]e )[v]e
{z }
matrix multiplication
Finally, there is a dual transformation
T : V V
dened by
T f, T v = hf, vi
8here we are treating p as a column vector (which is consistent with earlier notation)
56
with matrix
[T ]e = t M 1 .
This gives a more conceptual way to look at the story of lines in
above: put
C
= C
V = C3 , [T ]e = A, f V , = [f ]e
P2
separate.
The crucial point is to projectivize
and
V :
writing
3 \{0}
C3 \{0}
C
2
P =
, P =
,
C
C
2.
P2 correspond to points [] P
2
correspond to lines in
2.
P
V = V ,
and so
P2
with
T (A)
and
2
P
T ( t A1 ).
with
in
P2 .
Now write
p0
p = p1 ,
p2
= 1
2
for column vectors. Though this is maybe a little awkward, here is how
I want to standardize notation:
p = [p] = [p0 : p1 : p2 ] P2
2,
= [ t ] = [0 : 1 : 2 ] P
in other words, points in
points in
2
P
P2
L P2
is dened by
the equation
Z =0
solve
= .
L
for
Z0
Z = Z1 ,
Z2
Moreover,
denes a line
2
Lp P
via
W p=0
solve for
W =
W0 W1 W2
and we write
57
p = Lp .
on a line
L()
(important in Poncelet)?
L, L through a point p?
points p, q on a line L?
t
expresses p
Lp ).
L ;
p=0
p
L
(i.e.
(
a) a line
p through
a point
;
L
a pair of points
(b)
(
c) a pair of lines
L on a line p;
L,
.
p, q through a point L
Here is something more interesting to dualize, which is left as an exercise for you.
L, L
L) take
P2
s = L L. On L (resp.
(3)
(resp. q , q , q ) dierent from s, and set
:= p(i) q (j) p(j) q (i) (where {i, j, k} = {1, 2, 3}).
(2)
(3)
p ,p ,p
(k)
(for k = 1, 2, 3) r
(1)
(2)
(3)
Then r , r , r
are
distinct
(1)
(2)
collinear.
p(3)
p(2)
r(1)
(2)
p(1)
q(3)
(3)
(2)
(1)
58
2
C P
C = {F = 0} P is the set of
2 | p C}.
= {TpC P
That is, C
C.
This is consistent with our denition for lines. For higher degree
curves, however, the dual is not one point: consider the duality map
2
DC : P2 P
sending
p 7 [ t F (p)].
C = DC (C).
= TpC , then T C = p.
(b) If
is smooth at
So
() : (, ) C
through
d t
(0) p = 0.
dt
(4.4.1)
C is the image of C
(, ) C through p. So
Since
by
for some
q() :
d
(DC q)(0) p =
dt
(4.4.2)
9i.e., [Z : Z : Z ] 7
0
1
2
2F
Z02
2F
Z1 Z0
2F
Z2 Z0
F
Z0 (Z0 , Z1 , Z2 )
2F
Z0 Z1
2F
Z12
2F
Z2 Z1
2F
Z0 Z2
2F
Z1 Z2
2F
Z22
F
Z1 (Z0 , Z1 , Z2 )
p0
p1
.
p2
p
F
Z2 (Z0 , Z1 , Z2 )
DC (p).
is nonsingular at
59
at
F
is homogeneous (of degree
Zi
(d 1).
p)
set equal to
(d 1).F (q(0))
which is indeed zero by the beginning of
d1, if d = deg(C)),
collapses (4.4.2) to
F
(p)
Z0
F
(p)
Z1
F
(p)
Z2
dq
(0),
dt
4.2.
Remark 4.4.3. One can show that the dual of a smooth algebraic
curve of degree
d2
moreover, for
dened.
QB . By the computation
F (Z) = ZBZ ), F (Z) = 2 ZB t ZB and so
DQB (QB ) = [ t ZB | [Z] C]
in
4.2
= t ZB Z = t B 1 ,
this becomes
2 | t W B 1 B t B 1 W = 0}
B = {[ t ] P
Q
2 | t B 1 = 0}
= { P
where we have used the fact that
of:
Proposition 4.4.4. (i)
B = QB1 ,
Q
= Q . (In particular,
Q
B
B
conic, since det B 6= 0 =
and
det B 1 6= 0.)
(ii) Given
tangent to
p P2 \QB ,
and
QB .
if the line
2
p P
is not tangent to
B,
Q
then it meets
B
Q
in exactly
2
60
p
Tq QB
Tr QB
r
L
L
Tr QB
q
q
Tq QB
r
Tr QB
(a,b,c)
the denition of the dual curve, and Proposition 4.4.2(b).
2
2
2
Example 4.4.7. Q = {4Z0 +Z1 +Z2 = 0} B =
1
.
1
Let p = [1 : 2 : 2] (
/ Q) so that the polar line L is given by
Z0
4
0= 1 2 2
1
Z1 = 4Z + 2X + 2Y,
1
Z2
Proof. This is an immediate consequence of the rules
, c),
(a, b
EXERCISES
i.e.
L = L
where
61
= [4 : 2 : 2].
On the dual
2
P
side:
= ; Q
has matrix
41
B 1 =
1
p is the line 0 = W0 + 2W1 +
hence equation 0 =
is
2W2 . On the other hand, the polar line of with respect to Q
1
W0
4
0 = 4 2 2
1
W1 = W0 + 2W1 + 2W2 ,
W2
1
14 Z02
agreeing with
+ Z12
+ Z22 ; and
p.
Proof is basically the same as for Proposition 4.4.6; I'll let you work
it out.
Exercises
(1) Given a conguration of
2
P
P2 :
think rst
62
pBZ = 0.
with respect to
QB
Proposition 4.4.6.
(4) Prove that all automorphisms of
P1
3.1.]
Aut(P1 )
= P GL2 (C).
Part 2
CHAPTER 5
In Chapters 2-3 we introduced Riemann surfaces and plane algebraic curves, and stated the Normalization Theorem which produces
a strong relation between them. Here we will introduce the arbitrarydimensional generalizations of these objects. While it is true that an
algebraic variety of dimension
However, it is true that any global analytic object (functions or differential forms, for example) on a projective algebraic variety viewed
as a complex manifold, is a algebraic. This is Serre's GAGA (global
analytic
C(z1 , . . . , zn )).
5.1. Complex
n-manifolds
U = U U .
X:
{U }
n-manifold
by
2
holomorphic coordinates
'
z : U V Cn ,
1normalization
2As
(z1 , . . . , zn ).
65
z =
66
or homeomorphisms between
Cn ,
transition functions
:= z z 1 : V V
are biholomorphic.
X
U
C
V
(z 1,...,z n)space
V := z (U )
Here
and
V := z (U )
Cn ,
3.1,
of complex manifolds.
F : X Y
and
U )
F : U Y
(agreeing on
Z F z 1 : z F1 (U F (U )) Z (U F (U ))
Pn
5.2.
AS A COMPLEX MANIFOLD
V Cm ).
If
n = m = 1
67
V Cn
to a subset of
n = 1)
n-tori
Cn /Z 1 , , 2n
1 , . . . , 2n
projective n-space
(where
Pn :=
in
Cn
= R2n ),
and
Cn+1 \{0}
.
h(0 , . . . , n ) (0 , . . . , n ) C i
Demonstrating that
Pn
is a complex
n-manifold
section) immediately gives meaning to a morphism of complex manifolds from a Riemann surface to
Pn .
Pn
5.2.
as a complex manifold
bi
n
0
=
,..., ,...,
: Ui Cn .
zi = (zi1 , . . . , zin ) :=
i
i
i
(Here i replaces ,
Vi = Cn ,
and
c
()
ji : Vij Vji
ji tells us how to write the zj = (zj1 , . . . , zjn )
functions of the zi = (zi1 , . . . , zin ) in such a way that
!
!
0
bi
j
n
0
i
bj
n
,..., ,..., ,...,
is sent to
,..., ,..., ,...,
i
i
i
i
j
j
j
j
zij 6= 0.
j > i).
Now,
Vij Cn
is simply the
might be a good idea to glance back at the picture there (for intuition purposes)
68
where
zik /zij ,
zjk (zi1 , . . . , zin ) =
zi,k1 /zij ,
1/zij,
(5.2.1)
For
z1 =
0
1
k i, k > j
for i + 1 < k j .
for k = i + 1
for
z0 = 10 and
1
are the two local coordinates, while (5.2.1) becomes z1 (z0 ) =
,
z0
P1 , zi
reduces to
zi (i = 0, 1).
More precisely,
P1 :
1 / 0
0 /
local coordinates on
0
For
1 2
,
0 0
z0 = (z01 , z02 ) =
z2 = (z21 , z22 ) = 02 , 21 , with
and
, we have
e.g.
0 2
,
1 1
z1 = (z11 , z12 ) =
,
01
20 (z01 , z02 ) = z102 , zz02
.
[0:0:1]
1 / 2
0 / 2
/
2
1 / 0
0 /
[0:1:0]
[1:0:0]
So, for instance, the coordinates
plement
U1
2/ 1
1
z1 =
0 2
,
1 1
[0 : 1 : 0].
'
for
5.2.
0=1
C2
Pn
AS A COMPLEX MANIFOLD
69
U0
U0
0
1
0=1
The next statement says that the notion of holomorphic map from
a Riemann surface to projective space (Defn.
Pn
by morphisms).
a continuous mapping
F 1 (Uj )
(iii) = (i).
required for a
7
below.
P2 )
70
on a piece of paper:
0
Think of these as vectors
[0 : 1 : 2 ]
A(i) R2 ;
as
2
X
(5.2.2)
P2
i=0
j=0 j
A(i) .
i R,
completes to
[0 : 1 : 2 ]
2 = 0 .
y=
xy = 1
y =
R) projectively
[1 : x : ] in this way gives
(assume
[1: x :]
completes to
1 2 = (0 )2 ,
and we get
71
0 )(1 0 )
y 2 = x(x + 1)(x 1)
becomes
(2 )2 0 = 1 (1 +
with picture
Sn := C[z1 , . . . , zn ]
of polynomials in
variables.
Let
J Sn
is
72
J.
By a result in
Sn is nitely
generated, that is, of the form (f1 , . . . , fk ); consequently V (J) is simply
of the form f1 (z) = = fk (z) = 0. However, working in terms
algebra known as Hilbert's basis theorem, any ideal in
g Sn
to J .
on
V (J),
If
does,
m N,g
belongs
vanishes identically
vanishes (in
Cn )
wherever
Sn+1 = C[Z0 , . . . , Zn ].
d
Its underlying additive group can be viewed as the direct sum d Sn+1 ,
d
where Sn+1 denotes homogeneous polynomials of degree d in n + 1
variables. Hence, any polynomial G can be written uniquely as a nite
P
sum of homogeneous terms
d Gd .
Next we consider the projective case, writing
I Sn+1
if the condition
GI
Gd I (d)
is satised.
The projective variety associated to a homogeneous ideal
I Sn+1 is4
on all of
V (I),
some power of
Remark 5.3.4. If
F1 , . . . , F k
belongs to
vanishing
I.
4technically,
and
V (I)
as a set.
73
Sn+1 Sn
induced by
F (Z0 , Z1 , . . . , Zn ) 7 F (1, z1 , . . . , zn ).
If we write
then
V (I ) = V (I) Cn .
To go the other way, recall the space
of degree at most
d.
of polynomials
vector spaces)
d
d
Pnd
Sn+1
which is dened by
have
Cn = V (J).
V (J)
So if
n = 3,
then
V (J)
at innity
{Z0 = 0}
hyperplane {Z 0=0} at
in which the black points get added in the process of completing the
curve.
74
5
d
Sn+1
and
Cn
or
Pn
X = V (F ) = {F (Z) = 0} Pn
the corresponding projective hypersurface of degree
d.
(Like algebraic
curves, these are called linear, quadric, cubic, quartic, quintic, etc.
F =
k
Y
Fimi ,
i=1
uniquely (up to order), where each
Fi
X=
k
X
mi Xi ,
i=1
and say
mi = 1,
k = 1.
Exercises
(1) Show that each projection
ij : Ui Uj P1
ai )}
5here
in
, if
we really mean
V (F ).
V ((F )),
{y 2 =
Q2g+2
i=1
(x
(F ),
CHAPTER 6
We warm up with two examples we can get our hands on immediately: linear varieties and quadric hypersurfaces.
Then we launch
Pn
P GL(n + 1, C) :=
GL(n + 1, C)
.
+
*
0
..
.
C
P GL(n + 1, C) Pn Pn
(M, [Z]) 7 [M.Z] =: T (M )[Z].
That is, for each
of
M P GL(n + 1, C), T (M )
gives an automorphism
T (M )
give all
76
A system of
linear equations
`10 0 + + `1n n = 0
.
.
.
(6.1.1)
`k0 0 + + `kn n = 0
V Pn .
`10
.
.
.
..
.
.
.
`k0
has rank(L)
=: r k .
codim(V
`1n
=: L
`kn
Dening
we have the
nr
Pn
of codimension
is isomorphic to
as a complex manifold.
necessary,
det
`10
.
.
.
..
`k0
`1,k1
.
.
.
6= 0.
`k,k1
Pnk
77
[k : : n ]).
V0
is
is called a hyperplane.
F (Z) = 0.
2), so that X
2
Sn+1
(degree
X Pn
cut
We are interested
is a quadric. The
F (Z) = t ZBZ =
Z0
Zn
b00
.
.
.
..
.
.
.
bn0
with
b0n
Z0
.
.
.
bnn
Zn
Z0
.
.
.
=M
Y0
.
.
.
(M GL(n + 1, C)),
Yn
Zn
we nd
F (Z) =
Y0
Yn
M BM
Y0
.
.
.
=: G(Y ),
Yn
t
M BM
is said to be cogredient to
complex
matrices
(n + 1) (n + 1)
matrix
/C]
Mk =
B.
..
1
0
..
0
where
is the number of
1's.
Pn
is projec-
78
Qk =
( k1
X
)
Yj2 = 0
(k = 1, . . . , n + 1).
j=0
Note that
0}
is a
2.1,
so let's prove it
rst:
Lemma 6.3.1. [Euler's formula]
d
=
F Sn+1
Pn
i=0
F
Zi Z
=
i
d.F
(F =)Z0d0 Zndn ,
P
P
P
di = d. We have i Zi Z
(Z0d0 Zndn ) = i Zi Zdii (Z0d0 Zndn ) =
i
P
( i di )Z0d0 Zndn = dZ0d0 Zndn .
Proof. It suces to check this on monomials
ane hypersurface
V = V (f ) Cn ,
and a point
pV.
f
V is smooth at p z
(p) 6= 0 for some
j
j {1, . . . , n}. Otherwise, p is a singular point (or singularity ) of V .
(ii) If V is smooth at all of its points, V is smooth. Otherwise, V is
Definition 6.3.2. (i)
singular.
(iii) If
V is
(
smooth at
p,
Tp V :=
n
X
i=1
(Here the
)
f
i
(p) = 0 Cn .
zi
i C.)
{i }.
Tp V
as a copy of
Cn1
with origin at
and
79
p,
namely
fzn (p) = 0,
points where
y 2 = x3 x2
0 = y
(y 2 x3 + x) = 2y admit no common solution. This is easy to
1
1
see: the points ( , 0) and ( , 0) where both partials vanish, do not
3
3
Here is one more:
is singular at
V = V (F ) Pn ,
where
is homogeneous and
P V.
F
V is smooth at P Z
(P ) 6= 0 for some
j
j {0, . . . , n}. Otherwise, P is a singular point (or singularity ) of V .
(ii) If V is smooth at all of its points, V is smooth. Otherwise, V is
Definition 6.3.3. (i)
singular.
V
(
(ii) If
TP V :=
is smooth at
P,
[Z0 (P ) + 0 : . . . : Zn (P ) + n ] |
n
X
i=0
Pn1 )
)
F
(P ) = 0
Zi
Pn .
formula,
FZ0 (P ) = = FZn (P ) = 0.
In fact,
(6.3.1) also implies (for the projective case only!) the simplication
(
(6.3.2)
[0 : : n ] |
TP V =
X
i
F
(P ) = 0
i
Zi
rather than
).
F (P ) = 0,
as in
80
Proposition 6.3.4.
(P =)[1 : p]
means
Proof. Given
and
Q = [1 : q],
Writing
f (z) = F (1, z)
we want to show
q Tp V (f ) Q TP V (F ).
(6.3.3)
zi (q) = zi (p) + i
in Deni-
tion 6.3.2(iii),
n
X
f
(zi (q) zi (p))
(p) = 0.
zi
i=1
This is really
n
X
(Zi (Q) Zi (P ))
i=1
F
(P ) = 0,
Zi
n
X
Zi (Q)
i=1
Since
F (P ) = 0,
F
F
(P ) deg(F ) F (P ) + 1
(P ) = 0.
Zi
Z0
we get
X
F
F
1
(P ) +
Zi (Q)
(P ) = 0,
Z0
Z
i
i=1
which is exactly the right-hand (projective) condition of (6.3.3).
V = V (F1 , . . . , Fk ) Pn ,
and
be a point on
V.
neighborhood
1
such that
W Pn
of
V
p
is smooth at
81
{1, . . . , k}
F
(p) Zin1 (p)
Z0
.
.
..
.
.
(b) rank
.
= c.
.
.
(a)
Fic
(p)
Z0
has codimension
V
(ii) If V
We say
Fic
(p)
Zn
(or dimension
n c) at p.
is smooth at each point p V , then V is smooth
c
(otherwise,
is singular ).
(iii) If
p V,
F1
F1
(p)
(p) Z
Z0
n
.
.
..
.
.
L=
.
.
.
.
then
Fk
(p)
Z0
Fk
(p)
Zn
= Fic (Z) = 0,
speaking, the condition (b) on rank says that no more (none of the
F i` )
6.1, Tp V
is a linear subva-
c.
V
p,
to be the (co)dimension of
Tp V
something
Cn+1
3this
m at all smooth
points.
82
want to view an algebraic variety as a complex analytic space (or manifold, if it is smooth), then you must use analytic open sets; on the
other hand, the Zariski open sets introduce a dierent topology on
or
is still Hausdor ). We need both. In brief, when we study varieties analytically, we use the analytic topology; when we want to make heavy
use of the correspondence between varieties and ideals in commutative
rings, we use the Zariski topology.
C3 .
The partial
and so
is singular there:
Z1 Z3 = 0
3
(ii) Now for a nasty one. Let V P be dened by
Z2 Z3 = 0
and take p = [1 : 0 : 0 : 0], q = [1 : 0 : 0 : 1], r = [1 : 1 : 0 : 0]:
)
,
83
0 Z3 0 Z1
0 0 Z3 Z2
!
=
q
0 1 0 0
,
0 0 1 0
mension 2 at q .
conrming that
is not equidimensional.
Finally, at
is singular at
has codi-
neither
!
0 0 0 0
0 0 0 0
p.
C P3
Z0 Z3 Z1 Z2 = 0 (I)
Z12 Z0 Z2 = 0
(II)
2
Z2 Z1 Z3 = 0 (III)
1 is called a curve,
d 3 a d-fold. So-called
C = {F (Z) = 0} P2
F S3d (of degree 3 in Z0 , Z1 , Z2 ).
A point p C is a singularity if and only if FZ0 (p) = FZ1 (p) = FZ2 (p) =
0, and (moving C by a projectivity if necessary) we may assume that
p = [1 : 0 : 0]. To locally analyze C at p, we can pass to ane coordiZ
Z
nates x = 1 , y = 2 and replace F by
Z0
Z0
dened by a homogeneous polynomial
f (x, y) = F (1, x, y) =
d
X
m=k
fm (x, y),
84
So far, we have not dened tangent planes at singular points. Indeed, this can really only be done for curves in general.
To decide
at
y0
as the slope of a line tangent to some local
x0
irreducible component
4 of the curve
at
p.
C at a
of p (C).
corresponding to points
singularity
ab xa y b it
can be useful (for various purposes) to plot the nitely many (a, b) with
ab 6= 0. If you do this when (0, 0) is a k -tuple point and f has degree
n, then these lie in the shaded region
Remark 6.4.2. Given a polynomial
4this
f (x, y) =
(a,b)Z20
85
d
k
p (C).
5
sication of so-called simple singularities of curves has been carried
out.
p = (0, 0),
C, C 0
their singularities at
An : x2 + y n+1 = 0
(n 1),
Dn : y(x2 + y n2 ) = 0
(n 4),
E6 : x3 + y 4 = 0,
E7 : x(x2 + y 3 ) = 0,
E8 : x3 + y 5 = 0.
The ODP's (ordinary double points: two distinct tangents) are all of
type
A1 , as all An2
5cf.
A2 .6
[Barth, Hulek, Peters, and van de Ven, Compact complex surfaces, Springer,
2004] for the denition. Simple singularities encompass all double (2-tuple) points
and some triple (3-tuple) points, and nothing of higher order.
6refer
86
of type
Exercises
Pn dened by a symmetric
bilinear form B is smooth if and only if det(B) 6= 0.
(ii) Corollary 6.2.2 associates a number k to each projective quadric
n
hypersurface in P . Show that any two are projectively equivalent
if and only if they have the same value of k . [This is easy.]
2
2
3
Show that [the closure in P of] y = 4x + ax + b is smooth unless
a3 + 27b2 = 0.
4
4
4
Find the tangent plane to the complex surface 2x +y +z 4xyz =
0 (in C3 ) at the point p = (1, 1, 1).
Finish the proof in Example 6.3.6(iii) that C is a smooth curve.
2
What form does a degree k projective algebraic curve (in P ) take
if it has a singularity of order k ?
2
2 2
2
3
2
Analyze the singularity of C = {(x + y ) + 3x y y = 0} C
(2)
(3)
(4)
(5)
(6)
F (X, Y, Z) = 0
in
the singular curves, saying where the singularities are located and
what type they are.
F (X, Y, Z) = X 3 + Y 3 + Z 3 + (X + Y + Z)3 ,
3
3
3
(b) F (X, Y, Z) = X + Y + Z + 3XY Z .
(a)
CHAPTER 7
This Chapter starts the long slog toward a proof of part (A) of the
Normalization Theorem 3.2.1. After introducing a bit of the theory of
several complex variables, we'll use the holomorphic implicit function
theorem to put a complex manifold structure on any smooth irreducible
(ane or projective) algebraic variety:
Theorem 7.0.3. A smooth irreducible algebraic curve
C Pn
is
M
: M , P with C
as its image.)
This is, of course, the smooth case of Thm. 3.2.1(A). As for going
the other way, from Riemann surfaces to algebraic curves, here is a
statement which is dierent in character from 3.2.1(B):
Pn
M Pn
n1
whose
be a function on
0C
On ).
88
phic in
z2 ,
we have
f (z1 , z2 ) =
n = 2.
Since
is holomor-
f (z1 , 2 )
d2 ;
2 z1
2 1
z1 , this
(2 1)2
=
(2 1)2
f (1 , 2 )
d1 d2
(1 z1 )(2 z2 )
f (1 , 2 )d1 d2
1
1 2 1 z11
z2
2
.
1
1
zi
i
X zi k
k0
X
f (z1 , z2 ) =
k1 ,k2 0
(2 1)2
f (1 , 2 )d1 d2
1k1 +1 2k2 +1
z1k1 z2k2 .
w O1
f O2
f (0, 0) = 0,
f (z1 , z2 ) = 0
The upshot of this is that
on
with
z2
f
(0, 0)
z1
6= 0.
(0, 0) in C2 ,
z1 = w(z2 ).
{f (z1 , z2 ) = 0}.
Proof. We will assume the
it yields is holomorphic:
0=
=
f (w(z2 ), z2 )
z2
f
f
w
f
w
(w(z2 ), z2 ) +
(w(z2 ), z2 )
+
(w(z2 ), z2 )
.
z2
z1
z2 z1
z2
Now since
f
z1
f O2 ,
f
z2
w
z2
= 0; moreover, by
= 0, so that w O1 .
89
assumption
f
z1
6= 0
f /z1
matters:
z2
z2
z1
f (0)=0
z1
f (0)=0
z1
z1
n-manifold X ;
a system of open neighborhoods {W X} covering Y (with local
holomorphic coordinates z = (z1 , . . . , zn ));
holomorphic functions f1 , . . . , f` O(W ) (for each ) such
1
that Y W = V ({fj }j=1,...,` ) W ; and (also for each )
of a compact complex
k = 1, . . . , n
Then Y is an (n `)-dimensional compact complex (n `)-manifold.
We say that
X.
In
riety
Y Pn
of dimension
is a compact complex
f1 = = f` = 0,
d-manifold.
90
Proof. Put
X = Pn and ` = nd.
That
is smooth of dimension
Now we prove the Theorem.
det
(7.2.1)
Write z for
I
z I , z II
(z1 , . . . , z` )
fj
zk
6= 0.
1j,k`
and z
II
for
(z,`+1 , . . . , zn ).
(So
z =
A schematic picture:
z
z
Cn`
to
C` )
{w }
such that
Y W = z I = w z II
for each . Hence, the z
give local coordinates
II
which constitute an open cover of Y .
Consider the transition functions for X
on the
{Y W },
'
z , z
I
II
: z (W ) z (W )
7 I z , z
, II z , z
=: z I , z II
I
II
Y : z
II
7 II w
II
W .
Y W are then
, z
=: z II .
z
II
II
Y.
II
and
are.
91
M,
the following
n+1
fi K(M );
: M Pn .
plex manifold
X)
{(U , g , h )}
X;
is a collection
{U } is an open cover of
g , h O(U ) (they are
g h = g h on U .
g
2
We write F =
on U .
h
F K(X)
(on a com-
such that
=2
=1
= 12
x
???
2the
g
h
g
h on overlaps at least, where the quotients
92
X = C2
P1 of lines
(mapping down onto X ) on
through the origin, yielding a new space X
the idea would be to replace the origin in
by the
Pn
Uj = {Zj 6= 0},
set
then
gj hi =
1
P (Z)
Zjd
1
Q(Z);
Zjd
1 1
P (Z)Q(Z) = gi hj .
Zjd Zid
f : C X from a
Riemann surface to a complex manifold, and let F K(X) be given
by {(g , h , U )}. Assume that f (C)|U {h = 0} is a nite point
1
set, and put W := f
(U ), G := g f , H := h f . Then
7.3.1,
n + 1 meromorphic
points in M which cause a
functions to a morphism to
. The set of
problem is
:= {q M | fi (q) = 0 for
all
i} {q M | fi (q) = for
Dene
f : (M \) Pn
some
i}
93
by
Near
none of the entries in this blows up locally, and at least one does not
vanish at
z = 0
(i.e.
at
q ).
Hence,
extends to all of
f : M Pn ,
M , and
1
to P .
it is
we want to product an
f : P1 , Pn
given, for each
n N,
by
z 7 [1 : z : . . . : z n ],
with
7 [0 : : 0 : 1].)
Let's see what this looks like for the rst few values of
map.
for
n = 1, f
sends
[Z0 : Z1 ] 7 [Z0 : Z1 ]
n:
94
1-torus.
is smooth.
a lattice) be a complex
phism from
present
M = C/ ( C
to
P2
K(C)
satis-
fying
in a neigh-
Q = ( u ) (Q u ) has no pole at 0 and is periodic, hence has no poles in either. But the only possible zeroes
were in , and so Q is entire. By compactness of a fundamental
region for , any -periodic entire function is bounded hence (by Liouville) constant. Since Q is zero at 0, this constant is zero and
= Q.
function,
EXERCISES
95
is an even function
some a, b C. In each
= (u))
and
(0 )2 = 43 + a + b
for
case, you get equality by showing the right-hand side minus the lefthand side has no poles and is zero at some point (as in the uniqueness
argument just described). The upshot is that
f : C/ P2
dened by
u 7 [1 : (u) : 0 (u)]
for
u 6= 0
and
0 7 [0 : 0 : 1]
parametrizes (or normalizes)
y 2 = 4x3 + ax + b.
f (M ) C ,
manifold, and f as
M C,
as a complex
but viewing
a morphism
image is open; while on the other hand the image of a compact set by
a continuous map is compact (hence closed in
and closed in
C,
and thus
C ).
So
f (M )
is open
f (M ) = C .
Exercises
(2)
(3)
holomorphic (i.e.
96
(4) Let
= Z1 + Z2 = {n1 1 + n2 2 | n1 , n2 Z}
be the lattice in
1
(u) = 2 +
u
1
1
2
2
(u )
6= 0
is absolutely and uniformly convergent on any compact subset of
the complex
form:
M-test.]
(b) Verify the pole condition in Example 7.3.8: that all poles are
on
and in a neighborhood
holomorphic and
h(0) = 0.
of
0, (u) = u2 + h(u)
with
(u + ) = (u)
[Hint:
for every
uC
and every
(u + ) = (u),
(u).
0 (u)
by dif-
First prove
then integrate.]
in the Example.]
CHAPTER 8
The main theorem of this chapter will be that the smooth part
C\sing(C)
C ).
C P2
p = [1 : 0 : 0]
in the
is path-connected
C = Ci ,
the components
Ci
connected.
mon divisor
to be
or
C[x].
D[y]
is also a UFD.
(Note that
C[x]
is a
C[x, y] is not.)
m
m1
Consider f (y) = a0 y + a1 y
+ + am , g(y) = b0 y n + b1 y n1 +
+ bn elements of D[y] with a0 , b0 6= 0.
PID, but
1we will show that the set sing(C) of singular points is always nite
2recall that these are well-dened up to units (invertible elements); for
C[x] or C[x, y] the units are C , hence the notion of monic gcd
well-dened).
97
example in
(which is completely
98
the element of
3 of
and
g,
R(f, g), is
(n + m) (n + m)
written
4
Sylvester matrix
M(f,g)
am
0 a0 a1
.. . .
..
.
.
.
0 0
:=
b0 b1
0 b0 b1
.. . .
..
.
.
.
0 0
am
Now writing
a0
a1
a0
bn
bn
R(f, g) = 0
h)
..
.
.
.
..
..
..
bn1
Proposition 8.1.2.
am1
b0
D,
am
.
0
.
.
0
bn
we have the
gcdK[y] (f, g)
6= 1.5
F g = Gf
(8.1.1)
(8.1.2)
a0 B0 = b0 A0
a1 B0 + a0 B1 = b1 A0 + b0 A1
.
.
.
am Bn1 = bn Am1
n1
{Ai }m1
i=0 , {Bj }j=0 D. To get from
m+n1
coecients of y
, y m+n2 , . . . , 1.
(8.1.1) to
K[y]
D[y]
(ii)
that
99
{Ai }, {Bj }
such that
B0
.
.
n1
t
M(f,g) .
A0
.
.
Am1
In other words, we have shown
i.e.
det(M(f,g) ) = 0.
Definition 8.1.3.
= 0.
of
f.
Here
f
.
denotes the formal derivative
y
Example 8.1.4. If
f C[y],
then
D(f ) C
criterion
(8.1.3)
D(f )
vanishes
z 2 = 4y 3 + ay + b
to be singular, we need two of the roots of the right-hand side to coincide. That is, by (8.1.3), we need
4 0 a
4 0
3
2
0 = R(4y + ay + b, 12y + a) = 12 0 a
12 0
12
a
0 a
b
a b
4
0
0
0
0
0 a
b
0
4 0
a
b
0 2a 3b 0 = 16(4a3 + 12 9b2 )
0 0 2a 3b
0 12
0
a
= 64(a3 + 27b2 ).
100
Example 8.1.5. If
f C[x, y],
then
D(f ) C[x]
is a polynomial
D(f )
(8.1.4)
vanishes at
The collection of
D(f ),
curve
x0 's
x0 f (x0 , y)
y.
{f (x, y) = 0}
y
onto the
x-line:
f=0
x
discriminant locus
Proposition 8.1.6. An irreducible (reduced) algebraic curve
0} P
{F =
a vertical line.
Since
is irreducible in
C[x, y]
cal vanishing of
reduced. So
D(f )
D(f ) is a
(8.1.5)
#{x C | y
such that
},
6or
then
(x )
would divide
of positive degree in
V (f ),
hence
is nite:
(contradicting irreducibility). So by
101
holomorphic function,
when
f O().
Let
=C
and
z = 1:
then f =
only extends to a holomorphic function on C . Even worse,
z
f = log(z) becomes multivalued on C and so (as a holomorphic
function) only extends to
C\R0 .
Dene a path
,f
an
aly
tic
co
n
tin
ua
tio
of
C
i
consists of
i ,fi
102
into segments {i }N
i=0 ,
a covering of by disks i i (with 0 = ), and
functions fi O(i ) (with f0 = f ) satisfying fi fi+1
i i+1 .
a partition of
If we continue
fN O(N )
p to q
on
q)
in each case, these need not agree. In the above example of f = log(z)
on a disk about p = {z = 1}, we can analytically continue f along
then we do not have fN (p) = f(0) (p): they dier by 2 1 times the
winding number of the path about z = 0, hence the multivaluedness
referred to above. This problem only occurs, however, for non-simplyconnected regions:
Proposition 8.2.1. [Riemann Monodromy Principle] Given
a region
1 () = {0}.
f O() can be
starting at p . Then
f O()
extending
Let
analytically
there exists
f.
f O()
F (x, y) O(C2 ),
with
F (x, f (x)) = 0.
(8.2.1)
must satisfy
(8.2.1).
fi in the analytic continuation are holomorphic, so is each F (x, fi (x)) (on i ). But F (x, f (x)) 0 on =
0 by assumption, and since f = f0 f1 on 0 1 , we have
F (x, f1 (x)) 0 on 0 1 and therefore (by basic complex analysis) on all of 1 . Simply iterate this argument for i = 1, . . . , N .
Proof. Since
and each
n,
it is convenient to write
polynomial in
(8.2.2)
over
C = {f0 (x0 , y) = 0}
with
f0
of
C[x]:
x0 = x + y
103
and
C
C
(x, y) 7 x
x-axis.
Writing
D := {D(f )(x) =
f (x, yi (x)) = 0.
(8.2.3)
to "i "
= P \
1
= points of D
in
C\D,
the
yi
continue to satisfy
104
Example 8.2.3.
through
1
3
3
cyclically
x.
2 1
3
permutes y1 (x) =
x, y2 (x) = e 3 3 x, y3 (x) =
7
alence relation :
ordering if necessary) by
of
formed (re-
y1 (x), . . . , ym (x),
m
Y
(8.2.4)
(y y (x))
=1
C[x, y].
belongs to
Put dierently:
functions on
C\D,
while the
{y (x)}m
=1
irreducible
= C\ 1 (D) is connected ( =
connected).
Proof. [assuming Prop. 8.2.4] If
f C[x, y]
{1, . . . , n}.
{yi (x)}
E =
is acted on tran-
C\ (D)
connecting any
7the
about points of
D)
105
monodromy about
C\D, since
in O(C\D).
Write
Ym
(8.2.5)
=1
(y y (x)) =
m
X
j=0
emj (y1 (x), . . . , ym (x)) =: emj (x) denotes the elementary symmetric polynomials in the {y }. Again, because these are not changed
under monodromy, we have emj (x) O(C\D). Observe that given
D with neighborhood N (a small disk about ), the polynomials
aj (x) from (8.2.2) satisfy
where
M N.
Fixing
x0 N ,
F(y) = y n ,
{yi (x0 )}
so that the
put
aj = aj (x0 )
and
G(y) = y n + a1 y n1 + + an ,
G.
On
= {|y| = M + 1} C,
we have
By Rouch,
F=y
has
for all
of zeroes inside
j = 1, . . . , n
ek (x) O(C\D)
and
since
x0 N .
are bounded on
N (C\D) =
10
x f
10here
to
1 y
,
x x
1
1
n1
n
= y + xa1
y
+ + x an
,
x
x
n
U1 P2 .
106
with roots
(8.2.6)
1
.
yi (
x) = xyi
x
ek ({
y (
x)}=1 ) are also bounded on N
, and thus extend to holomorphic functions on N .
1
In other words, ek (x) = ek ( ) has a pole at x = of order at most
x
Exercises
(1) Are the real points
P2
necessarily
connected?
(2) For what values of
11i.e.
a, b
does
x4 + ax + b
[X0 : X1 : X2 ],
with all
Xi R
CHAPTER 9
Hilbert's nullstellensatz
8.1 let D be a
UFD with fraction eld K ; and for f = a0 Y + a1 Y
+ + an and
g = b0 Y m + b1 Y m1 + + bm polynomials in D[Y ], dene R(f, g) :=
det M(f,g) . (In case D is itself a polynomial ring, we will sometimes write
RY (f, g) to make it clear that Y is the variable being eliminated.)
We will need some more results on resultants. As in
R(f, g) = Gf +F g
deg G < deg g , deg F < deg f .
Proposition 9.1.1.
Proof. If
R(f, g) = 0,
n1
for some
F, G D[Y ] with
Otherwise,
write
(9.1.1)
+an Y m1
+an Y m2
.
.
.
f
n1
Y
g
Y n2 g
=
a0 Y n
+
n+m1
n+m2
n1
= b0 Y
+b1 Y
+ +bm Y
=
b0 Y n+m2 +
+bm Y n2
+an
.
.
.
b0 Y m
Working in
K[Y ],
divide by
a0
107
+bm .
in the rst
108
9. HILBERT'S NULLSTELLENSATZ
Y j 's
M(f,g)
1.
?? = Y n+m1
?? =
Y n+m2
(9.1.2)
.
.
.
..
?? =
where each ?? is a
K -linear
G0 f + F0 g = 1
deg G0 m 1, deg F0 n 1. Now
multiply by the product of all the elements of D we divided the equations by, clearing denominators of G0 , F0 to give elements G, F of D[Y ].
But this product is in fact one denition of the determinant of M(f,g) ,
namely R(f,g) . The result follows.
where
G0 , F0 K[Y ]
satisfy
y,
although we
f and g
j (Y yj )
Proposition 9.1.2. If
a0 i (Y xi ), g = b0
Q
n
am
0 b0
i,j (xi yj ).
f =
R(f, g) =
xi , yj D),
then
n.
Given
at
:
D,
is a UFD with
f D[Y ]
of degree
D[Y ]
D
.
G(Y ) 7 G()
(Y ) | f (Y ).
(ii) f has at most n
f ()(= (f )) = 0,
then
roots in
D.
i.e.
is a root of
f,
109
f = q.(Y ) + r
(9.2.1)
where
i.e.
r D.
Applying
to (9.2.1), we
have
0 = f () = q().0 + r
and thus
r = 0,
so that
(Y r)
divides
f.
n = deg(f )
D[Y ]
is a UFD) since
can
linear factors.
D = C[X];
results of this section will hold with any algebraically closed eld replacing
Let
Proposition 9.2.2. If
then
F =0
as an element
Proof. Suppose
of
D[Y ], F
C.
Since
vanishes on all of
C2 ,
be constants in
that
F 6= 0.
i.e.
C[X].
C such
F (X, )(= (F )) 6= 0 in
irreducible and
V (f ) V (g).
Then
divides
f, g S2 ,
with
g.
f be irreV (fi ) V (f )
ducible, so that
f =
S2 ).
Then
i.
Proof. Since
V (g) =
6 C,
that f
/ C (since a constant divides anything), and furthermore
degY (f ) 6= 0 (otherwise just swap X and Y ). Writing
f = a0 (X)Y n + a1 (X)Y n1 + + an (X)
/ C[X]
that
110
9. HILBERT'S NULLSTELLENSATZ
I make the
claim,
f | gcdS2 (f, g) | g .
g C[X]\{0}. Then there exists
C\V (g.a0 ). Viewed as a function on C2 , g is constant in Y , so
g(, ) 6= 0 C. But since a0 () 6= 0, degY (f (, Y )) > 0; and
then (as C is algebraically closed) C such that f (, ) = 0. By
assumption, V (f ) V (g) and so g(, ) = 0, a contradiction.
To prove the
claim, suppose
Cn .
This yields a
= f |g
and
g|f ;
Sn
is, provided
multplicity
1at
and
Y
occur with
111
X Cn ,
by
I(V (f )) = (f ) by Study's
it is of the form V (J) for
A subset
X C
is algebraic if
some ideal
The
subsets.
Given any ideal
J Sn ,
J.
belongs to
Finally,
Sn
Sn /J is a domain ( J
ideals in Sn ), and maximal Sn /J
is prime
the monoid of
J,
is irreducible in
is a eld.
m Sn
is of the form
(Z1 1 , . . . , Zn
Cn );
(ii) Let J ( Sn be an ideal: then V (J) 6= ;
(iii) For any ideal J Sn , I(V (J)) = rad(J).
n ) = m
(here
ideals
subsets
{J Sn }
{X Cn }
V
induces bijections
One can push the relation between commutative algebra and ane
algebraic geometry much further.
V = V (P) (P
is dened by
C[V ] := Sn /P,
a prime ideal)
112
9. HILBERT'S NULLSTELLENSATZ
O(V ).
O(V ) given
smooth) in
Sn to
by restricting polynomial functions to , and so Sn /P is its image.)
C[V ] is sometimes also called the coordinate ring of V . Furthermore,
, the eld of
if V is the ane part of a smooth projective variety V
) is isomorphic to the fraction eld C(V )
meromorphic functions K(V
(or V ).
of C[V ]. Usually C(V ) is called the function eld of V
(The idea is that
may be presented
as
CN .
Exercises
X Cn , V (I(X)) = X; (ii)
J1 , J2 C[Z1 , . . . , Zn ], V (J1 J2 ) = V (J1 )
V (J2 ).
CHAPTER 10
C P2 :
phically to
P
nonsingular C
with
as its image.
mapping holomor-
p C,
itself.
in exhibiting a neighborhood
U C.
Np C
Np P2
of
consequence.)
Now suppose
recall
Np C '
that is,
U1 q U2
;
0U1 0U2
U1 , U2 ( C) glued together
C , U1 and U2 must be detached:
113
at
114
q2
C
q
q2
q1
(irreducible)
p
p
U2
U1
p
(reducible)
topological picture
schematic picture
Our overarching goal is to produce
and
is not.
Np C
is reducible,
Np C ,
In this setting, the local equation can be uniquely factored. This will
allow us (in the next Chapter) to carry out local normalization that
is, put local coordinates on the irreducible components of
Np C .
Fi-
C\sing(C)
to obtain
C .
p. For con2
venience, replace C for the moment by its anization in C . From
9.3, we have the coordinate ring R = C[C], and to any point p C
corresponds a maximal ideal in m R (consisting of polynomials vanishing at p). Inverting all primes not contained in m, or localizing R at
m, replaces polynomial functions by rational functions with poles anywhere but p, which roughly corresponds to replacing C by C minus any
set of points not including p. This is quite dierent from intersecting
C with an analytic ball at p, and will not produce a local factorization
of a globally irreducible C . Instead of rational functions, we need conThere are algebraic approaches to localization of
at
115
{f (x, y) = 0} C2
passing through p = (0, 0). The dening polynomial f C[x, y] is,
trivially, a convergent power series; so we may consider how f factors
in O2 = C{x, y} (cf. 7.1). In fact, for purposes of examining the intersection of C with a small neighborhood of the origin, we will show that
f may be replaced by an element of C{x}[y] ( O2 ) in a particularly
It will suce to think of
as an ane curve
nice form:
W C{x}[y] of Weierstrass
poly-
aj (x) C{x}
(d Z0 )
satises
aj (0) = 0.
Lemma 10.1.2. Let
, > 0
(a)
f O2
with
f / 0
y -axis.
Then
such that:
f 6= 0
on (i){|x|
< , |y| = }
and (ii){x
on the
|y| < ,
is constant in
for
|x| < .
1technically,
a submonoid you can multiply (but not add) elements, and it has
1;
Since
strong sense. (See the discussion after the proof of Thm. 10.2.2.)
2in
S is some subset of
/ 0 on S as f is
not vanish on S (i.e. f
general, if
should read f
as f does
is zero at no point of
S ,
S)
and f
f,
6= 0
on
one
S
116
(b) is computed by
2 1
x
which is continuous in
|y|=
fy (x, y)
dy Z,
f (x, y)
{y (x)}=1,...,d
be the
3
roots described in (b). Denote the elementary symmetric polynomials
in them by
ej (x) (=
1 <<j
y1 (x) yj (x)).
Then
w := y d + e1 (x)y d1 + + ed (x)
is a Weierstrass polynomial.
Proof. Note that for each
ej (x)
, y (0) = 0
ej (0) = 0;
we must
yk
dy =
(y (x))k =: k (x),
2 1 |y|= f (x, y)
Let
U := O2 O2
g O2 , g U
1
g
O2 .)
f
such that
uw = f,
Proof. Write
Qd
=1 (y
y (x)),
and
u :=
f
w
uU
|y| }.
V := {|x| <
For xed
and
x, w(x, y) =
ej (x) as coecients.
|x| < ), w(x, y) and f (x, y) have
3These
(with
them to be permuted as
goes about
1
u(x, y)
u(x, y0 ) =
dy .
2 1 |y|= y y0
x)
holomorphic
117
is (for each
Since
as a product of a
and
u?
We cannot:
decomposition
f = wu
f O2
(with
f / 0
y -axis), the
w W and u U)
on the
is unique.
has
fi O2 .
{fi = 0}.
CV
f O2 factors
fi
are no longer
O2
is a UFD.
f1 f`
C.
118
Note the key statement that comes out of this proof: given
with
f (0, y)
/ 0,
we have
f = uw1 w` ,
(10.2.1)
where
uU
and
wi
O2 ).
f O2
C{x}[y],
and as elements
ordering of the
wi .
EXERCISES
119
Exercises
(1) Show
(2)
and (b)
CHAPTER 11
The purpose of this chapter is twofold: to nd a method for explicitly parametrizing neighborhoods of singular points on algebraic curves;
and, using this, to completely prove part (A) of Theorem 3.2.1. In fact,
we shall prove a stronger result which contains a uniqueness statement:
Theorem 11.0.3. Let
with
S =
C P2
mann surface
: C P2
such that
=C
(C)
1
(b) #{ (S)} <
1 (S)) (C\S) =: C is injective (hence an isomorphism).
(c) : (C\
(a)
=
0 , 0 ) is another, then there exists a morphism : C
sense that if (C
C 0 such that = 0 .
The pair
= C ),
then
is really
V = {x3 x2 + y 2 = 0} C2 ,
then
C[x, y]
x2 + y 2 )
is not integrally closed in its fraction eld C(V ).
2 + (x 1) = 0, while irreducible in C[V ][], is
C[V ] =
(x3
121
y
, as
x
122
y2
x2
x2 x3
x2
cubic curve
= 1x
V is
C(V ).
in
(0,0)
and
(1,0)
y
can be viewed as separating the branches of
x
point
at the singular
(0, 0).
In an exercise above you were asked to carry out the (local) analytic
approach, proving that
in
C{x}[y].
y 4 + x3 x2 (= 0), which
C{x}[y], into the product of
is irreducible in
C[x, y]
but reducible in
Weierstrass polynomials
(y 2 x 1 x)(y 2 + x 1 x).
x 1 x is
ishing at x = 0.
Here
(0, 0))
C{x})
van-
g1
g2
We need a procedure that gives the indicated holomorphic parametrizations of these two branches.
11.1. Overview
Informally, here is the main idea of the proof of Theorem 11.0.3.
Given an irreducible algebraic curve
p,
we may
123
(11.1.1)
f = y n + a1 (x)y n1 + + an (x) (= 0) ,
aj (x) C[x].
(0, 0).
Since
is irreducible in
C[x][y],
its discriminant
f = uw1 w`
10.2, the Ci
repeat this procedure over all singular points, then the normalization C
as in
The rst step indicated in his outline, which we do not yet know
how to do, was the construction of the
{i }.
124
Q
w = k=1 (y y (x)) which is valid in
the sense of 8.2, but not in C{x}[y]. Namely, the {y (x)} are multival1
ued on , but become well-dened on minus a slit. (Another, more
algebraic, way to think of this factorization, if 0 < |x0 | < , is as taking
place in C{xx0 }[y].) The multivaluedness is manifested as follows: by
Now, there is a factorization
in
pick any
{1, . . . , k}.
w W
{w = 0} W :
be irreducible of degree
k,
and
1
k
:= {t C| |t| < },
Then writing
C2
g:
t 7 (tk , y (tk ))
2 with image the local analytic curve
\{0}
C \{(0, 0)}.
Remark 11.2.2. Here
C \{(0, 0)}
7.2,
and is covered by
x.
(0 , t)
x.
Proof. (of Prop. 11.2.1) Recall that
y (x)
is well-dened on the
slit disk
dened in proof.
goes around
function on
once, and so
y (tk )
125
= k1
(j) into pie-slices
j=0
(j) := {0 < |t| < and j arg(t) j+1 }. On the interior of each
2
2
j
j+1
slice (that is, where
< arg(t) < 2 ), we can dene a holomorphic
2
k
k
function by y j () (t ), since t 7 t maps this interior (isomorphically)
to
where y j () (x) is dened. Extending these functions continu (j) , they patch together (in fact, analytically continue into
ously to
. This
one another) to yield a single holomorphic function y
(tk ) on
by the removable
is bounded exactly as in 8.2, and so extends to O()
A bit more carefully, we subdivide
1
k
singularity theorem.
Let
k := e
. If
then
t2 = (k )` t1
for some
` Z,
and
y ` () (tk1 ) = y (tk1 ).
{y } are all distinct away from 0, the last equation is impos`
sible unless k|`, which implies (k ) = 1 so that t1 = t2 . This proves
that g is injective.
subsets covering
8.1,
wj
j C
gj :
j
of the irreducible components of the local analytic curve
C W :
of
126
g3
C3
C2
C1
|x|<
Each restriction
=
gj :
(Cj \{(0, 0)}) , C
j
is biholomorphic with respect to local coordinates on
Cj \{(0, 0)}.
covering of
j and an open
t 7 tk (= x) as
indicated at the end of the last proof. These may be regarded as the
glueing maps that will attach each
holes in
to
Before that, we just note that one should carry out the construction
of
of
gj 's
C.
p = (0, 0),
C = C\{(0, 0)}.
(0, 0)
Then we put
1
2 ` ,
C := C
g1
where
1
C
g1
g2
g`
means
1
C q
,
1 )
g1 (p) p (p
1
2
C
g1
g2
means
1 q
2
C q
,
1 , q
2 )
g1 (p) p , g2 (q) q (p
and so forth.
C,
so
127
S = sing(C).
P2 with image C , set
get a map : C
c , for c C
(c) :=
.
gj (c), for c
j
point in
To
{U }
of
C ,
pick
C 0
We have now proved all but the uniqueness part of 11.0.3 and it is
time to backtrack and get explicit.
gcd(k, a) = 1,
y k xa
is irreducible in
11.2.1. The
y1 (x) =
C{x}[y],
(multivalued) roots of
y k xa = 0
If we plug
are
in
into
y1 (x)
y1 (tk ) = ta .
Hence by denition
g(t) = (tk , ta ).
We should check that the image of
the statement that
(tk )a = (ta )k .
lies in
y k xa = 0:
this is just
128
gj
(as in
5.3):
f = y 8 + y 4 x6 + x3 x 2 y 4 + x5 x2 .
Viewed in
f = (y 4 x3 + 1)(y 4 + x3 x2 )
where
w1
w2
u(0, 0) 6= 0.
is a unit because
t2 1 t2 = t 4 1 t2 . So
4
g1 (t) = (t2 , t 1 t2 ).
p
p
For w2 , the roots are y21 (x) = i
x 1 x and y22 (x) = i x 1 x;
Now
4
g2 (t) = (t2 , it 1 t2 ).
w2 = 0: one need
p
4
2
2
x(t) 1 x(t) = (it 1 t ) + t2 1 t2 = 0.
Let's check this parametrizes
only write
(y(t))2 +
11.6. Uniqueness
Begin with two normalizations:
CO
?
C \ 1 (S)
PO 2 o
?
C \S
CO 0
?
C 0 \ ( 0 )1 (S)
6
S U
X Z ] _ a d f i k
with
, 0
1 (S)
(in
C )
11.6. UNIQUENESS
and
0.
129
: C C 0
of Riemann surfaces
C ?
?
??
??
??
/ 0
C
0 ~~~
~~
~ ~
C
U P2 be a small
open set containing it. For simplicity assume p = [1 : 0 : 0] and choose
coordinates so that U {|x| < , |y| < } and C U is given by the
To start, let
pS C
T
d b a _ ] \ Z X
f
+
i g
=
/ W o
{|t|
V OO
g
O O
mm
OX
mmm
m
O O
m
mm
O O
mmm t7tk
'
vmmm
prx
/ ({|x| < } Cx )
C2
(x,y)
in which
prx
composition
on
< k } Ct
and
V.
The composition
tion on
V.
holomorphic on
V \{q};
X),
it is
and that
130
0 : V 0 W .
0 0
The piece of carrying (V, q) to (V , q ) is now dened simply by
(T0 )1 T. This is automatically holomorphic, and its composition with
0 is g T = as desired.
Since
Exercises
f (x, y) = y 4 (x + 1)7
4
6
7
of g(x, y) = y x + x
(1, 0).
at (0, 0).
at
CHAPTER 12
Intersections of curves
Now we come to the applications of normalization, which will occupy this chapter and Chapter 14. You may recall that in Chapter 2
we studied intersections of an plane algebraic curve
with a (projec-
L.
The points of
at the multplicities of the roots of the resulting one-variable polynomial. With this denition, the multiplicities added up to the degree of
the curve (cf. Prop. 2.1.8).
If we had tried to replace
by an arbitrary curve
at that point,
we would have run into the problem of no longer knowing how to locally
parametrize
(
Div(M )
:=
X
nite
is the
M,
)
mi [pi ] mi Z , pi M .
[pi ]
D=
a degree
deg(D) :=
131
mi .
mi [pi ] Div(M )
is
132
(12.1.1)
deg
Z.
(f ) :=
p (f ).[p]
is given by
Div(M ),
pM
where
p (f )
is the order of
at
actually nite (as required by the denition of divisor) since at all but
()
K(M ) Div(M )
(12.1.2)
(f g) = (f ) + (g), (f 1 ) = (f ).
0.
to
pM
That is,
deg () =
Note that one can dene meromorphic functions and divisors more
0.
Example 12.1.1. On
is
Z1
Z0
z=
its
P1 ,
f (x)
with
f (0) = 0, deg(f )
is
the exponent of the highest degree term, while the order of vanishing
ord0 (f )
:= 0 (f )
133
when
is smooth at
(0, 0), 2
when
2-
are reduced
V W
p V W,
and similarly
( y
(f h))(p) = 0.
Therefore
V W
sing(V
W ),
and
p V W.
Let
V U = V1 + + Vk ,
with local normalizations (again, essentially unique)
gi : Vi ( C2 )
ti 7 (xi (t), yi (t)),
we dene the (local) intersection multiplicity at
(V W )p :=
k
X
i=1
The (global) intersection number is then dened by
(V W ) :=
(V W )p ,
pV W
in which the sum is nite by (12.2.1).
or
V W :=
X
pV W
(V W )p [p].
134
V W
V W
Div(W ).
W)
as a Riemann
, known as a zero-cycle
1 on
P2 .
be written gi (h) that is, we are pulling the function h back by the
local normalization gi .
(b) The composition
(V W )p = (W V )p .
Proposition 12.2.4.
(V W )p
at
V 's
ordp (V
tangents at
) ordp (W ),
with equality
p.
at a point
p:
distinct tangents
(I)
(II)
1zero
refers to the fact that we are taking a formal sum of zero-dimensional sub-
P2
a, b, m, n N
135
with
gcd(n, a) = gcd(m, b) = 1.
Then by Prop. 12.2.4, we should have
{y n = xa } {y m = xb } (0,0) min(n, a) min(m, b).
Let's check this by actually computing the left-hand side. The normalg
n
a
n a
ization of {y = x } is just t 7 (t , t ) by Example 11.5.1. Writing
h = y m xb ,
we have
(0, 0)
is the least of
{y n = xa } {y m = xb }
(0,0)
am
and
bn:
= min(am, bn).
with
n = 3 , a = 4, m = 2, b = 9
it
8 6.
P
(V W )p to the more general setting where V = mj Vj
P
W = nk Wk with {Vj } and {Wk } irreducibles, we simply put
X
(V W )p :=
mj nk (Vj Wk ).
To extend
and
j,k
Remark 12.2.7. Here are two other approaches to local intersection
we dene
y n xa
and
a.
136
this denition,
Op /(f, h)p as a
invariance of (V W )p
diately clear.)
multiplicity at
p = (0, 0)
of
{x = 0}
{y 2 x = 0} should be 2.
basis 1, y . See Chapter 4 of [L.
and
= {H = 0}, P =
V = {F = 0},W
(in homogeneous coordinates [Z : X : Y ] on
[P0 : P1 : P2 ] V W
P2 ). Assume that [0 : 0 : 1] neither belongs to (i) C D, nor (ii) any
line joining points of C D , nor (iii) any line tangent to C or D at a
point of C D . Then we may dene
homogeneous polynomials. Write
F, H
as elements of
3
which eliminates Y , is a polynomial in
Justifying this denition takes a bit of work, but it leads immediately to a proof of Bezout since the intersection multiplicities have to
add up to
curve,
L (
= P1 ) P2
a line
C = {F (Z, X, Y ) = 0} P2 be a degree
not contained in C . Then (L C) = d.
and
[0 : 1 : 0]
/ C.
L = {Y = 0}
k
Y
F (Z, X, 0) =
(X i Z)di ,
i=1
Pk
di = d since F
C L = {[1 : i : 0]}ki=1 .
where
3as
i=1
d.
Hence
usual you can think about this resultant in terms of a projection onto the
(or rather,
[Z : X]-)
axis.
x-
137
We conclude that
C, E P2 be properly
(C E) = deg C deg E .
is irreducible. Let
(C Lj ) = (Lj C) = deg C,
and
(C
(kj=1 Lj ))
k
X
=
(C Lj ) = deg C deg E.
j=1
Now by Example 7.3.5, the quotient of two homogeneous polynomials of the same degree gives a meromorphic function on projective
space.
is of degree
and each
:=
H
K(P2 ).
1 k
Writing
by
CE
[resp.
[resp.
Lj ].
C (Lj )],
[resp.
1
] gives a dening equation for
So by Defn. 12.2.1,
( ) =
pCE
q ( )[q]
qC(Lj )
ordp (
)[p]
pCE
p ( )[p] +
ordq (
qC(Lj )
(C E)p [p]
pCE
1
)[q]
qC(Lj )
0,
0 = deg(( )) =
X
pCE
(C E)p
(C (Lj ))q
qC(Lj )
138
= (C E) deg C deg E.
C
Finally, if
C E
has degree
Remark 12.2.2(a)),
deg C deg E .
V =
f = y m + B1 (x)y m1 + + Bm (x) ,
h = y n + b1 (x)y n1 + + bn (x).
f = u1 v1 vr ,
h = u2 w1 ws
and we have
(j)
0 mj
y+0 (tmj ) = y(j) ((m
t) )
j
mth
j root of unity mj . (This changes the branch you
(j)
m
start at when arg(t) = 0.) Write gj (t) := (t j , y
(tmj )) and Gk (t) :=
(k)
(tnk , z (tnk )) for the parametrizations of {vj = 0} and {wk = 0}.
for some primitive
(12.4.1)
mj
Y
(j)
wk tnk mj , y+0 (tnk mj )
0 =1
4Warning:
(j)
of y
, since this assumes
composition with the
0 mj
(m
t) = (mj )0 mj tmj = tmj
j
(j)
y is well-dened on an entire disk (whereas only its
mth
j -power
map is!).
139
mj nk n
o
Y
Y
(j)
(k)
y+0 (tnk mj ) z+0 (tnk mj )
=
0 =1 0 =1
nk
Y
(12.4.2)
(k)
vj tnk mj , z+0 (tnk mj ) ,
0 =1
which uses the factorization of each Weierstrass polynomial into a product (for each xed
of a disk by
x)
2/mj
0,
we
compute
ord0 ((12.4.1))
= nk
mj
X
ord0
(j)
wk (tmj , y+0 (tmj ))
0 =1
= nk mj ord0 wk (tmj , y(j) (tmj ))
Dividing this by
mj nk
= nk mj ord0 (gj wk ).
Pr Ps
and applying
k=1 gives
j=1
!
X
ord0
gj
wk
ord0 (gj h)
= (V W )p .
Similarly
ord0 ((12.4.2))
and dividing out
mj nk
= nk mj ord0 (Gk vj ),
(W V )p .
Q.E.D.
(j)
(j)
have
(j)
Note that
(j)
1
=
ord0
mj
mj
Y
roots
(j)
y (x).
1
(j) m
ord0 (a0 (t j ))
mj
!
(j)
y+0 (tmj )
0 =1
= ord0 (
y(j) (tmj )).
We
140
Therefore
(V W )p =
r
X
ord0
h(tmj , y(j) (tmj ))
j=1
r
X
(ord(0,0) h) min
m
ord0 (t j ), ord0 (
y(j) (tmj ))
j=1
(ord(0,0) h)
r
X
min
m
ord0 (t j ), ord(0,0) (vj (x, y))
j=1
= ord(0,0) h
r
X
ord(0,0) vj
j=1
= ord(0,0) h ord(0,0) f
= ordp V ordp W ,
Q.E.D.
Exercises
(1) Let
V = {yx =
0} and W = {y x = 0}. (This will depend on C.)
2
Let C P be an algebraic curve of degree n > 1 and L a (pron
+ 1 singular points of C . (Note: bc
jective) line containing
2
(3)
(V W )(0,0)
for
(4)
(5)
(d+1)(d+2)
.)
2
single curve
of degree
e<
d
2
+ 1,
then
is reducible.
EXERCISES
141
(V W )(0,0) for V = {y 2 x3 =
CHAPTER 13
In the next chapter we will see one more application of the normalization business, via intersection numbers: the degree-genus formula.
As more will be needed for its proof, presently we make a detour to
dene and study dierential forms (with poles) on manifolds how to
patch them together via local coordinates, how to pull them back under
a morphism, and so forth. Like meromorphic functions, 1-forms have
an associated divisor. In contrast to the function case, the degree of
this divisor is not zero: it tells you the genus of the Riemann surface,
via the so-called Poincar-Hopf theorem.
R2
1-form.
: R2 R2
given by
by
is
(13.1.1)
:=
=
F (x(u, v), y(u, v)) d(x(u, v)) + G(x(u, v), y(u, v))d(y(u, v))
y
x
(u, v) + G(x(u, v), y(u, v)) u
(u, v) du
F (x(u, v), y(u, v)) u
+ F (x(u, v), y(u, v)) x
(u, v) + G(x(u, v), y(u, v)) y
(u, v) dv.
v
v
f (x, y),
and
144
1-forms
of precomposition
1-manifolds),
2-manifold, f : M R a dieren3
tiable function, and p M a point. If M R , then the notion of
taking partial derivatives of f at p in directions tangent to M makes
immediate sense you just precompose f with a (dierentiable) path
in M having a given tangent at p, and dierentiate with respect to the
Let
be a dierentiable real
R3 .
Rather,
(x ,y )
(x ,y )
2.2.)
tangent spaces
Tp M := vector
=R
+
,
x p y p
T M := pM Tp M.
p)
145
1 (p) = Tp M . A
1
global section of T M , that is, is a smooth map : M T M with
= idM , is called a vector eld on M . (Typically one writes ~v ,
with the understanding that ~
v (p) Tp M .)
: TM M
with
dx , dy :
we write
dx
= 1 , dy
=0,
x
x
dx
= 0 , dy
= 1.
y
y
The co tangent spaces are then
D
E
Tp M
= R dx |p , dy |p .
Global sections of the cotangent bundle
the dierential
1-forms
on
M.
T M = pM Tp M
are then
1-form
looks like:
= F (x , y )dx + G (x , y )dy .
(13.1.2)
Just as a function on
g |V
{ }
the
satisfy
|V = |V .
Now since
and
(hence each
is smooth, smoothness of
(i.e. of
dene
A1R (M ) :=
=
1-forms on M
{F , G } innitely dierentiable.
smooth, real-valued
collections
For a complex
{ }
with
1-manifold,
diagram change:
1to
do here.
TM,
which I won't
146
C
V
Omitting subscript
indicate
R C ,
's
to
one has
*
+
+
,
,
TC,p M = C
=C
x p y p
z p z p
D
E
D
E
TC,p
M C = C dx|p , dy|p
z |p ,
= C dz|p , d
where
,
, dz := dx +
:=
1
:=
+
1
z
2 x
y
z
2 x
y
1dy , d
z := dx 1dy . (This makes dz( z ) = 1, dz( z ) = 0,
) = 0, d
z ( z ) = 1 so that the bases are dual.) A smooth section
d
z ( z
and
1 (M )
[resp.
= f (z )dz ,
K1 (M )]2
with
meromorphic]
1-form
is a collection of expressions
f : V C holomorphic
[resp. meromorphic],
satisfying
(13.1.3)
2recall
the notation
|V = |V
, .
K(M )
K0 (M ),
as
147
f (z )dz = f ( (z ))d( (z ))
= f ( (z ))0 (z )dz ,
and is thus equivalent to
f (z ) = f ( (z ))0 (z ).
(13.1.4)
0 (z )
meromorphic
1-form
1-form.
K1 (C/)
= {f (u)du | f = -periodic
can represent
df :=
f K(M )
meromorphic function on
C} .
be a meromorphic function. We
as a collection of maps
f : V P1 .
The
1-forms
df
dz are then compatible (via pullback) with the transition
dz
148
df K1 (M ).
f.
tial of
to
p () := z (p) (f );
if this is negative
p U
has a pole
at
p.
p (f ) = p f 0 (z ) = p (f )
must have nonvanishing derivative
point. If has a pole at p U , then its residue is
1
Resp () := Resz (p) (f ) =
f (z )dz
2 1 C (p)
since, as a biholomorphism,
every
where
C (p)
V )
about
z (p).
at
The well-denedness
= {f (z )dz } K1 (M )
be a form, and
= M
be a
3
smooth real closed curve. Then we dene
:=
f (z )dz ,
where we observe that 1-forms have been set up so that the right-hand
side is independent of choices of local coordinates and the partition of
smooth boundary
3A real curve
= .
4the
2-chain,
149
M
Assume that the meromorphic form
containing
Then
= 0.
).
p()<0
M
(a) Then we have the residue formula
2 1
Resp ().
p
p () < 0
K1 (M ),
pM
Resp () = 0.
0 be a sum of circular
paths about those p where has poles. Let 0 be the complement
in M of the union of disks containing these {p}, with 0 = 0 . Apply
Prop. 13.1.5 to the pair 0 , 0 .
Applying the residue formula to the case = M , = gives
(b).
Proof. For the residue formula (a), take
f K(M ).
Then
150
(a)
pM
p (f ) = 0,
#{f 1 ()}
f ,
P1 .
df
. Replacing
f
by
and noting that the number of poles doesn't change, by (a) the
number in Cor.
M P
13.1.7(b).
deg(f )
5
sheets).
Remark 13.1.9. We have said nothing about
when
is not a
boundary:
M
Indeed, there is nothing we can say yet this is the study of periods,
which depend on the complex analytic structure of
M.
We will be able
any
6 vector eld
~v
is equal
index Indp (~
v ) of
~v
at
zeroes
151
I'll give a heuristic proof of the italicized statement, which is probably more illuminating than a formal one. Subdivide a given compact
smooth oriented real 2-manifold
into triangles:
etc.
Then put one marked point on each edge, vertex, and face of the triangulation:
M.
152
(13.2.1)
Indp (~
v)
= #F #E + #V = M = 2 2g
pM
where
on
is the genus of
M.
if we allow
~v
~v
at the
pi
M \{p1 , . . . , pn }),
{p1 , . . . , pn }
to the sum.
~v
~v
is replaced by a smooth
1-form
M , i.e. a
nonvanishing section of Sym (T M ), to smoothly identify T M with
T M . The corresponding notion of index, if (in local coordinates at p)
takes the form F dx + Gdy , is
1
G
(13.2.2)
Indp :=
d arctan
,
2
F
The idea is to use a metric on
and once again the sum in (13.2.1) must be over all zeroes of
and the
{pi }.
1-manifold, and write K1 (M )
be locally in the form f.dx + g.dy where f, g are complex-valued. To
get in the above setting, we may of course view M as a smooth real
2-manifold, and take the real part of :
Now let
be a compact complex
loc
loc
z dz = r cos() + 1 sin() (dx + 1dy)
= r cos() 1 sin() dx+r sin() + 1 cos() dy.
Let
be a zero or pole of
and put
cos()dx + sin()dy,
r
and thus by (13.2.2)
1
Indp () =
2
7up
d[] = = p ()
EXERCISES
153
p () = 2g 2.
p
We have arrived at the following corollary of (13.2.1), which will henceforth be the meaning of Poincar-Hopf for us:
Theorem 13.2.1. Let
1-form
K1 (M )
(#
|
of zeroes
#
{z
be a nonvanishing meromorphic
g.
Then
of poles) of
= 2g 2.
the divisor
() :=
p ()[p]
pM
of a meromorphic 1-form. In this context, the Theorem says that
deg(()) = 2g 2.
Exercises
dx
y
(1) Let
E = {y 4x 4x = 0}, =
(2)
(3)
A: E
sending
dx
under
y
y(z)
: P1 C .
x(z)
and
CHAPTER 14
For
12), the RS
P2
with only ordinary double point (ODP) singularities. (In fact, the 4H
people will, in their reading material, learn how to deal with worse
singularities later.)
hard work: now we can compute the genus of [the desingularization of]
a projective algebraic curve!
f (p) = q .
f : M M0
of Riemann sur-
f (U ) V , and
local holomorphic coordinates z : U C and w : V C with
z(p) = 0 = w(q),
neighborhoods
w f = z
U 3 p, V 3 q
with
N. More informally, in
pM with f (p)=q
155
156
of the local form w = z , as is the fact that the ramication points are
isolated hence nite in number (M is compact!). Evidently then, d(q)
is constant in q ; we will call this constant d N the degree deg(f ) of
1
the morphism f .
If a ramication point
q M0
as a divisor
[q] Div(M ),
2
by the formula
f 1 ([q]) :=
p (f )[p]
Div(M ).
f (p)=q
We then put (for any
q M 0,
it doesn't matter)
X
deg(f ) := deg f 1 ([q]) =
p (f ) .
f (p)=q
Associated to
divisor
pM
By the above remarks, the sum is clearly nite.
d := deg(f ),
f : M M0
and put
r := deg(Rf ).
In the following
resp.
Theorem 14.2.1.
g0
resp.
M 0.
r = 2 {g + d dg 0 1}.
g = (g 0 1)d + 2r + 1
(ii) M = deg(f )M 0 deg(Rf )
(i)
These better represent the way you want to think of it: as a formula
1when f
0.
to
2This
f 1 (D)
for any
D Div(M ).
Proof. For
z, w
as in
14.1
sits over
p M
so that
with a
f
a
M,
157
M0
M 0.
= p (f ),
z 7 z (= w).
1-form K1 (M 0 ).
This is obvious if
M0
Z1 /Z0 )
Every Riemann surface arises in this way, but to see that you need
the Riemann-Roch theorem. We proceed with the proof modulo this
detail.
Locally writing
= g(w)dw,
we have
loc
(f ) :=
p (f )[p] =
pM
|
=
q ()
qM 0
(p (f ) 1) [p]
{z
Rf
p (f )[p] + Rf
f (p)=q
q ()f 1 ([q]) + Rf
qM 0
!
= f 1
q ()[q]
+ Rf
=f
() Div(M 0 ).
1
Now f K (M ),
(()) + Rf ,
where
so Poincar-Hopf on
tells us that
2g 2 = deg ((f ))
which by the computation just done
= deg f 1 (()) + deg Rf
158
q ()
p (f ) + r
f (p)=q
{z
deg(f )
X
= deg(f )
q () + r.
| {z }
deg(())
M 0 ),
= d(2g 0 2) + r.
So we have shown
2 2g = d(2 2g 0 ) r,
C = {y 2 =
Q2m
2
i=1 (xi )} C , and let M be
P2 . The original curve
the normalization of its projective closure C
Example 14.2.3. Let
f : M P1 =: M 0 ,
as depicted below:
ramification points
Clearly
g 0 = 0, d = 2,
and
r=
since
p (f ) 1 = 1
(p (f ) 1) = 2m
14.2.2(i)
g = (0 1).2 +
2m
+ 1 = m 1.
2
M = M 0 = C/ be a complex 1-torus; as
usual = {m1 1 + m2 2 | m1 , m2 Z}, where 1 , 2 C are inde
pendent over R. Now assume for some C . Then we have
Example 14.2.4. Let
M M 0
159
z 7 z
which has
Rf = 0.
has genus
g=
(d 1)(d 2)
.
2
To get a feel for this before launching into the proof, for
smooth
we have
d = 1 = g = 0,
d = 2 = g = 0,
d = 3 = g = 1,
d = 4 = g = 3,
and so on. For degree 3 with one ODP, we get
g=
(3 1)(3 2)
1 = 0,
2
cases (smooth
d = 1, 2;
singular
d = 3)
by a Riemann sphere.
The rest of this section is devoted to the proof. Begin by choosing
coordinates on
P2
so that
C P1 =: M 0
[0 : 0 : 1]:
of the
160
given by
[Z : X : Y ] 7 [Z : X],
roughly speaking the projection of
Writing
M := C ,
to the
x-axis,
is well-dened.
f = x : M M 0.
In a picture, where
C
x
VT
VT
ODP
1
P
Now for
M 0 = P1 , g 0 = 0
(14.3.1)
is
done along vertical lines, all but nitely many such lines meet
points by Bezout, and
in
Rf
E := {FY = 0}
where
FY
by Bzout,
(14.3.2)
(E C) = (d 1)d.
deg(E) = d 1,
and so
P0
Denoting by
p the sum over points where
P
and by
j=1 the sum over ODP's, we have
X0
(E C) =
(E C)p +
161
(E C)pj .
j=1
We will show
Rf =
(14.3.3)
X0
(E C)p [
p]
p
where
p = 1 (p) C .
rf =
(14.3.4)
X0
(E C)p = (E C)
(E C)pj .
j=1
(E C)pj = 2 (j);
(14.3.5)
rf = d(d 1) 2.
Now put this together with (14.3.1) to get
2g + 2(d 1) = d(d 1) 2,
2g = (d 2)(d 1) 2,
and divide the last line by
p C E.
By assumption, p
FX (p) 6= 0. By the
holomorphic implicit function theorem, we can parametrize C locally
by writing x = X/Z as an implicit function of y = Y /Z , viz.
If
has a VT at
this implies
3
is a smooth point, so that
3if F (p) = 0
X
at
then
FZ (p) = 0
162
0=
d
F (1, x(y), y) = FX (1, x(y), y) x0 (y) + FY (1, x(y), y).
dy
For the two functions on the right-hand side to sum to zero, they must
have the same order to
y(p):
ordy(p) FY
in other words
Rf :=
are (
(q (f ) 1)[q] =
X0
(E C)p [
p]
qC
as claimed.
(0, 0).
j ) pj =
terms}.
0 = ax2 + 2bxy + cy 2 =
x y
!
a b
c d
| {z }
x
y
in
P1
points (as
pj
E;
evidently
terms}
by
b
y = y(x) = x + {higher-order
c
terms}.
C,
163
0:
P1 .
We know that this can be done for a smooth conic and a nodal
cubic (i.e. a cubic with one ODP); the rst new case predicted by the
formula is that of an irreducible
4 quartic curve (d
= 4)
with 3 ODP's
( = 3):
g=
Let's give this a try.
another curve
2.
If
(4 1)(4 2)
3 = 0.
2
Write {pi }i=0,1,2 for the
then by 12.2.4,
have
pi ,
(C D)pi
as then we would
2
X
4 = deg C deg L = (C L)
(C L)pi 6,
i=0
C , then no three of p0 , p1 , p2 , p3
are collinear. We may therefore move C (and the pi ) by a projectivity
2
of P , to have p0 = [1 : 0 : 0], p1 = [0 : 1 : 0], p2 = [0 : 0 : 1],
p3 = [1 : 1 : 1]. (We'll do so for this abstract analysis but not for the
ment if
p3
P2
is of the form
aXY + bY Z + cXZ + dX 2 + eY 2 + f Z 2 = 0.
4We
have to say
5the 6
gets replaced by a
ODP's.
164
By substitution, we nd that the general conic through the above four
points is of the form
a map
: P1 C
by
is irreducible,
P1 .
is 1-to-1 o the singular points of C . Take q C
distinct from the pi ; since no three of the pi are collinear, no four of
q, p0 , p1 , p2 , p3 are collinear, so there exists a unique conic Q through
all ve. (The uniqueness when q = p3 then essentially follows from
continuity of .)
We claim that
C = {X 2 Z 2 + Y 2 Z 2 + 2X 2 Y 2 = 0}.
Irreducibility can be checked by putting the polynomial in ane form
y 2 (1+2x2 )+x2 and showing it doesn't factor into terms of lower degree
in y . I will let you check that the only singularities are p0 = [1 : 0 : 0],
EXERCISES
165
gives
(t) = i
in particular),
1 + t2
1 + t2
,
i
t2 + 2t 1 t2 2t 1
.
Exercises
C , C 0 compact RS with g =
genus(C), g 0 = genus(C 0 ), f : C C 0 nonconstant holomorphic
0
map of degree d. Show that for any d 1, g g . (The covering
z=
Z1
(where
Z0
[Z0 : Z1 ]
P1 . If a holomorphic map f : P1 P1
n
n1
takes the form f (z) = z + a1 z
+ . . . + an , then
(a) What is deg(f )?
(b) What can you say about the ramication divisor Rf ? (at least,
the canonical coordinate on
= {m1 + n2 | m, n Z} is a lattice in
C. (In particular, 1 and 2 are independent over R.) Suppose
(3) Let
C = C/
where
zero.
(b) Prove that the degree of
image lattice
[ : ]
of the
166
f : C C of
f : C C (i.e.
()
i.e.
z1 z2
denedness
, z C,
f(z + ) f(z) ,
= f(z1 ) f(z2 ) mod (this is just the wellcondition for f ). Show that such a map is necessarily
mod
f(z) = z + .
[If
other than
z 7 nz + , n Z,
().
f0 (z),
and use
CHAPTER 15
We shall also
deduce some results on cubics will will come in handy in studying the
group law on elliptic curves.
Throughout this Chapter we shall use the following dictionary:
P2
algebraic curve
dening equation
degree
C
D
E
(homogeneous polynomial)
F S3d
G S3d
H S3e
d
d
e
Bzout.
C E
is
de.
Part of the content of the (equivalent) contrapositive statement is:
|C E|
exceeds
de = E
Study.
irreducible and
BS.
E C = H
divides
irreducible and
|C E| > de = H | F .
F.
and
168
p1 , . . . , p n P2
S d (p1 , . . . , pn ) :=
in
[Z : X : Y ]
vanishing at
E is irreducible
pa+1 , . . . , pn
/ E . Then
some
a > ed,
while
d)
p1 , . . . , p n .
and
p1 , . . . , p a E
for
S d (p1 , . . . , pn ) = H S de (pa+1 , . . . , pn ).
Proof. The inclusion of the RHS into the LHS is easy, since it is
na
d(d e)
d e.
remaining
of degree
ed
|C D| = d2 with d > e,
C D lie on E . Then the
be irreducible,
of the points of
1it
points) lie on
can't lie on
E.
E.
169
p5
L2
p6
L1
L6
L3
L4 p 2 L5
p1
p4
p3
q3
q2
the proof of Pascal suggested in Chapter 1, part of what one needs is the
statement: if
in the
dim S 3 (p1 , . . . , p8 ) = 2.
15.1
|C D| = d2 = (C E).
assuming E is smooth and
C E :=
(E C)p [p]
Div(E).
pEC
If
p
/ E C.
C E Div(E)
p,
170
(If
C, D, E
E irreducible.
p
/ E C, E D.) Writing
by Bzout
9
X
DE =
[qi ]
Div(E)
i=1
where the
qi
C E =
i=1
we have
q = q9 .
D E = {q1 , . . . , q9 }
C, D, E
be distinct cubics,
irreducible. If
passes through
q1 , . . . , q 8 ,
q9 .
E
or
C ),
irreducible (provided
meromorphic function on
P2 .
D = {G = 0}
F/G
yields a
intersects
E:
F
f := K(E) .
G E
Suppose (for a contradiction) that
D = {G = 0},
the divisor of
q 6= q9 .
Since
C = {F = 0}
and
is evidently
q)
1.
That is,
EP ,f
q9 );
hence, as a
P1 is connected), f
is surjective. So
f gives an isomorphism E
= P . Trouble is, this is total rubbish. Since
E is a smooth cubic, its genus is 1 by the genus formula, whereas the
1
genus of P is zero. So they can't be isomorphic for purely topological
1
EXERCISES
171
q9
q 6=
F
p, rst pull back G
along the normalization
. We regard f as a map
f K(E)
assuming q 6= q9 leads to deg(f ) = 1. However, a dierent objection
to deg(f ) = 1 will be required as there is no topological obstruction:
indeed, E
= P1 by the genus formula (a nodal cubic has genus zero
normalization). So argue as follows: since p
/ C, D, we nd that
F
2
K(P ) is well-dened at p, so its pullback via cannot separate
G
mapping
the two branches of E there. That is, at the two points of E
to p
(under ), f will take the same value. But then, the mapping
degree of f cannot be 1.
The other possibility is that p
is a cusp.2 We may assume p = [1 :
0 : 0] and the equation is of the form x3 = y 2 . Again we need to show
F
, if nonconstant, cannot have mapping degree 1. Let
that f =
G
F (1,x,y)
F (1,0,0)
1
p = (
p), and write R(x, y) := G(1,x,y)
G(1,0,0)
. Then f (t) f (0) =
( R)(t) = R(t2 , t3 ), and
obtain
2.
Exercises
F = 0, G = 0, H = 0),
of respective degrees d, d, e with 3 e d. Suppose C and D
2
intersect in d distinct points, and assume that E is smooth (hence
irreducible). Show that if E passes through ed 1 of these, it
passes through ed of them. (Imitate the argument from the proof
(1) Let
C , D,
and
be as above (dened by
of Theorem 15.2.1.)
2see
16.1
below.
Part 3
Cubic curves
CHAPTER 16
D P2
p;
malization morphism
: P1 P2
with image
D.
genus zero. Moreover, they are all projectively equivalent to one of two
examples.
D = {Y 2 Z = X 2 (Z X)};
y 2 = x2 (1 x)
and a
schematic picture is
where I have denoted points with real coordinates in blue and points
with only
x-coordinate
of complex points will be pictured below; the dotted stu will connect
up.) By Exercise 5 of Chapter 3, this is parametrized by
: P1 /{0, } D
1D
is for degenerate
175
176
t 7
The P
/{0, }
4t
t(1 + t)
,
2
(1 t)
(1 t)3
=: (x(t), y(t)).
2
points identied.
y =x
D = {Y 2 Z = X 3 },
ane equation
, schematic picture
p
where I have only drawn real points. To do stereographic projection
through the cusp
= x =
(0, 0),
write
y = 1t x
1 2
x
t2
= x3
1
. Hence we get a normalization
t2
: P1 D
dened by
1 1
t 7 1 : 2 : 3 .
t t
One of our overarching themes in the next few chapters will be the
study of algebro-geometrically dened group laws on cubics.
In this
C = P1 \{0, }; while in
1
addition on C = P \{}. In both
to multiplication on
cases, these sets are the preimages under normalization of the smooth
points of
2Note
D,
and then it is
[T0 : T1 ] 7 [(T0 T1 )3 :
clear that (1) = ([1 : 1]) =
by
177
P2
(quotients of
C(x, y))
P1
Principle 1: Singularities make curves of a given degree more trivial and easier to study,
C P2 an irreducible algebraic
is of the
: C P2 , every f K(C)
Principle 2: Given
normalization
curve with
form
F ,
F C(x, y).
In other words, writing
of
and
gC0 (x, y)
C[C0 ] :=
C[x, y]
,
(gC0 )
C(C) := ( fraction
]
eld of C[C0)
F C(x, y)
F
,
=
F
/ on C
K(C)
analytic
Since
was projective,
C(C).
algebraic
C[C0 ]
C0 .
Before continuing on, we should address one point:
why should
be an ODP
178
is a union of
3. An explicit
local analytic transformation puts this in the form (
x) + (
y )3 = 0. So
2
n
it is a cusp. Alternately, anything which looks like x + y = 0 has
intersection multiplicity n with the line x = 0, again violating Bzout
(in the context of our cubic curve) if n > 3.
form
x + f3 (x, y) = 0,
with
f3
homogeneous of degree
C P
C.
Any
F K(C)
can be viewed as
1 =
normalization : P C , yields
=
P1 / C F / < P1 ,
F
that is, a meromorphic function on
t := T1 /T0 ), F
P1 .
Since
K(P1 ) = C(t)
(here
G(T0 , T1 )
g(t)
=
h(t)
H(T0 , T1 )
where
g, h, G, H
same degree.
this as
for some
G, H
, i , j C.
Q
(T i T0 )mi
Qi 1
,
nj
j (T1 j T0 )
T0N
As
deg G = deg H = N +
mi
nj = 0,
Q
(t i )mi
Q
(= ( F )(t)).
(t j )nj
Note that
(16.1.1)
( F )() 6= 0,
mi =
nj .
F : D P1
be
the restriction to
(16.2.1)
of a rational function on
6 0,
=
p D.
P2
P1 D
0, 7 p
sends
179
but is otherwise
1-to-1, we get
(P1 /{0, })
/
:
P1
F
with
F (0) = F () C
Thinking of
F.
as a meromorphic function on
P1 ,
(16.1.1) applies
and we get
Q
(t i )mi
F (t) = Q
(t j )nj
Furthermore,
with
mi =
nj .
Q mi
= F () = F (0) = Q inj
j
so that
(16.2.2)
relating the
z -coordinates
imi =
j j ,
F.
u :=
1
on
dt
= log(t)
t
(16.2.2) in terms of
u:
C/2 1Z.
We can restate
viz.,
p (F ) u(p) 0
mod
2 1Z.
pD
This leads to Abel's theorem for the singular cubic :
P, Z Div(D\
p)
eective divisors of
dz
0
z
mod
P = poles
Z = zeroes
3recall
2 1Z
)
of some
as in (16.2.1).
divisors are formal sums of points on a complex manifold with integer coef-
180
P
P
P = nj [j ] and Z = mi [i ] are of the same degree
P
P
P
(d =
nj =
mi ), then we may write Z P = dk=1 ([zk ] [pk ])
Z
P zk
by some choice of paths. Also, in the statement
:=
and
pk
P
Explicitly, if
This is a
1-forms
Fix a normalization
=
: P1 /{0, } D
t 7 (x(t), y(t))
1 7 (1) =: e.
p, q D be arbitrary nonsingular points, and Lpq be the line
through p and q . (If they are the same, then take L to be the tangent line Tp D .) By Bzout, (Lpq D) = 3 and so Lpq meets D in a third
point which we call p q . More precisely, everything is counted with
multiplicity (p q need not be distinct from p or q ) so we really mean
Let
L0
pq
and
(or
Te D
if they coincide),
and put
[p + q] := L0 D [p q] [e].
That is,
p+q
4when
181
p+q
p
e
0,
t(p*q)=1/(t(p)t(q))
t(q)
1=t(e)
t(p)
t(p+q)=t(p)t(q)
0
p*q
Now writing
fL
fLpq
F :=
fL0
satises (16.2.1).
back along
F (t) =
But since
L,
observe that
: D P1
D
In terms of the
t-coordinate
on
P1 ,
i.e.
pulling
we must have:
of poles}
C = P1 \{0, } with
the one just dened on D\
p. Alternately, taking log gives
identifying addition on D\
p with addition in C/2 1Z. This may
This identies the group law (multiplication) on
be rewritten
(16.3.1)
t(p)
dt
+
t
t(q)
dt
t(p+q)
dt
t
mod
2 1Z.
[0 : 0 : 1],
e := (1) =
182
t.
x=cons
p+q
p
p*q
In particular, the
the
y -coordinates
x-coordinates of p + q
are of each other.
and
pq
Just to clarify the topology of the situation, here is what the projection of the normalization of
onto the
x-axis
"schematic" picture
looks like:
topological picture
0
8
xvalues
Px
1
8
1
tvalues
|t| = 1)
on the upper
(i.e.
).
D
Now we get to work. Start by inverting the equivalence
t(p + q):
(t1 ) + (t2 ) = (t1 t2 ).
| {z } | {z } | {z }
p
p+q
t(p)t(q) =
Since
p, q ,
and
pq
183
e, Z(p)Z(q)Z(p q)) 6= 0
1
1
1
dt
, while
t
D
to write
and
x(t2 ),
using the
= d(x(t))
= [use Exercise 4 from Chap.
y(t)
D
dx
= xdx1x ; so (16.3.1) may be expressed
y
dx
y
13]
x(q)
x(p+q)
dx
dx
dx
.
x 1x
x(e)(=) x 1 x
x(e) x 1 x
x(e)
dx
dt
(Note that 2 1 =
=
. Going modulo its integer multi|t|=1 t
y
ples, which is what means here, is necessary not to have the equation's correctness depend upon the choice of paths from to x(p), to
x(q), and to x(p + q).) Solving
1
1
1
det
x(p)
x(q)
x(p + q)
=0
p
p
p
x(p) 1 x(p) x(q) 1 x(q) x(p + q) 1 x(p + q)
for
x(p)
x(p + q)
yields
x(p)x(q)
x(p + q) = p
2 .
p
1 x(p) + 1 x(q)
Forgetting the association with
p, q , p + q D
we get the
x2
x1x2
dx
dx
dx
( 1x1 + 1x2 )2
x 1x x 1x
x 1x
Note that
dx
x 1x
= log
1x1
1x+1
mod
2 1Z.
184
integral.
log(t) (= u)
viewed as a
start with
dx
| . You can think of this as a multivalued 1-form on the
y D
x-axis, and then D is the existence domain of the 1-form over P1x .
this was
x).
C = {y 2 + x2 = 1}, parametrized
2t t2 1
t 7 2
,
t + 1 t2 + 1
as in
3.3.
by
P1
via
We compute
2dt
dx
= 2
= 2d(arctan(t)),
y C
t +1
dx
dx
=
= d(arcsin(x)).
y C
1 x2
1
On the universal cover of Px \{1} let = arcsin(x) (starting at x =
0 t = 0 = 0).5 Its role is similar to that of u = log t
above, as the integral of our chosen dierential 1-form on the curve;
takes well-dened values in C/2Z. Writing x(1 ) =: x1 , x(2 ) =: x2 ,
x(1 + 2 ) =: x12 , the standard trigonometry relations give
q
q
x12 = x1 1 x22 + x2 1 x21 .
5Note: t 7
2t
t2 +1 = x is a degree-2 map (from C to the x-axis) with ramication
points t = 1 over x = 1. On the complements of these points, we have a 2-to-1
sin().
EXERCISES
185
x1
dx
+
1 x2
x2
dx
1 x2
x12
arcsin.
dx
1 x2
mod
2Z,
1
t2
1
t3
d
dx
d(x(t))
=
=
y D
y(t)
= 2dt,
while
dx
dx
= 3.
y D x2
dx
(Note that this time, the integral of
| is just 2t
y D
valued on D .) Clearly if t12 = t1 + t2 , then
t1
t2
t12
dt +
dt =
dt
0
1
(=x(t1 ))
t2
1
dx
x
3
2
1
(=x(t2 ))
t2
2
dx
x
3
2
1
(=x(t1 +t2 ))
t2
12
dx
3
x2
1
So we get a functional equation for , which is unfortunately rather
x
stupid: it says
1
1
21 + 12 =
1
t21
1
t22
1
1
(t1 +t2 )2
12 .
In an exercise below, you will show a less trivial addition theorem for
the cuspidal cubic, to the eect that
P, Q, R (D\
p)
are collinear
Exercises
D = {Y 2 Z = X 3 } P2 and
1
1
1
normalize it as above, with : P D given by t 7 [1 : 2 : 3 ] =
t
t
[Z : X : Y ]. (The singular point is p = [1 : 0 : 0].) Prove directly
1
that the group law given by addition on (P \{})
= C (namely,
t1 , t2 7 t1 + t2 ) corresponds to the following process on (D\{
p}):
0
take the line L through (t1 ) and (t2 ), then a line L through
the third intersection point (t1 ) (t2 ) (of L with D ) and the
neutral point [0 : 0 : 1], and nally locate the third intersection
186
point of this
L0
with
P, Q, R (D\{
p})
t(P ) + t(Q) + t(R) = 0. (Here P, Q, R
a3 a 1
3
b b 1 ,
c3 c 1
and rewrite
[1 :
1
t2
1
]
t3
= [t3 : t : 1].
CHAPTER 17
is
E P2
By the genus formula, all smooth cubic curves are elliptic. In the next
two chapters we will show not only that such a curve is isomorphic to
C/
which shows
its dependence on
[0 : 0 ] by an integral
1
projectivity, i.e. a transformation of P induced by A P SL2 (Z).)
Even more signicant is how we do this: by putting E in Weierstrass
isomorphic if and only if
[ : ]
is carried to
To put
-function
What is that?
17.1. Flexes
pC
intersection multiplicity
(C Tp C) 3.
TpC
C
C , and can
be seen to
has nitely
187
188
many singularities, this gives one proof that there are nitely many
exes; we will however take a dierent approach.
Denoting partial derivatives by subscript, e.g.
Hessian of
FZX :=
2F
, the
ZX
Its determinant
H := det(HessF )
3(d 2). Call HC :=
associated to C .
{H(Z, X, Y ) = 0} P
pC
p is a ex
p HC .
Proof. Since intersection numbers are invariant under projectiv-
Tp C
by
t 7 (t, 0),
terms.
we have
a = 0.
implies
0
0 (d 1)
HessF (1, 0, 0) =
0
2a
2b
.
(d 1) 2b
2c
p HC )
if and only if
a = 0.
17.1. FLEXES
189
HC .
and
If
is singular
observation:
3d(d 2)
of degree
d 3,
exes.
Proof. By Bezout,
pCHC
So the number of points in
C HC
is between
and
3d(d 2),
all
be
pC
is dened to
(C HC )p .
Now take
C = E
= 3).
Then
a=0
then be nonzero,
2y
2by
2 + 2bx
HessF (1, x, y) =
2by
6x + 2y
2x + 2y + 2b .
2 + 2bx 2x + 2y + 2b 6y + 2x + 2c
Pull this back to
Tp E = {y = 0}
0
0 2 + 2bt
HessF (1, t, 0) =
0
6t
0
;
2 + 2bt 0 2t + 2c
190
, 6= 0
(Tp E HE )p = ord0 (H(1, t, 0)) = 1.
So
HE
is smooth at
and
Tp E
But then it
intersects
that
tiplicity one.
deg(HE ) = 3(d 2) = 3, Bezout gives us 9 intersection points of HE and E , counted with multiplicity; and we have
demonstrated that the multiplicities are all 1.
Proof. Since
E = {F (Z, X, Y ) = 0} P2 .
In this section we will show that there exists a choice of projective
coordinates putting
into this
this gives
F (Z, X, Y ) = ZY 2 + (2bXZ + cZ 2 )Y + X 3 + X 2 Z + XZ 2 + Z 3 ,
with ane form
191
1 f2
f3
1 f2 f3
= det 2 f2 0 = det
f2 2f3
2
f2
0 2 f2
is a polynomial in
of degree
Such rst order tangencies mean the roots each have multiplicity one.
Therefore
at
L = {Z = 0}),
p1 , p2 , p3 .
Lemma 17.2.1. The
{pi }3i=1
are collinear.
T E
p3
p1
q
Lp p 2
1
p2
C1 C2 = 3O + 2p1 + 2p22 + p + q
and
192
p3 .
p1 doesn't
p1 , p2 , p3 Lp1 p2 .
through
p2
p = p3 .
Hence
pass
O to Lp1 p2 (
= P1 ) presents E as
1
a 2 : 1 cover of P branched over p1 , p2 , p3 , and the image TO E Lp1 p2 of
O. Furthermore Lp1 p2 , LOp1 , TO E form a triangle, and so we can choose
0
0
0
0
new projective coordinates X , Y , Z in order that Lp1 p2 = {Y = 0},
LOp1 = {X 0 = 0}, and TO E = {Z 0 = 0}. For simplicity I'll drop the
primes and just write X, Y, Z for this new coordinate system. The
Now stereographic projection from
TOE
LOp
E
p1
Y = 0 ) p1
p2 (resp. p3 ).
where (on
X
at
Z
p2
Lp p
1 2
is at
X
Z
= 0.
Write
(resp.
2 )
F (Z, X, Y ) = ZY 2 + (2bXZ + cZ 2 )Y + X 3 + X 2 Z + XZ 2 + Z 3 ,
[0 : 0 : 1] with tangent line Z = 0.
But now (referring to the picture) also [1 : 0 : 0] E , which implies
= 0. Moreover, FY (= 2Y Z + 2bXZ + cZ 2 ) = 0 at p1 = [1 : 0 : 0],
p2 = [1 : 1 : 0], and p3 = [1 : 2 : 0] since the tangents are vertical
there. This yields c = 0, then 2b1 = 2b2 = 0. As the {pi } are distinct
(so i 6= 0), we have , and
because we still have a ex at
F (Z, X, Y ) = Y 2 Z + X(X 2 + XZ + Z 2 )
= Y 2 Z + X(X 1 Z)(X 2 Z).
EXERCISES
193
r
X=
4
1 + 2
X0 +
Z0 , Y = iY0 , Z = Z0 ,
r
F (Z0 , X0 , Y0 ) = F
4
1 + 2
X0 +
Z0 , iY0 , Z0
we have put
in Weierstrass form :
Proposition 17.2.2. (a) Any smooth cubic
E P2
is projectively
1
equivalent to a curve with ane equation of the form
y 2 = 4x3 g2 x g3 .
(b) This form is unique (given
4
( g2 , g3 )
where
; in particular,
j :=
is an invariant of
E.
equation
Y Z = 4X g2 XZ g3 Z 3 .
3
Z . Taking
2 0
is unchanged by this
X = X0 , Y = Y0 , Z =
claimed eect on (g2 , g3 ), and j
:=
transformation.
Exercises
(1) Show that the cubic curve
P2
C = {0 = X 3 +Y 3 XY (X +Y +Z)}
has one (ODP) singular point and exactly three collinear exes.
[Hint: start by computing the Hessian, then nd the Hessian curve
and determine its intersections with
1note
x2
C .]
CHAPTER 18
This chapter will focus on the precise relationship between Weierstrassform elliptic curves and complex 1-tori (or equivalently, 2-lattices in
C).
E a period lattice
E . These will ulti-
E ,
a Weierstrass cubic
P2 )
(embedding a 1-torus in
by the
dx
p
,
4x3 g2 x g3
f (x, y) := y 2 Q(x) = 0
in
P2 ,
where
dx
may interpret
y
: E , P2 just to write dx
);
y
Y
X
(b) alternatively, writing x =
and y =
exhibits x and y as meroZ
Z
2
morphic functions on P (and hence, via pullback, on E ), and Example
d( x|E )
13.1.4 tells us that
is a meromorphic 1-form.
y|E
1
Either way, we have K (E); and part of the content of the Claim is
to
195
196
that
is actually holomorphic:
E\O.
Wherever
nowhere
fy 6= 0,
so that
dx
gives a local coordinate,
y
f = 0 and fy = 0
0
where fx = Q (ei ) 6= 0 so that y is a
dx
0
0 = df = 2ydy Q (x)dx so that y
have
local coordinate. On
we have
dy
2 0 ,
Q (x) E
which is evidently nonvanishing and holomorphic in a neighborhood of
each
(ei , 0).
O = [0 : 0 : 1]? By PoincarpE p () = 2g 2 = 0, so that if p () = 0 for all
be no contribution from O either.
g = 1 =
p E\O, there can
Hopf,
1 (E)
= C hi.
multiple of .
Corollary 18.1.3.
1-form
on
is a
(
H1 (M, Z) := (
paths on
subgroup generated by
boundaries of nitely triangulable regions
),
is
197
H1 (E, Z)
= Z h, i .
That is, for any closed
(with boundary
path
such that
= m + n + .
The integers
m, n
+m
+n
=m
+n
, and we dene
, C.
E := Z
E which, unlike
we have a Weierstrass
Z h1 , 2 i =: C,
P -map
P
C/ P2
u 7 [1 : (u) : 0 (u)]
whose image (by Exercise 5 of Chapter 7) is a Weierstrass cubic! Dene
E := P(C/),
which we henceforth consider to be the range of the map
P.
Obviously
1algebraic
E 's).
198
itself is
2,
that of
P : C/ E
must be
1.
E = {y 2 = 4x3 g2 x g3 } P2
|
{z
}
Q(x)
dx
y
1 (E).
E
a (holomorphic) map of Riemann surfaces
u : E C/E
p
p 7
O
where the integration is over any
map is well-dened: if
0 , 00
path from
to
p.
This Abel
is closed and so
0 00 = + m + n.
Integrating, we have
= m
00
E .
+n
3 is then:
=
2
taking
exp).
u(p) u(q)
E;
then
mod
for
p 6= q
points of
= u(p) u(q) E .
199
to
get
m + n
by
(for some
m, n Z),
we
= 0.
p
Dirichlet's existence theorem (which we won't prove) guarantees the
existence of
we have
H1 (E\({p} {q}), Z)
= Z h, , i
(18.2.1)
where
0 = 2i.
Next, normalize
0 ,
putting
0
:= 0
,
0 .
Observe that
= 2i,
while
= 0.
4In
and
4
(the yellow region):
by an integer factor
M.
to
p,
200
pat
q
O
On the interior of
F, U :=
= U(p) U(q)
0=
p
which by the Residue theorem
Noting that
(resp.
to ), this
1
=
2i
where
6= 0.
U .
F
Hence,
1
=
2i
1
=
2i
to (resp.
,
= 0.
n + m + ` ; and
` = 2i`. Consequently,
of the form
so
F := exp
O
is a well-dened function on
by
which is holomorphic o
E .) This doesn't
M + M M M .
is meromorphic on
201
with divisor
(F ) = [p] [q].
Therefore
deg(F ) = 1,
making
F : E P1
an isomorphism, which is
impossible.
We conclude from this contradiction that
p and q
distinct.
Abel's theorem is usually paired with something called Jacobi inversion, the baby version of which is:
Proposition 18.2.3. The Abel map
isomorphism).
Proof. This is trivial:
and an open mapping (since holomorphic and not constant). The image
is therefore open and closed in
C/E ;
we're done.
1-form
).
u P = idC/
and
(18.3.3)
P u = idE .
of a Weierstrass
P -map
202
P -map.
= Z h1 , 2 i C
be a lattice.
The
composition
(
(
=)
=)
C/ E C/E
u
P
is the identity.
Proof. Obviously part of the claim is that
E :=
H1 (E , Z)
= .
(18.3.4)
For
E ,
(x, y)
there is only
at
coordinates, since
u0
on the
complex 1-tori. (Note also that u is used both as the Abel map and
as the coordinate on
Since
Moreover, that
image of some
on
is the
so that
=
gives a bijection between
P(u0 )
u(P(u0 )) =
O
P =
=
E
dx
=
y
P (
)
u0 C/,
and
P(u0 )
P =
=
P(0)
du
u0
du = u0
0
203
Now let
(
(
=)
=)
E C/E EE P2
P
u
is the identity. In fact,
E = EE
(18.3.5)
exactly as subsets of
P2 .
(x, y) E :
(x, y) 7
dx
P
p
7
Q(x)
dx
p
Q(x)
, 0
dx
p
Q(x)
where the
{Z=0}=TOE
X=0
. . . which is easy:
!!
,
204
Now
x(u) =
A
u2
+ h.o.t.,
with
A=
x dw 2
Q(w)
2
lim
!2
p
1/ Q(x)
1/2x
3
2
4x3
= 1.
x Q(x)
= lim
Dene an involution
:EE
by
=
=
= u(p),
y
O=(O) y
O
O y
this xes
O.
For
and so
y(u) = y(u).
x(u) = x(u) ,
x0 (u) =
dx
= y(u);
du
and then
d
(c) = x0 (u) 0 (u) = y(u) 0 (u).
du
All that is left is to check that c = 0.
The xed points of the involution u 7 u are the 2-torsion
i.e. those u C/E with 2u 0
0=
u3
O
since we must have
(by
u)
u u
u1
P)
mod
points,
to the xed
EXERCISES
205
Writing
E,
O
e2
e1
x (2-torsion
Similarly, if
e3
points)
= e1 , e2 , e3 , .
then
(2-torsion
points)
= e1 , e2 , e3 , ;
and clearly
e1 + e2 + e3 = e1 + e2 + e3 = 0.
Since
(u) = x(u) + c,
(u1 ) + (u2 ) + (u3 ) = x(u1 ) + x(u2 ) + x(u3 ) + 3c
which becomes
0 = 0 + 3c
so
c = 0.
We conclude that
(u(x, y)) = x
and
0 (u(x, y)) = y .
Exercises
(1) [Adapted from Silverman-Tate.]
Let
0 < ,
dened by
y2
x2
+
= 1.
2 2
E is given by the
p
1 k 2 sin2 d
4
0
integral
206
depending on
and
4
0
1 k 2 t2
p
dt.
(1 t2 )(1 k 2 t2 )
hence the problem of determining arc-length comes down to evaluating the integral
Remark:
1 k 2 t2
dt
u
0
u2 = (1 t2 )(1 k 2 t2 ).
2:1
over
P1
with
CHAPTER 19
It is now high time for the smooth version of Chapter 16: group
laws and addition theorems for elliptic curves. We start by introducing
an algebro-geometrically dened binary operation on the points of a
cubic curve, and prove it coincides with addition on
C/E
under the
Abel isomorphism. This gives one proof that the operation denes an
abelian group, and we give another more natural one as well.
From
the fact that it makes Abel's map into a homomorphism we will then
derive functional equations for elliptic integrals.
E P2
L1
O.
Let
and
q:
through
and
be points of
E.
O
p
L1
p*q
q
By Bezout, there is a third intersection point, which we shall denote
p q,
so that
208
means
L1
is tangent to
have a ex.
L2
through
and
p q:
O
p
L2
p*q
p+q
p + q,
tations as above.
In the special case where
is in Weierstrass form,
to
p+q
L2
is a vertical
E
j
e1
e2
e3
EE E
(p, q) 7 p + q
on the (set consisting of the) points of
E.
209
T : P2 P2
into
to
u : E C/E
to be as in Chapter 18, with inverse
E
our operation on
C/E .
P.
of groups.
(19.2.1)
(19.2.2)
mod
hold.
Li ,
Writing
FLi
FL2
f :=
K(E) .
FL1 E
Reading its divisor o from the intersection points of the
{Li }
P f = f P
to
C/E ,
and
E,
210
Cut open
region
C/E
and put
U :=
F:
du
u(p+q)
u(q)
u(p)
Write
U(p)
for
U(u(p))
rem,
1
d(P f )
=
U
2i F
P f
1
1
dlog(P f )
du +
dlog(P f )
du.
=
2i
2i
Since both terms in braces are integers, the whole thing belongs to
du = E .
du,
Since
going
E.
to scale) a unique
(C),
u : C C/(C,) .
19.1,
k C.
extension of
of
We shall say
(e.g.
itself, or
K C
is a eld
K -points
is dened over
C),
E
k.
If
E
E(K) := {[Z : X : Y ] E | Z, X, Y K}.
Proposition 19.3.1.
quently a subgroup of
E.
E(K)
211
p, q E(K)
1 =
and so can be parametrized P Lpq over K . (This means that the
Proof. If
formulas expressing
ecients in
K .)
ing E
Q3
i=1 (Z1
E,
denoted simply E , is
E(C).
(b) As a C-module, E(C)
= C/E has rank 1, but as an abelian
group (i.e. Z-module), its rank is innite. (Consider a bunch of Qlinearly independent complex numbers modulo E there is no bound
on the size of the Q-vector space you can generate in this fashionl.) On
the other hand, for the subgroup E(Q), a famous theorem of Mordell
(1922) asserts that the rank (as an abelian group) is always nite. In
problem (6) below, you will show computationally that the rank of
E(Q)
1.
be seen as providing a link between the complex algebraic and the complex analytic. Such maps, which include multivariate abelian functions,
modular and automorphic forms, are very important in arithmetic algebraic geometry.
they have nonetheless been essential to the study of things like class
eld theory, the proof of Fermat's last theorem, and so on.
light of the subgroup structures
E(K) E(C),
Still, in
it is a bit sloppy to
C.
O + p = p ( p E),
212
(p q) + (p + q) = O ( p, q E),
(19.3.2)
+ is
(19.3.3)
p O = p,
and
associative.
(p O) + (p + O) = O,
and
p:
O*p
O*p
L2
L1
E
O+p
Step II
Step I
O =(p*q)*(p+q)
L2
p*q
L1
q
p+q
L1 = Lpq, p+q . Since the line through O and p q intersects
(and denes) p + q , it follows that L1 's third intersection point
where
in
(p q) (p + q)
with
is just
O.
213
Then
L2 := LO,(pq)(p+q) = LO,O = TO E,
and since
again
is a ex ((TO E
E)O = 3),
O.
Here I won't
break the two steps up into two pictures. Instead, here is a depiction
of
(p + q) + r,
the addition of
to the result:
L1
p+q
L1
r
p
(p+q)*r
p*q
q
p+q
(p+q)+r
L2
L2
...
p + (q + r) looks
p):
l1
l1
r
p
q + r,
p*(q+r)
q*r
l2
q
p+(q+r)
q+r
l2
We have to show
(p + q) + r = p + (q + r),
or equivalently
(p + q) r = p (q + r).
green
214
with intersections
15.2:
with divisor
E C E D = [(p + q) r] [p (q + r)],
leading as usual to a contradiction unless these two points are the same.
E = {y 2 = Q(x)}
(with
Q(x) = 4x3 g2 x g3 )
is in
and
p = P(u1 ) =
pq
Writing
we have
p, q ,
and
pq
E.
L1
1
1
1
It
p
Q(()).
Let's actually compute the group law on
ax + b for L1
E.
Start by writing
y=
to intersect
215
L1
and
meet in
p, q, p q .
(Note that
x2 ,
is the slope of
L1
it is obvious that
a=
y(q) y(p)
.
x(q) x(p)
Therefore we have
2
1 y(q) y(p)
x(p) x(q).
x(p + q) =
4 x(q) x(p)
p dx
x(p) dx
x(q) dx
Now u(p) =
=
, similarly u(q) =
O y
Q(x)
Q(x)
x(p+q) dx
u(p + q) =
. Re-expressing
and
Q(x)
mod
x2
1 Q(x2 ) Q(x1 ) 2 x2 x1
x1
4
x x
dx
p
+
Q(x)
dx
p
Q(x) E
dx
p
Q(x)
dx
Q(x)
The problems below (with the exception of the last one) take place on a
nonsingular cubic
1the
216
everything in ane form, which you can convert to projective coordinates if needed.
Exercises
(2)
theorems.
g2 = 4, g3 = 0.
Consider the complex analytic automorphism A : E E sending
(x, y) 7 (x, iy). In Ch. 13 Exercise (1), you showed that A =
i .
19.4
(2u) in terms of
(u), for E as in exercise (3), i.e. with equation y 2 = 4x3 + 4x.
0
0
[Hint: write (u) and then the slope a of E at ((u), (u)), in
terms of (u). Write y = ax + b for the line tangent to E at this
3
2
point. Then factor 4x + 4x (ax + b) into linear factors (what are
you'll have to work it out from scratch): write
x2 .]
(1, 2 2)
is a
4-torsion
4-torsion
points. Can you use the group law to nd them all? (If
not, why?)
(6) This problem also depends on (4). Consider a point
of
with
rational
EXERCISES
in terms of
x0
and simplifying,
a. Then suppose
the starting point was an N -torsion point for some N and produce
show that
x1
x1
217
=
u : E C/E , u(p) = O .
Prove that the 3-torsion points on C/ correspond (under u) to
the exes on E .
CHAPTER 20
Given a divisor
D=
compute the sum in the group law, ending up with a single point on
E.
is the origin
O.
In fact, assuming
is true precisely if
ni = 0 ,
g.
M.
(These will be
2g .
1-cycles
1-forms
has dimension
18.1
g,
whilst the
for denitions)
In terms of bases,
H1 (M, Z)
= Z h1 , . . . , 2g i ,
1 (M )
= C h1 , . . . , g i .
Remark 20.1.1. A visual explanation of the statement about ho-
g+2
g+1
2g
g
220
M,
in
P2
Anyhow, let
1-forms
j H1 (M, Z)
period vector
j :=
j 1
.
.
.
j
Together these form a
g 2g
Cg .
period matrix
R-linearly independent columns. (This isn't obvious, and will be addressed in 24.2.)
g
Hence their columns generate (over Z) a 2g -lattice M C (
= R2g ).
Recall that if V is a vector space (say, over C) then the dual space
with
J(M ) :=
1the
(1 (M ))
,
image {H1 (M, Z)}
residues facilitate a conceptual and essentially 1-line proof (but at the cost of more
sophisticated machinery).
2putting
o to
24.2
221
1 (M )
obtained
by integrating
against the
J(M )
that is, the Jacobian is a complex
Cg
;
M
g -torus.
Cg /M
: P1
is constant.
0 = (dui ) = d( ui )
locally
ui = ui
i = 1, . . . , g .
which implies
each
deg : Div(M ) Z
X
X
ni [pi ] 7
ni .
So consider a divisor
in
Div
(M ) := ker(deg).
We may write
D=
([qj ] [rj ]) =
j j
|
where means topological boundary and
to
{z
=:
r
j qj
qj .
Definition 20.2.1. The Abel-Jacobi map
AJ :
r
q
Div
(M ) J(M )
}
is a
path from
rj
222
sends
D (= )
to
viewed as a functional on
qj
rj
1 (M ).
of paths)
meaning that
= D = 0 .
Consequently,
AJ
=
0
( 0 ) = 0,
class in H1 (M, Z).
Then
J(M ).
D = (f ),
Dt := f 1 (t) Div(M ),
parametrized by
t P1 .
Then
D = D0 D ,
AJ
P1 Div0 (M ) J(M )
sending
t 7 D0 Dt 7 AJ(D0 Dt )
is constant by Lemma 20.1.3, and zero at
t = 0.
Thus
AJ(D) = 0, and
we observe that
AJ
0
factors through Pic (M )
:=
(M )
(K(M ) )
Div
in a well-dened fashion. (The denominator means divisors of meromorphic functions, and the statement is simply that
Pic
(M )
AJ
kills these.)
M.
AJ :
Pic
(M ) J(M )
is
an isomorphism.
Leaving aside the surjectivity part of this, the meaning of the welldenedness + injectivity of this map is that for
(for
D = (f )
some f K(M ) )
D Div0 (M ),
AJ(D) 0
mod
M ,
223
pletely proved. What is nontrivial is the injectivity/backward implication, since you actually have to nd some
having
as its divisor.)
1 case,
1
i.e. for M = E (the normalization of ) an elliptic curve. Let (E)
P
0
be nonzero, and consider D Div (E). We can write D =
ni [pi ]
P
with
ni = 0, and
X
X
X pi
X
AJ
ni [pi ] = AJ
ni ([pi ] [O]) =
ni
=
ni u(pi )
Example 20.2.3. We consider what this means in the genus-
O
where
C/E ,
AJ
X
ni [pi ] = 0
ni u(pi ) 0.
E
(C/E , +)
u : (E, +)
(20.2.1)
for
ni [pi ] = (f )
some f K(E)
ni pi = O
E(C).
= Z h1, i, H
+1
2
(upper half-plane):
1+
P
mj = 0 and
mj uj 0 mod .
P
Then, writing D :=
mj [uj ] Div(C/), there exists g K(C/)
such that (g) = D . (You may think of g as a -periodic meromorphic
function on C.)
Theorem 20.3.1. Suppose
224
(u) :=
C)
2 +2nu}
ei{n
nZ
While it is not
nZ
nZ
m = n + 1,
X
2
ei(m +2mu)
= ei 2iu
mZ
as required.
(d)
1)
zero at
+1
and no-where else in the
2
0, 1, , 1 + .
Now consider
m
Y
+1 j
;
f (u) :=
u uj +
2
j
clearly
f (u + 1) = f (u)
!mj
u uj + +1
+
2
u uj + +1
2
Y
mj
1
=
e2i( + 2 +uuj )
f (u + ) Y
=
f (u)
j
j
1
By asssumption,
pression equals
2iN
. The function
(g) =
So it is
-periodic,
mj [uj ].
Exercises
(1) Verify property (b) for the theta function above (20.3).
CHAPTER 21
CR , D R
in
R2 ,
which
fC , fD P 2
CR
DR
We asked in
and
said that if there is one then there is an innite family. Our goal in
this chapter is not just to esh out the sketch of proof given there of
this porism, but to actually provide a way of deciding for which pairs
there does exist a circuminscribed polygon.
A slight reformulation of the theorem is this: starting from some
point
hits
x0
CR
on
CR ,
DR ,
continue until it
again. Begin again at this new point, by drawing the other line
CR
DR :
x0
etc.
L0
DR
x2
L1
x1
x0 .
225
226
fD
and
being ellipses,
fC
P2 ,
and
Namely, let
and
must meet
in four points counted with multiplicity. We will carry out our proof
under the assumption that the multiplicities are all one, i.e.
meet transversely and so
and
|C D| = 4.
E := {(x, L) | x L} C D
2 is the dual curve consisting of lines tangent to D (at any
P
D
point). In 1.3 we dened pictorially two involutions 1 : E E and
meets C in two points (counted
2 : E E . The idea is that each L D
with multiplicity), and swapping those points gives 1 ; whereas each
x C is in two lines tangent to D (counted with multiplicity), and
swapping those lines gives 2 . Composing involutions gives := 2 1 ,
where
(x0 , L0 ) E ,
n (x0 , L0 ) = (x0 , L0 )
for some
n N.
The projection
: E C(
= P1 )
(x, L) 7 x
has
mapping degree
2:
227
L, L0
tangent to
xC
C
D
x
4
of
C D,
C
D
L
By the Riemann-Hurwitz formula (for ), E = dC r = 224 = 0.
This implies E is elliptic, and so has an Abel map u mapping it isomor1
phically to a 1-torus C/ (where depends on E hence ultimately on
C and D).
1to
aects the scaling of the lattice but not its isomorphism class
1-form
on
E;
this
228
(in
E)
:E D
C
D
L
There are four of these since
and
are conics in
2
P
hence have
= 4.
|C D|
Now consider an arbitrary involution
nate on
of
u. Any automorphism
u
7 au + b by Ch. 14 Exercise
is denoted
gives
a = 1
and
bC
a=1
and
b /2,
C/.
Since
and
are involutions of
C/
1 (u) b1 u ,
2 (u) b2 u
(mod ).
Therefore
i.e.
is a translation on
C/.
on
C/ correspond-
is
n-torsion
(x0 , L0 ))
closes up at the
229
nth iteration if
depends only
(x0 , L0 ).
Q.E.D.
E,
it turns out that the best choice for O is one of the xed points of 2
(the four (x, L) with x C D ). Writing C D = {p1 , p2 , p3 , p }, we
set O := (p , L ) E .
a cubic plane curve. On the incidence-correspondence elliptic curve
Le
p2
p1
e
p3
C
D
(21.2.1)
Is
(e, Le )
an
N -torsion
point?
t P1 :
Dt := p P2 | tFC (p) + FD (p) = 0 ,
where
D = C
and
D0 = D.
Each
Dt
passes through
p1 , p2 , p3 , p .
230
p.M.p = 0 ,
(21.2.2)
{pi }i=1,2,3, :
t3
t2
p3
p1
p1
p2
p3
p2
p3
Dt
Dt
For any
t P1 ,
p2
t1
p1
Dt
let
`t := tangent
line (through
`t C =: p + qt
p )
(denes
to
Dt
qt ).
qti = pi
(i = 1, 2, 3),
q = p (double
intersection),
q0 = e.
So stereographic projection through
ization)
p gives
an isomorphism (normal-
P1 C
sending
t 7 qt ,
in particular
ti 7 pi (i = 1, 2, 3),
7 p ,
231
0 7 e.
This makes
3 of
a double-cover
surface
(21.2.3)
s2 = det(tMC + MD ) =: E.
The point
(e,L e )
(p ,L )
P1
t1,t2,t3,t 4
=(0,s 0)
P1
t gives local
(t 1,0)
holo. coord.
with t( )=0
(t 2,0)
(t 3,0)
t1 + t2 + t3
N -torsion
E?
on
4,
so
a normalization
P : C/ E
given by
P
ti 0 (u)
u 7 (u) +
,
.
1
3
2 2
0 7 O; dene u0 C/ to be the
point sent to
3remember, E
u0 N -torsion
on
C/?
a double-cover of
branched over
p1 , p2 , p3 , p
232
uj := u0 + j ,
where
j C.
tion
only if
-periodic
meromorphic func-
u1 , . . . , u N ,
if and
u1 + + uN 0 (mod ).
of meromorphic
1
N : E PN
[w1 ::wN ]
by
f1 , f2 , f3
For
to be
N.
N ,
denoted
(Note that
E3 is
EN ,
is called a nor-
essentially
take
1, t, s.)
uj 0,
on
EN
with zeroes at
N (P(uj )), and order N pole at N (O). Now the hyperplane at inN
nity {w1 = 0} P 1 intersects EN only at N (O) (with multiplicity
N ). If written as the pullback to EN of a rational function, it follows
that F has denominator w1 ; the numerator must
then also be a ho
H(w)
1
. It follows that the
mogeneous linear form H SN , i.e. F =
w1
N (P(uj ))
all lie on
{H = 0} PN 1 ,
EN
and so
coords. of
N (P(uj ))
(21.2.4)
z }| {
0 = det[ fi (P (uj )) ].
|{z}
=:Fi
N (P(uj))
H(w)
function
w1
the
lie on a hyperplane
and computes its
EN
uj 0.
233
Fi (u0 + j ) =
(N 1)
Fi
(u0 ) N 1
+ N
j ( ),
(N 1)! j
h
i
Y
(j1)
0 = const. (k ` )det Fi
(u0 ) +
terms of higher
homog. degree
k>`
Dividing by
uj u0 ),
{j }
in the
k>` (k
all
this becomes
0 = det
(21.2.5)
(j1)
Fi
(u0 )
i = 1, . . . , N
j = 1, . . . , N
F + F0
1
1 1
F2 + 1 F20
F
1
=
F2
N = 2,
{j }:
0
F1 + 2 F1 F1 + 1 F10
=
F2 + 2 F20 F2 + 1 F20
(2 1 )F10
= (2 1 )
0
(2 1 )F2
ignoring terms of
in the
(2
(2
1 )F10
1 )F20
F1 F10
.
F2 F20
Using the chain rule and again multilinearity of det, one nds
that the vanishing of the Wronskian is independent of the choice of
local coordinate on
E.
So we can replace
by
(and hence
by
f ),
u0 is N -torsion in C/ (and
th step) if and only if
the N
h
i
(j1)
det fi
(0) i = 1, . . . , N = 0.
Theorem 21.2.4.
tion closes up at
(21.2.6)
j = 1, . . . , N
4note:
{j }
k>` (k ` )
234
(j1)
(0) probably requires explanation: rst, we are viewing f locally as a function of t (rather than
st derivative is (total derivof [1 : s : t] =: z on E ), and the (j 1)
ative) with respect to t. The 0 just means t is set to 0 at the end;
this is because we are evaluating at (i.e. u0 ), which has coordinates
[(s, t) =] (s0 , 0).
Remark 21.2.5. The meaning of
fi
N = 2m + 1.
Then for
fi .
we may
choose
1, t, . . . , tm ; s, st, . . . , stm1 .
These have order of pole at
0, 2, . . . , 2m; 3, 5, . . . , 2m + 1.
dj1 ti1
The determinant in (21.2.6) is then (using that
dtj1
= 0
unless
j = i)
Writing
1
0
0
.
..
.
.
.
0
m!
0
m+1 s
d
dtm+1
. .
.
.
.
.. . . ..
.
m+1
m1 )
d dt(st
m+1
p
s = s(t) = det(tMC + MD )
A0 = s0 ),
.
.
.
0
.
2m
d s
dt2m
.
.
.
d2m (stm1 )
dt2m
..
..
= A0 + A1 t + A2 t2 +
(here
Am+1 A2m
..
.
..
.
.
.
.
A
Am+1
2
(21.2.7)
(2m + 1)-gon
(21.2.7) vanishes.
C, D
i
determinant
(21.2.7)
is just
A2 ,
N = 3,
i.e
(and hence
m = 1.
The
A2 = 0.
Writing
Ti =
235
1
, calculate
ti
v
u 3
u Y
p
s = det(tMC + MD ) = t (t ti )
i=1
r
3
Y
t
Ti2 2
Ti
1 =C
t
=C
1 t
t
2
8
i
i=1
i=1
3
Y
A2
1X 2 1
=
T + (T1 T2 + T2 T3 + T1 T3 ) .
C
8 i=1 i
4
=
If
T1 = 1,
A2 = 0
equation of
(1 + T )2
(1 T )2
, T3 =
for some T
4
4
4
4
2
E reads s = (t1) t
t
.
(1 + T )2
(1 T )2
T2 =
If we take
MD =
4
(1+T )2
4
(1T )2
1 0 0
MC = 0 1 0
0 0 1
0 ,
1
corresponding to
C=
then
= 1
4y 2
4x2
+
=1 ,
(1 + T )2 (1 T )2
D = x2 + y 2 = 1 ,
and indeed
det (tMC + MD ) = t
4
(1 + T )2
t
4
(1 T )2
(1 t) .
This recovers Example 1.3.2(b) from the beginning of the course! It's
easy to draw one triangle, but seems quite nontrivial that you get one
independent of the starting point.
CR R2
2
F1
236
xi
Li1
Li
x i+1
x i1
DR
trajectory for
C Li
and
5
with
CR .
with
DR
xi , xi+1
is confocal
with respect to
CR .
CR
We will prove only (a); Flatto does (b) in Appendix E of his book
[L. Flatto, Poncelet's Theorem, AMS, 2009] (which is, by the way,
written for undergraduates).
similar.
Remark 21.3.2. It's worth pointing out right away that given
(x0 , L0 ) (L0
not containing
F1
DR confocal
to L0 . If L0 passes
between F1 and F2 , DR is a hyperbola; otherwise, it's an ellipse. One
p
det(tMC + MD ) obtains infordetermines this DR , and then from
mation (as in 21.2) on whether the Poncelet trajectory closes up. By
is a unique conic
the Theorem, this is also the billiard trajectory! You'll use this to do
a computation in Exercise (2) below. But I should emphasize that if
you change
(x0 , L0 )
5that
is,
F1
and
F2
DR
accordingly.
DR .
If
237
QR
with foci
F1 , F2 .
Given
p0 QR ,
let
L := Tp0 QR
F2
p0
F1
F2
QR
and denote by
F20
the reection of
|pq|
F2
in
L.
p, q write pq
:= |F1 p0 | + |p0 F2 | and
Given points
|F1 q| + |qF2 | =
(q QR ).
If
F1 p0 p0 F20 = F1 F20 .
(21.3.1)
Now let
meaning
Apply-
ing the principle that (21.3.1) holds for the above construction, leads
to a picture
F2
1+1
p
2
2
F
1
TpC R
A
F1
F
2
F2
CR
DR
in which the solid black lines are part of a Poncelet iteration and we
must show
1 = 2
reection in
238
Tp CR
F1 A + AF2 = F1 B + BF2 ,
By denition of ellipse,
which implies
Exercises
(1) Consider the pair of conics
C, D
1 0 0
MC = 0 1 0 ,
0 0 1
1 0 0
MD = 0 1 0
0 0 r2
QC (X, Y, Z) =
So
QC = 0
X Y
1
0
0
X
Z 0 1 0 Y = X2 + Y 2 Z2
0 0 1
Z
denes
and
QD = 0
D
[V : T : U ],
denes
P2 .
as conics in
dene an elliptic
curve by
U 2 V = det (T MC + V MD ) .
In ane coordinates, this is
u =
U
.
V
u2 = det(t MC + MD ),
where
t=
MC
T
,
V
All you
and
MD
a position to see why the curve being singular should make the
Poncelet problem easier, and even to see why (from the abstract
perspective) the solution involved trig functions.
EXERCISES
(2) Let
a>b>0
239
and
CR =
x2 y 2
+ 2 =1 ;
a2
b
line computation!]
CHAPTER 22
E = Z
and
22.1
and
22.3
F S3
18.1.
P2
= 0};
for any
Let
Example 22.1.1.
32
241
by the
242
For the ane forms of the equation we shall use the following notation:
v
u
L1
y
L0
2
P
x
L2
x=
Z1
,
Z0
y=
Z2
, and equation is
Z0
Z0
,
Z2
v=
Z1
, and equation is
Z2
P2 \L0 ,
f (x, y) :=
on
1
F (Z0 , Z1 , Z2 );
Z03
on
P2 \L0 L2 , we have u =
1 x
3
f (x, y) = y g y , y .
on
1
,
y
v =
x
;
y
y =
1
,
u
x =
u
; and
v
on E by
dx
du
dv
dy
=
=
=
=
fy E\(L0 VT)
fx E\(L0 HT)
gv E\(L2 HT)
gu E\(L2 VT)
where
the notation
intersects
for example: on
dx
fy
E , f = 0 = 0 = df = fx dx + fy dy =
= 0 and) fx , fy 6= 0;
dy
where (f
fx
fx and fy
do not simultaneously vanish (E is smooth!), {E\(L0 VT)}{E\(L0
HT)} is all of E\L0 . So the 6 dierent domains of denition glue to give
(E\L0 ) (E\L1 ) (E\L2 ), which is all of E . Morover, dx
fy
Now consider the domains of the rst two expressions: since
etc.
1 (E).
E\(L0 VT)
We conclude that
Et
f (x, y) = xy t(x3 + y 3 + 1) = 0,
(For the four values of
t C.
ft
Et
is singular hence
C C ,
is
3
x + y3 + 1
1t
= 0,
xy
|
{z
}
=:(x,y)
where
C[x, x1 , y, y 1 ].
holomorphic 1-forms
dx
1 (Et ).
t :=
fy Et
We can obtain a family of 1-cycles by noticing that
is empty for
|t| <
1
, since
3
for
x, y
{|x| = |y| = 1} Et
in the unit circle.
Indeed,
t := {|x| = 1, |y| 1} Et
has this empty set as its boundary
the period
P (t) :=
t
t
as a function of
rank
2,
t,
1
. Now since
3
|t| <
period
Q(t) :=
t .
t
on
Et ,
H1 (Et , Z)
has
and cooresponding
244
E0 = {Z0 Z1 Z2 =
0} is a union of 3 lines (
= P1 ), we can easily visualize what happens to
Et , t , and t as t tends to zero:
Et
E0
Z1 =0
Z0 =0
undergoes
degeneration
Z2 =0
t 0) to dx
on Z2 = 0, and 0 passes
x
through the poles of this form while 0 traverses the unit circle around
them, we infer that Q(t) as t 0 but P (t) 2i.
We now compute P (t) more precisely, by rst noting that the area
From the fact that
tends (as
integral
|x|=|y|=1
(since
dx dy
=
f (x, y)
dx df
fy f
df = fx dx + fy dy and dx dx = 0)
df (x, y)
1
=
dx
fy (x, y)
|x|=1
|y|=1 f (x, y)
is a xed constant).
Now thinking
means that two of the roots are big and one is small in particular,
there is exactly one solution
Therefore,
2i
=
|x|=1
= 2i
1
fy (x, y(x))
dx
dx
= 2i
fy
|x| = 1
y = y(x)
So
1
P (t) =
2i
|x|=|y|=1
1
=
2i
dx dy
1
=
f (x, y)
2i
X
|x|=|y|=1 n0
t .
t
|x|=|y|=1
dx
x
dy
y
1 t(x, y)
tn n dlogx dlogy
where dlogx
dx
and
x
nth
power of
(x, y).
Using
= 2i
tn n (0, 0)
n0
in which
x1 y 1 )n .
We can make this more explicit. Given a product
(x2 y 1 + x1 y 2 + x1 y 1 ) (x2 y 1 + x1 y 2 + x1 y 1 )
|
{z
}
n times
(0, 0) (i.e. multiplying to x0 y 0 ). But the only combinations of (2, 1), (1, 2), (1, 1) summming to (0, 0) are: m(2, 1) +
m(1, 2) + m(1, 1). Hence, the only possibility for a nozero constant term is to have n = 3m (i.e. 3|n), and the number of ways to
ming to
choose
is
2 1
x y from m factors
x1 y 2 from m factors
1 1
x y from m factors
3m
m,m,m
:=
(3m)!
. That is,
m!m!m!
P (t) = 2i
3m
m0
(3m)!
= 2i 2 F1
(m!)3
1 2
, ; 1; (3t)3
3 3
(a)m := a(a + 1) (a + m 1)
for the
Pochhammer symbol)
2 F1 (a, b; c; u)
:= 1 +
X (a)m (b)m
um
(c)
m!
m
m1
P (t)
is really a function of
Et :
Et E3 t
(x, y) 7 (3 x, y).
(3t3 ) = u.
This reects
246
case (writing
Q0 (the
log u
P (u)
other period), which turns out to have a term of the form
2i 0
It turns out that the ODE satised by
P0
must be satised by
around
t = 0
yields
t + 3t
in
H1 (Et , Z).
22.3. Cohomology of an elliptic curve
shall use.
Dualizing the homology groups
H1 (E, Z) =
18.1,
from
Z hclosed
Z hboundaries
paths on
Ei
of regions in
Ei
by
A0 (E)
for
functions and
A1 (E)
f dx + gdy , where
A (E). These are objects
2-forms
C 1-forms on E , the
z = x + iy ; and nally we
for
i
i
z = Gd
z dz)
Gdx dy (= Gdy dx = Gdz d
2
2
with
elements.
bundle
1the
V2
T E = pE
Tp E . (Refer to 13.1 for notation.)
is written
[]
247
d : A0 (E) A1 (E)
sending
F 7 dF := Fx dx + Fy dy
F
F
=
dz +
d
z,
z
z
and
d : A1 (E) A2 (E)
f dx + gdy 7 df dx + dg dy
= (gx fy )dx dy.
The
1st
ker(d) A1 (E)
=
d(A0 (E))
1-form
[] 7 {[] 7
is then dened by
closed
exact
is written
C forms
;
C forms
[].
1
: HdR
(E, C) H 1 (E, C)
given by
is closed ( = 0) and
= d = = 0. If
(d = 0) then
=
=
exact (
and
is Stokes's
=
1
H (E, C) C2 which evaluates a functional against this basis,
! a nice
To see that
2 [] 7
integrating
248
!
!
du
1
([du]) =
=
(where we may assume H), and we
du
C/
coord. u
Noting that
that
([d
u]) =
is surjective since
1(=u)
!
!
d
u
du
=
=
du
d
u
!
!
1
1
2
,
span C .
!
, we conclude
d{f dz} = df dz =
f
we have used
= 0,
z
f
dz
z
dz
dz dz = dz dz = 0. (Here
which expresses the holomorphicity of f o its poles.) Using the
and
same
ker(Res) K1 (E)
H 1 (E, C)
d(K(E))
which also turns out to be an isomorphism.
(Here
ker(Res)
consists
1 (E)
t
/ ker(d)A1 (E)
exact
NNN
NNN
NNN
NNN =
N'
ker(Res)K1 (E)
/ H 1 (E, C)
exact
249
t)
many
{Et }tP1
t 1 (Et ),
!
P (t)
(t ) =:
.
Q(t)
write
t , t
for
H1 (Et , Z),
so that
P (t) =
t , Q(t) =
t .
t)
of
We can
P 0 (t)
Q0 (t)
!
,
Et P2
given by
dx
t =
1 (Et ).
y Et
We have
(t ) =
where
t , t
P (t)
Q(t)
!
=
dx
t x(x1)(xt)
,
t t
=
dx
t t
t
x(x1)(xt)
250
Et
1
t
or the topological picture
be
to
and
2.3).
From the latter picture, it is clear that for t small we may take t to
stationary on its sheet as t moves, and the two pieces of t on the
to
P1
Et
(cf.
P 0 (t)
Q0 (t)
t
=
d
) to obtain
dt
1
dx
2
(xt)
x(x1)(xt)
1
dx
2
t (xt)
x(x1)(xt)
and
00
P (t)
Q00 (t)
obviously the rst is
t
=
1/2 dx
|
xt y Et
x(x1)(xt)
3
dx
4
t (xt)2
4 dx
2
(xt)
251
x(x1)(xt)
3/4 dx
|
(xt)2 y Et
, and
so we have
t0
dx
=
,
(x t) y Et
1/2
(t, 0)
t00
dx
=
.
(x t)2 y Et
ker(Res) K1 (Et ),
3/4
Of course,
Therefore,
d(K(Et )),
C2 ),
it makes sense to
write
Dt [t ] = [t0 ] ,
Dt2 [t ] = [t00 ].
A(t)Dt2 + B(t)Dt + C(t) () = 0
|
{z
}
(22.5.1)
=:DPF
satised by
[t ]
P (t)
and
Q(t)!
However, to nd
A, B,
and
C,
2y
4ydx
2dy
d
=
+
,
(x t)2 Et
(x t)3 Et (x t)2 Et
|
{z
}
K(E)
which using
becomes
252
and using
y 2 = x(x 1)(x t)
again
x2 + (2 2t)x + t
=
dx
(x t)2 y
Et
(x t)2 2tx + t2 + (2 2t)x + t dx
=
(x t)2
y Et
(2 4t)x + t2 + t dx
= t +
(x t)2
y
Et
= = t + 4(1
2t)t0
+ 4t(1 t)t00 .
0 and) is
by 4 to simplify)
its periods
through
[t ].
1
4
C(t)
B(t)
t r + lim
= r2
r(r 1) + lim
t0 A(t)
t0 A(t)
which has a double root, implying one holomorphic solution (unique
up to scale) and one logarithmic solution near
t = 0.
t = lim
t0
t0
t
| {z }
lim
dx
p
.
x(x 1)(x t)
P (t)
P1 ) above, this
dx
dx
=
= 2i Res0
x x1
x x1
1
= 2i
= 2,
1
P
P (t) must be the holomorphic solution. Write P (t) = 2 an tn ,
a0 = 1, and apply DPF :
X
0 = DPF
an tn
X
1
=
t(t 1)(n + 2)(n + 1)an+2 + (2t 1)(n + 1)an+1 + an tn
4
n0
and so
X
n0
t,
253
Collecting terms
this
X
1
an (n + 1)an+1 tn +
[2(n + 1)an+1 (n + 1)(n + 2)an+2 ] tn+1
4
n0
X
n0
Shifting indices once more, we have
X 1
n0
Since this power series is zero, we get a recurrence relation for the
coecients of
P (t):
an+1 =
n + 12
n+1
2
an ,
so that
an
1/2 3/2
1/2 3/2 (1/2 n + 1) 2
1/2 + n 1 2
= a0
=
|{z} 1 2
n
n!
=1
2
1/2
=
and
P (t) = 2
X 1/22
n
n0
Again, the situation as
t0
tn .
looks like
0
t
t
In the next chapter the formula for
rational points on cubics over
Fp .
P (t)
254
Exercises
(1) Check that 2 F1
1 2
, ; 1; (3t)3
3 3
m0
t3m
(3m)!
by writing out
(m!)3
0} P1Z0 :Z1 P1W0 :W1 are in fact elliptic (except at those nitely
many t which ones? for which they are singular). You could
1
do this by projecting to the rst P and using Riemann-Hurwitz to
compute the genus. (To use R-H in this way, rst nd all vertical
tangents places on the curve where the partials with respect to
W0
and
W1
vanish.)
(3) Writing the family of curves from the last exercise in ane form,
CHAPTER 23
Counting
Fp -rational
In this nal chapter on elliptic curves, we take a brief dip into something much more arithmetic, counting the number (mod
in
P (Fp )
p) of solutions
to the equations for the Hesse and Legendre cubics from the
t,
which is taken to be an
p.
modulo
Fp )
in
each case is given by nearly the same power series as the holomorphic
period on the corresponding complex family of elliptic curves from Ch.
22. We briey explain one abstract way, due to Y. Manin, to understand this connection between arithmetic and transcendental algebraic
geometry.
(p)
k Z,
(
xk =
xFp (or Fp )
in
0, p 1 - k
1, p 1 | k
Fp .
y Fp , the assignment x 7 yx
groups Fp Fp . Therefore
X
X
X
yk
xk =
(xy)k =
xk .
Proof. Given
phism of additive
(23.1.1)
xFp
1The
xFp
yields an isomor-
xFp
interested reader is urged to study the theory of modular forms(!) and look
256
23. COUNTING
Now,
Fp
Fp -RATIONAL
p 1,
(Fp )k = {1}
Provided
p 1 - k,
and so
p 1 | k.
y Fp
with
y k 6= 1.
By (23.1.1),
we have
0 = (y k 1)
xk
xFp
which implies (dividing by
y 1)
X
0=
xk .
xFp
and so
xFp
xFp
Lemma 23.1.2. For
x Fp ,
p1
X
(
xk =
k=1
Proof. If
0, x 6= 1
.
1, x = 1
If
x 6= 1
p1 times
then
(1 x)
| {z }
6=0
p1
X
x =
k=1
p1
X
k=1
= xx
p
X
xk
k=2
p
= x(1 xp1 )
which (since
Fp
is cyclic of order
p 1)
= x(1 1) = 0
Fp .
F2p
Proof. Since
over, if
Fp
Then
p1
2
1,
(p)
p1
2
and
1.
(p)
p1
p 1, ( 2 )2 = p1 = 1. Morep1
is cyclic of order
is a generator then we
23.2.
Fp -POINTS
p1
, a contradiction). Hence
2
have order
x 7 x
p1
2
257
yields a surjective
Fp {+1, 1},
1
|F | = p1
.
2 p
2
p1
1. As 2 elements of
p1
2
= p1 =
kernel of and
23.2.
Fp -points
Now if
Fp
= 2
is a
1.
|Et (Fp )| 1 +
(23.2.1)
(p)
o
Xn
p1
1 + [x(x 1)(x t)] 2 .
xFp
(23.2.1).
P
Fp ) xFp 1 = 0, so the RHS of
X p1
p1
p1
1+
x 2 (x 1) 2 (x t) 2
Now (summing in
(23.2.1) is
xFp
p1
2 p1
X
p1
2 p1
X
p1
p1
p1
2
2
= 1+
x 2
x 2 ` (t)`
xk (1) 2 k
`
k
xFp
`=0
k=0
p1
p1
2
2
p1
p1
X
X
X
p1
p1
`
`
k
k
2
2
2
= 1+
x
x (t)
x (1)
.
`
k
xF
`=0
k=0
X
258
23. COUNTING
Fp -RATIONAL
xFp
P p1
2
m= p1
2
p1
2
2
X
X
p1/2
p1/2
p1
= 1
x` (t)`
xk (1) 2 k
`
k
`=0
k=0
p1
2
= 1
(t) (1)
p1
`
2
= 1 (1)
p1
2
X
p1/2 2
`=0
= 1 + (1)
2
p1/2
`=0
p+1
2
p+1
2
t`
X 1/2
t`
`
`0
=: P (t).
For the last step, we use the denition (in
1/2
1/2
:=
Fp )
3/2 (1/2 ` + 1)
,
`!
which is evidently
1p1+2
2
p
2
to be
1
0 when p > ` > p1
(since
p+1
+1 =
2
2
2
p1
p1
2
equals
for 0 `
(and is dened
2
`
= 0), and
` p). We conclude:
for
Proposition 23.2.1.
Et .
Notice that
(23.2.2)
P (t)
23.3.
is a mod
p
Fp -rational
P (t)
from
22.6!
p 1
mod
3.
I can't resist doing the same exercise for the other main example
from the last chapter, namely
Et = {XY Z = t(X 3 + Y 3 + Z 3 )}
where again we assume
t Z.
xy = t(x3 + y 3 + 1)
am x m .
23.3.
Fp -RATIONAL
259
1 = t(x2 y 1 + x1 y 2 + x1 y 1 ),
|
{z
}
=:(x,y)
(x, y)
is dened for
(x, y) (Fp )2 .
Using the toric form and Lemma 23.1.2, it is easy to compute the
Fp -points
Et := Et (Fp ) (Fp )2 .
Namely, in
Fp
(i.e. mod
|Et |
p)
X
p1
X
tk ((x, y))k ,
(x,y)(Fp )2 k=1
the point being (besides the Lemma) that
exactly those
(x, y)
on
Et .
t(x, y)
is
(in
Fp )
for
becomes
(23.3.1)
p1
X
tk
(x, y)k .
(x,y)(Fp )2
k=1
Now by Lemma 23.1.1
xi y j =
xi
xFp
(x,y)(Fp )2
For
yj =
yFp
1, p 1 | i, j
.
0, otherwise
k [1, p 2],
(
((x, y))k = []0 +
Our assumption on
x, y
p1
implies that
3 - p 1,
)
.
and so
xp1
or
y p1
p1
X
tk [k ]0 tp1 3.
k=1
Recall from
22.2
that
[k ]0 =
3m
m,m,m
if
k = 3m
(and
if
3 - k ).
260
23. COUNTING
Fp -RATIONAL
Z=0
X = 0, Y = 0,
[1 : 1 : 0] , [0 : 1 : 1] , [1 : 0 : 1]
in
Et (Fp ).
in
Z=0
Y = 1;
(on
Et )
we must have
X, Y 6= 0
X + 1 = 0.
This has
We conclude that
p1
p1
bX
3 c
m=1
P (t)
3m
t3m ,
m, m, m
from before!
in
23.2,
|Et (Fp )| 1
(not
2
() = 0 ? Indeed, P (t) 1 = (1)2 P (t),
from 22.6!! The two computations were
1
4
curve theory, pp.65-69] and I'll just give a hint of the avor here. It involves an algebro-geometric version of the Lefschetz trace formula (the
formula from topology for the number of xedmm points of a mapping),
the Riemann-Roch theorem, Serre duality, and abstract sheaf theory.
Not elementary, but we can give a brief summary (with no claim to
total accuracy).
Consider
points, and
pth -power
n
o
= 1 trace f rob |H 1 (Et /Fp ,O)
Fp .
of xed
Fp ,
the
By the
261
f robp
are taken to be in
f robp .
Et (Fp )
rather than
Et (Fp )) p
and
p, q
P
h = y1 + `0 b` y ` about
q ,2 and also expand a generator t 1 (Et /Fp ) (regular dierentials) as
P
[1 + k1 ak (t)y k ]dy . Recall also from the complex case, that residues
h
Next, we expand
So for functions
Resq (F );
if
with a pole at
q,
we
space, this reads f rob [h] = [h].) Moreover, Resq (ht ) = 1 while
Now, writing
= Resq (ht )+Resq (f t )+Resq (gt ) = Resq ((f rob h)t ) = ap1 (t),
with the last equality obtained by multiplying out the explicit expressions for
f rob h
and
t .
So we end up with
2note
that
[1 : 0 : 0]
on
Et ; x
does not.
262
23. COUNTING
Fp -RATIONAL
[t ]
does.
t ) ap1 (t) must satisfy the Picard-Fuchs equaAgain, the regular solution of DPF () = 0 is
Exercises
(1) Check that
Et (Fp )
2
E P
p, q E(C)
(2) Let
is closed under
f robp ,
for
t Fp .
meromorphic functions on
Let
and
q,
with sub-
Prop. 13.1.6(b)).]
Part 4
CHAPTER 24
24.1)
using techniques
P2 ,
24.2
we
will actually have proved (cf. Prop. 24.2.1(c)) that for any Riemann
surface
of genus
g , dim(1 (M )) = g .
C P2
266
C(x, y)
under
(Recall
e := C(x, y)C .
C(C)
Next we consider the projection
: P2 \{[0 : 0 : 1]} P1
[Z : X : Y ] 7 [Z : X],
e as a
We have inclusions
e K(C)
C(x) C(C)
(24.1.1)
rat'l
mero.
fcns.
fcns.
and
C(x) =
e
C
meromorphic functions on
C = {Y 2 Z = X 2 (X Z)}
[1 : 0 : 0]. The pullback of xy
Example 24.1.1.
at its ODP
values
and
e
C
Y =
therefore takes
The point is that rational functions are not well-dened at all points
of
functions on
2the
mapping degree
deg(
) = d (= deg(C))
by Bzout
267
e
K(C)
Writing
(24.1.2)
C,
we have as in
8.2
distinct solutions
{yj (x)}dj=1 to
(24.1.3)
x P1 \(
(P )), one can think of (x, yj (x)) as belonge with
ing to C
(x, yj (x)) = x. Consider the elementary symmetric
polynomials (i = 0, . . . , d, with e0 = 1)
For each
x0 .
Repeating
ei K(P1 );
and by Theorem 3.1.5(a)
Next observe that for
0 =
K(P1 )
= C(x).
1
any x P \(
(P ))
d
Y
and
j {1, . . . , d},
i=1
3as
in
8.2
in this form
268
0 =
d
X
e, (p)
pC
(1)i ei (
(p)) (p)di .
i=0
Therefore the meromorphic function
itself satises
d
X
0 =
(1)i (
ei ) di ,
(24.1.4)
i=0
with coecients in
C(x).
e).
e)
e :
[K(C)
C(x)] > d, there would thus
e was arbitrary, (24.1.4)
but as K(C)
be an element of degree
> d;
e :
[K(C)
C(x)] d.
Putting this together with (24.1.1) and (24.1.3), we see that
e = C(C),
e
K(C)
proving the
Theorem 24.1.2. Every meromorphic function on the normaliza-
the
is rational (i.e.
f dg
f, g
where
are rational).
H (M, Z) =
g.
Recall from
20.1
that
closed loops
boundaries is an abelian group of
to be the
2g -dimensional
269
Exactly as in
groups
d
1
(M )
HdR
:=
To any closed
ker{A1 (M ) A2 (M )}
d
image{A0 (M )
1-form
A1 (M )}
C 1-forms
.
exact C 1-forms
functional 7
closed
on
M ),
1
HdR
(M ) , H 1 (M, C).
(24.2.1)
Surjectivity also holds but will require a little more work than for elliptic curves.
Writing
1
1 (M ) 1 (M ) , HdR
(M )
(24.2.2)
via
(, ) 7 [ + ].
d(1 (M )) = 0 = d(1 (M ))
injectivity, suppose + = df ,
Remark 22.3.2(a)).
f A0 (M ).
To prove
Then
d(f ) = f d + df = ( + ) =
|{z}
=0
zi = xi + 1yi ,
X
X
=
gi dzi gi dzi = 2 1
|gi |2 dxi dyi .
M
i
i
| i
{z
}
since
R0
= 0 gi 0, we have
= 0 0.
M
=
M
M = ,
d(f ) =
M
f = 0
M
270
df = = f
= 0 = f O(M ) = f
z
constant (by Liouville) = = 0. So (24.2.1) is injective.
d3
By now you are quite familiar with the fact that dim(S3
) =
(d1)(d2)
(d3)+2
2
=
. If S is a set of points in P , then the homo2
2
geneous polynomials of degree d 3 vanishing on each of these points
are subject to (possibly dependent) linear conditions. Denoting the
d3
space of such polynomials by S3
(S), we therefore have
which implies
0.
So
(d 1)(d 2)
.
2
dim(S3d3 (S))
(24.2.3)
: M P2 is injective o a
algebraic curve C = {F (Z, X, Y ) = 0}
Now assume
image an
d (F S3d ),
e.
M =C
dim(S3d3 (S)) g.
4 we have a map
By Remark 20.1.1,
S3d3 (S) 1 (M )
given by
G 7
g dx
fy
1
(M ) , H 1 (M, C).
S3d3 (S) S3d3 (S) , 1 (M ) 1 (M ) , HdR
Notice that the left-hand side has dimension
side has dimension exactly
2g .
2g
4see
(of genus
g)
nor-
271
S = {p1 , . . . , p },
20.1.
1 , . . . , 2g
Recall that if
a basis for
(M ),
is a basis for
then
1 1
.
.
.
..
..
1 g
H1 (M, Z)
2g 1
.
.
.
2g
of
are
R-linearly
described in
and
1 , . . . , g
R2g (
= Cg ),
the columns
independent.
a R2g
satisfying
0 = a ;
then we have also (by complex conjugating)
0 = a.
That is,
b C2g
a=0
!
is less than
2g .
such that
!
= t0 ,
that
g
g
X
X
(
bi i +
bg+1 i ) = 0.
j i=1
| {z }
=:
|i=1 {z
=:
272
Exercises
(1) Write a basis for the holomorphic 1-forms on the (smooth) curve
C P2 with
dim(1 (C))?
ane equation
1 + x6 + y 6 xy 5 = 0.
What is
CHAPTER 25
p but
1
no poles anywhere else? Then you still get nothing, unless M is P (in
1
which case there is (zz(p)) ). This is because for g = genus(M ) 1,
there is a nonzero holomorphic form which doesn't vanish at p. For
P
any meromorphic function f on M , we know that
qM Resq (f ) = 0;
so if f has a simple pole at p, then Resp (f ) 6= 0 and f must have
Riemann surface
M.
p (but still no
other poles)? Then the answer is more complex; if g = 0 or 1 there are
nonconstant such functions (e.g. the Weierstrass -function), while if
g 2 it can depend on the point p. In general, the vector spaces of
functions f K(M ) with a single pole (at p) with p (f ) k has
dimension max{1, k g + 1}. You are guaranteed to get something
nonconstant as soon as k g + 1 2.
What if we are prepared to allow a double pole at
(and
k)
student Roch turned this into an exact equality (Theorem 25.2.3 below) incorporating another term related to meromorphic 1-forms.
encompasses the equality
dim( (M )) = g
It
273
274
is. Now let me tell you one nontrivial theorem, the Riemann-Roch Theorem.
P
mp [p] and E = pM np [p]
divisors on M . (Of course, only nitely many mp and np are nonzero.)
If for all p mp np , then we write D E .
Let
D=
be a Riemann surface,
Definition 25.1.1.
pM
D Div(M )
is eective
()
D 0.
of a holomorphic
1-form
is
eective. (Why?)
We can use this idea to put constraints on meromorphic functions
D = 3[q] 2[r],
f K(M ) with
divisor (f ) =
pM p (f )[p]. Then imposing the inequality (f )+D 0
forces q (f ) + 3 0 and r (f ) 2 0; that is, f is allowed a pole of
order no worse than 3 at q , and must have a zero of order at least
2 at r. Likewise, if K1 (M ) then () D means has a zero of
order at least 3 at q , and is allowed a pole of order no worse than 2 at
r. The next denition formalizes this and denes the quantities which
and forms. For instance, suppose
and
D Div(M ),
f K(M )
D, E Div(M )
with
(f ) = D E ;
we write
rat
D E.
Proposition 25.1.5. If
rat
D E,
275
then
deg(D) = deg(E);
(ii) L(D)
= L(E);
(iii) I(D)
= I(E); and
(iv) `(D) = `(E) and i(D) = i(E).
(i)
Furthermore,
rat
Div(M ).
D E = (f ). Now Exercise
(i). Given g L(D),
Proof. By assumption
deg((f )) = 0,
which yields
(f g) + E = (f ) + (g) + E = (g) + D 0 ;
so
g 7 f g
denes a map
L(D) L(E),
and
h 7
h
denes an inverse
f
map. This gives (ii), and (iii) is done in the same way. (iv) obviously
follows from (ii)-(iii). The last statement about
that
rat
is essentially just
(D + (f )) + (E + (g)) = (D + E + (f g)).
P ic(M )
of
20.1
is just
Div(M )
rat
P ic(M )
to
deg, `,and
Z.
class
[K] P ic(M ).
D Div(M )
be arbitrary, and
I(D)
= L(K D),
and so
K = (); if (f ) + K D 0, then (f ) = (f ) + K
D K + K = D. So f 7 f maps L(K D) I(D), and 7
gives an inverse.
Proof. Let
276
d
projective algebraic curve with ODP singularities S = {p1 , . . . , p }.
e
Let M := C
P2 ((M ) = C ) be its normalization, with 1 (pi ) =
{qi , ri }, and dene a divisor
Throughout this section we take
to be an irreducible degree
X
E := (S) =
[qi ] + [ri ] Div(M )
1
i=1
of degree
2 .
H P2
H := 1 (H C) Div(M )
for the intersection divisor (of degree
d).3
m N,
`(mH E) md 2 g + 1
and
i(mH E) = 0,
where
g=
(d1)(d2)
2
is the genus of
M.
Proof. Write
polynomials of
homogeneous
G 7
.
Rm
By Study's lemma,
and so
G
Rm
0
G|C 0
F |G,
L(mH E) im(),
3If H
pi ,
then
qi and ri
at
pi .
H,
with
277
we nd
`(mH E) dim(im()) = dim
S3m (S)
F S3md (S)
(m + 1)(m + 2)
(m d + 1)(m d + 2)
2
2
d(d 3)
= dm
2
(d 1)(d 2)
+1
= dm
2
= dm 2 g + 1.
D Div(M ), p M .
Then
0.
P
D = qM nq [q],
f K(M ) satisfying
Next, writing
function
(f ) + D + [p] 0
(25.2.1)
If
f, g
an element of
and
so that
f g L(D).
So
:= limxp
f (x)
, we have
g(x)
g) np
and we conclude
(25.2.2)
Similarly, writing
is a
p (f ) = (np + 1).
L(D + [p])\L(D)
Altogether,
278
f satises (25.2.1),
K (M ) satises
() D
which is
and
p () = np ,
(f ) = (f ) + () [p]
with
p (f ) = p (f ) + p () = 1.
But the sum of residues of a meromorphic form must be zero (Prop.
13.1.6(b)), so
absurd.
of genus
g, D
a divisor on
M.
be a Riemann surface
Then
e.
M =C
m0 Z
such that
m m0 =
`(mH E) i(mH E) md 2 g + 1.
Now for any two lines
lines in
H1 , H2 ,
we have
rat
H1 H2 ;
so if
H1 , . . . , Hm
are
`(H1 + + Hm E) i(H1 + + Hm E) md 2 g + 1.
Taking
points
m large enough and lines through (a) all points of S and (b) all
Pm
in D , we can ensure that
i=1 Hi E D is eective, so that
H1 + + Hm E = D + [P1 ] + + [Pk ]
where
k = md 2 deg(D)
(and the
Pj
are points of
M ).
Therefore
we have
` D+
k
X
j=1
!
[Pj ]
k
X
i D+
[Pj ]
j=1
!
k + deg(D) g + 1.
279
k
X
k + `(D) i(D) ` D +
[Pj ]
!
i D+
j=1
k
X
!
[Pj ]
j=1
(25.2.4)
K D
into (25.2.4),
we have
equality
`(D) deg(D) g + 1,
and (by putting
D=0
dim 1 (M ) = g.
Here is one more simple application:
Proposition 25.2.4. Up to isomorphism,
surface of genus
P1
0.
has genus
Riemann-Roch,
`(D) = deg(D) g + 1 = 1 0 + 1 = 2.
Now
L(D)
(and
belongs to
Liouville must have the allowed simple pole. Therefore the mapping
280
degree of
f : M P1
is (cf.
14.1)
is an isomorphism.
Exercises
(1) Check that any two canonical divisors on a Riemann surface are
rationally equivalent.
(2) Let
(3)
(4)
(5)
CHAPTER 26
P1 ,
arbitrary Riemann surface of one of these genera can be so embedded. In fact, it isn't true once you get to genera
6, 10, 15, . . ..
That it
works for genus 1 and genus 3 (almost; see next Chapter) is a bit of
a miracle!
So: if you buy that any genus 1 Riemann surface is a complex 1torus and any torus can be Weierstrassed into
isn't surprising.
and
3)
M
later.
(M )
3.
: M , P2
with
282
26. APPLICATIONS OF RIEMANN-ROCH, I: SPECIAL RIEMANN SURFACES
p M,
Proof. Given
we know that
i(2[p]) = 0 = i([p])
by Exer-
`(2[p]) = deg(2[p]) g + 1 = 2 1 + 1 = 2,
`([p]) = deg([p]) g + 1 = 1.
In terms of the spaces of meromorphic functions, this says that
x L(2[p])\L([p]),
i.e. a meromorphic function with a double pole at
Regard
as a morphism
M P1 .
By Riemann-Hurwitz, the
ramication degree
2.
14.1
for
notation)
p1 , p2 , p3 , p4 M
distinct. Set
p1
p2
p3
a1
a2
a3
x
1
In the following,
{pi }
resp.
{ai }
means
i = 1, 2, 3.
x ai
283
ai
P1 .
on
The
loc
dx = 2zi dzi .
ferentiating gives
1 (M ),
Theorem
0=
Writing
(locally)
z :=
= dz ;
Resq (x ) = Resp (x ).
qM
p,
we have
+ h(z) (h
holomor-
loc 1
x=
loc
z2
2
1
2
0
term. Taking dierentials, dx =
+
h
(z)
dz . Put
phic) has no
3
z
z
together with the previous local computation, this tells us that dx has
divisor
(dx) =
3
X
!
[pi ]
3[p].
i=1
y0 := dx
K(M ) .
Set
that
() = 0,
we have
3
Y
g(x) :=
(x ai ),
i=1
P3
2
then (g(x)) =
i=1 2[pi ]) 6[p] = 2(y0 ) = (y0 ). We
i=1 (x ai ) = (
g(x)
conclude that
has trivial divisor and so is some constant C , and
2
y0
dene y := y0 C so as to have
P3
y 2 g(x) = 0
on
M.
1For
Write
2
zi it means
p that x ai = zi hi (zi ) where
h doesn't vanish at 0; and then we can put zi := zi hi (zi ).
2the coecient of 1 can be achieved by rescaling if needed
z2
an arbitrary choice of local coordinate
284
26. APPLICATIONS OF RIEMANN-ROCH, I: SPECIAL RIEMANN SURFACES
a diagram
C \ {p}
(26.1.1)
E \ {[0 : 0 : 1]}
/ P2 \ {[0
PPP
lll
PPP
lll
l
PPP
|E
l
l
x
PPP
lll
P'
lll
u
l
1
/ /
: 0 : 1]}
([Z : X : Y ]) := [Z : X].
is not injective, there exist
where
If
distinct points
q1 , q2 M \{p}
such
that
(q1 ) = (q2 ) =: Q;
applying
to this gives
M,
that
1
we have a basis {1 , 2 } (M ), and 2 produces a meromorphic
1
function, which does the job. By Poincar-Hopf, deg((1 )) = 2g 2 =
2, and so this map has two simple poles (or one double pole), hence
has degree two.
In terms of homogeneous coordinates, we might write
p 7 [1 (p) : 2 (p)],
loc
i = fi (z)dz in
terms of a local coordinate vanishing at p) simply [f1 (0) : f2 (0)]. If both
fi could simultaneously equal zero we would have a well-denedness
i([p]) 2.
By Riemann-Roch
285
M is hyperelliptic
1
morphism x : M P .
Now, let
i there
x:
M = 2P1 rx
X
2 2g = 2 2
(p (x) 1),
pM
where
deg(x) = 2 = p (x) 2.
2g + 2:
Rx = [p1 ] + + [p2g+2 ].
P1 if necessary, we may as1
sume that none of the x(pi ) =: ai are 0 or . Put x ([]) =: [p] + [q]
1
0
0
and x ([0]) =: [p ] + [q ]. We have the picture
x
By composing
with an automorphism of
p1
a2
: M M denotes
M over P1 (cf. Exercise 1).
Lemma 26.2.2. Let
a2g+1 a2g
(+1)-
and
(1)-
eigenspaces of
polynomial
m(t) = t 1.
diagonalizable.
= 1.
V =V
J.
J: V
V into
the
a1
in which
p2g+1 p2g
P
of
p2
V,J
Moreover, since
J =
is
satises
286
26. APPLICATIONS OF RIEMANN-ROCH, I: SPECIAL RIEMANN SURFACES
: 1 (M ) 1 (M ).
Notice
=
1 (M ).
Put D = (g + 1)[p] + (g + 1)[q] Div(M ). We have (Exercise 25.2)
i(D) = 0, so that Riemann-Roch gives
for all
`(D) = 2g + 2 g + 1 = g + 3.
Now apply the Lemma again, this time to
that
L(D)+
: L(D) L(D),
noting
{1, x, x2 , . . . , xg+1 }.
In fact,
and so
pi
that
y = y .
(pi ) = pi
. But then
y L(D) = y 1 ([]) D =
3using
(e.g.
y 1 ([0]) =
LM (D)
just means
L(D))
Set
287
2g+2
g(x) :=
(x ai ) K(M ) ,
i=1
Div(M ))
X
X
X
(g(x)) =
((xai )) = 2
[pi ](2g+2)x1 ([]) = 2
[pi ]2D = (y 2 ).
But then
we have
y,
y 2 g(x) = 0.
By considering the image of
: M P2
given by
p, q 7 [0 : 0 : 1],
we arrive at:
Theorem 26.2.4. Hyperelliptic Riemann surfaces are precisely the
(
Y 2 Z 2g =
(X ai Z)
P2 .
i=1
A basis of
1 (M )
is given by
j :=
xj1 dx
,
y
j = 1, . . . , g.
is holomorphic:
holomor-
phic dierentials that follows shouldn't be compared with the formulas you know
in that case. Also, it should be emphasized that the
ai
are distinct.
288
26. APPLICATIONS OF RIEMANN-ROCH, I: SPECIAL RIEMANN SURFACES
Exercises
: M M 0 of compact
Riemann surfaces, with corresponding involution dened as follows: if p M is a ramication point of , (p) := p; otherwise,
1 ((p)) = {p, p} and (p) := p. Clearly = IdM (i.e. is an
involution) and = . Prove that : M M is a holomorphic map of Riemann surfaces. Since is injective and surjective
(why?), it follows that Aut(M ).
1
1
0
that = for some (M ).
2
Suppose that a dth-degree irreducible algebraic curve C P has
a point of multiplicity (d 2). Show that C is hyperelliptic.
Let M be a Riemann surface of genus two. In this problem you
will construct a realization of M as an algebraic curve, dierent to
that produced above. You will need to use that M is hyperelliptic,
1
with x : M P its degree-two mapping and the associated
involution. Take p and q (in contrast to the notation above) xed
non-ramication points on M with distinct images under x; let
and denote arbitrary points of M .
(a) Prove that `([] + []) = 1 unless () = . [Hint: otherwise
(2)
(3)
(4)
holomorphic map
-symmetric.]
(b) For any points , on M , show i([] + [] [p] [q]) = 1 (as
opposed to 2) {, } =
6 {p, q}. [Hint: use (a), and consider
`([] + [] [p] [q]).]
2
(c) Use I([p] [q]) to construct a map : M P . [Hint:
compute i([p][q]).] You will need to check that is well-dened.
[Hint: compute i([p] [q] + []), using Exercise 25.2.]
forms implies their divisors are
EXERCISES
289
CHAPTER 27
The
second approach behaves dierently in the hyperelliptic and nonhyperelliptic cases, so we rst will want to convince ourselves that there are
nonhyperelliptic Riemann surfaces! To see this, we will start with an
heuristic argument for the number of complex parameters governing
Riemann surfaces, and show that the hyperelliptic ones have fewer parameters. But there's much more in this chapter, which should give a
glimpse of how rich the correspondence between algebraic curves and
Riemann surfaces really is.
27.1. Moduli
In algebraic geometry there is the notion of moduli spaces, which
parametrize structures of a prescribed sort modulo some equivalence
relation, such as smooth algebraic curves of degree
equivalence or Riemann surfaces of genus
up to projective
up to isomorphism. A
main point is that these spaces can be given algebraic structure themselves, i.e.
Suitably
(resp.
0)
Riemann surfaces have one modulus (resp. zero moduli) since they can
all be expressed as
1so-called
Underlying
292
27. APPLICATIONS OF RIEMANN-ROCH, II: GENERAL RIEMANN SURFACES
26.1 that not all Riemann surfaces of genus 6, 10, 15, etc.
2
embedded smoothly in P is a deep calculation of Riemann:
the claim in
can be
phism) have
3g 3
[p]) = 0
(up to isomor-
moduli.
eective divisor
g2
2g
of degree
p M.
on
M.
M , and any
i(D) = i(D
Riemann surface
By Exercise 25.2,
So Riemann-Roch says
`(D) = deg(D) g + 1 = g + 1,
`(D [p]) = g.
f L(D) and not in any of the nitely many L(D
[p]) for those p appearing in D; and so f 1 ([]) = D, which means
deg(f ) = deg(f 1 ([])) = 2g . Now Riemann-Hurwitz tells us about
Hence there exists
M = deg(f ) P1 deg(Rf )
2 2g = 2g 2 rf
rf = 6g 2.
For almost all
the points in
Rf
B P1
consists of
6g 2
P1 ,
meaning that
M.
Look at this in a slightly more formal way, consider the set
S1
in the rst paragraph shows that the rst map is surjective (while the
second obviously is), and so
(27.1.1)
27.1. MODULI
293
2 and in fact
the construction shows that there are only nitely many possibilities
for
M.
tions on
M.
family of automorphisms of
But for
g 2 M
dim(S1 ) = dim(S3 ) = 6g 2.
desired result.
2g 1
moduli.
Proof. They are essentially just the existence domains of the al-
qQ
2g+2
subtracting
dim(P GL2 ) = 3.
d+2
2
dimension
coordinates by
modulo
moduli.
d+2
S3d ,
which has
GL3 (C),
9.
(Here
P GL3
is not
genus
2like p(z a)(z b)(z c)(z d) (for g = 1), but more complicated (since g 2);
cf. [Griths and Harris], pp. 255-257
294
27. APPLICATIONS OF RIEMANN-ROCH, II: GENERAL RIEMANN SURFACES
g 3
is non-hyperelliptic.
So we will need a more general method of realizing Riemann surfaces
as algebraic curves than that discussed in
26.2,
P2 of degree 3, 4, 5, 6, 7, . . .:
namely,
so on. The Riemann surfaces of these genera have (by Thm. 27.1.1)
moduli
will be treated in
27.3.
Beyond
that, we have:
d5
(d1)(d2)
do not yield all the Riemann surfaces of genus
only a
2
special subset.
`(D) = deg(D) g + 1.
This will be used repeatedly in the argument below.
Now x a divisor
D=
pM
np [p] Div(M )
of degree
d 2g + 1.
: M , Pdg .
d g g + 1, this can only give an embedding in P2 for g = 1.)
The support of D , which is the subset of M consisting of the points
aapearing in D (i.e. those p with nonzero np ), is written |D|.
(Since
3It's
down (I've expressed it in a somewhat bloated manner) and writing it out for a
specic choice of
and
g (> 1,
295
{f0 , . . . , fdg }
(27.2.1)
If
for a
Write
p |D|,
Therefore if
is a local
(27.2.2)
For points
Now for
p, q M ,
notice that
> 2g 2.
D [p], D 2[p]
and
D [p] [q]
Therefore we have
`(D [p]) = d g
and
(27.2.4)
(27.2.5)
p, q
/ |D|. Then
(27.2.3) says that there exists f L(D) not vanishing at p, meaning
that the {fi (p)} are not all zero; this makes well-dened on M \|D|.
Next, (27.2.4) gives us g L(D [p])\L(D [p] [q]), a function
vanishing at p but not q , forcing to take dierent values at p and q ;
hence is injective on M \|D|. Finally, (27.2.5) provides h L(D
[p])\L(D 2[p]), i.e. vanishing to exactly rst order at p, so that the
To interpret these, for simplicity rst assume
4Note
p |D|;
np = 0.
p
/ |D|
we have
296
27. APPLICATIONS OF RIEMANN-ROCH, II: GENERAL RIEMANN SURFACES
derivative of
hence that of
M \|D| is smooth.
In order to extend these statements to all of M , we have to rene
the argument just a bit. For a general points p, q M , (27.2.3) tells
us that there exists a function f L(D) with p (f ) = np exactly;
(27.2.4) that some g L(D) has p (g) > np but q (g) = nq ; and
(27.2.5) that there exists an h L(D) with p (h) = np + 1 exactly.
injectivity result, this proves that the image of
Pdg ,
g 2,
M,
and let
{1 , . . . , g } 1 (M )
be a basis. Instead of choosing a divisor and go through Riemann-Roch
to get a projective embedding from meromorphic functions, why not
just use these? Dene the canonical map
K : M Pg1
by
p 7 [1 (p) : : g (p)].
The meaning of this, as you would expect, is locally writing each
as
fi (z)dz , and taking [f1 (p) : : fg (p)]. This is well-dened, i.e. the
{i } do not all have a zero at p. Otherwise we would have I([p]) =
I(0) = g hence (by Riemann-Roch) L([p]) = 2, which we know to be
1
false for M not isomorphic to P .
Bottom line:
dx x dx
xg1 dx
K (p) =
:
: :
= [1 : x : : xg1 ].
y
y
y
297
Notice that this looks a lot like the rational canonical map
from
C @
@
@@
@@
@@
P
z<
z
zz
zz
zz f
g1
P1
with
deg(x) = 2,
in
Pg1 .
All is not lost: the hyperelliptic case is very special (in a bad way),
and for
g3
K is nondegenerate;5
K (M ) is smooth; and
K is injective M
Pg1 ,
K be the canonical
g 2. Then
K (M )
is nonhyperelliptic.
{i }.
Example 27.3.1.
Now let
(k1)
(p).
dz
If the rst is zero on some given , then I([p]). If the rst and
second are zero, then I(2[p]). If all are zero, then I(k[p]).
Since k linear conditions cut out a subspace of codimension at most k ,
5cf.
298
27. APPLICATIONS OF RIEMANN-ROCH, II: GENERAL RIEMANN SURFACES
we have
i(k[p]) = g k + a
and by Riemann-Roch
`(k[p]) = k g + 1 + i(k[p]) = 1 + a.
k = 1, there can be no redundancies in one linear
condition and so we have a = 0.
1
(q) yield the same functional on (M ), up to a constant multiple;
dz
in particular they vanish on the same 's. So I([p]) = I([p]+[q]), which
yields i([p] + [q]) = i([p]) = g 1 and via R-R
For the special case
F L([p]+
[q]). We know that L([p]) and L([q]) have only constant functions
(a = 0 when k = 1), and so F has to have the allowed simple pole at
both of p and q . Thus deg(F) = 2, and so M is hyperelliptic. This
completes the proof of (c).
(b, cont'd.)
have
M is non hyperelliptic.
a = 0 for k = 2. Consequently
Now assume
`(2[p]) = 1,
i.e.
Then we must
i(2[p]) = g 2
i([p]) = g 1),
coordinates at p,
(whilst
local
1 (M )
so that in
loc
loc
1 = dz , 2 = zh2 (z)dz ,
loc
j = z 2 hj (z)dz (3 j g).
(Here the
hi (z)
h2
doesn't vanish at
z = 0.)
The
p.
299
and hyperplane
deg(C)
well-dened.
In the case at hand,
is
and
H = (1 1 + + g g )
M!
K (M ) a
is a canonical divisor on
map, and its image
That's why
canonical curve.
is nonhyperelliptic of genus
K (M ) P
g1
is
ize
K (M ).
g.
2g 2.
M
normal-
deg(K) = 2g 2
deg(K (M )) = deg(K H) =
and that's it.
We then compute
by Poincar-Hopf,
curve is the
on a Riemann surface
M,
are possible if we are after a meromorphic function with its only pole
at
p.
300
27. APPLICATIONS OF RIEMANN-ROCH, II: GENERAL RIEMANN SURFACES
g>0
of
M.
Assume
`(0) = 1
`([p]) = 1
by the
that
25 Exercise 2) that
Riemann-Roch)
k 2g 1,
i(k[p]) = 0
yields
`(k[p]) = k g + 1.
`(k[p]) starts (at k = 0) at 1 and works its
way up to g in increments of 0 or 1, as k rises to 2g 1; thereafter it
increases by 1 whenever k does.
The situation with i(k[p]) is dual: it starts at g and works its way
down to 0 in decrements of 0 or 1, as k rises to 2g 1; and then it stays
at 0.
Now it turns out that at all but nitely many points, `(g[p]) = 1;
So the scenario is that
that is, all the increments are postponed as far as possible and the
sequence
`(k[p])
looks like
1, 1, 1, . . . , 1, 2, 3, . . . , g,
and so on.
Those
points where this is not the case are called the Weierstrass points of
M.
Exercises
K (p)
near p.
in
27.3
3),
P2
is independent of the
(3) In this exercise you will prove a new Cayley-Bacharach type result
(in
P2 ):
if
C1
and
C2
(of degrees
and
n respectively, with C1
mn distinct points, and
EXERCISES
C3
301
(of degree
it passes
f2 , f3
by assuming
C3
p,
: C C
C of a linear automor
1
phism of P
. [Hint: consider the action of on (C).]
(b) Let M be a non hyperelliptic Riemann surface of genus 3 with
an involution . How many xed points does it have? What is the
genus
g.
Prove that
is the restriction to
g1
P ?]
Using the embedding of 27.2,
P3
in
P2 .
of a linear subspace in
do these curves have?
Pn
onto
P2
and
P3 .]
CHAPTER 28
g
(1 (M ))
= C
.
J(M ) :=
H1 (M, Z)
M
The isomorphism is given by evaluating functionals against a basis
{1 , . . . , g } 1 (M ),
and
group
Div 0 (M )
(K(M ) )
P ic0 (M ) :=
AJ : P ic0 (M ) J(M )
D 7
1 D
is a well-dened homomorphism, where
writing some 1-chain
is that
AJ((f )) = 0
1 D
= D. The
f K(M ) .
with
for any
AJ
is injective, that is
(28.0.1)
AJ(D) = 0
D = (f ) for
some
f K(M ) ;
29.
303
304
Before starting let's rene one aspect of the above picture just a
bit. Intersecting 1-cycles on
: H1 (M, Z) H1 (M, Z) Z.
There is always a symplectic basis, that is one with the property that
i g+j = ij = g+j i
i j = 0 = i+g j+g
1 i, j g (where ij is the Kronecker delta). This is the situation
2g
pictured in 20.1. We will assume henceforth when writing {i }i=1 that
for
the brackets means adding divisors. What this says is: while as divisors
1.
inversion in the next Chapter will tell us that this may almost be
seen as a group law on unordered
g -tuples
of points on
M.
Let
of the
0 deg(D) 2g 2
is where anything of interest lies: outside this range, either
i(D)
(i)
(ii)
1each
`(D)
or
the orientation of
D 0,
305
f K(M )
with
(f ) +
then
(f ) + D = 0
(f ) = D = (g)
rat
D 0.
(up to scale), as
(f /g) = 0
f /g
constant.
Together with similar reasoning in case (ii), and assuming Abel, this
argument proves
Proposition 28.1.1. (i) If
deg D = 0,
then
`(D) = 0
or
1;
and
rat
AJ(D) = 0 D 0 `(D) = 1.
(ii) If
deg D = 2g 2,
then
i(D) = 0
or
1;
and
rat
qM
and look
at the mapping
uq : M J(M )
p
1
q.
.
p
7 AJ([p] [q]) =
.
p
g
q
uq
mod
M .
1)
is injective;
is hyperelliptic and
is a xed part of
p1 6= p2
and
u 7 u
of
, then uq (M )
J(M ).
uq (p1 ) = u2 (p2 ),
we have
AJ([p1 ] [p2 ]) = 0
Abel
f K(M )
f : M
P1
(=)
contradicting
g 1.
with
(f ) = [p1 ] [p2 ]
is
306
(b) Given
1 (M ),
we can consider
(p) Tp M.
By the funda-
sends
| 7 (f1 (0), . . . , fg (0)) Cg .) This associates a line in Cg to
z p
g1
each p M ; projectivizing clearly recovers K : M P
.
(c) Using ((x, y)) = (x, y), we have
p
(p)
dx
dx
y
y
q
q=(q)
.
.
.
.
=
uq ((p)) =
.
.
(p) xg1 dx
p xg1 dx
y
q
y
(q)
p
q dx
y
.
= uq (p).
.
=
.
p xg1 dx
q
y
is given by
In fact, in the hyperelliptic case it is clear from (c) that the xed
points of
map to
2-torsion
points of
J(M ).
In this
p, q M
so there exists
I([p] [q])\1 (M ).
0 =
Res () + Resq ()
| p
{z
}
Resp =
so that
,
2 1
Resq =
1
.
2 1
307
D Div 0 (M ), there
X
D I
[p]
exists
p|D|
such that
() =
[p]
and
Resp =
p|D|
Proof. Write
Resqk k =
2 1
D=
. Then
P
[pk ] [qk ], and
P
add
k =: .
ordp (D)
.
2 1
pick
so that
Respk k =
P
D = nj [Pj ] and D be as in Lemma 28.2.1, and consider
2g
a collection {i }i=1 of closed paths with support |i | M \|D|, such
2g
that their classes {[i ]}i=1 H1 (M, Z) yield a basis.
Next let
Lemma 28.2.2. If
D Z (i),
(28.2.1)
then (xing
Q M)
f (P ) := exp 2 1
D
f K(M )
with
(f ) = D.
Cj denote
0
around the Pj . Given two paths Q.P and Q.P ,
X
X
0
Q.P Q.P = +
mj Cj +
`i i
cular paths
where
D =
mj
dD =
D =
Cj
0 = 0,
mj nj Z
M \|D|.
Now
cir-
308
ResPk D =
since
n
k , and
2 1
D Z
`i
i
exp 2 1
Q.P D
= exp 2 1 = 1,
exp 2 1
Q.P 0 D
and
Pj
(with
z(Pj ) = 0),
loc
=
with
M \|D|.
and write
n
dz
j
+ h(z)dz
2 1 z
(variable). Locally
z(Q) =: z0
f (z) = exp 2 1
(xed) and
D
Q
z
= exp 2 1
where
h(w)dw exp nj
z0
z0
= H(z)
z(P ) =: z
dw
w
is meromorphic at
Pj
H0 (z) =
with
Pj (f ) = nj .
Doing this for each
j,
we conclude
(f ) =
nj [Pj ] = D.
EXERCISES
H1 ,
309
1 , . . . , 2g
to yield a symplectic
i.e.
i g+j = ij
delta)
for
1 i, j g.
(Kronecker
j = ij .
i
Given
and
f
D := D
g
X
D i
so that
i = 1, . . . , g .
(28.2.2)
to
i=1
for
f
D = 0
AJ(D) = 0 =
c
D Z (i = 1, . . . , 2g),
c
D ).
Exercises
(1) This problem, in which you will prove a version of Abel's theorem
for a singular cubic (not its normalization), is only loosely related
C as P1 with 0 identied to
dz
1
and coordinate z . We consider (C) to be spanned by
(even
z
1
though it isn't holomorphic) and H1 (C, Z) by S = unit curcle. Divisors must avoid the singularity, and meromorphic functions f
must have f (0) = f () 6= 0, .
to the chapter. Think of the cubic
2to
be proved in
independence over
310
J(C)?
P
P
(b) Compute AJ(D) for D =
ni [zi ],
ni = 0.
(c) Show 0 = AJ((f )) J(C).
(a) What is
(d) Formulate and prove the injectivity statement (Abel's theorem). [Hint: the proof will use what you did in (c), even though
it's a converse, and so needn't be long.]
(2) Let
of points.
(a) Dene divisors on the relative variety
ni [pi ] where no pi
(1).]
(b) Next consider the complement
Div(M )/Div(),
M \.
We dene divisors by
meromorphic functions on
M \.
AJ
map
coecients. Or rather, using these points, you can make the degree
of any divisor zero! This should have some bearing on your choice
of path.]
CHAPTER 29
M,
surface
h , i : H1 (M, Z) H1 (M, Z) Z
(29.0.3)
by intersecting 1-cycles.
there, this has (2g
0 Ig
Ig 0
Q=
{j }2g
j=1
described
!
.
1
1 (M ) 1 (M ) HdR
(M, C) H 1 (M, C),
there is also a pairing (the cup-product)
H 1 (M, C) H 1 (M, C) C
1this means that the (bilinear) pairing is described (with respect to an integral basis
of
H1 (C, Z))
2More
, )
precisely, any two given homology classes have representative 1-cycles (say,
holomorphic coordinate
z = x + iy ,
p there is a local
v and v to the 1-
V2
v v = p x
ones.
3having
H1 (M, Z)
311
312
(, ) 7
.
M
Notice that since two holomorphic forms wedge to zero, this pairing
restricts to zero on
1 (M )1 (M ) (and 1 (M )1 (M )).
Yet another
H1 (M, Z) H 1 (M, C) C
is induced by
(, ) 7
H1 (M, Z) 1 (M )
is caputred by
1 (M ),
we write
1 (M )
j () :=
,
j
[] =
(29.0.5)
g
X
j=1
H 1 (M, C),
1 (M )
in
i.e.
as functionals on homology.
0=
(29.0.6)
M
by writing
g
X
j=1
= h[], []i
idz d
z = i(dx + idy) (dx idy) = i(2idx dy) = 2dx dy,
leads to
(29.0.7)
= i
0<i
M
g
X
i=1
313
g+j
q
p
fundamental
domain
g+j
q
p
po
with boundary
in the interior
j
q
p0
4 function on
F.
p0
then yields a well-dened (single-valued) holomorphic
If we take a second holomorphic form
1 (M ),
then
d(u) = = 0.
That is,
that
0 =
by Stokes's theorem.
d(u) =
u
F
is the
composition of paths
1 1
1 1
1 1
2g
g 2g g g+2
2 g+2 2 g+1
1 g+1 1 ,
4to be holomorphic on a closed set means that the function extends to a holomorphic
function on a slightly larger open set (which, in this case, would live on the universal
cover of
M ).
314
g
X
=
{
(u(p) u(p )) +
{z }
j |
j=1
p0
q
p0
g
X
g+j
0<i
F
g+j
q
r0
r
q
this
g+j
i
, essentially the same computation yields
!
g
X
.
} =
u(i
) = i
| {z
Replacing
p
q
j=1
(u(r) u(r0 )) }
{z }
j+g |
by
d(u
)
g+j
j+g
j=1
2g
To reformulate this in matrix terms for any symplectic basis {j }j=1
g
1
th
of H1 (M, Z) and any basis {i }i=1 of (M ), notice that the (k, `)
entry of
2g
t
Q = 1
= g+1
is
g
X
0 Ig
Ig 0
2g 1
.
.
.
2g
.
.
g
2g
(j (k )g+j (` ) j (` )g+j (k ))
j=1
which is zero by (29.0.4); so
Q t = 0.
(29.1.1)
Similarly,
(29.1.2)
in the sense that
1 Q t Pi > 0
In particular,
5recall
is the complex
g -vector
with
ith
entry
j (i )
315
{j }
and
= {j0 }
0 = A
for some
A SL2g (Z).
{i }
(viewed as a column-
0 = A.
Furthermore, since both bases are symplectic we have
Q = t
and
Q = t 0 0 = t At A = t AQA;
that is,
0 Qt 0 = AQt At = Qt = 0.
g 2g
(29.1.3)
A B
gg
blocks, viz.
we have
Qt =
A B
Ig
Ig
A
t
B
!
= A tB B tA
and
= A t B B t A.
Qt
In these terms, (29.1.1) reads
A tB = B tA
(29.1.4)
while (29.1.2) becomes
(29.1.5)
If
0,
(v Cg ).
hence
that
v>0
1t v(At B B t A)
vA = 0
and
v = 0,
A
v Cg
satisfying
contradicting (29.1.5).
28.2.
Av =
It follows
C-linear
316
Applying
A1
to the left of
6
1
for (M ), viz.
A1 = A1
1
.
.
.
10
2g
.
.
.
2g
g0
g
If we apply it to (28.1.3), then we get
0 := A1 =
{i } is
Z ,
=
again as claimed in
28.2.
(
Ig
chosen so that
(29.1.6)
Ig A1 B
Z = tZ
,
1(Z Z) > 0
Im(Z) is a positive-
0)
and let
:= f
D
be as
28.2,
D=
ni [Pi ] (with
ni =
so that
(29.2.1)
ResPi () =
and
n
i
(i)
2 1
= 0 (j = 1, . . . , g).
j
For each
k = 1, . . . , g
set
uk (p) :=
k
p0
X
X
k =
ni uk (Pi ) = 2 1
Resp (uk )
on
6here
the product of
and
p|D|
317
29.1
X
(j (k )g+j () g+j (k )j ()) = g+k ().
| {z }
| {z }
uk =
F
AJ(D) = 0
every k
If
for
jk
2g
X
k =
Using
k = jk
= mk +
mj (j = 1, . . . , 2g )
g
X
k .
mj
j
j=1
Z = tZ
and
such that
mj+g j+g (k ) = mk +
g
X
mj+g k+g (j ).
j=1
j=1
Now
:=
g
X
mj+g j
j=1
is still an element of
I(
k {1, . . . , g}
k+g ()
= k+g ()
g
X
mj+g k+g (j )
j=1
g
X
mj+g k+g (j ) = mk Z
j=1
and
k ()
= k ()
| {z }
0
g
X
j=1
mj+g k (j ) = mk+g Z.
| {z }
kj
By Lemma 28.2.2, exp 2 1
now gives a meromorphic function
with (f ) = D .
AJ
M,
qM
d.
d-tuples
of points
318
on
M,
dth
symmetric power
d copies
z
}|
{
M
M
Symd M :=
.
(p1 , . . . , pd ) (p(1) , . . . , p(d) )
Sd
In order to be able to use complex analytic techniques we need to put
the structure of a
d-dimensional
Sym M ,
the diagonal
z2
U
U
z1
Clearly
(z1 , z2 )
U .
On
U ,
als
1 (z1 , z2 ) = z1 + z2
and
powers would be
singular complex analytic spaces, hence not manifolds. So what happens next is
special for
dim(M ) = 1.
9we could in fact take these as global coordinates, but this situation won't generalize
to
dene
by
z =
1
z =
2
319
w12 4w2
2
w2 w12 4w2
2
w1 +
{q1 , . . . , q1 ; . . . ; q` , . . . , q` } Symd M
| {z }
| {z }
k1 times
(where
P`
j=1
kj = d),
k` times
holomorphic coordinates
zj
on
qj ,
near each
by
all near q`
on
M,
ping
D : P(L(D)) Symd M
which sends (for
f L(D))
[f ] 7 (f ) + D.
Lemma 29.3.1.
10
10the
notation
support of
D,
|D|
320
`(D)
U O(Np ) Wf0 ,p , Ck
7 f z ordp D 7
f z ordp D
..
.
Np
p1 () + + pk ()
is holomorphic, which in turn boils down to the statement that each
is holomorphic in each
j .
For
k = 1,
k > 1,
chapters.
d divisor D (viewed as an
D = [p1 ] + + [pd ] with
element of
the
{pj }
Sym M )
is called general
distinct points of
M.
ud : Symd M J(C)
d
X
[p1 ] + + [pd ] 7 AJ
!
[pj ] d[q] ,
j=1
where
q M
is xed.
ud
u
D
to
D,
(Boundedness is clear by
.)
to be general.
over
ud (D)
is
|D| (
= P`(D)1 ).
u for ud .)
Abel
u1 (u(D)) |D|: u(E) = u(D) = AJ(E D) = 0 = E D
u1 (u(D)) |D|:
Given
E |D|,
there exists
321
f L(D)
such that
rat
E = (f ) + D = E D = (f ) 0 = 0 = AJ(E D) =
u(E) = u(D) = E u1 (u(D)).
D = [p1 ]+ +[pd ] is general, then writing zj for local coordinates
about each pj ,
(dud )D : TD Symd M Tu(D) (J(M ))
If
z1
Pd zi
i=1
.
.
.
P
d
i=1
zd
zi
q
z1
1
..
zd
f1 (p1 )
.
.
.
..
f1 (pd )
where
g1
d=1
.
{p1 ,...,pd }
loc
. (For
i=1 q
.
.
.
Pd zi
i=1 q g
g
fg (p1 )
^
K (p1 )
.
.
,
.
.
=
.
.
^
fg (pd )
K (pd )
Pd zi
g
^
K (pj ) C
is a lift of
K (pj )
that
rank
(dud )D = dim (span(K (p1 ), . . . , K (pd ))) + 1,
Pg1 .
Taking
d = g,
generic,
11 i.e. in some
Proof. Choose
all of
g1
g
generate by Theorem 27.3.2(a). Consequently rank ((du )D )
this holds more generally for
= g,
det(dug ) = 0,
which is an algebraic
11general
subvarieties of
Symg M
and
pj 's
coincide.
322
ug
ically injective.
dug
tangent spaces. So
Symd M
is generically an isomorphism of
Symg M compact,
g
so image(u ) is both a closed analytic subvariety of J(M ) and contains
an open ball, and is therefore all of J(M ) (which is connected).
g
Since at a generic D , du is (in particular) injective, we see that
g 1
g
any such D is an isolated point of (u ) {u (D)}. But the latter is a
projective space by Lemma 29.3.4, and so the only way D is isolated
g 1
g
0
is if (u ) {u (D)} is isomorphic to P , i.e. is just D itself.
to an open ball. But
ug
is continuous and
AJ
follows from
the diagram
AJ
/ J(M )
OO
fMMM
MMM
ug
MM
D 7Dg[q] MM3 S
Div 0 (M )
(29.3.1)
Symg M
(M )
H1 (M, Z),
(of genus
1)
of the form
Ig Z
. More-
g th
H1
The Jacobian
is just
by the lattice
. More
generally, let Z be any g g complex matrix such that
Ig Z has
R-linearly independent column vectors. Writing Z for their Z-span,
g
we dene a complex torus by AZ := C /Z ; any complex g -torus is
given by integral linear combinations of the columns of
323
AZ
is an
belongs to
Hg .
R-linearly
independent from
is in the upper
g =2
and Harris, one using generalized theta functions and the other using
Kodaira's embedding theorem.
For us, the implications of this theorem are:
(a)
(b)
g;
for
g 4,
For
and
have
g(g+1)
moduli.
2
g < 4,
all abelian
g -folds
are Jacobians;
g 4,
Hg /Sp2g (Z),
cult) Schottky problem. There are recent results describing this locus
in terms of the vanishing of theta functions.
12
C P2
of degree
d,
dened over
C.
C ,
to
: C P2
with image()
= C.
=
g(C)
if all singularities of
are
(d 1)(d 2)
such points.
Here we would like to be able to compute the genus of the normalization of an arbitrary irreducible curve, with singularities of any
order and type. There exist formulas when the singularities are ordinary,
14
There are
when the methods allow you to treat more general cases.
two methods: the rst one computes the divisor of the pullback of a
Hurwitz (like in the proof of the genus formula). Rather than trying to
state them formally, I'll use both methods to treat an example which
is suciently general that you'll be able to adapt the approaches to
any other curve.
13cf. 6.4
k -tuple
326
F (Z, X, Y ) := X 3 Z 3 + X 6 + Y 5 Z,
and
C := {F (Z, X, Y ) = 0} P2 ,
with ane form
x3 + x6 + y 5 = 0.
This is a degree
10.
6 (i.e.
sextic) curve;
here.
One immediately obvious singularity is at
projective coordinates
[Z : X : Y ]).
(0, 0)
(i.e.
[1 : 0 : 0]
in
x3 .
So
triple
an ordinary
be the only
singularity.
Method I: Poincar-Hopf
Set
dx
y
K1 (C)
,
1 (C)
Poincar-Hopf tells us
. So we have to compute
deg(()) = 2g 2, where g = g(C)
P
Where might these {pi } lie in C ? Or rather,
() = mi [pi ] Div(C).
where might the {(pi )} lie on C ? There are four (not necessarily
that
disjoint) possibilities:
(1) on the intersections of
(2) at points where
(3) at singularities of
with the
x-axis,
i.e. in
C,
C {Y = 0};
in C {FY = 0};
C {Z = 0}.
the pullback of
dx
C , dx
and
never blow up, and (1) and (2) are the only ways they can develop a
zero. So (1)-(4) are actually the only places where
or pole.
Now we go through these 4 sets of points for the particular curve
under consideration.
METHOD I: POINCAR-HOPF
327
y = 0, which yields
1
(Here, 6 = exp(
).)
3
x3 + x6 = 0, hence x = 0, 6 , 6 , or 1.
While (0, 0) is a singular point and will be dealt with below, it is clear
dx
| will behave in the same way near the remaining three points:
that
y C
(1, 0), (6 , 0), and (6 , 0). We look in a neighborhood of (1, 0) on
C . Setting = x + 1 (or x = 1), the equation becomes in (, y):
0 = y 5 + ( 1)3 + ( 1)6 = y 5 3 + {higher-order
terms in
= y 5 3h(),
h(0) 6= 0.15 The local normalization
of C at (, y) = (0, 0) is
p
5
5
5
therefore t 7
t , t 3h(t ) , under which dx
= d
pulls back to
y
y
where
5)
d(t
3h(t5 )
5dt
= t3
5
3h(t5 )
at
t = 0.
So we
conclude that
1 [1:1:0] () = 3,
and similarly that
0 = FY = 5Y 4 Z,
x-axis or along the line at . The
intersections with the x-axis other than [1 : 0 : 0] were just dealt with.
Any nonsingular intersections with {Z = 0} will be dealt with in step
(4). So vertical tangents are subsumed under the other three categories.
0 = FY ,
0 = FX = 3X 2 Z 3 + 6X 5 = 3X 2 (Z 3 + 2X 3 ),
and
0 = FZ = 3X 3 Z 2 + Y 5 .
Z = 0 or Y = 0. If Z = 0 then the last two equations
imply X = Y = 0, a contradiction. If Y = 0 then the last equation
gives Z = 0 (no!) or X = 0; the latter works, and so [1 : 0 : 0] is
the only singular point. In local coordinates about (x, y) = (0, 0), our
5
3
6
5
3
curve is 0 = y + x + x = y + x h(x) (dierent h(x) from above,
We must have
15Sometimes
in these
328
again
h(0) 6= 0),
d(t5 )
t3 5
h(t5 )
5dt
=t
5
5
h(t )
t 7 (t5 , t3
p
5
h(t5 )),
dx
pulls
y
1 [1:0:0] () = 1.
(4):
C {Z = 0}
[0 : 0 : 1].
We will need to
v=
x
y
X
(or conversely
Y
y=
1
,
u
x=
u=
1
y
Z
,
Y
v
):
u
y
x
We divide
Z 3 X 3 + X 6 + Y 5 Z = 0 by Y 6 , obtaining
3 3 6
X
X
Z
Z
+
+ =0
Y
Y
Y
Y
v 6 + u3 v 3 + u = 0
with (multi-
s
v (u) :=
u3
t6
u6 4u
2
v3,
gives
36
6
18 + t3
+ t 4t
t30 4
3 t
3
6
=
v(t ) =
2
2
s
15 +
t30 4
3 t
=t
2
which is just t times some local analytic H(t) with H(0) 6= 0. So
v
d( u
)
dx
6
the normalization is t 7 (t , t H(t)) and
pulls back to
=
1
y
u
tH(t)
d( 6 )
t
= t6 d H(t)
= (tH 0 (t) 5H(t)) dt, which has neither zero nor
1
t5
s
t6
t18
pole at
t = 0.
329
Hence,
1 [0:0:1] () = 0.
Upshot: putting everything together,
g = 6.
f : M N,
and told us that
M = deg(f ) N rf .
Here
deg(f )
16
cation divisor
f : C P1
f := . Usually it is
[0 : 0 : 1] as q . In our case the
[1 : 0 : 0],
these not on C
to be given by
easiest to take
[0 : 1 : 0], or
is [0 : 1 : 0]. So
only one of
16locally
about any
coodinates
z 7 z p (f )
z resp. w
= w.
330
P
C
[0:1:0]
(forgets xcoord.)
and the mapping degree is the number of intersection points of
and
P1
{x + x + y = 0} for general y0
= 2 2 0 = 2, so we have
i.e.
deg(f ) = 6.
{y = y0 }
Obviously
2 2g = C = 6 2 rf = 12 rf
1
g = rf 5.
P2
So we will have to compute Rf =
mi [pi ] (or at least rf ) and the rst
issue to resolve is where the (pi ) can lie on C :
=
{F = 0} {FX = 0});
i.e. [1 : 0 : 0] for our
(FX = FY = FZ = 0)
example; and
(3)
L C
(1):
i.e.
[0 : 0 : 1]
in our example.
0 = FX = 3X 2 (Z 3 + 2X 3 )
X = 0,
we
x= X
Z
6
6
1
3 ,
3 ,
3 . Plugging this into the ane
2
2
2
52
53
54
5
1
1
5
equation of C yields y =
hence y =
5 ,
5 ,
5 ,
5 ,
5 . These
4
4
4
4
4
4
are independent of the choice amongst the 3 values for x, and so we
get
x3 +
1
2
=0
hence
x =
p (f ) 1 = 2 1 = 1 each to rf .
(2): Near (x, y) = (0, 0), the composition
EXERCISES
has
p (f ) = 3
(3): Near
hence contributes
to
331
rf .
t 7 (t6 , tH(t)) 7 t6 .
| {z }
u,v
This is because
y -coordinate,
which is
1
u
Conclusion:
g =
22
5 = 6,
2
Exercises
(1) Find the genus of the normalization of the curve
ane equation
2 3
x +y +y x
2 5
y
5
= 0.
C P2
with
Do this in 2 dierent
dy
). [Hint: to do the local normalizations, rst make sure you are
x
f (x, y) = 0
y(x)
by taking roots, using quadratic equation, and so on, you can always