INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 1. Contents 1. Commutative algebra 2 2. Algebraic sets 2 3. Nullstellensatz (theorem of zeroes) 4

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

10. Smooth Varieties. 82 Andreas Gathmann

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 5

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22

3. The Sheaf of Regular Functions

INTERSECTION THEORY CLASS 2

Algebraic Varieties. Chapter Algebraic Varieties

12. Hilbert Polynomials and Bézout s Theorem

COMPLEX ALGEBRAIC SURFACES CLASS 9

Summer Algebraic Geometry Seminar

Math 40510, Algebraic Geometry

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

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 41

10. Noether Normalization and Hilbert s Nullstellensatz

2. Prime and Maximal Ideals

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

Math 145. Codimension

Algebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014

Hilbert s Nullstellensatz

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24

Math 418 Algebraic Geometry Notes

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

Bjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 17, 2006

INTERSECTION THEORY CLASS 1

WEAK NULLSTELLENSATZ

Algebraic Geometry. Andreas Gathmann. Notes for a class. taught at the University of Kaiserslautern 2002/2003

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37

Math 203A - Solution Set 1

R S. with the property that for every s S, φ(s) is a unit in R S, which is universal amongst all such rings. That is given any morphism

Extension theorems for homomorphisms

Algebraic Geometry. Adam Boocher. Spring 2007

Spring 2016, lecture notes by Maksym Fedorchuk 51

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 26

(dim Z j dim Z j 1 ) 1 j i

Math 203A - Solution Set 1

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

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

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 14

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

Algebraic varieties. Chapter A ne varieties

Lecture 7: Etale Fundamental Group - Examples

Basic facts and definitions

Algebraic Geometry: MIDTERM SOLUTIONS

Exploring the Exotic Setting for Algebraic Geometry

The Zariski Spectrum of a ring

DIVISORS ON NONSINGULAR CURVES

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 18

MATH 631: ALGEBRAIC GEOMETRY: HOMEWORK 1 SOLUTIONS

The Geometry-Algebra Dictionary

0. Introduction 1 0. INTRODUCTION

One-to-one functions and onto functions

INTERSECTION THEORY CLASS 19

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27

8. Prime Factorization and Primary Decompositions

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2

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

Commutative Algebra. Andreas Gathmann. Class Notes TU Kaiserslautern 2013/14

INTERSECTION THEORY CLASS 6

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 43 AND 44

Math 203A - Solution Set 1

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

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

Homework 2 - Math 603 Fall 05 Solutions

k k would be reducible. But the zero locus of f in A n+1

The most important result in this section is undoubtedly the following theorem.

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

9. Birational Maps and Blowing Up

Lesson 7: Watch Your Step!

Math 3361-Modern Algebra Lecture 08 9/26/ Cardinality

ON THE COHEN-MACAULAYNESS OF CERTAIN HYPERPLANE ARRANGEMENTS SPUR FINAL PAPER, SUMMER 2014

9. Integral Ring Extensions

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 25

CHMC: Finite Fields 9/23/17

Introduction to Algebraic Geometry. Jilong Tong

4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

NOTES ON FINITE FIELDS

Math 248B. Applications of base change for coherent cohomology

11. Dimension. 96 Andreas Gathmann

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24

AN INTRODUCTION TO AFFINE SCHEMES

Elementary Properties of the Integers

Holomorphic line bundles

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

Math 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 )

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

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

Math 249B. Nilpotence of connected solvable groups

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

ALGEBRAIC FUNCTIONS ON ALGEBRAIC VARITIES

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

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

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers:

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

1. Introduction to commutative rings and fields

Transcription:

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 1 RAVI VAKIL Contents 1. Commutative algebra 2 2. Algebraic sets 2 3. Nullstellensatz (theorem of zeroes) 4 I m going to start by telling you about this course, and about the field of algebraic geometry. Goals: geometric insight concrete examples (geometric and arithmetic) hands on calculations (no fear of commutative algebra) no cohomology, flatness, differentials Modern algebraic geometry lies somewhere between differential geometry, number theory, and topology. In a loose sense, it is polynomial equations, and sets defined by polynomial equations. This seems to be extremely narrow and low-tech, but it surprisingly ends up being extremely broad, powerful, and abstract. Some of the philosophy get at geometry via algebra, algebra via pictures. High school reference. Here s a high-powered example of the link between geometry and arithmetic. x n + y n = z n. Finite number of solutions for each n>1: the Mordell Conjecture, Faltings Theorem. Vojta s conjecture. Weil conjectures. Give out handout of motivating problems. This will be a tools course: examples and pictures, but with generality. fast-moving, but grounded by intuition exercises are important concepts really generalize, but become more abstract. Date: September 9, 1999. 1

Objects: smooth varieties over C (over k) varieties over C (over k) schemes (stacks) We won t be shy about schemes in this course. Administrative stuff. Give out handout. Go through it. Headcount. Theme: curves. Examples: Z and k[t]. 1. Commutative algebra Don t worry about it. See books on handout. Ideas you should know: ring (commutative, has 1), field, integral domain, has quotient field, prime ideal, maximal ideal. Sample problem (to appear on problem set): Let A be a (commutative) ring. An element a A is nilpotent (that is, a n =0 for some n>0) if and only if a belongs to every prime ideal of A. 2. Algebraic sets Throughout this course: k is a field. k is an algebraically closed field. For now we work over k. Feel free to think of this as C for now. k n will be rewritten A n (k), affine n-space; we ll often just write A n when there s no confusion about the field. Coordinates x 1 to x n. Algebraic geometry is about functions on the space, which form a ring. The only functions we will care about will be polynomials, i.e. k[x 1,...,x n ]. We ll eventually think of that ring as being the same thing as A n. We ll next define subsets of A n that we ll be interested in. Because we re being very restrictive, we won t take any subsets, or even analytic subsets; we ll only think of subsets that are in some sense defined in terms of polynomials. 2

Let S be a set of polynomials, and define V (S) to be the locus where these polynomials are zero. ( Vanishing set.) Definition: Any subset of A n (k) ofthe form V (S) is an algebraic set. Exercise (to appear on problem set): prove that the points of the form (t, t 2,t 3 ) in A 3 form an algebraic set. In other words, find a set of functions that vanish on these points, and no others. Example/definition: hypersurface, defined by 1 polynomial. Facts. If I =(S), then V (I) =V(S). So we usually will care only about ideals. Hence: subsets of k[x 1,..., x n ] give us subsets of A n ; specifically, ideals give us algebraic sets V ( I a )= V(I a ) (Say it in english.) I J, thenv(i) V(J) V(FG)=V(F) V(G) Note: Points are algebraic. Finite unions of points are algebraic. Definition. A radical of an ideal I R, denoted I,isdefinedby I={r R r n Ifor some n}. Exercise. Show that I is an ideal. Definition. An ideal I is radical if I = I. Claim. V ( I)=V(I). (Explain why.) Conversely, subsets of A n give us a subset of k[x 1,..., x n ] For each subset X, let I(X) be those polynomials vanishing on X. Claim. I(X) is a radical ideal. (Explain.) Facts. If X Y,thenI(X) I(Y). I( ) =k[x 1,..., x n ]. I(A n ) = (0). Question. What s I((a 1,..., a n ))? (Discuss.) Notice: ideal is maximal. Quotient is field. Quotient map can be interpreted as value of function at that point. Exercise. (a) Let V be an algebraic set in A n, P a point not in V. Show that there is a polynomial F in k[x 1,..., x n ] such that F (Q) = 0 for all Q in V, but F (P ) = 1. Hint: I(V ) I(V P ). 3

(b) Let {P 1,..., P 2 } be a finite set of points in A n (k). Show that there are polynomials F 1,..., F r k[x 1,..., x n ] such that F i (P j )=0ifi j,andf i (P i )=1. Exercise. Show that for any ideal I in k[x 1,..., x n ], V (I) =V( I), and I is contained in I(V (I)). 3. Nullstellensatz (theorem of zeroes) Earlier, we had: algebraic sets radical ideals and ideals algebraic sets. This theorem makes an equivalence. In the literature, the word nullstellensatz is used to apply to a large number of results, not all of them equivalent. Nullstellensatz Version 1. Suppose F 1,..., F m k[x 1,...,x n ]. If the ideal (F 1,...,F m ) (1)=k[x 1,...,x n ] then the system of equations F 1 = =F m =0 has a solution in k. Proof next day. (There is a better version for fields that are not necessarily algebraically closed, but we re not worrying about that right now.) Nullstellensatz Version 2. Supopse m is a maximal ideal of k[x 1,...,x n ]. Then m =(x 1 a 1,...,x n a n ) for some a 1,..., a n k. Show that this is equivalent to version 1, modulo fact that ideals are finitely generated. Nullstellensatz Version 3 (sometimes called the Weak Nullstellensatz ). If I is a proper ideal in k[x 1,..., x n ], then V (I) is nonempty. (From Version 2.) Nullstellensatz Version 4. Let I be an ideal in k[x 1,..., x n ]. Then I(V (I)) = I. Equivalently: Radical ideals are in 1-1 correspondence with algebraic sets: If I is a radical ideal in k[x 1,..., x n ]theni(v(i)) = I. So there is a 1-1 correspondence between radical ideals and algebraic sets. Nullstellensatz Version 5. A radical ideal of k[x 1,...,x n ] is the intersection of the maximal ideals containing it. This is the geometric rewording of 4. By version 4, a radical ideal is I(X) for some algebraic set X. Functions vanishing on X are precisely those functions vanishing on all the points of X. Nullstellensatz Version 6. If F 1,..., F r, G are in k[x 1,..., x n ], and G vanishes wherever F 1,..., F r vanish, then there is an equation G N = A 1 F 1 +... + A r F r for some N>0 and some A i in k[x 1,..., x n ]. This has a cute proof, with a useful trick in it. 4

Proof. The case G = 0 is obvious, so assume G 0. Introduce a new variable U, and consider the polynomials F 1,...,F m, and UG 1 k[x 1,...,x n,u]. They have no common solutions in k, so by Version 1 they generate the unit ideal, so there are polynomials P 1,...,P m, Q k[x 1,...,x n,u] such that P 1 F 1 + +P m F m +Q(UG 1) = 1. Now set U =1/G in this formula, and multiply by some large power G N of G to clear denominators. Then the right side is G N, and the left side is in (F 1,...,F m ). 5