Algebraic varieties. Chapter A ne varieties

Similar documents
ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

3. The Sheaf of Regular Functions

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

PROBLEMS, MATH 214A. Affine and quasi-affine varieties

ne varieties (continued)

Summer Algebraic Geometry Seminar

AN INTRODUCTION TO AFFINE SCHEMES

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

Lecture 2 Sheaves and Functors

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

= Spec(Rf ) R p. 2 R m f gives a section a of the stalk bundle over X f as follows. For any [p] 2 X f (f /2 p), let a([p]) = ([p], a) wherea =

10. Noether Normalization and Hilbert s Nullstellensatz

1. Algebraic vector bundles. Affine Varieties

Here is another way to understand what a scheme is 1.GivenaschemeX, and a commutative ring R, the set of R-valued points

Math 418 Algebraic Geometry Notes

Part 1. Sheaves and Geometry

MASTER S THESIS MAT CHOW VARIETIES

Exploring the Exotic Setting for Algebraic Geometry

Arithmetic Algebraic Geometry

NOTES ON ALGEBRAIC GEOMETRY MATH 202A. Contents Introduction Affine varieties 22

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

Algebraic varieties and schemes over any scheme. Non singular varieties

Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra

0.1 Spec of a monoid

10. Smooth Varieties. 82 Andreas Gathmann

6.1 Finite generation, finite presentation and coherence

HARTSHORNE EXERCISES

which is a group homomorphism, such that if W V U, then

Direct Limits. Mathematics 683, Fall 2013

Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti

Solutions to some of the exercises from Tennison s Sheaf Theory

SUMMER COURSE IN MOTIVIC HOMOTOPY THEORY

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE ABOUT VARIETIES AND REGULAR FUNCTIONS.

12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n

Algebraic Geometry Spring 2009

ALGEBRAIC GEOMETRY (NMAG401) Contents. 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30

Algebraic v.s. Analytic Point of View

NONSINGULAR CURVES BRIAN OSSERMAN

Algebraic Geometry Spring 2009

BEZOUT S THEOREM CHRISTIAN KLEVDAL

Algebraic Varieties. Chapter Algebraic Varieties

Lecture 3: Flat Morphisms

A course in. Algebraic Geometry. Taught by Prof. Xinwen Zhu. Fall 2011

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

Algebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014

Lecture 7: Etale Fundamental Group - Examples

Algebraic Geometry Spring 2009

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism

SCHEMES. David Harari. Tsinghua, February-March 2005

18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Kiehl s finiteness theorems

Preliminary Exam Topics Sarah Mayes

Section Divisors

Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99

COHOMOLOGY AND DIFFERENTIAL SCHEMES. 1. Schemes

π X : X Y X and π Y : X Y Y

14 Lecture 14: Basic generallities on adic spaces

MATH2810 ALGEBRAIC GEOMETRY NOTES. Contents

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43

Algebraic Geometry Spring 2009

Algebraic Geometry I - Wintersemester 2016/17

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

Some remarks on Frobenius and Lefschetz in étale cohomology

ALGEBRAIC GROUPS J. WARNER

h M (T ). The natural isomorphism η : M h M determines an element U = η 1

MATH 631: ALGEBRAIC GEOMETRY: HOMEWORK 1 SOLUTIONS

MATH32062 Notes. 1 Affine algebraic varieties. 1.1 Definition of affine algebraic varieties

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

Introduction and preliminaries Wouter Zomervrucht, Februari 26, 2014

My way to Algebraic Geometry. Varieties and Schemes from the point of view of a PhD student. Marco Lo Giudice

V (f) :={[x] 2 P n ( ) f(x) =0}. If (x) ( x) thenf( x) =

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties

9. Birational Maps and Blowing Up

Introduction to Algebraic Geometry. Jilong Tong

ABSTRACT NONSINGULAR CURVES

Introduction to Arithmetic Geometry Fall 2013 Lecture #15 10/29/2013

Institutionen för matematik, KTH.

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

ALGEBRAIC FUNCTIONS ON ALGEBRAIC VARITIES

Math 797W Homework 4

3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).

LECTURES ON ALGEBRAIC GEOMETRY MATH 202A

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013

NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY

Topological properties

Algebraic Geometry I Lectures 14 and 15

Systems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,

Contents. Chapter 3. Local Rings and Varieties Rings of Germs of Holomorphic Functions Hilbert s Basis Theorem 39.

THREE APPROACHES TO CHOW S THEOREM

Rings and groups. Ya. Sysak

Algebraic Geometry I Lecture Notes

Curves on P 1 P 1. Peter Bruin 16 November 2005

Math 248B. Applications of base change for coherent cohomology

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].

ALGEBRAIC GEOMETRY CAUCHER BIRKAR

Algebraic Geometry. Question: What regular polygons can be inscribed in an ellipse?

ALGEBRAIC GEOMETRY I, FALL 2016.

Section Projective Morphisms

Commutative Algebra. Contents. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals...

Transcription:

Chapter 4 Algebraic varieties 4.1 A ne varieties Let k be a field. A ne n-space A n = A n k = kn. It s coordinate ring is simply the ring R = k[x 1,...,x n ]. Any polynomial can be evaluated at a point a 2 A n to yield an element f(a) =ev a (f) 2 k. This gives a surjective homomorphism ev a : R! k. Itskernelm a is a maximal ideal. Let us suppose from now on that k is algebraically closed. Then we have converse. Theorem 4.1.1 (Weak Hilbert Nullstellensatz). Every maximal ideal of R is of the form m a. Given a subset S R, letv (S) ={a 2 A n 8f 2 S, f(a) =0}. A set of this form is called algebraic. One can see that V (S) =V (I) =V ( p I), where I is the ideal generated by S and p I = {f 9n, f n 2 I} is the radical. Thus we as well focus on radical ideals, i.e. ideals such that p I = I. Theorem 4.1.2 (Hilbert s Nullstellensatz). V sets up a bijection between the set of radical ideals of R and algebraic subsets of A n. The inverse sends an algebraic set X to I(X) ={f 2 R 8a 2 X, f(a) =0}. Theorem 4.1.3. A n, ; are algebraic. The collection of algebraic subsets of A n is closed under arbitrary intersections and finite unions. It follows that A n carries a topology, called the Zariski topology, such that the X A n is closed if and only if it is algebraic. Be aware that unlike the topologies in analysis this topology is very weak. It is not even Hausdor. A closed subset of A n is called irreducible if it is not a union of two proper closed sets. Exercise 11. Show that the following are equivalent for a closed subset X A n. 1. X is irreducible. 2. Any nonempty open subset of X (with respect to the induced topology) is dense. 18

3. I(X) is a prime ideal. An irreducible subset of A n is called an algebraic subvariety. A set is called an a ne variety if it is an algebraic subvariety of some a ne spaces. We can make the collection of a ne varieties into a category as follows. A function F : A n! A m is a called regular, if there exists polynomials f 1,...,f m 2 R such that F (a 1,...,a n )=(f 1 (a 1,...,a n ),...,f m (a 1,...,a n )) Such a map is necessarily continuous with respect to the Zariski topologies. The restriction of a regular function between subvarieties A n X! Y A m is also called regular. One can see that the collection of a ne varieties and regular maps forms a category. The coordinate ring of an subvariety X A n is the quotient O(X) =R/I(X). Given f 2O(X) and a 2 X, definef(a) = f(a), where f 2 R is a polynomial representing f. To see that this is well defined, observe that any other representative is of the form f + g, whereg 2 I(X). Therefore f(a) =( f + g)(a). Thus we can view O(X) as a ring of functions on X. This ring is a finitely generated k-algebra which is an integral domain. We refer such an algebra as an a ne domain. The coordinate ring construction gives a contravariant functor between these two categories. Theorem 4.1.4 (A ne duality). The functor O gives an antiequivalence between the category of a ne varieties and regular maps and the category of a ne domains and k-algebra homomorphisms. In more detail, this means that every a ne domain is isomorphic to some O(X), and Hom AffV ar (X, Y ) = Hom AffDom (O(Y ), O(X)) Sketch. Given A 2 AffDom, choose a finite set of say n generators. Then we can write A = k[x 1,...,x n ]/I for some necessarily prime ideal I. Therefore A = O(V (I)). Suppose that X A n,y A m. We have to construct an inverse to the map Hom AffV ar (X, Y )! Hom AffDom (O(Y ), O(X)) Let h be an element of the Hom on the right. This can be lifted to a homomorphism H between polynomial rings as indicated below k[y 1,...,y m ] H / k[x 1,...,x n ] O(Y ) h / O(X) Let f i = H(y i ). Then these polynomials define a regular map from X! Y which gives the inverse. 19

4.2 Projective varieties For various reasons, it is desirable to add points at infinity to A n. But we want to do this in such a way that algebraic geometry still works. The simplest solution is to pass to projective space P n = P n k = { lines in k n+1 passing through 0} If we choose coordinate x 0,...,x n on k n+1, now called homogeneous coordinates, we let [x 0,...,x n ] 2 P n denote the line spanned by the vector (x 0,...,x n ) 6= 0. We embed A n! P n by sending (x 1,...,x n ) 7! [x 1,...,1,...x n ]1intheith place. The image is precisely, the set U i = {[x 0,...,x n ] x i 6=0} and these sets cover P n. Usually, we pick the first embedding of A n, and the remaining points P n U 0 are the points at infinity. Given a homogeneous polynomial f 2 k[x 0,...,x n ], the sets V P (f) ={[a] 2 P n f(a) =0} and D P (f) =P n V P (f) can be defined as before, and we again get a topology, called the Zariski topology. An irreducible closed subset is called a projective variety. These are given by homogeneous prime ideals in k[x 0,...,x n ] i.e. by prime ideals generated by homogeneous polynomials. An open subset of a projective variety is called quasiprojective. This includes the previous case of a ne varieties. Exercise 12. Check that the map A n = U 0 above is a homeomorphism with respect to the Zariski topologies. 4.3 Abstract Algebraic Varieties Classical algebraic geometry was concerned exclusively with quasiprojective varieties. But by the mid 20th century, people realized that there were limitations with this approach. Various alternatives were proposed by Chevalley, Weil and Zariski, but one that seemed right was introduced by Serre in his landmark 1954 paper FAC= Faiceaux Algebriques Coherents = Coherent Algebraic Sheaves. This paved the way for Grothendieck s theory of schemes a few years later (which we won t go into). Let X be an a ne variety X A n. Then it inherits the Zariski topology. This gives a functor from the category of a ne varieties to the category of topological spaces and continuous maps. Given f 2O(X), let D(f) ={a 2 X f(a) 6= 0} Clearly this is open, and any open set is a union of such sets. Lemma 4.3.1. D(f) is also an a ne variety. Under a ne duality it corresponds to the localization O(X)[1/f] Proof. Embed D(f)! A n+1 by sending a 7! (a, 1/f(a)). The image is the algebraic set define by (X) and the new equation x n+1 f(x 1,...,x n ) 1 = 0. We get an isomorphism O(D(f)) = O(X)[x n+1 ]/(x n+1 f 1) = O(X)[1/f] 20

Given U X, say that F : U! k is regular if the restriction of F to any set of the form D(f) is regular. In more explicit terms, this means that F is defined by a rational function in the neighbourhood of any point a 2 U. Note that it may be necessary to use di erent rational functions at di erent points. Since the notion of regularity is local in nature, we can see that if set O X (U) =O(U) ={regular functions from U! k} Proposition 4.3.2. O X forms a sheaf of rings, called the structure sheaf of X. A prevariety over k is a concrete ringed space (X, O X ) of k-valued functions which is locally isomorphic to an a ne variety. More precisely, we have a finite open cover {U i } such that (U i, O X Ui ) is isomorphic to an a ne variety. The pre is because we are missing a separation condition, which plays the role of a Hausdor condition. Without getting into details, the additional condition we need for X to be a variety is that the diagonal = {(x, x) x 2 X} is closed in the suitably defined product X X. The following lemma, proved in chap 1 6 of Mumford s Red Book, is su cient for the examples of interest to us. Lemma 4.3.3. A prevariety is a variety if and only if for any two points x 1,x 2, there is an open a ne set containing both of them. Example 4.3.4. Let U X be an open subset of an a ne variety, then (U, O U ) is a variety. If U = A 2 {0}, this known to be nona ne. In outline, one checks that O(U) = k[x, y]. If it was a ne, then we would have to have U = A 2 by duality, but this is not true. Example 4.3.5. Let X = P n with its Zariski topology. Given an open U X, let O X (U) be the algebra generated by rational functions F/G, where f and G are homogeneous of the same degree and G(a) 6= 0, 8a 2 U. Using the covering U i introduced earlier, we check that (U i, O) = (A n, O). We can assume that i =0, and we have already shown that the U 0 = A n as topological spaces, we just have to check that the functions match. For simplicity, we check only that O(A n ) = O(U 0 ). Given f 2 k[x 1,...,x n ] of degree d, f(x 1 /x 0,...,x n /x 0 ) can be expressed as F (x 0,...,x n )/x d 0 where F is homogeneous of degree d. This maps O(A n )!O(U 0 ) injectively. To see that it is surjective, let F/G 2O(U 0 ). Using the Nullstellensatz, we can see that G 6= 0on U 0 forces it to be of the form cx d 0. The previous example extends to any projective or quasiprojective variety. 4.4 Morphisms The notion of a regular map between projective varieties is fairly complicated. One might guess that it is a map defined by homogeneous polynomials but in fact there are more complicated. However, using it is easy using the ringed 21

space viewpoint. A map F :(X, O X )! (Y,O Y ) from one concrete ringed space to another is a morphism if F : X! Y is continuous and F f := f F 2 O X (F 1 U)wheneverf 2O Y (U). We have the following fact. Lemma 4.4.1. Let X A n and Y A m be a ne varieties then F : X! Y is regular if and only if it is a morphism in the above sense. Proof. Suppose that F is a morphism. Let x i and y i denote coordinates on A n and A m respectively. Lift F y i 2O(X) to polynomials f i 2 k[x 1,...,x n ]. Note that the value of f i (a), for a 2 X, ispreciselytheith coordinate of F (a). Therefore F (a) =(f 1 (a),...,f m (a)) So it is regular. Conversely, suppose that F is regular and given by the above formula. Then it is clearly continuous. For simplicity we prove that g 2 O(U) ) F g 2 O(F 1 U)whenU = Y. In this case g is given by a polynomial, and F g = g(f 1 (x 1,...),...,f m (x 1,...)) Exercise 13. Show that a morphism F :(R n,c 1 )! (R m,c 1 ) is the same thing as a C 1 map. When X and Y are algebraic varieties, we define a morphism or regular map between them to be a morphism of ringed spaces. An element of O(X) isthe same thing as a morphism X! A 1 Let us consider the simplest nona ne example. Proposition 4.4.2. Let X = P 1 k, then O(X) =k. This may seem surprising at first, but it is really an analogue of Liouville s theorem that bounded entire functions are contant. Indeed P 1 C = C [ {1} is nothing but the Riemann sphere. A holomorphic function on it is bounded entire. Proof. Let x 0,x 1 denote the homogeneous coordinates. Let t = x 1 /x 0 denote the coordinate on the a ne line U 0 = {x 0 6=0} = A 1. We have a second a ne line U 1 = {x 1 6=0} with coordinate t 1. A regular function on X restricts to a polynomial in t with is also a polynomial in t 1. This forces it to be constant. With a bit more work, we can prove that Proposition 4.4.3. O(P n )=k for any n. 22

4.5 Stalks We defined stalks earlier using abstract sheaf theory. Now suppose that X is an algebraic variety, and x 2 X is a point, what does the stalk O X,x look like? For this problem, we may as well assume that X is a ne with coordinate ring R = O(X). Then x corresponds to a maximal ideal m = m x R. SinceR is an integral domain, we have a field of fractions K. Let S denote the complement of m in R. Let R m = R[S 1 ] K denote the subring of elements of the form r/s with s 2 S. We have a homomorphism R! R m. We can extend m to an ideal mr m (which we may denote by m later). Since everything outside this ideal is a unit (invertible), it follows that mr m is the unique maximal ideal of this ring. Thus R m is a local ring. The geometric meaning of this is explained by Lemma 4.5.1. The stalk O X,x = Rm. Proof. s 2 S means that s(x) 6= 0 or that D(s) is a neighbourhood of x. We have an injective map O(D(s))!O X,x. Therefore r/s 2 R m can be mapped injectively to O X,x. Now suppose that f 2O X,x, this is section defined in some neighbourhood of the form D(s). Therefore f = r/s, for r 2 R. So the map is surjective as well. As a corollary, we see that the stalks of O X are local rings. We say that (X, O X ) is a locally ringed space. The other examples of C 1 and complex manifolds share this property. 23