Algebraic Geometry of Curves
Andrew Kobin Fall 2016 Contents Contents
Contents
0 Introduction 1 0.1 Geometry and Number Theory ...... 2 0.2 Rational Curves ...... 4 0.3 The p-adic Numbers ...... 6
1 Algebraic Geometry 9 1.1 Affine and Projective Space ...... 9 1.2 Morphisms of Affine Varieties ...... 15 1.3 Morphisms of Projective Varieties ...... 19 1.4 Products of Varieties ...... 21 1.5 Blowing Up ...... 22 1.6 Dimension of Varieties ...... 24 1.7 Complete Varieties ...... 26 1.8 Tangent Space ...... 27 1.9 Local Parameters ...... 32
2 Curves 33 2.1 Divisors ...... 34 2.2 Morphisms Between Curves ...... 36 2.3 Linear Equivalence ...... 38 2.4 Differentials ...... 40 2.5 The Riemann-Hurwitz Formula ...... 42 2.6 The Riemann-Roch Theorem ...... 43 2.7 The Canonical Map ...... 45 2.8 B´ezout’sTheorem ...... 45 2.9 Rational Points of Conics ...... 47
3 Elliptic Curves 52 3.1 Weierstrass Equations ...... 53 3.2 Moduli Spaces ...... 55 3.3 The Group Law ...... 56 3.4 The Jacobian ...... 58
4 Rational Points on Elliptic Curves 61 4.1 Isogenies ...... 62 4.2 The Dual Isogeny ...... 65 4.3 The Weil Conjectures ...... 67 4.4 Elliptic Curves over Local Fields ...... 69 4.5 Jacobians of Hyperelliptic Curves ...... 75
5 The Mordell-Weil Theorem 77 5.1 Some Galois Cohomology ...... 77 5.2 Selmer and Tate-Shafarevich Groups ...... 80 5.3 Twists, Covers and Principal Homogeneous Spaces ...... 84
i Contents Contents
5.4 Descent ...... 89 5.5 Heights ...... 97
6 Elliptic Curves and Complex Analysis 99 6.1 Elliptic Functions ...... 99 6.2 Elliptic Curves ...... 105 6.3 The Classical Jacobian ...... 110 6.4 Jacobians of Higher Genus Curves ...... 115
7 Complex Multiplication 117 7.1 Classical Complex Multiplication ...... 117 7.2 Torsion and Rational Points ...... 120 7.3 Class Field Theory with Elliptic Curves ...... 123
ii 0 Introduction
0 Introduction
These notes come from a course in algebraic geometry and elliptic curves taught by Dr. Lloyd West at the University of Virginia in Fall 2016. The first part of the notes are a survey of the main concepts in algebraic geometry, with an emphasis on curves (i.e. varieties of dimension 1). Key topics include: Affine and projective varieties Dimension Singular and nonsingular points and tangent spaces Morphisms between varieties Intersection theory Divisors Genus The Riemann-Hurwitz theorem and Riemann-Roch theorem Jacobian of a curve The main algebraic geometry reference used is Shafarevich’s Basic Algebraic Geometry 1. The second part of the course covers the basic results in the arithmetic geometry of elliptic curves, including: Abelian varieties and isogenies Models over local and global fields Moduli Reduction mod p Zeta functions Statement of the Weil conjectures for curves Heights Descent (`ala Fermat) Hasse’s local-global principle Torsors and Galois actions Galois cohomology in degrees 0, 1 and 2 Selmer and Tate-Shafarevich groups Additional topics include the application of elliptic curves to cryptography, higher genus curves and L-functions. The main text used is Silverman’s Arithmetic of Elliptic Curves.
1 0.1 Geometry and Number Theory 0 Introduction
0.1 Geometry and Number Theory
Consider the following questions: Question 1. Describe the set of all right triangles with integer sides. Question 2. A rational number n is said to be congruent if there exists a rational right triangle with area n. Which rational numbers n are congruent? We will see that Question 1 is easy to answer, while Question 2 is still unsolved. The fundamental difference lies in the geometry of each situation. Definition. We say (a, b, c) ∈ Z3 is a pythagorean triple if a2 + b2 = c2. For example, (3, 4, 5) and (5, 12, 13) are pythagorean triples. Notice that multiplying any pythagorean triple by an integer n ∈ Z yields another pythagorean triple (in particular, there are infinitely many pythagorean triples), so we may assume a, b, c are coprime. Such a triple is called a primitive pythagorean triple. Theorem 0.1.1. Denote the set of all primitive pythagorean triples by Π. Then there is a bijection Π ↔ {(x, y) ∈ Q2 | x2 + y2 = 1}. Proof. It is easy to check that the assignments a b (a, b, c) 7−→ , c c a b (a, b, c) 7−→ (x, y) = , with a, b, c coprime c c exhibit the desired bijection. Thus the problem of rational triangles and pythagorean triples reduces to studying the rational points of the unit circle in the xy-plane. Definition. Let k be a field and fix a polynomial f ∈ k[x, y] which is irreducible over the ¯ algebraic closure k. Then the curve associated to f is a functor C = Cf given by
C : Fieldsk −→ Sets 2 K/k 7−→ Ck(K) := {(x, y) ∈ K | f(x, y) = 0}. For a field extension K/k, the set C(K) is called the K-rational points of the curve C. 2 2 In this language, Question 1 reads, “What is #Cf (Q) when f = x + y − 1”? Example 0.1.2. Let f = x2 + y2 − 1 and consider the geometric objects defined by C(K) = Cf (K) for K = R and K = Q.
C(R) = S1 ⊆ R2 C(C), the Riemann sphere in C2
2 0.1 Geometry and Number Theory 0 Introduction
Also note that since f ∈ Q[x, y], we can view f as a polynomial with coefficients in any finite field Fq, and consequently the Fq-rational points C(Fq) are defined. Next, fix the point (−1, 0) on C(K) for any field K and consider the line L : x = 0.
slope = t
(−1, 0)
L
2 2 Theorem 0.1.3. Let k be any field and C = Cf the curve defined by f = x + y − 1. Then there is a bijection
C(k) r {(−1, 0)} −→ L(k) (x, y) 7−→ (0, χ(x, y)) (ψ(t), φ(t)) 7−→ t where χ, ψ and φ are rational functions, i.e. χ ∈ k(x, y) and ψ, φ ∈ k(t). Proof. The rational functions y 1 − t2 2t χ(x, y) = , ψ(t) = and φ(t) = x + 1 1 + t2 1 + t2 exhibit the bijection. Theorems 0.1.1 and 0.1.3 answer Question 1: the set of all primitive pythagorean triples is completely described by the line L given by x = 0, and this description holds over any field k. For Question 2, we must understand the set of congruent numbers over a field k. For n ∈ Q, define the set 3 2 2 2 1 Cn(k) = (a, b, c) ∈ k : a + b = c and 2 ab = n .
Definition. We say n is congruent over k if Cn(k) is nonempty.
In particular, Question 2 reduces to deciding when Cn(Q) is nonempty. Notice that we may assume n is a squarefree integer. Above, we parametrized the circle S1 by a line L. Here, we parametrize Cn(k) with a zero set of a different polynomial. Define a bijection
2 2 3 Cn(k) −→ En(k) := {(x, y) ∈ k | y = x − nx, y 6= 0} nb 2n2 (a, b, c) 7−→ , c − a c − a x2 − n2 2nx x2 + n2 , , 7−→ (x, y). y y y
The set En(k) is called an elliptic curve over k.
3 0.2 Rational Curves 0 Introduction
Example 0.1.4. The elliptic curve defined by y2 = x3 − 25x over R is shown below, with some points of En(Q) highlighted.
0.2 Rational Curves
Let C be a plane curve defined by an irreducible polynomial f ∈ k[x, y].
Definition. We say C is unirational over k if there exist nonconstant rational functions ψ, φ ∈ k(t) such that f(ψ(t), φ(t)) = 0 for all t.
Definition. We say C is rational over k if it is unirational and there exists a rational function χ ∈ k(x, y) such that ψ(χ(x, y)) = x and φ(χ(x, y)) = y for all x, y ∈ k, with the possible exception of finitely many points.
1 2 2 Example 0.2.1. By Theorem 0.1.3, the circle S = Cf for f = x +y −1 is rational over Q. This example illustrates the idea that a curve is rational if it has a ‘rational parametrization’ by a line.
In general, the notions of unirationality and rationality are equivalent for curves (this is not true for higher dimensional varieties):
Theorem 0.2.2 (L¨uroth). A curve C over k is unirational if and only if it is rational.
To prove L¨uroth’stheorem, we formulate the statement in terms of field theory. ¯ Definition. Let f ∈ k[x, y] be an irreducible polynomial over k and let C = Cf be the associated plane curve. Then a rational function on C is an equivalence class of functions p ¯ p1 u(x, y) ∈ k(x, y), with u = , p, q ∈ k[x, y] and f q over k, where we say u1 = and q - q1 p2 u2 = are equivalent if f divides p1q2 − p2q1. q2
4 0.2 Rational Curves 0 Introduction
1 2 2 Example 0.2.3. On the circle S = Cf , f = x + y − 1, the functions y 1 − x u (x, y) = and u = 1 1 + x 2 y are equivalent, so they define a common rational function on C.
Definition. The set of rational functions on C with coefficients in k is called the function field of C, denoted k(C).
Lemma 0.2.4. k(C) is a field.
Proof. Routine.
Proposition 0.2.5. A curve C is unirational over k if and only if k(C) ⊆ k(t).
Proof. ( =⇒ ) is clear. ( ⇒ = ) k(C) ⊆ k(t) implies that the functions x, y ∈ k(t), so x = ψ(t) and y = φ(t) for some rational functions ψ, φ ∈ k(t). Since f(x, y) = 0, we have f(ψ, φ) ≡ 0 so C is unirational by definition.
Proposition 0.2.6. A curve C is rational over k if and only if k(C) = k(t).
Proof. Similar to Lemma 0.2.5.
Then L¨uroth’stheorem is proven using the fact that tr degk k(C) = 1 when C is a curve, which means k(C) ⊆ k(t) if and only if k(C) = k(t). The situation for S1, i.e. that existence of rational points is determined by rational parametrization by a line, in fact holds for all curves defined by a degree 2 polynomial. (Such a curve is called a quadratic curve or conic.)
Proposition 0.2.7. Let f ∈ k[x, y] be an irreducible quadratic polynomial. Then the curve C = Cf is rational over k if and only if C(k) is nonempty.
Proof. (Sketch) Fix a point (x0, y0) ∈ C(k) and construct the line ` of slope t through (x0, y0) 2 in the plane k , calling the intersection with C(k)r{(x0, y0)} (x, y). Then f(x, t(x−x0)+y0) is the quadratic polynomial defining x coordinates of ` ∩ C, and the polynomial
f(x, t(x − x ) + y ) ψ(t) = 0 0 x − x0 is linear with coefficients in k. A similar parametrization of y coordinates gives a rational function φ(t) which, together with ψ(t), shows that C is unirational over k. Hence by L¨uroth’stheorem, C is rational over k. Thus the theory of conics reduces to the problem of finding if a conic curve has a rational point over a given field.
2 2 Example 0.2.8. For the quadratic polynomial f = x + y + 1, Cf (R) is empty and so of course Cf (Q) is empty. Thus by Proposition 0.2.7, f is not rational over Q.
5 0.3 The p-adic Numbers 0 Introduction
Example 0.2.9. Consider the quadratic polynomial f = x2 +y2 −3 and its associated conic C = Cf . We will show C(Q) = ∅. Suppose there exist a, b ∈ Q such that f(a, b) = 0. Write x y a = z and b = z for x, y, z ∈ Z coprime, z 6= 0 (this step is called homogenization of the quadratic polynomial, corresponding to viewing C inside its projective closure). This gives us an equation 3z2 = x2 + y2. (∗)
We study roots of this equation by reducing modulo different primes. In the finite field F3, the only squares are x2, y2, z2 ≡ 0 or 1 (mod 3), so the only possible solutions are (0, 0, z). Since z 6= 0, we must have z2 ≡ 1 (mod 3). Next, in Z/9Z we have 3z2 ≡ 1 (mod 9) since z ≡ 1 (mod 3). However, the only squares mod 9 are x2, y2 ≡ 1, 4, 7 (mod 9) so we see that there are no solutions to (*) mod 9, and thus no solutions to (*) in integers. Hence x2 +y2 −3 is not rational over Q. The strategy of studying roots mod primes p to understand the structure of solutions in Z illustrates Hasse’s so-called ‘local-global principle’. Part of this theory is formalized in the next section.
0.3 The p-adic Numbers
In this section we make the formal the notion of studying solutions modulo pn for primes p and exponents n ≥ 1. This leads to the introduction of a new ring Zp, the ring of p-adic integers, and its field of fractions Qp. We will see that
Theorem 0.3.1. For an irreducible quadratic polynomial f ∈ Q[x, y], if Cf (Qp) 6= ∅ for all primes p and Cf (R) 6= ∅, then Cf (Q) 6= ∅. Definition. Let p be a prime. The ring of p-adic integers are the inverse limit of the sequence Z/pZ ← Z/p2Z ← Z/p3Z ← · · · , that is,
( ∞ ) n Y n n p := lim /p = (α0, α1, α2,...) ∈ /p : αn ≡ αn−1 (mod p ) . Z ←− Z Z Z Z n=1
A useful way to view an element α = (α0, α1, α2,...) in Zp is as a “power series” in p:
2 α = α0 + α1p + α2p + ...
Remarks. Let p be a prime number. The following facts are standard in a commutative algebra course. There is a natural embedding Z ,→ Zp given by x 7→ (x, x, x, . . .). Zp is a local ring with maximal ideal m = {(0, α1, α2,...) ∈ Zp}. Define the p-adic valuation vp : Zp → N0 by setting vp(0) = ∞ and for α 6= 0,
n vp(α) = ordp(α) = inf{n ∈ N0 | α 6∈ m } = inf{n ∈ N0 | αn 6= 0}.
6 0.3 The p-adic Numbers 0 Introduction
n 2 If k = p m where p - m then vp(k) = n. For example, v3(9) = v3(3 ) = 2. Then Zp is a discrete valuation ring (DVR) with
m = {α ∈ Zp | vp(α) > 0} × and Zp = {α ∈ Zp | vp(α) = 0} = Zp r m.
The p-adic valuation determines an absolute value function | · |p on Zp, called the (normalized) p-adic absolute value:
−vp(α) |α|p := p .
This has the following important properties: For all α, β ∈ Zp,
(i) |αβ|p = |α|p|β|p
(ii) |α + β|p ≤ max{|α|p, |β|p}. Define the p-adic rational field Qp to be the field of fractions of the domain Zp. Elements in Qp can be viewed as Laurent series in powers of p:
−n 2 α = αnp + ... + α0 + α1p + α2p + ...
where n < ∞. Note that since Q = Frac(Z) and Z ,→ Zp, we get an embedding Q ,→ Qp. The p-adic valuation extends to a valuation on Qp, also denoted vp, given by
α vp β = vp(α) − vp(β).
The following results are standard.
Theorem 0.3.2. For each prime p, (Qp, | · |p) is a complete metric space.
Theorem 0.3.3 (Ostrowski). If K is a completion of Q then K = Qp for some prime p or K = R. A famous result of Hensel establishes a connection between approximate solutions to polynomial equations in a complete DVR and exact solutions. The more common form of Hensel’s Lemma follows as a corollary. Theorem 0.3.4 (Hensel’s Lemma). Let R be a complete DVR with valuation v and fix a 0 0 polynomial f ∈ R[t]. Suppose α0 ∈ R such that v(f(α0)) > 2v(f (α0)), where f is the formal derivative of f. Then there exists α ∈ R such that f(α) = 0 and v(α − α0) > 0 2 v(f(α0))/f (α0) ). Proof. (Sketch) One uses Newton’s method to prove the existence of a solution α in the f(αn) following way. Given α , define the sequence α = α − 0 and show that it is Cauchy 0 n+1 n f (αn) with respect to v. Since R is complete, there exists a limit α ∈ R of this sequence. Then one checks that f(α) = 0, using the fact that polynomials are continuous with respect to the 0 2 topology on R induced by v, and v(α − α0) > v(f(α0))/f (α0) .
7 0.3 The p-adic Numbers 0 Introduction
Corollary 0.3.5. If f is a polynomial with roots in Z with a simple root mod p, then it lifts to a root in Zp.
× 2 2 Corollary 0.3.6. Let β ∈ Zp . Then x = β has a solution in Zp if and only if x ≡ β mod pε has a solution, where ε = 3 when p = 2 and ε = 1 otherwise.
2 0 Proof. Let f(x) = x − β ∈ Z[x] so that f (x) = 2x. Suppose α0 ∈ Zp is a solution to ε 2 f(x) ≡ 0 mod p , i.e. v(f(α0)) ≥ ε. Then α0 ≡ β 6= 0 mod p so since Zp is a DVR, α0 must be a unit, i.e. v(α0) = 0. Now we have
0 2vp(f (α0)) = 2vp(2a0) = 2(vp(a0) + vp(2)) ( 2, p = 2 = 2vp(2) = 0, p 6= 2
< v(f(α0)) in all cases.
Therefore Hensel’s Lemma applies.
8 1 Algebraic Geometry
1 Algebraic Geometry
1.1 Affine and Projective Space
Let k be a field and let k¯ denote its algebraic closure.
Definition. For each n ∈ N, we define affine n-space over k to be
n n A = Ak = {(x1, . . . , xn) | xi ∈ k}.
As sets, An = kn, but the new notation carries with it the implication that An is viewed geometrically.
¯ n Remark. Alternatively, for any field k ⊆ K ⊆ k, one can define Ak (K) to be the fixed points n ¯ n n ¯n Gk of Ak under the action of the Galois group Gal(k/K). In particular, Ak = Ak (k) = (k ) ¯ where Gk = Gal(k/k) is the absolute Galois group of the field k.
We will let A denote the polynomial ring k[t1, . . . , tn]. Definition. For a polynomial f ∈ A, define its zero set (or zero locus) to be
n Z(f) = {P ∈ A | f(P ) = 0}.
We extend the definition of zero set to sets of polynomials f1, . . . , fr ∈ A by
r \ Z(f1, . . . , fr) = Z(fi). i=1 The definition of zero set can be extended to arbitrary subsets F ⊆ A by \ Z(F) = Z(f). f∈F
Notice that if I = (F) is the ideal of A generated by F, then Z(F) = Z(I). By Hilbert’s basis theorem, there exists a finite subset {f1, . . . , fr} ⊆ F such that Z(F) = Z(f1, . . . , fr).
Definition. A subset X ⊆ An is called an algebraic set if X = Z(F) for a set F ⊆ A, that is, X is algebraic if it is the zero set of some collection of polynomials in k[t1, . . . , tn]. By the remark, it is equivalent to say X is a zero set if X = Z(I) for some ideal I ⊂ A. Thus the operation Z(·) takes a subset of a ring and assigns to it a geometric space. There is a dual notion:
Definition. For any subset X ⊆ An, we define the vanishing ideal of X to be J(X) = {f ∈ A | f(P ) = 0 for all P ∈ X}.
Lemma 1.1.1. For all X ⊆ An, J(X) is a radical ideal of A.
9 1.1 Affine and Projective Space 1 Algebraic Geometry
Proof. Take f, g ∈ J(X) and r ∈ A. Then for any P ∈ X,(f − g)(P ) = f(P ) − g(P ) = 0 and (rf)(P ) = r(P )f(P ) = 0 so f + g, rf ∈ J(X) and thus J(X) is an ideal. Moreover, for any m ∈ N, f m(P ) = 0 if and only if f(P ) = 0 so we see that r(J(X)) = J(X). Examples.
1 ∅ = Z(A) and An = Z(0) are both algebraic sets.
n n 2 If U ⊆ A is an affine subspace, i.e. U = P0 + V for a point P0 ∈ A and a linear n subspace V ⊆ k , then U = Z(L1,...,Ln−d) where d = dimk V and L1,...,Ln−d are linear polynomials in A.
n 3 For any point P = (a1, . . . , an) ∈ A , {P } = Z(t1 − a1, . . . , tn − an). Consider the maximal ideal mP = (t1 − a1, . . . , tn − an) ⊂ A. Then {P } = Z(mP ). When k is n algebraically closed, points of Ak are in one-to-one correspondence with the maximal ideals of A via the association P ↔ mP .
4 In A2, an example of an algebraic curve is C = {(T 2 −1,T (T 2 −1))} = Z(x2 +x3 −y2):
C
2 2 5 The algebraic set Z(y, y − x ) = Z(x, y) consists of just the point (0, 0) in Ak:
Z(y − x2)
Z(y)
Z(y, y − x2)
n ¯ ¯ Definition. If X = Z(S) ⊆ Ak (k) is an algebraic set and K is a field such that k ⊆ K ⊆ k, n GK ¯ define the K-points of X by X(K) := X ∩ Ak (K) = X , where GK = Gal(k/K). Moreover, we say X is defined over K if J(X) has a generating set consisting of elements of K[t1, . . . , tn].
10 1.1 Affine and Projective Space 1 Algebraic Geometry
n Lemma 1.1.2. Let X,Y ⊆ A be sets and I,I1,I2 and I` ⊂ A be ideals, with ` ∈ L some indexing set. Then (a) If Y ⊆ X then J(Y ) ⊇ J(X).
(b) If I2 ⊆ I1 then Z(I2) ⊇ Z(I1). (c) Z(J(X)) ⊇ X.
(d) J(Z(I)) ⊇ I.
(e) Z(J(Z(I))) = Z(I).
(f) J(Z(J(X))) = J(X).
(g) Z(I1) ∪ Z(I2) = Z(I1 ∩ I2) = Z(I1I2). ! ! \ [ X (h) Z(I`) = Z I` = Z I` . `∈L `∈L `∈L Proof. (a) – (d) are obvious from the definitions of Z and J. (e) By (c), Z(I) ⊆ Z(J(Z(I))) so it remains to prove the reverse containment. However, we have that I ⊆ J(Z(I)) by (d) so then applying Z gives Z(I) ⊇ Z(J(Z(I))) by (b). (f) is similar to (e). Here, (d) gives us J(X) ⊆ J(Z(J(X))). On the other hand, we have X ⊆ Z(J(X)) by (c), so applying J yields J(X) ⊇ J(Z(J(X))) by (a). (g) We get Z(I1) ∪ Z(I2) ⊆ Z(I1 ∩ I2) ⊆ Z(I1I2) immediately from the containments I1 ⊇ I1 ∩ I2 ⊇ I1I2 and I2 ⊇ I1 ∩ I2 ⊇ I1I2, using (b). Suppose P ∈ Z(I1I2) and P 6∈ Z(I1). Then there is some f ∈ I1 such that f(P ) 6= 0, but for any g ∈ I2, we have (fg)(P ) = f(P )g(P ) = 0. Since A = k[t1, . . . , tn] is a domain and f(P ) 6= 0, we must have g(P ) = 0. This shows P ∈ Z(I2). Hence Z(I1) ∪ Z(I2) ⊇ Z(I1I2) so we have established all three equalities. S P S P (h) The containments I` ⊆ I` ⊆ I` give us Z(I`) ⊇ Z I` ⊇ Z I` `∈L T `∈L S `∈ LP `∈L for each ` ∈ L, by (b), and therefore Z(I`) ⊇ Z I` ⊇ Z I` . Suppose T `∈L `∈L `∈L P P ∈ Z(I`). Then for every f` ∈ I`, f`(P ) = 0. In particular, for any f = f` ∈ P `∈L P T `∈L I`, f`(P ) = 0 for each ` so f(P ) = 0. Thus P ∈ Z I` . This shows Z(I`) ⊆ `∈PL `∈L `∈L Z `∈L I` , so we have all three equalities. In particular, these properties demonstrate that the algebraic subsets of An form the closed sets of a topology on An. Definition. The topology on An having as its closed sets all algebraic subsets of An is called the Zariski topology on An. In (c) and (d), we see that Z and J are not quite inverse operations.
Lemma 1.1.3. If X ⊆ An is any subset and X is the Zariski-closure of X in An, then (a) J(X) = J(X).
(b) Z(J(X)) = X.
11 1.1 Affine and Projective Space 1 Algebraic Geometry
Proof. (a) Since X ⊆ X, we immediately get J(X) ⊇ J(X) by Lemma 1.1.2(a). On the other hand, if f ∈ J(X), f(P ) = 0 for all P ∈ X. In other words, X ⊆ Z(f) but Z(f) is closed by definition, so Z(f) ⊇ X. Thus f ∈ J(X). (b) X is algebraic by definition so there exists some ideal I ⊂ A such that Z(I) = X. Now by (a), Z(J(X)) = Z(J(X)) = Z(J(Z(I))) which by Lemma 1.1.2(e) equals Z(I) = X. So Z(J(X)) = X as required. The key development so far is that J and Z establish a correspondence, though not always bijective, between the ideals of A and the closed subsets of An. Hilbert’s Nullstellensatz says that when k is algebraically closed, there is a bijective correspondence between algebraic sets n in Ak and radical ideals of A = k[t1, . . . , tn]. Theorem 1.1.4 (Hilbert’s Nullstellensatz). If k is algebraically closed, then J(Z(I)) = r(I) for every ideal I ⊂ A. Next, we introduce projective space and projective algebraic setes in a manner parallel to the presentation of affine algebraic sets.
Definition. For n ∈ N, we define projective n-space over k to be the quotient space n n n+1 ∗ P = Pk = A r{0}/ ∼ where (a0, . . . , an) ∼ (b0, . . . , bn) if and only if there is some λ ∈ k n such that (b0, . . . , bn) = (λa0, . . . , λan). The coordinates of P are written [a0, . . . , an], called homogeneous coordinates. ¯ n As in the affine case, for k ⊆ K ⊆ k we can define Pk (K) = {[a0, . . . , an]: ai ∈ K}.
¯ n n ¯ GK ¯ Lemma 1.1.5. For any k ⊆ K ⊆ k, Pk (K) = (Pk (k)) , where GK = Gal(k/K). Proof. Apply Hilbert’s Theorem 90. n ¯ Definition. For a point P = [a0, . . . , an] ∈ Pk (k), the minimal field of definition for P a0 an ¯G(P ) over k is the field k(P ) = k ,..., where ai 6= 0. Alternatively, k(P ) = k where ai ai G(P ) = {σ ∈ Gk | σ(P ) = P } ≤ Gk. √ √ √ Example 1.1.6. The point P = ( 2, 2, 2) ∈ 3 ( ) has minimal field of definition PQ Q (P ) = since scaling by √1 gives (1, 1, 1) ∈ 3 . Q Q 2 AQ
Let S = k[t0, . . . , tn] be the polynomial ring in n + 1 indeterminates. Recall that S is a graded ring with graded pieces given by total degree:
∞ M S = Sd where Sd = {f ∈ S | deg f = d}. d=0 An arbitrary polynomial in S does not have a well-defined vanishing set in Pn. However, homogeneous polynomials do have vanishing sets:
Definition. For f ∈ Sd, define the zero set of f to be
n Z(f) = {P ∈ P | f(P ) = 0},
where f(P ) = f(p0, . . . , pn) if P = [p0, . . . , pn]. This set is well-defined, since f ∈ Sd implies d ∗ f(λa0, . . . , λan) = λ f(a0, . . . , an) for all λ ∈ k .
12 1.1 Affine and Projective Space 1 Algebraic Geometry
h S∞ h Set S = Sd. For a collection of homogeneous polynomials F ⊆ S , define the zero d=0 T set of this collection by Z(F) = f∈F Z(f).
Definition. Let S = k[t0, . . . , tn] and suppose I ⊂ S is an ideal. Then S is homogeneous L∞ if I = d=0 Id where Id = I ∩ Sd for each d ∈ N0.
Definition. Let X ⊆ Pn be any subset. The (homogeneous) vanishing ideal of X is defined to be J(X) = {f ∈ Sh | f(P ) = 0 for all P ∈ X}. X is called a (projective) algebraic subset if X = Z(I) for some homogeneous ideal I ⊂ S.
Lemma 1.1.7. Let I be an ideal of S and X ⊆ Pn a subset. Then Tm (a) If I = (f1, . . . , fm) then Z(I) = i=1 Z(fi). (b) J(X) is a homogeneous, radical ideal of S.
Proof. Similar to the proof of Lemma 1.1.1.
As in the affine case, the sets Z(I) form the closed sets in the Zariski topology on Pn. Theorem 1.1.8 (Hilbert’s Nullstellensatz, Projective Version). Let k be an algebraically closed field and set S = k[t0, . . . , tn]. Then for any homogeneous ideal I ⊂ S,
(a) J(Z(I)) = r(I) if Z(I) 6= ∅.
(b) Z(I) = ∅ if and only if I = S or r(I) = (t0, . . . , tn). Definition. A nonempty topological space X is said to be irreducible if for any two closed subsets X1,X2 ⊆ X such that X1 ∪ X2 = X, we have X = X1 or X = X2.
Definition. An affine algebraic variety over k is an irreducible algebraic subset of An. A quasi-affine variety is a nonempty, open subset of an affine variety.
Definition. A projective variety is an irreducible closed subset of Pn.A quasi-projective variety is a nonempty, open subset of a projective variety. A quasi-projective variety is a nonempty, open subset of a projective variety.
n ¯ n ¯ Definition. If X is an irreducible algebraic set in Ak (k) or Pk (k), then X is called geo- metrically irreducible.
Lemma 1.1.9. Let Y be a subspace of a topological space X. Then Y is irreducible if and only if for any closed sets X1,X2 ⊆ X such that Y ⊆ X1 ∪ X2, we have Y ⊆ X1 or Y ⊆ X2. Proof. Obvious.
Lemma 1.1.10. A set X ⊆ An is irreducible if and only if J(X) is a prime ideal of A.
13 1.1 Affine and Projective Space 1 Algebraic Geometry
Proof. ( =⇒ ) Assume f, g ∈ A such that fg ∈ J(X). Then X ⊆ X(fg) = Z(f) ∪ Z(g) by Lemma 1.1.2(g), so we can write X = (Z(f) ∩ X) ∪ (Z(g) ∩ X) – note that each of these sets is closed in X. If X is irreducible, then we must have X = Z(f) ∩ X or X = Z(g) ∩ X. In particular, X ⊆ Z(f) or X ⊆ Z(g), so f ∈ J(X) or g ∈ J(X). Hence J(X) is prime. n ( ⇒ = ) Given that J(X) is prime, suppose X ⊆ X1 ∪X2 for two closed sets X1,X2 ⊆ A . Then there exist ideals I1,I2 ⊂ A such that Z(I1) = X1 and Z(I2) = X2. By Lemma 1.1.2(g), X ⊆ Z(I1) ∪ Z(I2) = Z(I1I2) so applying J, we get J(X) ⊇ J(Z(I1I2)) ⊇ I1I2 by Lemma 1.1.2(a) and (d). Since J(X) is prime, we must have J(X) ⊇ I1 or J(X) ⊇ I2, but then X ⊆ Z(J(X)) ⊆ Z(I1) = X1 or X ⊆ Z(J(X)) ⊆ Z(I2) = X2. By Lemma 1.1.9 we are done. Definition. A subset Y of a noetherian space X is called an irreducible component of X if Y is a maximal irreducible subspace of X.
Example 1.1.11. Consider the affine plane A2. Take f = xy in k[x, y]. Then V(f) is the union of the x and y axes, each of which is an irreducible subspace of A2:
y A2
x
Example 1.1.12. Take an irreducible polynomial f ∈ k[x, y]. Since k[x, y] is a UFD, (f) is a prime ideal so C := Z(f) is irreducible by Lemma 1.1.10. C is called the (affine) algebraic curve defined by f, sometimes written f(x, y) = 0. In general, an irreducible polynomial in n k[x1, . . . , xn] corresponds to an affine variety Y = Z(f) ⊆ A , called an (affine) algebraic hypersurface. Proposition 1.1.13. If X is a nonempty algebraic set, then it has finitely many irreducible Sm components X1,...,Xm such that X = i=1 Xi.
Definition. Given a polynomial f ∈ k[t1, . . . , tn] of degree d, we obtain a homogeneous form fh ∈ k[t0, . . . , tn] by defining d x1 xn fh(x0, . . . , xn) = x0f ,..., , x0 x0 called the homogenization of f. Conversely, a homogeneous polynomial F ∈ k[t0, . . . , tn] determines a polynomial F(i) ∈ k[t1, . . . , tn] for each 0 ≤ i ≤ n given by
F(i)(x1, . . . , xn) = F (x1, . . . , xi−1, 1, xi, . . . , xn), called the ith dehomogenization of F .
14 1.2 Morphisms of Affine Varieties 1 Algebraic Geometry
Definition. For an ideal I ⊆ k[t1, . . . , tn], define the homogenization of I by
Ih = {fh | f ∈ I} ⊆ k[t0, . . . , tn].
Likewise, for an ideal J ⊆ k[t0, . . . , tn], the ith dehomogenization of J is
J(i) = {F(i) | F ∈ J} ⊆ k[t1, . . . , tn].
n n Define the ith projective hyperplane by Hi = Z(ti) ⊂ P for 0 ≤ i ≤ n. Set Ui = P rHi, n n Sn an open set in P . Then P = i=0 Ui, that is, the complements of the coordinate hyperplanes are an open cover of Pn.
n n Proposition 1.1.14. Each Ui is homeomorphic to A . That is, P is locally affine. n a0 ai−1 ai+1 an Proof. Define ϕi : Ui → by ϕi[a0, . . . , an] = ,..., , ,..., . This is Zariski- A ai ai ai ai continuous and has a continuous inverse given by ψi(b1, . . . , bn) = [b1, . . . , bi, 1, bi+1, . . . , bn]. Therefore ϕi is a Zariski-homeomorphism for each 0 ≤ i ≤ n.
n Sn Corollary 1.1.15. If Y ⊆ P is a projective variety, then Y = i=0(Y ∩ Ui). In particu- lar, every projective variety may be covered by open sets which are homeomorphic to affine varieties in An.
n For a projective algebraic set Y ⊂ Pk , where Y = Z(J) for an ideal J ⊆ k[t0, . . . , tn], −1 we get n + 1 affine algebraic sets Yi = ϕi (Y ∩ Ui) = Z(J(i)). These are called the deho- k mogenizations of Y . Conversely, for an affine algebraic set X ⊆ An, with X = Z(I), the n n projective closure of X in Pk is the Zariski closure in Pk of ϕ0(X), denoted X. Note that X = Z(I(ϕ0(X))) = Z(Ih).
Lemma 1.1.16. The map ϕ0|X : X → X ∩ ϕ0(X) is a homeomorphism.
1.2 Morphisms of Affine Varieties
Definition. We call a topological space X a ringed space (over a field k) if it possesses a sheaf of k-valued functions, that is, an assignment U 7→ OX (U) to each open set U ⊆ X a k-algebra OX (U) of functions U → k, such that S (a) If U = α Uα for open sets Uα ⊆ X, then f ∈ OX (U) if and only if f ∈ OX (Uα) for every Uα.
(b) If f ∈ OX (U), the set D(f) = {P ∈ U | f(P ) 6= 0} is an open set in U and 1 f ∈ OX (D(f)). Definition. A morphism between ringed spaces is a map ϕ : X → Y such that for any open set V ⊆ Y and regular function f ∈ OY (V ), the pullback
ϕ∗f : x 7→ f ◦ ϕ(x)
−1 ∗ −1 is a regular function on ϕ (V ), i.e. ϕ f ∈ OX (ϕ (V )).
15 1.2 Morphisms of Affine Varieties 1 Algebraic Geometry
∗ −1 A morphism ϕ : X → Y determines a k-algebra homomorphism ϕ : OY (V ) → OX (ϕ (V )) for every open set V ⊆ Y . Definition. An isomorphism of ringed spaces is an invertible morphism ϕ : X → Y such that ϕ−1 is also a morphism.
1 Example 1.2.1. Consider the varieties X and Y defined by X = Ak (the affine line) and 2 3 2 Y = Z(y − x ) ⊆ Ak. Then the map ϕ : X −→ Y t 7−→ (t2, t3) is both invertible and a morphism, but its inverse is not a morphism so ϕ is not an isomor- phism of ringed spaces.
n Definition. For an algebraic set X ⊆ Ak , we define the coordinate ring of X to be the ¯ quotient ring k[X] := k[t1, . . . , tn]/J(X). For any intermediate field k ⊆ K ⊆ k, if X is defined over K we also set K[X] = K[t1, . . . , tn]/JK (X). The coordinate ring is defined n similarly for X ⊆ Pk . Proposition 1.2.2. Suppose k is algebraically closed and X is an affine variety over k. Then
(a) OX (X) = k[X], that is, the coordinate ring of X consists of regular k-valued functions X → k.
(b) For any f ∈ k[X] r {0}, OX (D(f)) = k[X]f , the localization of k[X] at the element f.
n Notice that by Lemma 1.1.10, X ⊆ Ak is a variety if and only if k[X] is an integral domain.
n Definition. For an affine algebraic variety X ⊆ Ak , the function field of X over k is the fraction field k(X) := Frac k[X]. An element of k(X) is called a rational function on X. If X is defined over some k ⊆ K ⊆ k¯, then the field K(X) := Frac K[X] is called the field of K-rational functions on X.
Lemma 1.2.3. For any tower k ⊆ K ⊆ k¯ over which X is defined, K[X] = k¯[X]GK and K(X) = k¯(X)GK . Remark. Let X be an algebraic variety. By Hilbert’s Nullstellensatz, there are one-to-one correspondences closed subvarieties ←→ Spec k¯[X] Y ⊆ X Y 7−→ I(Y ) Z(p) 7−→ p {points P ∈ X} ←→ MaxSpec k¯[X] ¯ P 7−→ mP := {f ∈ k[X] | f(P ) = 0}. For any field k we call elements of MaxSpec k[X] the closed points of X over k.
16 1.2 Morphisms of Affine Varieties 1 Algebraic Geometry
Theorem 1.2.4. The closed points of X over a field k are in bijective correspondence with ¯ the orbits of Gk on MaxSpec k[X]. Example 1.2.5. Let X ⊆ 1 be the algebraic variety defined by the irreducible polynomial AQ √ 3701 3701 ∼ 3701 f = x −2. Then Q[X] = Q[x]/(x −2) = Q( 2) is a field, so MaxSpec Q[X] consists of a single point. On the other hand, MaxSpec Q[X] contains 3701 points. Fix a variety X over k. The embedding i : k[X] ,→ k¯[X] induces a map on maximal ideals i∗ : MaxSpec k¯[X] −→ MaxSpec k[X] with the following properties:
For every maximal ideal m ∈ MaxSpec k[X], the fibre α(m) := (i∗)−1(m) is finite and nonempty.
The absolute Galois group Gk acts transitively on each fibre α(m), and ¯ MaxSpec k[X] = (MaxSpec k[X])/Gk.
In other words, we can view i∗ as a covering space.
If k is a perfect field, #α(m) = [k(P ): k] for any point P ∈ α(m).
The k-points of X are in correspondence with the orbits of size one of this action.
Elements of MaxSpec k[X] are called irreducible 1-cycles. For curves, these irreducible 1-cycles are also called irreducible divisors.
Let X/k¯ be an affine algebraic set. Then X is a ringed space whose structure sheaf OX : U 7→ OX (U) is defined on open sets U ⊆ X by
S gα there exists a cover U = Uα such that f|U = ¯ α hα OX (U) = f : U → k ¯ for gα, hα ∈ k[X] with hα(P ) 6= 0 for all P ∈ Uα
Proposition 1.2.6. Let X be an affine algebraic set defined over k¯. Then ¯ (a) OX (X) = k[X]. h i ¯ ¯ ¯ 1 ¯ (b) For any f ∈ k[X], OX (D(f)) = k[X]f = k[X] f , the localization of k[X] at powers of f. ¯ ¯ (c) For any prime ideal p ⊆ k[X], OX (X r Z(p)) = k[X]p. Definition. For a point P ∈ X, the local ring of X at P is
n f ¯ o OX,P = g : f, g ∈ kx, g(P ) 6= 0 .
17 1.2 Morphisms of Affine Varieties 1 Algebraic Geometry
Remark. For any P ∈ X, the local ring at P can alternatively be characterized by a localization or a direct limit: ¯ OX,P = k[X]m = lim OX (U). P −→ U3P ¯ Then indeed OX,P is a local ring with maximal ideal mP k[X]mP ; by abuse of notation, we will also denote this maximal ideal by mP . Also note that the residue field κ(P ) := OX,P /mP is isomorphic to k¯. We will prove that when X is a curve, ¯ \ k[X] = OX,P . P ∈X We can now define morphisms between affine varieties. Definition. A morphism of affine varieties is a map ϕ : X → Y that is a morphism of ringed spaces, that is, for any open set V ⊆ Y and regular function f ∈ OY (V ), the pullback ∗ −1 ϕ f is a regular function in OX (ϕ (V )). Such a map is also sometimes called regular.
There is a more useful equivalent definition that we introduce now. Suppose X ⊆ An with m k[X] = k[t1, . . . , tn]/J(X) and Y ⊆ A with k[Y ] = k[t1, . . . , tm]/J(Y ). Then a morphism of varieties ϕ : X → Y induces a k-algebra homomorphism
ϕ∗ : k[Y ] −→ k[X].
∗ For each 1 ≤ j ≤ m, we get ϕj := ϕ (tj) ∈ k[t1, . . . , tn]/J(X) so we can view ϕj as a polynomial in t1, . . . , tn. Lemma 1.2.7. A morphism ϕ : X → Y is given by polynomials
ϕ(P ) = (ϕ1(P ), . . . , ϕm(P )) for P ∈ X,
where ϕ1, . . . , ϕm ∈ k[t1, . . . , tn] such that f(ϕ1, . . . , ϕm) ≡ 0 for any f ∈ J(Y ). ¯ Remark. Suppose k ⊆ K ⊆ k and X and Y are defined over K. If ϕ = (ϕ1, . . . , ϕm): X → Y is a morphism such that each ϕi ∈ K[t1, . . . , tn], we say the morphism is defined over K. In particular, any ϕ : X → Y induces a morphism of K-rational points, ϕK : X(K) → Y (K), that is defined over K. Theorem 1.2.8. For any affine varieties X and Y , there is an isomorphism ∼ ¯ ¯ HomAffk (X,Y ) = Homk-alg(k[Y ], k[X]).
In particular, there is an equivalence of categories between Affk, the affine varieties over k together with variety morphisms, and (k-alg)op, the opposite category of finitely generated k-algebras together with k-algebra homomorphisms. Definition. A rational map between affine varieties over a field k is a partial morphism ϕ : X 99K Y consisting of a pair of open sets U ⊆ X and V ⊆ Y and a morphism of quasi-affine varieties U → Y .
18 1.3 Morphisms of Projective Varieties 1 Algebraic Geometry
By Lemma 1.2.7, a rational map ϕ : X 99K Y is given by polynomials ϕ = (ϕ1, . . . , ϕm): n m A → A such that ϕi ∈ OX (U) for each 1 ≤ i ≤ m. A rational map ϕ defines a homomor- phism of k-algebras ϕ∗ : k[Y ] −→ k(X) f 7−→ f ◦ ϕ. Note that if ϕ(U) is dense in Y , the induced homomorphism extends to an inclusion of function fields: ϕ∗ : k(Y ) ,−→ k(X) f ϕ∗(f) 7−→ . g ϕ∗(g) This property is so important that such morphisms are given a name. Definition. A morphism ϕ : X → Y is said to be dominant if ϕ(X) is dense in Y .
Definition. Let X and Y be affine varieties over k. If there exists a rational ϕ : X 99K Y which has a rational inverse, that is a rational map ψ : Y 99K X such that ϕ ◦ ψ and ψ ◦ ϕ are equal to the identity where they are defined, then X and Y are said to be birationally equivalent over k. Lemma 1.2.9. X and Y are birationally equivalent over k if and only if k(X) ∼= k(Y ) as k-algebras. A major area of interest in algebraic geometry is the classification of varieties up to birational equivalence. For curves, there is a canonical invariant called the genus which completely classifices curves up to birational equivalence over the algebraic closure k¯ of a field k. Definition. A rational variety is a variety X over k which is birationally equivalent to An for some n.
1.3 Morphisms of Projective Varieties
n Using the affine patches Ui as charts on P , we can define regular functions and morphisms on projective varieties as follows. Let Ui be the ith affine patch of projective n-space, as defined at the end of Section 1.1. n n Definition. A function on X ⊆ Pk is regular if it pulls back along Ui ,→ Pk (i.e. restricts) to a regular function on each affine patch Xi = Ui ∩ X. n Definition. Let X ⊆ Pk be a projective variety. A rational function on X is an equiva- lence class of quotients of homogeneous forms of the same degree, F (x , . . . , x ) f = 0 n G(x0, . . . , xn)
F1 F2 for F,G ∈ k[t0, . . . , tn], G 6∈ J(X), where we say f = and g = are equivalent if G1 G2 F1G2 − F2G1 ∈ J(X).
19 1.3 Morphisms of Projective Varieties 1 Algebraic Geometry
n Definition. The function field of X ⊆ Pk is the set of rational functions on X, denoted k(X). ∼ Lemma 1.3.1. For each affine patch Xi = X ∩ Ui, k(X) = k(Xi) as k-algebras. n ∼ In particular, if Y ⊆ Ak is an affine variety, then k(Y ) = k(Y ), where Y is the projective closure of Y . F Definition. A function f ∈ k(X) is regular at a point P ∈ X if f can be written f = G for homogeneous forms F,G ∈ k[t0, . . . , tn] such that G(P ) 6= 0. n Proposition 1.3.2. A projective variety X ⊆ Pk is a ringed space with structure sheaf OX : U 7→ OX (U) defined on open sets U ⊆ X by
OX (U) = {f ∈ k(X) | f is regular at P for all P ∈ U}. We can now define morphisms between projective varieties using this ringed space struc- ture. Definition. A morphism of (quasi-)projective varieties is a map ϕ : X → Y that is a morphism of the ringed spaces. The definition of rational maps between affine varieties extends to projective varieties in the following way. n m Definition. For projective varieties X ⊆ Pk and Y ⊆ Pk , a rational map ϕ : X 99K Y is a pair of open sets U ⊆ X and V ⊆ Y and a morphism ϕ = (ϕ0, . . . , ϕm): U → V , such that each ϕi ∈ k[t0, . . . , tm] is a homogeneous polynomial, ϕ(P ) ∈ Y for each P ∈ X and some ϕi 6∈ J(X).
Definition. A map ϕ : X → Y is regular at a point P ∈ X if at least one ϕi(P ) 6= 0. We say ϕ is a regular map if it is regular at every P ∈ X. Lemma 1.3.3. A map ϕ : X → Y is regular if and only if it is a morphism of varieties. Note that a quasi-projective set with the Zariski topology is not Hausdorff in general. Indeed, if X is irreducible, then any nonempty open set is dense. Thus we need a notion to replace the Hausdorff condition for algebraic sets. Proposition 1.3.4. A quasi-projective set is T1.
Proof. If P = [α0, . . . , αn] ∈ X is a point then P = Z((αitj − αjti)i,j) = Z(mP ). Thus points are closed in the Zariski topology.
Corollary 1.3.5. If U ⊆ X is open, P,Q ∈ X and f(P ) = f(Q) for all f ∈ OX (U), then P = Q. Corollary 1.3.6. Let X and Y be quasi-projective sets and ϕ, ψ : X → Y two morphisms. Then if the set Uϕ,ψ := {P ∈ X | ϕ(P ) = ψ(P )} contains an open dense set, we have ϕ = ψ. Definition. For a function f ∈ k[X], define the principal open subset of f by D(f) := {P ∈ X | f(P ) 6= 0}. Lemma 1.3.7. If X is a quasi-projective variety, then the collection {D(f) | f ∈ k[X]} is a basis for the Zariski topology on X.
20 1.4 Products of Varieties 1 Algebraic Geometry
1.4 Products of Varieties
Consider two ringed spaces X and Y . We may take their set-theoretic product X × Y and, if each space is a topological space, endow X × Y with the product topology. Unfortunately, in the category of algebraic varieties, this operation does not preserve the structure of two varieties X and Y ; that is, the product topology arising from the spaces’ Zariski topologies does not suffice to do algebraic geometry. Instead, consider the projections πX : X × Y → X and πY : X × Y → Y . For any ringed space Z, we must have a bijection
Hom(Z,X × Y ) ←→ Hom(Z,X) × Hom(Z,Y )
ϕ 7−→ (ϕ ◦ πX , ϕ ◦ πY ).
We thus make X × Y into a ringed space with OX×Y (U × V ) defined for all open sets U ⊆ X,V ⊆ Y by stipulating that anything of the form
X ∗ ∗ f = (πX gi)(πY hi), for gi ∈ OX (U) and hi ∈ OY (V ),
∗ is regular on U × V . If g ∈ OX (U), we must have πX g ∈ OX×Y (U × V ) and likewise, if ∗ h ∈ OY (V ), then πY h ∈ OX×Y (U ×V ). Thus for such an f as above, D(f) is an open subset of X × Y that would not be open in the usual product topology.
n m ∼ n+m Example 1.4.1. Under the above description of products of affine varieties, A ×A = A for any n, m ∈ N. Note that even for n = m = 1, the Zariski topology on A2 is not equivalent to the product topology on A1 × A1. Lemma 1.4.2. If X and Y are affine varieties, then (a) X × Y is an affine variety.
(b) k[X × Y ] = k[X] ⊗k k[Y ]. To define products of projective varieties requires a little more care.
Proposition 1.4.3 (Segre Embedding). For any n, m ∈ N, there is an embedding
n m (n+1)(m+1)−1 σn,m : P × P −→ P ([x0, . . . , xn], [y0, . . . , ym]) 7−→ [xiyj]i,j
n m such that the image Σn,m := σn,m(P × P ) has the structure of an algebraic subset that coincides with the Zariski topology of the product Pn × Pm. Proof. (Sketch) Viewing P(n+1)(m+1)−1 as a space of (n + 1) × (m + 1) matrices, we have that
Σn,m = {[zij]i,j | all 2 × 2 minors of (zij) vanish}.
Then clearly Σn,m = Z((zijzk` − zkjzi`)i,j,k,`), so Σn,m is an algebraic set. The fact that σn,m is a bijection is obvious. One can now verify that the induced topology corresponds to the topology on Pn × Pm.
21 1.5 Blowing Up 1 Algebraic Geometry
Definition. Let V be a vector space over k. The set of lines, i.e. 1-dimensional subspaces, of V is called the projective space over V , denoted P(V ).
n n Example 1.4.4. If V = k is finite dimensional, then P(V ) can be identified with Pk . ∼ Lemma 1.4.5. If V and W are k-vector spaces, then P(V ) × P(W ) = P(V ⊗k W ).
Now if X ⊆ Pn and Y ⊆ Pm are projective algebraic sets, we can realize X × Y as a (n+1)(m+1)−1 subset of P by identifying it with the embedded image σn,m(X × Y ). Setting
OX×Y (U × V ) := OP(n+1)(m+1)−1 (σn,m(U × V )) gives X × Y the structure of a ringed space which coincides with the previous description of the product of two varieties.
Proposition 1.4.6. Subvarieties of Pn × Pm are zero sets of polynomials of the form
G(x0, . . . , xn, y0, . . . , ym),
where G is homogeneous in the xi of degree d and homogeneous in the yj of degree e.
Proof. Without loss of generality, suppose d ≥ e. Then G(x0, . . . , ym) = 0 if and only if d−e yi G(x0, . . . , ym) = 0 and the latter polynomial is homogeneous of a single degree. Viewing n m (n+1)(m+1)−1 P × P as the embedded image Σn,m ⊆ P gives the result.
1 1 3 Example 1.4.7. Consider the Segre embedding Pk ×Pk ,→ Pk and set Q = Σ1,1 = Z(z00z11 − z01z10). The polynomial z00z11 − z01z10 is called a quadric and the embedded image Q is 1 called a quadric surface. For each α, β ∈ Pk, one gets lines on the quadric surface realized 1 1 by {α} × Pk ,→ Q and Pk × {β} ,→ Q. Note that lines of these forms cover Q, for which reason Q is called a ruled surface.
1.5 Blowing Up
We now have a working notion of products of varieties, so consider the space An × Pn−1. Coordinates in this space are (P, [`]), where P ∈ An is a point and [`] ∈ Pn−1 is the class of some line through the origin ` in An. Consider the set B ⊆ An × Pn−1 defined by B = {(P, [`]) | P ∈ `}.
n n−1 Then B is an algebraic subset: B = Z((xiyj − xjyi)i,j) if A = {(x1, . . . , xn)} and P = {[Y1,...,Yn]}. In dimension n = 2, notice that for any point P = (u, v) and line [`] = [α, β], we have u α P ∈ ` ⇐⇒ = ⇐⇒ uβ − vα = 0. v β
2 1 This explains why we can write B = Z(x1Y2 − x2Y1) ⊆ A × P .
22 1.5 Blowing Up 1 Algebraic Geometry
Now let π : An × Pn−1 → An be the canonical projection. If P 6= 0 in An, then π−1(P ) = (P, [`P ]) is defined, where `P is the unique line through the origin containing P . Therefore π is an isomorphism on an open subset of B:
n π : B r {(P, [`]) | P = 0} −→ A r {0}.
On the other hand, if P = 0, the set π−1(0) = {(0, [`]) ∈ An × Pn−1} is isomorphic to Pn−1. In the dimension 2 case, B is covered by the following affine patches:
U1 = {((x, y), [Y1,Y2]) | Y1 6= 0} ∩ B and U2 = {((x, y), [Y1,Y2]) | Y2 6= 0} ∩ B
Y2 ∼ 2 On U1, set t = so that in local coordinates (x, y, t), U1 = Z(xt − y) = . Likewise, for Y1 A Y1 ∼ 2 U2, set s = so that in the coordinates (x, y, s), U2 = Z(x − ys) = . Thus we see that Y2 A 2 each affine patch Ui is a quadric surface. Effectively, we have replace a point (0, 0) in A with a copy of P1 so that every line through the origin in A2, all of which are indistinguishable in P1 to begin with, now corresponds to a unique line on one of the affine quadric surfaces.
n n Definition. The set B is called the blowup of A at the point 0, denoted B = Bl0 A . The n −1 ∼ n−1 set E0A := π (0) = P is called the exceptional divisor of the blowup.
Definition. Let X ⊆ An be an affine variety and π : An × Pn−1 → An the canonical projection. The pullback π−1(X) is called the total transform of X, while the proper (or strict) transform of X is defined as
−1 Bl0 X := π (X r {0}). As the notation suggests, this set is also called the blowup of X at 0. The set
n E0X := Bl0 X ∩ E0A is called the exceptional divisor of the blowup of X.
Remark. More generally, for any subvariety Z ⊆ X, one can define the blowup of X along Z, a variety BlZ X that is birationally equivalent to X, such that Z is a codimension 1 subvariety of BlZ X.
Example 1.5.1. Consider the plane curve X = Z(y2 − x2(x + 1)) ⊆ A2.
23 1.6 Dimension of Varieties 1 Algebraic Geometry
Note that this variety has a singularity at the point (0, 0). Using the blowup of A2 defined 2 above, Bl0 A , we can blowup X to ‘remove the singularity’ at 0. Let U1 be the first affine 2 patch and ϕ : U1 → A the standard isomorphism. We make the substitution y = xt, so that ϕ(π−1(X)) = Z(x2(t2 − x − 1)). The x2 factor of this polynomial corresponds to the exceptional divisor E0X under this blowup, so the proper transform of X at 0 looks like
2 ϕ(Bl0(X)) = Z(t − x − 1) on the affine patch U1. Note also that
2 2 2 E0X = Bl0 X ∩ E0A = Z(t − x − 1) ∩ Z(x) = Z(t − 1) = {±1}, so the exceptional set of X consists of two points.
Lemma 1.5.2. The projection π : Bl0 X 99K X is a birational equivalence. Blowing up allows us to replace singular curves (or more generally, varieties) with non- singular curves by a sequence of blowups, such that in each step the birational equivalence class of the curve is preserved. The problem of finding such a nonsingular blowup is known as resolution of singularities. Much progress has been made on this problem (e.g. Hironaka’s theorem says that nonsingular blowups exist for any finite dimensional variety over a field of characteristic zero), but there is still much to be done (e.g. in finite characteristic cases).
1.6 Dimension of Varieties
In this section we explore various notions of dimension in commutative algebra and geometry and see how they coincide for algebraic varieties.
Definition. If X is a topological space, the dimension of X is defined by there exists a chain of closed, irreducible subsets dim X = sup ` ∈ N0 . Y0 ( Y1 ( ··· ( Y` with Yi ⊆ X On the algebraic side, we have a similar notion of dimension due to Krull.
Definition. If A is a ring and p ⊂ A is prime, the height of p is defined as
ht(p) = sup{` ≥ 0 | there is a chain of prime ideals p0 ( p1 ( ··· ( p`−1 ( p}. The Krull dimension of A is then defined by
dim A = sup{ht(p) | p ⊂ A is prime}.
n Proposition 1.6.1. Let X ⊆ Ak be an affine variety. Then (a) dim X ≤ dim k[X].
(b) If k is algebraically closed, then dim X = dim k[X].
24 1.6 Dimension of Varieties 1 Algebraic Geometry
Proof. (a) If Y0 ( Y1 ( ··· ( Y` is a chain of closed, irreducible subsets of X, then J(X0) ) J(Y1) ) ··· ) J(Y`) is a chain of prime ideals in k[X], by Lemma 1.1.10. (The inclusions are strict since Z(J(Yi)) = Yi for each 0 ≤ i ≤ `, by Lemma 1.1.3(b).) Thus dim X ≤ dim k[X]. (b) Assume k is algebraically closed and let p0 ( p1 ( ··· ( pm be a strictly ascending 0 0 chain of prime ideals in k[X]. For each i, pi = pi/J(X) for some prime ideal pi ⊂ A = 0 0 k[t1, . . . , tn] containing J(X). Thus by Hilbert’s Nullstellensatz, J(Z(pi)) = pi for each i, which gives us 0 0 0 Z(p0) ) Z(p1) ) ··· ) Z(pm), n 0 a strictly descending chain of affine subsets of A . Since each pi contains J(X), this is a chain of closed, irreducible subsets of X. Hence dim k[X] ≤ dim X so we have equality.
Corollary 1.6.2. Suppose k is algebraically closed and X ⊆ An is an affine variety. Then dim X = tr degk k(X), the transcendence degree of the function field of X.
Proof. It is well known from commutative algebra that dim k[X] = tr degk k(X). Apply Proposition 1.6.1. Proposition 1.6.3. For an affine variety X with projective closure X, k(X) = k(X). We extend the notion of dimension to projective and quasi-projective varieties by using the transcendence degree definition. Proposition 1.6.3 says that this definition agrees with the topological definition of dimension. Definition. For any quasi-projective variety X, the dimension of X is defined by
dim X := tr degk k(X). The following is a classic result due to Krull, which is proven by an algebraic statement about height of prime ideals in k[t1, . . . , tn]. Theorem 1.6.4 (Krull’s Hauptidealsatz). Suppose k is algebraically closed. Then
(a) If I = (f1, . . . , fs) is an ideal of A = k[t1, . . . , tn], then dim Z(I) ≥ n − s.
n (b) If X ⊆ A is any algebraic subset with irreducible components X1,...,Xm ⊆ X, then dim Xi = n − 1 for all 1 ≤ i ≤ m if and only if there exists an f ∈ A r k with X = Z(f).
n Corollary 1.6.5. A variety X ⊆ Ak¯ has codimension 1 if and only if X = Z(f) for a nonconstant, irreducible polynomial f ∈ k[t1, . . . , tn]. n ¯ Example 1.6.6. For affine space, dim Ak¯ = dim k[t1, . . . , tn] = n. Example 1.6.7. If f ∈ k[x, y] is an irreducible polynomial, then Corollary 1.6.5 says dim Z(f) = 1. This gives meaning to the name curve for zero sets of irreducible polynomials in A2: they are the codimension 1 subvarieties, as we would like. Corollary 1.6.8. If X is an affine variety with dimension n and r ≤ n, then any polynomials f1, . . . , fr ∈ k[X] have a common zero. 2 Corollary 1.6.9. In P , for any forms F and G defining curves C1 = Z(F ) and C2 = Z(G), we have C1 ∩ C2 6= ∅.
25 1.7 Complete Varieties 1 Algebraic Geometry
1.7 Complete Varieties
Definition. A variety X is complete if for any variety Y , the projection map X × Y → Y, (x, y) 7→ y, is a closed map.
Proposition 1.7.1. Let X be a complete variety. Then
(1) Any closed subvariety of X is complete.
(2) If Y is complete then X × Y is also complete.
(3) For every morphism ϕ : X → Y , ϕ(X) is closed in Y and complete.
(4) If X ⊆ Y as a subvariety, then X is closed.
Proof. (1) Let X0 ⊆ X be a closed subvariety and Y any variety, and consider π0 : X0 × Y → Y . Suppose Z ⊆ X0 × Y is a closed subset. In general {x0} × Y is closed in X × Y so the diagram i Z ⊆ X0 × Y X × Y
π0 π
Y
commutes and thus the image of Z is closed. (2) Assume Y is complete and let Z be an arbitrary variety. We can factor the map X × Y × Z → Z as X × Y × Z → Y × Z → Z but both of these maps are closed since X and Y are each complete. The composition of closed maps is closed, so X × Y is complete. (3) Let Γ = {(x, ϕ(x)) | x ∈ X} ⊆ X × Y be the graph of ϕ.. Then Γ is closed, so ϕ(X) is the projection of Γ = X × ϕ(X) onto Y , and since X is complete, ϕ(X) is closed. For completeness, use (1). (4) follows from applying (3) to the inclusion i : X → Y .
Theorem 1.7.2. Every projective variety is complete.
Proof. We proved that every closed subvariety of a complete variety is complete, so it suffices to prove Pn is complete for all n ≥ 1. In other words we will show that if π : Pn × Y → Y is the projection map and C ⊂ Pn × Y is closed then π(C) ⊆ Y is closed. Set A = k[Y ] and n+1 B = A[T0,T1,...,Tn]. Then B is a ring of k-valued functions on k × Y . For every proper homogeneous ideal I ⊂ B, define
∗ ∗ n Z (I) = {(x , y) | f(x, y) = 0 for all f ∈ I} ⊆ P × Y.
Then the Z∗(I) are the closed subsets of Pn × Y so it suffices to prove π(Z∗(I)) is closed for all proper homogeneous ideals I ⊂ B. We may assume Z∗(I) is irreducible, i.e. I is prime.
26 1.8 Tangent Space 1 Algebraic Geometry
∗ We may also assume π|Z∗(I) is dominant (changing the target to π(Z (I)) if necessary). Then we must show for every y ∈ Y , there exists x∗ ∈ Pn so that (x∗, y) ∈ Z∗(I), since then we will have π(Z∗(I)) = π(Z∗(I)). Take M ⊂ A to be the maximal ideal that vanishes at y. Then J = MB + I is a homogeneous ideal so Z∗(J) is defined, and if we show Z∗(J) is nonempty, we’ll be done. ∗ k Assume to the contrary that Z (J) = ∅. Then there is a k > 0 such that Ti ∈ J for each Ti. Equivalently, there is an m > 0 so that Bm, the set of all degree m homogeneous polynomials in B, is contained in J. Set N = Bm/(Bm ∩ I). This is a finitely generated A-module in the obvious way. Moreover, notice that MN = N. Then by Nakayama’s Lemma, this implies ∗ N = 0. But then Bm = Bm ∩I so it follows that Z (I) = ∅, which is impossible for a proper ideal I ⊂ B. Hence Z∗(J) 6= ∅ so the theorem is proved.
Example 1.7.3. Consider the variety X = Z(xy − 1) ⊆ A2. Then under the projection A2 → A1, the image of X is A1 r {0} which is not a closed set, so X is not complete. We will see below that affine varieties are not complete in general.
Corollary 1.7.4. Let X be a connected complete variety. Then OX (X) = k. That is, every regular k-valued function on X is constant.
1 Proof. Take f ∈ OX (X). Then f is a map f : X → k = A . Extend this to a map
1 1 g : X → A ,→ P ,
so g is not surjective onto P1. By completeness of X, g(X) is closed in P1, but the only 1 proper closed subsets of P are point-sets. Since X is connected, we must have g(X) = {x0}, or in other words, g is constant. This implies f is constant. This fact is analagous to the theorem in complex analysis that every holomorphic function on a connected compact domain is constant.
Corollary 1.7.5. Let X be a projective variety. Then any morphism X → Y into an irreducible, projective curve Y is either surjective or constant.
Corollary 1.7.6. Nontrivial affine varieties are not projective.
Proof. Let X be an affine variety of dimension at least 1. View X as a proper subset of affine n n-space A , which has coordinate algebra k[T1,...,Tn]. Then some coordinate function Ti does not vanish on X, so Ti ∈ OX (X) is a nonconstant regular function on X.
1.8 Tangent Space
Suppose k is algebraically closed and X ⊆ AN is an affine variety over k. For a point N P = (α1, . . . , αN ) ∈ X, take a line through P , Lα = {αt + P | t ∈ k} for some α ∈ k r {0}. Then if J(X) = (f1, . . . , fm), we see that X ∩Lα = Z(g1, . . . , gm), where gi(t) = fi(αt) ∈ k[t]. For Lα to be tangent to X at P , we need these gi to vanish ‘to a higher multiplicity’, as in complex analysis.
27 1.8 Tangent Space 1 Algebraic Geometry
X
Lα P
Definition. If L is a line and P ∈ X ∩ L, the multiplicity of X ∩ L at P is defined to be the multiplicity of t = 0 as a root of the polynomial
fα(t) := gcd(f1(αt), . . . , fm(αt)).
(Formally, we say that the multiplicity of any t as a root of the zero polynomial is ∞.) Then L is tangent to X at P if the multiplicity of X ∩ L at P is at least 2.
N Definition. The tangent space to X at P is a linear subspace TP X of A consisting of P all lines through the origin Lα = {αt | t ∈ k} such that the affine line Lα = {αt + P | t ∈ k} is tangent to X at P .
N Proposition 1.8.1. For any P ∈ X, TP X is a well-defined vector subspace of A .
Proof. If J(X) = (f1, . . . , fm), write
∞ X (`) fi = fi `=1
(`) (0) where fi is the homogeneous part of fi of degree `. If P ∈ X, then fi (P ) = 0. Thus (1) 2 (2) (1) fi(αt) = tfi (α) + t fi (α) + ... This shows that Lα ⊆ TP X if and only if fi (α) which is N a linear condition. Thus TP X is a linear subspace of A as claimed. Examples.
N N N 1 For any P ∈ A , TP A = A .
2 If X = Z(f) ⊆ AN is a hypersurface defined by an irreducible polynomial f ∈ (1) k[t1, . . . , tN ], then for any P ∈ X, TP X = Z(f ). Notice that
N X ∂f f (1)(t , . . . , t ) = (t − α ) 1 N ∂t i i i=1 i
∂f so it is immediate that TP X is equal to the kernel of the 1 × N matrix ∂x . j 1≤j≤N We see once again that TP X is a vector space since it is the kernel of a linear map. In ∂f particular, dim TP X = N − rank . ∂tj
28 1.8 Tangent Space 1 Algebraic Geometry
∂fi 3 More generally, if J(X) = (f1, . . . , fm), then is an m × N matrix and ∂tj ∂fi TP X = ker . ∂tj ∂fi This shows that dim TP X = N − rank . ∂tj We can use this notion of tangency to formalize the property of “singularity” at a point of a variety.
Definition. For an affine variety X, write sX = min{dim TP X | P ∈ X}. Then a point P ∈ X is nonsingular (or, X is nonsingular at P ) if dim TP X = sX . Otherwise, P is said to be singular.
Proposition 1.8.2. The subset Sing X = {P ∈ X | P is singular} is a proper, Zariski- closed subset of X. In particular, X has a dense, open subset of nonsingular points.
Proof. The condition that dim TP X = ` is equivalent to the nonvanishing of the (N − `) × (N − `) minors of the matrix ∂fi . These minors are polynomials over k, so their zero ∂xj locus, Sing X, is closed. The next theorem connects the dimension of the tangent space to the topological dimen- sion of the space X. By Proposition 1.6.1, this also relates the dimension of the tangent space to the Krull dimension of the coordinate ring of X.
Theorem 1.8.3. If P ∈ X is a nonsingular point of an affine variety X, then dim TP X = dim X.
Proof. Let ϕ : X → Y be an isomorphism of varieties. This determines an isomorphism of vector spaces TP X → Tϕ(P )Y . By the proof of Proposition 1.8.2, dim TP X = ` is an open condition, so it suffices to consider any variety that is birationally equivalent to X. It is a general fact that any affine variety is birationally equivalent to a hypersurface; thus we may assume X ⊆ AN is a hypersurface, with J(X) = (f) for some irreducible polynomial f ∈ k[t1, . . . , tN ]. We need to show that sX = dim X = N − 1. Note that
N ! X ∂f T X = Z (P )(x − α ) . P ∂x i i i=1 i
Since X is a hypersurface, dim TP X ≥ N − 1. However, the only way for us to have ∂f dim TP X = N is if each partial derivative is identically zero on X. If char k = 0, this ∂xi is only true for f = 0 so we are done. If char k = p > 0, the above condition holds if and p p p only if f = g(x1, . . . , xN ) = [g(x1), . . . , xN )] for some g ∈ k[t1, . . . , tN ]. But J(X) is radical, which implies g ∈ J(X), so (f) 6= J(X). This a contradiction of course, so in all cases, dim TP X = N − 1. as required.
29 1.8 Tangent Space 1 Algebraic Geometry
N Definition. Let f ∈ k[t1, . . . , tN ] and P = (α1, . . . , αN ) ∈ A . The linear term in the homogeneous expansion of f at P ,
N X ∂f d f := (P )(x − α ), P ∂x i i i=1 i is called the differential of f at P .
N Lemma 1.8.4. For any P ∈ A , the differential dP is a derivation:
(a) dP (f + g) = dP f + dP g.
(b) dP (fg) = (dP f)g + f(dP g).
N Corollary 1.8.5. If X ⊆ A is a variety with J(X) = (f1, . . . , fm) and P ∈ X, then
TP X = Z(dP f1, . . . , dP fm).
Remark. For g ∈ k[X], we can represent g by a form G ∈ k[t1, . . . , tN ], so that g = G+J(X). Set dP g := dP G. This is only well-defined up to elements of the form dP f for f ∈ J(X). 0 0 Thus, if G = G + f for f ∈ J(X), then dP G = dP G + dP f but since TP X = Z(f1, . . . , fm) and f ∈ (f1, . . . , fm), the differential of f disappears. Thus we can define dP g by
dP g = dP G|TP X
for any lift G ∈ k[t1, . . . , tN ] such that g = G + J(X).
The differential dP induces a map into the dual of the tangent space:
∗ k[X] −→ (TP X)
g 7−→ dP G where g = G + J(X).
N Theorem 1.8.6. Let X ⊆ A be an affine variety and P ∈ X. Then the differential dP 2 ∗ induces an isomorphism mP /mP → (TP X) .
∗ Proof. Restricting dP to mP gives a map dP : mP → (TP X) , which is linear since dP is a N derivation. Now any linear form λ on TP X is induced by a linear function ` on A with `(P ) = 0. Then dP ` = λ, so dP is surjective. Next, suppose g ∈ mP with dP g = 0 and take a lift G ∈ k[t1, . . . , tN ] with G|X = g. Then Pm Pm 0 = dP g = dP G|TP X , so if g = i=1 aifi then dP G = i=1 aidP fi. Then
m 0 X G := G − aifi i=1
0 has no linear term by construction and thus G ∈ (t1 − α1, . . . , tN − αN ). On the other hand, 0 0 2 2 G |X = G|X = g so if G ∈ (t1 − α1, . . . , tN − αN ) then we must have g ∈ mP . This shows 2 that ker dP ⊆ mP . The reverse inclusion is shown similarly, so by the first isomorphism 2 ∼ ∗ theorem, mP /mP = (TP X) .
30 1.8 Tangent Space 1 Algebraic Geometry
Corollary 1.8.7. For any affine variety X over an algebraically closed field k, dim X = 2 dimk mP /mP for any nonsingular point P ∈ X. Proof. Apply Theorems 1.8.3 and 1.8.6.
2 Definition. The vector space mP /mP is called the cotangent space to X at P . It is the dual of the tangent space by Theorem 1.8.6. Definition. If ϕ : X → Y is a morphism of varieties, the induced map ϕ∗ : k[Y ] → k[X] 2 2 determines a linear map mϕ(P )/mϕ(P ) → mP /mP . The dual of this map,
dP ϕ : TP X −→ Tϕ(P )Y, is called the differential of ϕ at P ∈ X.
Theorem 1.8.8. If ϕ : X → Y is an isomorphism of varieties, then the differential dP ϕ : TP X → Tϕ(P )Y is a linear isomorphism for all P ∈ X.
Remark. The above description shows that TP X is an ‘intrinsic object’ to X; that is, it only depends on the isomorphism class of X. The next result says that the tangent space is also a local object.
∗ ∼ 2 Theorem 1.8.9. For any P ∈ X, (TP X) = mP OX,P /(mP OX,P ) .
∗ ∗ Proof. We can extend dP : k[X] → (TP X) to a map dP : OX,P → (TP X) by: f gd f − fd g d = P P . P g g2 Then the proof of Theorem 1.8.6 goes through with appropriate modifications. Definition. For any quasi-projective variety X and point P ∈ X, we define the tangent space to X at P by 2 ∗ TP X = (mP OX,P /(mP OX,P ) ) .
By Theorem 1.8.9, this description agrees with TP (X ∩ Ui) for any affine patch Ui (i.e. the tangent spaces are isomorphic).
N Definition. For a projective variety X ⊆ P such that J(X) = (F1,...,Fm), and a point P ∈ X ∩ Ui, we define the projective tangent space to X at P to be
−1 TP X = T −1 (ϕ (X ∩ Ui)). ϕi (P ) i
N Lemma 1.8.10. TP X is a linear subvariety of P . Proof. This follows from the fact that
( N )! X ∂Fi T X = Z : 1 ≤ j ≤ m . P ∂X i=0 i
31 1.9 Local Parameters 1 Algebraic Geometry
As with affine tangent spaces, we have ∂Fi dim TP X = dim TP X = N − rank (P ) . ∂Xj Definition. A quasi-projective variety X is nonsingular at a point P ∈ X if
∂F dim X = N − rank i (P ) . ∂Xj
Example 1.8.11. A hypersurface X = Z(F ) is nonsingular at P if and only if ∂F (P ) 6= 0 ∂Xi for some 1 ≤ i ≤ N.
1.9 Local Parameters
Definition. Let X be a nonsingular variety of dimension n. We say t1, . . . , tn ∈ OX,P are local parameters at P if
(1) ti(P ) = 0 for each i; that is, ti ∈ mP . ¯ ¯ 2 (2) t1,..., tn form a basis of the vector space mP /mP . Proposition 1.9.1. Local parameters generate the maximal ideal at P .
Proof. This follows from Nakayama’s Lemma.
Definition. Let A be a local ring with maximal ideal m and residue field k = A/m. Then A 2 is said to be a regular ring if dim A = dimk m/m .
Proposition 1.9.1 shows that P ∈ X is nonsingular if and only if the local ring OX,P is a regular ring.
Remark. For a nonsingular point P ∈ X, the topological completion of OX,P at mP , de- noted ObX,P , is isomorphic to the power series ring k[[t1, . . . , tn]], where t1, . . . , tn are local parameters at P . This can be used, for example, to show that OX,P is a UFD, since power series rings are UFDs in general. In the next chapter, we will prove directly that the local rings of X are UFDs when X is a curve.
32 2 Curves
2 Curves
In this chapter we further study the geometry of algebraic varieties of dimension 1.
Definition. An irreducible, projective algebraic variety X of dimension dim X = 1 is called an algebraic curve.
For the rest of the chapter, X will denote an algebraic curve. The first important result is that the local rings OX,P of a nonsingular curve are discrete valuation rings.
Theorem 2.0.1. Let X be an algebraic curve and P ∈ X a nonsingular point. Then OX,P is a DVR.
Proof. Fix P ∈ X and let OP = OX,P be the local ring at P , with maximal ideal mP and residue field κ(P ) = OP /mP . Then by Proposition 1.9.1, OP is a regular local ring. Thus 2 Corollary 1.8.7 gives us dimκ(P )(mP /mP ) = dim X = 1. Let t ∈ mP such that dP t 6= 0; that ¯ r is, t is a local parameter at P . Then for f ∈ k(X) with f(P ) = 0, we have f = t u in OP , × for some u ∈ OP . Define a map
ordP : OP −→ Z d f 7−→ ordP (f) = max{d ∈ Z | f ∈ mP }.
r Explicitly, if f = t u where u is a unit, then ordP (f) = r. Formally, we also set ordP (f) = 0 ¯ if f(P ) 6= 0, to get a map on all of k(X). One then shows that ordP is a discrete valuation with OP as its valuation ring.
Corollary 2.0.2. For any nonsingular point P ∈ X, OP is a PID and therefore a UFD.
r Proof. By the above, every ideal of OP is of the form (t ) where t ∈ mP is a local parameter.
Definition. A local parameter t ∈ mP is called a uniformizer at P . Definition. Fix a rational function f ∈ k(X) and an integer r > 0. We say f has a pole of order r at P if ordP (f) = −r, and a zero of order r at P if ordP (f) = r.
Remark. A rational function f ∈ k(X) is regular at P if and only if ordP (f) ≥ 0. Proposition 2.0.3. Every nonconstant, rational function f ∈ k¯(X) has at least one pole.
Proof. A rational function f ∈ k¯(X) with no poles is regular everywhere on X, and therefore constant by Corollary 1.7.4, since X is projective.
Remark. Each f ∈ k¯(X) has only finitely many zeroes and poles, or none at all.
33 2.1 Divisors 2 Curves
2.1 Divisors
Definition. Let X be a variety. An irreducible divisor on X is a closed, irreducible k-subvariety x of X of codimension 1.
When X is a curve over k, an irreducible divisor is a closed point of MaxSpec k[X ∩ Ui] ¯ for some affine patch Ui, or alternatively, a Gk-orbit of points in X(k). ¯ Definition. The degree of an irreducible divisor x on X is the size of the Gk-orbit in X(k) corresponding to x, i.e. deg(x) = [κ(P ): k] for any P ∈ x.
1 1 1 Example 2.1.1. Let X = P . On an affine patch A ,→ Ui ⊆ P , the irreducible divisors correspond to irreducible polynomials in k[A1] = k[t]. Definition. Let X be a curve over k. The divisor group on X, Div(X), is the free abelian group on the set of irreducible divisors on X: ( ) X Div(X) = D = nxx : nx ∈ Z, nx 6= 0 for finitely many x . x∈X P The elements of Div(X) are called divisors on X. For a divisor D = nxx ∈ Div(X), P x∈X the degree of D is deg(D) = x∈X nx deg(x). Example 2.1.2. If k is algebraically closed, then the irreducible divisors are the points of P X, so each D ∈ Div(X) is a weighted sum of points of X: D = nxx. The degree of P x∈X such a divisor is just the sum of the weights: deg(D) = x∈X nx. Now assume X is a nonsingular curve. For f ∈ k(X)∗, we can define a divisor D(f) = P x∈X ordx(f)x, called the principal divisor of f. This defines a map D : k(X)∗ −→ Div(X) whose image is denoted PDiv(X), the group of principal divisors on X. Definition. The Picard group, or divisor class group, of X is the quotient group Pic(X) = Div(X)/ PDiv(X).
This defines an equivalence relation on divisors: D1 ∼ D2 if D1 = D2 + D(f) for some f ∈ k(X)∗. Example 2.1.3. Consider the variety E = Z(y2 − x3 − 3x2 − 2x). This is the elliptic curve defined by y2 = f(x) where f = x3 + 3x2 + 2x = x(x + 1)(x + 2). The projective closure of E is E = Z(fh), where 2 3 2 2 fh = ZY − X − 3X Z − 2XZ . Y Setting y = Z , we can compute its divisor on E: X D(y) = ordP (y)P. P ∈X On the affine part, there are only zeroes of y, and they occur precisely at P = (−2, 0), (−1, 0) and (0, 0).
34 2.1 Divisors 2 Curves
Note that t ∈ OE,P is a uniformizer whenever dP t 6= 0. Viewing t ∈ k[x, y], i.e. as a lift of [t] ∈ OE,P , we have that ∂f t = x is a uniformizer as long as d x = x| 6= 0, which is equivalent to (P ) 6= 0. P TP E ∂y ∂f t = y is a uniformizer as long as d y = y| 6= 0, that is, (P ) 6= 0. P TP E ∂x In particular, we can always find a uniformizer! For P = (−2, 0), (−1, 0) and (0, 0), t = y is a uniformizer. It follows that ordP (y) = 1 at each of these points, and ordQ(y) = 0 for any other point Q ∈ E. Thus the divisor for y is
(y) = (−2, 0) + (−1, 0) + (0, 0) + ord∞(y)∞.
The point at infinity is where Z = 0, so by the defining equation for E, X = 0 and, in projective space, Y = 1. Set P = ∞ = [0, 1, 0]. On a different affine patch containing P , we Z X 1 1 have coordinates ζ = Y and ξ = Y . Then y = ζ so ordP (Y ) = ordP ζ = − ordP (ζ). In these coordinates, the defining equation for E becomes
g = ζ − (ξ3 + 3ξ2ζ + 2ξζ2).
∂g Notice that ∂ζ (0, 0) = 1, so ξ is a uniformizer on this patch. Now
3 2 2 3 2 2 ordP (ζ) = ordP (ξ + 3ξ ζ + 2ξζ ) ≥ min{ordP (ξ ), ordP (3ξ ζ), ordP (2ξζ )}.
35 2.2 Morphisms Between Curves 2 Curves
3 2 2 We have ordP (ξ ) = 3 and ordP (3ξ ζ), ordP (2ξζ ) ≥ 3. If all three orders are equal to 3, then by the ultrametric inequality ordP (ζ) must be strictly greater than the minimum, which is 2 2 3 in this case. But then ordP (3ξ ζ) = ordP (ξ ) + ordP (ζ) > 2 + 3 > 3, so in fact we cannot have all three orders equal to 3. Hence ordP (ζ) = 3. We have thus calculated the divisor of y on the elliptic curve E:
(y) = (−2, 0) + (−1, 0) + (0, 0) − 3∞.
2.2 Morphisms Between Curves
Proposition 2.2.1. Let C be an algebraic curve and X a projective variety, and suppose ϕ : C 99K X is a rational map. If P ∈ C is a nonsingular point then ϕ is regular at P .
Proof. A more general result is that if Y is a normal variety, i.e. the local rings OY,P are normal rings, then the locus of nondeterminacy of such a rational map ϕ : Y 99K X is a subvariety of codimension at least 2. For Y = C a curve, this means there are no points where ϕ fails to be regular.
A nonconstant rational map ϕ : C1 99K C2 between curves induces a field extension k(C2) ,→ k(C1). Since both function fields have transcendence degree 1, this is in fact a finite field extension.
Definition. For curves C1 and C2 and a rational map ϕ : C1 99K C2, define the degree of ϕ by deg ϕ = [k(C1): k(C2)]; the separable degree of ϕ by degs ϕ = [k(C1): k(C2)]s; and the inseparable degree of ϕ by degi ϕ = [k(C1): k(C2)]i. We say ϕ is separable if k(C1) ⊇ k(C2) is a separable extension. Definition. Any finitely generated field extension of k with transcendence degree 1 over k is called a function field of degree 1 over k.
Proposition 2.2.2. There is an equivalence of categories
nonsingular curves over k function fields of deg. 1 over k ←→ . with nonconstant, rational maps with k-homomorphisms
Proof. (Sketch) The assignment X 7→ k(X) determines one direction: we have seen that k(X) is indeed a function field over k. Conversely, for a function field K/k, we associate an abstract algebraic curve XK to K by putting a Zariski topology on the maximal ideals T of the valuation rings O ⊂ K. The structure sheaf is given by OXK (U) = P ∈U OP where U ⊆ XK is open and OP is the valuation ring corresponding to P . This determines the reverse assignment K 7→ XK . One now checks that these assignments are inverse and preserve categorical structure. Now fix nonsingular curves X and Y over k and a morphism ϕ : X → Y defined over k. Then an irreducible divisor y ∈ Div(Y ) corresponds to a maximal ideal mY (on some affine patch) with uniformizer ty ∈ k(Y ).
36 2.2 Morphisms Between Curves 2 Curves
Definition. The pullback of ϕ is a map ϕ∗ : Div(Y ) → Div(X) defined on irreducible divisors by ∗ X ∗ ϕ y = ordX (ϕ ty)x, x∈X
where ty is a uniformizer at y, and extended linearly.
Example 2.2.3. Let X be the plane curve defined by y2 −x and Y = P1 the projective line, and let ϕ : X → Y be the x-coordinate projection.
x2 X
x0
ϕ
x1
Y y0 y1
∗ ∗ ∗ ∗ Then ϕ y0 = 2x0 + ord∞(ϕ ty0 )∞ and ϕ y1 = x1 + x2 + ord∞(ϕ ty1 )∞. Definition. Let ϕ : X → Y be a morphism, x ∈ X and y = ϕ(x) ∈ Y . The number ∗ eϕ(x) = ordx(ϕ ty) is called the ramification index of ϕ at x. If eϕ(x) = 1 and the residue field extension κ(x)/κ(y) is separable, we say ϕ is unramified at x. Otherwise, we say ϕ is ramified at x, and y is called a branch point of ϕ. Proposition 2.2.4. Fix a morphism ϕ : X → Y , x ∈ X and y = ϕ(x) ∈ Y . Then
(1) eϕ(x) does not depend on the choice of uniformizer ty. P (2) For any Q ∈ Y , P ∈ϕ−1(Q) eϕ(P ) = deg ϕ.
−1 (3) All but finitely many Q ∈ Y have #ϕ (Q) = degs ϕ.
(4) If ψ : Y → Z is a morphism then eψϕ(x) = eϕ(x)eψ(y).
Definition. Given a morphism ϕ : X → Y , the pushforward of ϕ is a map ϕ∗ : Div(X) → Div(Y ) defined on irreducible divisors x ∈ X by
ϕ∗x = [κ(x): κ(ϕ(x))]ϕ(x)
and extended linearly.
37 2.3 Linear Equivalence 2 Curves
Proposition 2.2.5. Let ϕ : X → Y be a morphism and D ∈ Div(Y ) and D0 ∈ Div(X) divisors. Then (1) deg(ϕ∗D) = (deg ϕ)(deg D). (2) ϕ∗(f) = (ϕ∗f) for any function f ∈ k(Y ).
0 0 (3) deg(ϕ∗D ) = deg(D ).
∗ (4) ϕ∗ϕ D = (deg ϕ)D. Corollary 2.2.6. For any function f ∈ k(X) on a curve X, deg(f) = 0.
Proof. View f as a function X → P1. Then deg(f) = deg(ϕ∗(0) − ϕ∗(∞)) = 0. Let Div0(X) be the subgroup of Div(X) consisting of divisors of degree zero. Then Corollary 2.2.6 shows that PDiv(X) ⊆ Div0(X). Set
Pic0(X) := Div0(X)/ PDiv(X).
Then the degree map determines an exact sequence
0 → k× → k(X)× −→D Div0(X) → Pic0(X) → 0.
If X is defined over the algebraic closure k¯, write Pic(X/k¯) for Pic(X(k¯)). Consider Div(X/k¯)Gk . Then we have an embedding
Pic0(X/k) ,→ Pic0(X/k¯)Gk .
Unfortunately, this map is not surjective in general.
2.3 Linear Equivalence
Definition. The classes [D] = {D + (f): f ∈ k(X)×} in the Picard group of X determines a linear equivalence: D ∼ D0 if there exists an f ∈ k(X)× such that D + (f) = D0. Lemma 2.3.1. For two divisors D,D0 ∈ Div(X), D ∼ D0 if and only if deg(D) = deg(D0). Therefore the degree map descends to a map on the Picard group,
deg : Pic(X) −→ Z. P Definition. A divisor D = nxx on X is called effective if nx ≥ 0 for all x ∈ X. In this case we will write D ≥ 0. Also, if D1,D2 ∈ Div(X) and D1 − D2 is an effective divisor, we write D1 ≥ D2. This defines an ordering on Div(X). Definition. Let D be an effective divisor on X. Then the Riemann-Roch space associated to D is the k-vector space
L(D) = {f ∈ k(X)× | D + (f) ≥ 0} ∪ {0}.
We denote its dimension by `(D) = dimk L(D).
38 2.3 Linear Equivalence 2 Curves
P The condition that D + (f) ≥ 0 can be restated as (f) ≥ −D, or if D = nxx then ordx f ≥ −nx for all x ∈ X. Example 2.3.2. Let x ∈ X and n > 0. For the divisor D = nx, the space L(D) consists of all f ∈ k(X)× with no poles except possibly at x of order at most n.
Definition. Fix a divisor D ∈ Div(X). The projective space
0 0 0 ∼ |D| := {D ∈ Div(X):[D ] = [D] and D ≥ 0} = P(L(D)) is called the complete linear system of D on X. Any projective subspace of |D| is called a linear system of D on X.
Note that D is linearly equivalent to an effective divisor if and only if L(D) 6= 0.
Theorem 2.3.3. For any D ∈ Div(X), L(D) is finite dimensional.
Lemma 2.3.4. If D1,D2 ∈ Div(X) are linearly equivalent, say D1 − D2 = (g) for some g ∈ k(X)×, then there is an isomorphism
L(D1) −→ L(D2) f 7−→ gf.
In particular, `(D) is a well-defined invariant of each class [D] ∈ Pic(X). ¯ Remark. If X is defined over an extension k ⊆ K ⊆ k, write LK (D) and `K (D) for the Riemann-Roch space of D on X(K) and its dimension. Then Lk¯(D) has a basis consisting × of functions f ∈ k(X) , so `k¯(D) = `k(D). Thus we are justified in writing `(D) for any of these.
Proposition 2.3.5. Let D,D1,D2 ∈ Div(X). Then (1) `(D) ≤ deg(D) + 1 if D ≥ 0.
(2) If D1 ≤ D2 then L(D1) ⊆ L(D2).
Example 2.3.6. For X = P1, any divisor D is linearly equivalent to d∞ for some d ∈ Z. Then L(D) ∼= L(d∞) = {f ∈ k[t] : deg f ≤ d} which has dimension exactly d + 1. Thus the equality `(D) = deg(D) + 1 holds for any divisor on P1.
Example 2.3.7. If X 6= P1 and D is an effective divisor, then `(D) ≤ deg(D). In particular, if deg(D) ≤ 0 then `(D) = 0.
Next, we explore how much less than deg(D) + 1 the dimension `(D) can be. This culminates with the Riemann-Roch theorem in Section 2.6. Set γ(D) = deg(D) + 1 − `(D).
Theorem 2.3.8 (Riemann Inequality). For an nonsingular algebraic curve X, there is a bound γX such that γ(D) ≤ γX and 1 + deg(D) − γX < `(D) for all divisors D ∈ Div(X).
39 2.4 Differentials 2 Curves
The Riemann-Roch spaces are useful for constructing maps X → PN and in particular N embeddings into projective space. Given a rational map ϕ = (ϕ0, . . . , ϕN ): X 99K P with ϕi ∈ k(X), define the divisor of ϕ to be
Dϕ = gcd{(ϕ0),..., (ϕN )}.
Then for each ϕi,(ϕi) − Dϕ ≥ 0 so ϕi ∈ L(−Dϕ). Set D = Dϕ. Let M be the subspace of L(−D) spanned by (ϕ0),..., (ϕN ). We may assume that these (ϕi) are linearly independent, lowering N if necessary. Then dim M = N + 1. Next, δ = {(g) − D | g ∈ M} is a linear N system of dimension N, i.e. a subspace of | − D|. Thus every rational map X 99K P determines a linear system of D, and it turns out the converse is also true. Given δ ≤ |D| a linear subspace of |D| ⊆ PN of dimension N, define the base locus of δ by n 0 X o B(δ) = P ∈ X : nP 6= 0 for all D = nP P ∈ δ .
Choose a basis f0, . . . , fN of functions for L(D) corresponding to δ. Then ϕδ = (f0, . . . , fN ): N X 99K P is a rational map that restricts to a morphism on X r B(δ). This is in fact unique up to automorphism of PN – corresponding to a choice of basis. Definition. A linear system δ ≤ |D| is called basepoint-free if B(δ) = ∅. N A basepoint-free linear system δ determines a regular map ϕδ : X → P .
Definition. If the complete linear system |D| is basepoint-free and the morphism ϕ|D| : X → PN is an embedding, we say |D| is very ample. If for some m > 0, the complete linear system |mD| is very ample, then we say |D| is ample. P Theorem 2.3.9. Let X be a curve and D = nxx an effective divisor on X. Then
(1) D is basepoint-free if and only if for all x ∈ X such that nx 6= 0, `(D − x) < `(D). (2) |D| is very ample if and only if `(D − P − Q) < `(D − P ) < `(D) for all P,Q ∈ X.
2.4 Differentials
Definition. For a curve X, the space of meromorphic differentials on X is the k(X)- × vector space ΩX consisting of formal differentials df for each f ∈ k(X) satisfying d(f + g) = df + dg, dα = 0 if α ∈ k, d(fg) = f dg + g df. If ϕ : X → Y is a morphism of curves, we get a map of fields ϕ∗ : k(Y ) → k(Y ). Define the induced map on meromorphic differentials by
∗ ϕ :ΩY −→ ΩX ∗ X X ∗ ∗ ϕ fi dti 7−→ ϕ fi d(ϕ ti).
40 2.4 Differentials 2 Curves
Lemma 2.4.1. For any algebraic curve X, dimk(X) ΩX = dim X = 1. Proposition 2.4.2. For any f ∈ k(X), the following are equivalent:
(i) df 6= 0.
(ii) df is a basis for ΩX . (iii) k(X)/k(f) is finite and separable.
(iv) f 6∈ k if char k = 0, or f 6∈ k(X)p if char k = p > 0.
Lemma 2.4.3. A nonconstant morphism ϕ : X → Y is separable if and only if the induced ∗ map ϕ :ΩY → ΩX is nonzero.
For a point P ∈ X, choose a uniformizer t = tP in OX,P . Then ΩX is generated by dt. Hence for any ω ∈ ΩX , there exists g ∈ k(X) such that ω = g dt.
Definition. Define the order of ω at P ∈ X to be ordP (ω) = ordP (g), where ω = g dt. The principal divisor associated to ω is then defined to be X (ω) = ordP (ω)P. P ∈X
Proposition 2.4.4. Let X be a curve, P ∈ X, f ∈ k(X) and ω ∈ ΩX . Then
(1) If f is regular at P then df = f dt for t = tP a local uniformizer.
(2) For any s ∈ k(X) such that s(P ) = 0, ordP (f ds) = ordP (f) + ordP (s) − 1 if p - ordP (s), and ordP (f ds) ≥ ordP (f) + ordP (s) if p | ordP (s).
(3) ordP (ω) = 0 for all but finitely many P ∈ X.
Definition. The canonical class on a curve X is the class KX = [(ω)] in Pic(X) for any nonzero differential ω ∈ ΩX . Lemma 2.4.5. The canonical class is well-defined, i.e. does not depend on the choice of ω ∈ ΩX .
× Proof. For nonzero ω1, ω2 ∈ ΩX , write ω1 = fω2 for some f ∈ k(X) . Then (ω1) = (fω2) = (f) + (ω2). Thus [(ω1)] = [(ω2)].
Definition. We say ω ∈ ΩX is a holomorphic (or regular) differential on X if ordP (ω) ≥ 0 for all P ∈ X. We denote the space of holomorphic differentials on X by Ω[X].
Note that Ω[X] is a k-vector space but need not be a k(X)-vector space.
Definition. The geometric genus of X is defined as g(X) := `(KX ), the dimension of the Riemann-Roch space L(KX ) of the canonical class.
Lemma 2.4.6. There is an isomorphism L(KX ) → Ω[X].
41 2.5 The Riemann-Hurwitz Formula 2 Curves
Proof. The map is f 7→ fω for any fixed ω ∈ Ω[X] defining the canonical class.
Corollary 2.4.7. For any curve X, g(X) = dimk Ω[X]. ¯ Remark. For any divisor D ∈ Div(X), `k(D) = `k¯(D) implies g(X(k)) = g(X(k)), so the geometric genus is unchanged when passing to the algebraic closure k¯. Moreover, g(X) is a birational invariant of X.
Example 2.4.8. Let X = P1 and let t be a coordinate function on some affine patch U of 1 ∼ 1 P . We claim that (dt) = −2∞. Indeed, for any α ∈ U = A , t − α is a local uniformizer at 1 α. Thus ordα(dt) = ordα(d(t − α)) = 0. At infinity, t is a local uniformizer so we can write 2 1 dt = −t d t . Hence 2 1 1 1 ord∞(dt) = ord∞ −t d t = ord∞ − t−2 + ord∞ d t = −2 + 0 = −2.
So (dt) = −2∞ as claimed. Now for any ω ∈ ΩP1 , deg(ω) = −2 so we see that `(KP1 ) = `(−2∞) = 0. Hence the genus of the projective line is g(P1) = 0. Corollary 2.4.9. There are no holomorphic differentials on P1. 1 1 Proof. By Corollary 2.4.7, g(P ) = dimk Ω[P ] but by the calculations above, the genus of P1 is zero.
2.5 The Riemann-Hurwitz Formula
Let ϕ : X → Y be a nonconstant morphism of curves and fix P ∈ X. Then eϕ(P ) = ∗ ordP (ϕ tϕ(P )) where tϕ(P ) is a local uniformizer. We would like to see what happens to the canonical class KX under a morphism. Take t to be a uniformizer at Q = ϕ(P ) and set ∗ ∗ ∗ e eϕ(P ) = e. Then ϕ (dt) = d(ϕ t). Moreover, if s is a uniformizer on X at P , then ϕ t = us × ∗ e e e−1 for some unit u ∈ OP . Now d(ϕ t) = d(us ) = s du + ues ds. Write du = g ds for a regular function g ∈ OP ; this is possible by (1) of Proposition 2.4.4. Then d(ϕ∗t) = seg ds + euse−1 ds ∗ e e−1 =⇒ ordP (d(ϕ t)) = ordP (s g + eus ) e e−1 = min{ordP (s g), ordP (eus )}.
If char k - e, then this minimum is e − 1; otherwise, when char k | e the minimum is at least e.
Definition. If ϕ is ramified and char k - eϕ(P ) for all P ∈ X, we say ϕ is tamely ramified. Otherwise ϕ is wildly ramified.
∗ Remark. If ϕ is tamely ramified, then ordP (d(ϕ t)) = eϕ(P ) − 1 for each P . If ϕ is wildly ∗ ramified at P , then ordP (d(ϕ t)) ≥ eϕ(P ). Definition. For a morphism ϕ : X → Y , define the ramification divisor
X ∗ Rϕ = ordP (d(ϕ t))P. P ∈X
42 2.6 The Riemann-Roch Theorem 2 Curves
Now for ω ∈ ΩY , the canonical classes on X and Y can be defined by KY = [(ω)] and ∗ ∗ KX = [(ϕ ω)]. On the other hand, the pullback defines a divisor ϕ KY ∈ Div(X). We want to determine the relation between these three divisors.
∗ Lemma 2.5.1. If ϕ : X → Y is a morphism of curves, then KX = ϕ KY + [Rϕ], where Rϕ is the ramification divisor of ϕ.
Proof. If ω = f dt ∈ ΩY , then
∗ ∗ ∗ ∗ ∗ ordP (ϕ ω) = ordP (ϕ f d(ϕ t)) = ordP (ϕ f) + ordP (d(ϕ t)),
∗ ∗ so we see that ordP (ϕ ω) gives the coefficient in KX , ordP (ϕ f) gives the coefficient in ∗ ∗ ϕ KY and ordP (d(ϕ t)) gives the coefficient in Rϕ. Summing over P ∈ X gives the desired equality. P Taking ϕ to be tamely ramified, Rϕ = P ∈X (eϕ(P ) − 1)P so the degree function applied to the equation in Lemma 2.5.1 gives
∗ X deg(KX ) = deg(ϕ KY ) + (eϕ(P ) − 1). P ∈X
We will show in Section 2.6 that deg(KX ) = 2g(X) − 2. This proves: Theorem 2.5.2 (Riemann-Hurwitz Formula). For any morphism ϕ : X → Y , X 2g(X) − 2 = (deg ϕ)(2g(Y ) − 2) + (eϕ(P ) − 1). P ∈X
Corollary 2.5.3. For any morphism ϕ : X → Y , g(X) ≥ g(Y ).
2.6 The Riemann-Roch Theorem
Recall from Theorem 2.3.8 that `(D) ≥ 1+deg(D)−γX . The classic Riemann-Roch theorem gives a precise value for γX in terms of the dimensions of the Riemann-Roch spaces of X and the genus.
Theorem 2.6.1 (Riemann-Roch). For an algebraic curve X with genus g = g(X), γX = g satisfies the Riemann Inequality. Moreover,
`(D) − `(K − D) = 1 − g + deg(D), where K = KX is the canonical divisor of X. Remark. One typically proves the Riemann-Roch theorem using sheaf cohomology – the vector spaces L(D) form a sheaf on X – as well as Serre duality. See Hartshorne for details.
Corollary 2.6.2. If KX is the canonical divisor on X, then deg(KX ) = 2g − 2.
43 2.6 The Riemann-Roch Theorem 2 Curves
Proof. Set D = K = KX . Then the Riemann-Roch theorem says that `(K) − `(0) = deg(K) + 1 − g but `(K) = g by definition and `(0) = 1. Solving for deg(K) we get deg(K) = 2g − 2. Corollary 2.6.3. Suppose deg(D) > 2g − 2 for some divisor D ∈ Div(X). Then `(D) = deg(D) + 1 − g. The genus is a discrete invariant of nonsingular curves. There are two natural questions that arise:
(1) What are the curves with genus g for a particular g ∈ N0? (2) How do we describe the structure of the collection of all genus g curves? We will see that one can put the structure of a variety on the collection of genus g curves. ∼ 1 Lemma 2.6.4. Let X be an algebraic curve. Then X = P if and only if there is some divisor D ∈ Div(X) such that deg(D) = 1 and `(D) ≥ 2. ∼ 1 1 Proof. ( =⇒ ) If X = P then g(X) = g(P ) = 0 by Example 2.4.8. Take a point P ∈ X and set D = P ∈ Div(X); of course deg(D) = 1. Then by the Riemann-Roch theorem, `(D) = 1 − g + deg(D) + `(K − D) = 1 − 0 + 1 + `(K − D) = 2 + `(K − D) ≥ 2. ( ⇒ = ) Since `(D) ≥ 2, there exists a nonconstant function g ∈ L(D). Then D ∼ D + (g) ≥ 0 so we may assume D is effective. The only way for deg(D) = 1 is for D = P for some 1 ∗ point P ∈ X(k). Now g determines a map g : X → P , under which g ∞ = ord∞(g) = P , so we must have deg(g) = 1. Hence g is an isomorphism of curves. Proposition 2.6.5. For an algebraic curve X with genus g = g(X), the following are equivalent: ∼ 1 (1) X = P . (2) g = 0 and there exists a divisor D ∈ Div(X) with deg(D) = 1.
(3) g = 0 and X(k) 6= ∅. Proof. (1) =⇒ (2) follows immediately from Lemma 2.6.4. (2) =⇒ (1) Since the genus is 0, deg(D) > 2g − 2 = −2 is certainly true. By Corol- lary 2.6.3, `(D) = deg(D) + 1 − g = 1 + 1 − 0 = 2, so Lemma 2.6.4 once again applies. (2) =⇒ (3) follows from the proof of Lemma 2.6.4. (3) =⇒ (2) Any rational point P ∈ X(k) is a divisor on X of degree 1. This shows that the main interest for curves of genus 0 is in finding rational points P ∈ X(k). Moreover, when g(X) = 0, the complete linear system |KX | is very ample by 2 Theorem 2.3.9 and the Riemann-Roch theorem, and the embedding ϕ|KX | : X,→ P realizes X as a plane conic. Remark. If ϕ : P1 → X is a morphism, Corollary 2.5.3 says that g(X) = 0. Further, when ∼ 1 k is algebraically closed or we consider the k¯-points X(k¯), one has X = P . Notice that this gives another proof of L¨uroth’s theorem (0.2.2).
44 2.7 The Canonical Map 2 Curves
2.7 The Canonical Map
We saw in the last section that the theory of genus 0 curves for the most part reduces to 2 studying whether X has rational points and describing the embedding ϕ|KX | : K,→ P . What about higher genus curves?
Proposition 2.7.1. Let X be a nonsingular algebraic curve over k of genus g ≥ 1. If KX is the canonical divisor of X then the complete linear system |KX | is basepoint-free.
Proof. This follows from the Riemann-Roch theorem and Theorem 2.3.9, taking D = KX .
Thus |KX | determines a regular map into projective space.
g−1 Definition. The canonical map of a genus g ≥ 1 curve X is the map ϕ|KX | : X → P . Definition. A hyperelliptic curve is a smooth curve X together with a separable, degree 2 map X → P1. Example 2.7.2. When char k 6= 2, a hyperelliptic curve is of the form X = Z(y2 − f(x)) for a polynomial f ∈ k[x]. More generally, the minimal degree of a nonconstant morphism X → P1 is called the gonality of X. Thus, a hyperelliptic curve is a curve of gonality 2.
g−1 Proposition 2.7.3. If X is not hyperelliptic and g ≥ 2, the canonical map ϕ|KX | : X → P is an embedding.
Proposition 2.7.4. If X is a nonsingular algebraic curve of genus g and D ∈ Div(X), then
(1) If deg(D) ≥ 2g then |D| is basepoint-free.
(2) If deg(D) ≥ 2g + 1 then |D| is very ample.
5g−6 Corollary 2.7.5. If g ≥ 2 then ϕ|3KX | : X → P is an embedding.
Definition. The map ϕ|3KX | is called the tricanonical map of a curve X.
Theorem 2.7.6 (Faltings). If X is a curve of genus g ≥ 2 then #X(Q) is finite. We have for the most part dealt completely with the cases of curves of genus g = 0 and g ≥ 2, so the most interesting work remains to be done for curves of genus g = 1.
2.8 B´ezout’sTheorem
For this section let k be algebraically closed, fix X ⊆ PN a projective curve and Y ⊆ PN a hypersurface defined by Y = Z(F ) for some F ∈ k[X0,...,XN ]. Further suppose that X 6⊂ Y , i.e. that F 6∈ J(X). Then by counting codimensions, X ∩Y must be some dimension 0 variety in PN , i.e. X and Y intersect in some discrete set of points. We want to count these points, including some notion of multiplicity, in a rigorous way.
45 2.8 B´ezout’sTheorem 2 Curves
Definition. The intersection multiplicity of X and Y = Z(F ) at a point P ∈ X ∩ Y , denoted (X · F )P , is defined as follows. Let G ∈ k[X0,...,XN ] be any form of the same degree as F such that G(P ) 6= 0. Then F/G ∈ k(X) so the intersection multiplicity at P is defined: (X · F )P := ordP (F/G). Further, the intersection divisor of F on X is X divX (F ) = (X · F )P P, P ∈X∩Y P and its order (X · F ) := P ∈X∩Y (X · F )P is called the intersection number of X and Y .
Q P
If L is the linear form representing the line in the figure, then (X · L)P = 1, (X · L)Q = 2 and the intersection number is (X · L) = 1 + 2 = 3.
Proposition 2.8.1. If F1 ∈ k[X0,...,XN ] r J(X) is another form with deg F1 = deg F , then (X · F ) = (X · F1).
Proof. Set f = F/F1 ∈ k(X). Then divX (F ) ∼ divX (F1), so deg(divX (F )) = deg(divX (F1)), and thus the intersection number is well-defined. Corollary 2.8.2. If deg F = m and L is any linear form such that L 6∈ J(X), then (X ·F ) = m(X · L). Proof. Since intersection multiplicity at a point is multiplicative, this formula is clear.
Lemma 2.8.3. For any form F 6∈ J(X) and any point P ∈ X ∩ Z(F ), (X · F )P = 1 if and only if F (P ) = 0 and TP X 6⊂ TP Z(F ). Stated another way, Lemma 2.8.3 says that the intersection multiplicity at P is 1 if and only if X and Z(F ) meet transversely.
Lemma 2.8.4. For any smooth curve X, there exists a linear form L such that (X ·L)P ≤ 1 for all P ∈ X ∩ Z(L). Definition. The degree of a projective curve X ⊆ PN is defined to be
degPN X := max{#(X ∩ H): H is a hyperplane and X 6⊂ H}. N Corollary 2.8.5. Let X be a projective curve in P . Then degPN X = (X ·L) for any linear form L. N Theorem 2.8.6 (B´ezout). Let X ⊂ P be a projective curve and F ∈ k[X0,...,XN ] a form such that F 6∈ J(X). Then (X · F ) = (degPN X)(deg F ). 2 Example 2.8.7. If X ⊂ P is a planar curve given by a form G = 0, then degP2 X = deg G so we can count intersection multiplicities in the plane by: (X · F ) = (deg G)(deg F )
for any F ∈ k[X0,X1,X2] r J(X).
46 2.9 Rational Points of Conics 2 Curves
2.9 Rational Points of Conics
Given a plane conic C over a field of characteristic char k 6= 2, say
C : ax2 + 2bxy + 2cx + dy2 + 2ey + f = 0
2 2 in Ak, we can homogenize to get a curve in Pk: C : F (X,Y,Z) = aX2 + 2bXY + 2cXZ + dY 2 + 2cY Z + fZ2 = 0.
Then F is a quadratic form on the vector space V = k3.
Definition. For a k-vector space V , a function q : V → k is a quadratic form if
(a) q(λv) = λ2v for all λ ∈ k and v ∈ V .
1 (b) The pairing bq(v, w) = 2 (q(v + w) − q(v) − q(w)) is symmetric and k-bilinear. ∼ ∗ A quadratic form q is said to be nondegenerate if bq induces an isomorphism V = V . Otherwise q is degenerate.
If F (X,Y,Z) is a quadratic form on V = k3, then there is a matrix
a b c MF = d e f g h i
t such that F (X,Y,Z) = (XYZ)MF (XYZ) . The determinant deg MF is called the discriminant of F .
Lemma 2.9.1. A quadratic form F (X,Y,Z) is nondegenerate if and only if deg MF 6= 0.
Since MF is symmetric when F is quadratic, we may transform it by some invertible t 3 matrix T ∈ GL3(k) to a diagonal form DF = T MF T . In these coordinates of k , we have
3 X 2 F = aiXi . i=1
Further, if k = Q, we may assume the ai ∈ Z are squarefree and relatively prime. Definition. A quadratic form F represented by a diagonal matrix M with squarefree, co- prime integer entries is called a primitive quadratic form.
The crucial Hasse-Minkowski theorem says that a plane conic having a Q-rational point is equivalent to the conic having a rational point over every completion of Q.
Theorem 2.9.2 (Hasse-Minkowski). Let F ∈ Q[X0,...,Xn] be a primitive quadratic form and let X = Z(F ) ⊆ n . Then X( ) 6= if and only if X( ) 6= for all places v of . PQ Q ∅ Qv ∅ Q
47 2.9 Rational Points of Conics 2 Curves
This theorem is the classic example of Hasse’s “local-to-global principle”: points over the local fields Qv determine points over Q. Note that the Hasse-Minkowski theorem does not hold for general varieties X, nor for general fields k.
Example 2.9.3. For a conic X, X(R) 6= ∅ if and only if there is a change of sign among the coefficients ai in the form F defining X. This condition is easily checked as long as one can diagonalize MF . Thus to find rational points of a conic, we need only ask if there is an algorithm for checking whether X has points over each p-adic field Qp.
n n n n n Example 2.9.4. Let X = P . Then P (Q) = P (Z) and for any prime p, P (Qp) = P (Zp), n so it’s enough to look for integer solutions. If P = [α0, . . . , αn] ∈ P (Qp), then we can clear × denominators so that P = [β0, . . . , βn] for βi ∈ Zp and some βj ∈ Zp . The reduction mod p ¯ ¯ n of P is then given by Pe = [β0,..., βn] ∈ P (Fp). It turns out that quadratic forms always have points over finite fields. To prove this, we will need the following counting lemma.
P k1 kn Lemma 2.9.5. For a sum s = n α ··· α , where α = (α1, . . . , αn) and ki ∈ ≥0, if α∈Fq 1 n Z at least one ki is not a positive integer multiple of q − 1, then s = 0. Proof. Write n X k1 kn Y X ki s = α1 ··· αn = a . n α∈Fq i=1 a∈Fq
If any k = 0 then P aki = P 1 = q ≡ 0 so we may assume all k 6= 0. Let φ be a i a∈Fq a∈Fq i × ki generator of the cyclic group Fq and write ψ = φ . If ki is not a positive multiple of q − 1, then ψ 6= 1. Now we have
q−2 X X X aki = aki = (φm)ki a∈ × m=0 Fq a∈Fq q−2 X 1 − ψq−1 1 − 1 = ψm = ≡ = 0. 1 − ψ 1 − ψ m=0 Therefore s = 0.
Theorem 2.9.6 (Chevalley-Warning). Let Fq be a finite field of characteristic p and let Pr f0, . . . , fr ∈ Fq[X1,...,Xn] be polynomials satisfying n > j=1 deg fj. Set X = Z(f0, . . . , fr) ⊆ n . Then AFq
(a) #X(Fq) ≡ 0 (mod p).
(b) If (0,..., 0) ∈ X(Fq) is a point on the curve then #X(Fq) ≥ p.
48 2.9 Rational Points of Conics 2 Curves
Proof. Define the indicator function for X(Fq):
r Y q−1 P (X1,...,Xn) = (1 − fj(X1,...,Xn) ). j=1
Notice that P (α) = 1 if α ∈ X(Fq) and 0 otherwise. Then X #X(Fq) = P (α) mod p. α∈Fq Now we have r n X X deg P = deg fi(q − 1) < n(q − 1) i=1 i=1
k1 kn by hypothesis. So for each monomial term X1 ··· Xn in P (X1,...,Pn), k1 + ... + kn < n(q − 1), so at least one ki must be less than q − 1. Hence by Lemma 2.9.5, X #X(Fq) = P (α) = 0 mod p. n α∈Fq
This proves (a), and (b) follows trivially.
Corollary 2.9.7. Every quadratic form in at least three variables has a point over each finite field.
The theory of Hasse-Minkowski extends more generally to number fields K/Q, with similar local-global principles at work. We next determine when solutions to quadratic equations F = 0 over finite fields lift to solutions in Zp, similar to Hensel’s Lemma. To do so, we introduce the notion of an integral model for a variety over Q. Definition. For a projective variety X ⊆ N , an integral model for X is a choice of PQ homogenous forms F1,...,Fm ∈ Z[X0,...,Xn] such that X = Z(F1,...,Fm). Denote these forms {F1,...,Fm} by X .
Note that we may assume the set of all coefficients of an integral model X = {F1,...,Fm} is coprime.
Definition. Let X = {F1,...,Fm} be an integral model of X over Q. For a prime p, the reduction of X mod p is the variety
X = Z(F ,..., F ) ⊆ N , Fp 1 m PFp where F i = Fi mod p. We say XFp is geometrically reduced if the ideal (F 1,..., F m) is radical in Fp[X0,...,XN ].
Notice that XFp depends on the integral model X chosen for X.
49 2.9 Rational Points of Conics 2 Curves
Definition. We say an integral model X has good reduction mod p if XFp is geometrically reduced and nonsingular, and bad reduction mod p otherwise.
Lemma 2.9.8. An integral model X = {F1,...,Fm} has good reduction mod p if and only if Z[X0,...,XN ]/(F1,...,Fm) ⊗ Fp is a regular ring. Example 2.9.9. If X ⊆ 2 is a plane conic and X is an integral model of X over given PQ Q by a primitive quadratic form F ∈ Z[X0,X1,X2], then X has bad reduction at a prime p if and only if p divides the discriminant ∆(F ).
Corollary 2.9.10. A primitive quadratic form F ∈ Z[X0,X1,X2] has bad reduction at only finitely many primes.
The following is a stronger version of Hensel’s Lemma (Theorem 0.3.4) that we will need for lifting solutions of quadratic forms.
Theorem 2.9.11. Let (R, v) be a complete DVR, f ∈ R[x1, . . . , xN ] and suppose (a1, . . . , aN ) ∈ RN such that ∂f v(f(a1, . . . , aN )) > 2v (a1, . . . , aN ) ∂xi for some 1 ≤ i ≤ N. Then f has a root in RN .
Corollary 2.9.12. If X = Z(F ) is an integral model over Zp and P is a smooth point of X (Fp), then P lifts to a point of X (Zp). This leaves the question of lifting singular points.
Pn 2 Theorem 2.9.13. Let F = i=0 aiXi be a primitive quadratic form over Zp and set X = Z(F ) ⊆ 2 . Suppose β , . . . , β ∈ such that ord (β ) = 0 for some 0 ≤ j ≤ n, with PQp 0 n Zp p j ε+1 F (β0, . . . , βn) = 0 mod p , where ( 1, p 6= 2 ε = 3, p = 2.
n Then there exists a nontrivial root of F in Zp, that is, α = (α0, . . . , αn) ∈ Zp , with α` 6= 0 for some 0 ≤ ` ≤ n, and F (α0, . . . , αn) = 0.
× Proof. Since F is primitive, ai, βj ∈ Zp for some 0 ≤ i, j ≤ n. If i = j, then the point ¯ ¯ P = (β0,..., βn) is a smooth point of XFp . By Theorem 2.9.11, P lifts to a solution in × × Zp. On the other hand, assume without loss of generality that β0 ∈ Zp and a0 6∈ Zp . Then 0 0 × 2 2 0 2 ε+1 a0 = pa0 for some a0 ∈ Zp . Set c = a1β1 +...+anβn. Then pa0β +c ≡ 0 (mod p ) so p | c; 0 0 2 0 ε 0 × 0 ε write c = pc . Then pa0β0 + c ≡ 0 (mod p ). This implies c ∈ Zp – in fact, c ∈ 1 + p Op c0 × c0 c0 2 – so 0 ∈ p . In particular, − 0 is a square in p by Corollary 0.3.6. Write − 0 = θ for a0 Z a0 Z a0 θ ∈ Zp. Then α = (θ, β1, . . . , βn) is a solution to F (α) = 0 over Zp as required. We have proven the following theorem characterizing rational points of quadratic forms (conics) over Q.
50 2.9 Rational Points of Conics 2 Curves
Theorem 2.9.14. Let F be a nondegenerate, primitive quadratic form over Z and let X = Z(F ) be the corresponding conic over Q. Then X(Q) 6= ∅ if and only if
(1) There is a sign change in the coefficients – i.e. X(R) 6= ∅.
(2) F = 0 has a primitive solution mod 16 – i.e. X(Q2) 6= ∅.
2 (3) F = 0 has a primitive solution mod p for all primes p > 2 – i.e. X(Qp) 6= ∅. In practice, one need only check (2) and (3) for primes at which X has bad reduction, and by Corollary 2.9.10 there are only finitely many of these.
51 3 Elliptic Curves
3 Elliptic Curves
If X is a nonsingular algebraic curve of genus g = 1, then the canonical divisor K = KX has degree 0 by Corollary 2.6.2, so there is no good canonical map of X into projective space. However, we have:
Proposition 3.0.1. Suppose X is a curve with g(X) = 1 and there exists a rational point 2 O ∈ X(k). Then the complete linear system |3O| gives an embedding ϕ|3O| : X → P . Proof. Set D = 3O. Then deg(D) = 3 so by the Riemann-Roch theorem, `(D) = 3. Choose a basis {1, α} for L(2O). Then since L(2O) ⊆ L(3O), this extends to a basis {1, α, β} of L(D). The map ϕ = ϕ|D| is given by ϕ : P 7→ [α(P ), β(P ), 1]. Notice that 1, α, β, α2, αβ, α3, β2 ∈ L(6O), but L(6O) = 6 so there is some linear relation
Aβ2 + Bαβ + Cβ = Dα3 + Eα2 + F α + G.
Since 1, α, β, α2, αβ all have different orders at O, we must have A 6= 0 and D 6= 0. Replace α with ADα, β with AD3β and divide by A3D4 to obtain:
2 3 2 y + a1xy + a3y = x + a2x + a4x + a6.
2 ∼ This defines a curve E ⊂ P , and under the map ϕ, we get X = E. Definition. A curve of genus 1 with a choice of rational point O ∈ X(k) is called an elliptic curve over k. An equation
2 3 2 y + a1xy + a3y = x + a2x + a4x + a6
defining X in P2 is called a Weierstrass equation of X. Choosing different α0, β0 ∈ L(3O) gives an alternate Weierstrass equation:
0 2 0 0 0 0 0 0 3 0 0 2 0 0 0 (y ) + a1x y + a3y = (x ) + a3(x ) + a4x + a6.
0 0 Moreover, since Span{1, α} = Span{1, α } = L(2O), we must have α = u1α + r for some × 0 0 × u1 ∈ k and r ∈ k. Similarly, β = u2β + s2α + t for u2 ∈ k and s2, t ∈ k. Substituting these into the original Weierstrass equation in x, y gives the relation u2 = u3. Set u = u2 2 1 u1 s2 and s = u2 . Then the transformation of coordinates between the two Weierstrass equations has the form x = u2x0 + r, y = u3y0 + su2x0 + t. Since every elliptic curve has a Weierstrass equation, the above can be taken as the general form of an isomorphism between elliptic curves.
52 3.1 Weierstrass Equations 3 Elliptic Curves
3.1 Weierstrass Equations
2 3 2 Let y + a1xy + a3y = x + a2x + a4x + a6 be the Weierstrass equation of an elliptic curve E over k. If char k 6= 2, one can complete the square on the left side of the equation by 1 substituting y 7→ 2 (y − a1x − a3) to get a simpler expression 2 3 2 y = 4x + b2x + 2b4x + b6