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

Similar documents
Math 418 Algebraic Geometry Notes

Algebraic Varieties. Chapter Algebraic Varieties

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

10. Noether Normalization and Hilbert s Nullstellensatz

2. Prime and Maximal Ideals

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

Algebraic geometry of the ring of continuous functions

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

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.

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

Exploring the Exotic Setting for Algebraic Geometry

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

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

8. Prime Factorization and Primary Decompositions

Math 203A - Solution Set 1

TROPICAL SCHEME THEORY

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

Summer Algebraic Geometry Seminar

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

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

4.4 Noetherian Rings

Math 203A - Solution Set 1

Algebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014

Spring 2016, lecture notes by Maksym Fedorchuk 51

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

12. Hilbert Polynomials and Bézout s Theorem

Rings and groups. Ya. Sysak

Commutative Algebra and Algebraic Geometry. Robert Friedman

MATH 326: RINGS AND MODULES STEFAN GILLE

Krull Dimension and Going-Down in Fixed Rings

Fall 2014 Commutative Algebra Final Exam (Solution)

3. The Sheaf of Regular Functions

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module

LECTURE Affine Space & the Zariski Topology. It is easy to check that Z(S)=Z((S)) with (S) denoting the ideal generated by elements of S.

This is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

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

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

Dimension Theory. Mathematics 683, Fall 2013

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

ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb

10. Smooth Varieties. 82 Andreas Gathmann

11. Dimension. 96 Andreas Gathmann

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

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

Math 145. Codimension

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

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Math 210B. Artin Rees and completions

Pure Math 764, Winter 2014

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

MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53

INTRODUCTION TO ALGEBRAIC GEOMETRY. Throughout these notes all rings will be commutative with identity. k will be an algebraically

Chapter 1. Affine algebraic geometry. 1.1 The Zariski topology on A n

Algebraic Geometry. Instructor: Stephen Diaz & Typist: Caleb McWhorter. Spring 2015

MATH 221 NOTES BRENT HO. Date: January 3, 2009.

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

The Topology and Algebraic Functions on Affine Algebraic Sets Over an Arbitrary Field

THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS. Contents

NOTES FOR COMMUTATIVE ALGEBRA M5P55

Algebraic Geometry: MIDTERM SOLUTIONS

COMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D.

Formal power series rings, inverse limits, and I-adic completions of rings

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

Section 19 Integral domains

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are.

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

4.2 Chain Conditions

Dedekind Domains. Mathematics 601

ABSTRACT NONSINGULAR CURVES

Algebraic Geometry Spring 2009

Rings and Fields Theorems

CRing Project, Chapter 5

LECTURES ON ALGEBRAIC GEOMETRY MATH 202A

MAS 6396 Algebraic Curves Spring Semester 2016 Notes based on Algebraic Curves by Fulton. Timothy J. Ford April 4, 2016

Math 203A - Solution Set 3

Lecture 4. Corollary 1.2. If the set of all nonunits is an ideal in A, then A is local and this ideal is the maximal one.

HARTSHORNE EXERCISES

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

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

Ring Theory Problems. A σ

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

WEAK NULLSTELLENSATZ

Institutionen för matematik, KTH.

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Structure of rings. Chapter Algebras

2. Intersection Multiplicities

(Rgs) Rings Math 683L (Summer 2003)

Rings With Topologies Induced by Spaces of Functions

1 Absolute values and discrete valuations

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

THE LENGTH OF NOETHERIAN MODULES

6 Lecture 6: More constructions with Huber rings

1. Group Theory Permutations.

div(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let:

Math 120 HW 9 Solutions

Azumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras

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

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

Transcription:

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then rad(j) = I(V J (k)). This fact, which depends on k being algebraically closed, was first proven by D. Hilbert, and is called the strong form of Hilbert s Nullstellensatz. Theorem 1.1. (Hilbert s Nullstellensatz, strong form.) Let k be an algebraically closed field, and let J k[x 1,..., x n ] be an ideal. Then I(V J (k)) = rad(j). Proof. If f k[x 1,..., x n ] is in the radical f rad(j), then f n J for some positive integer n, so f n (a 1,..., a n ) = 0 for all (a 1,..., a n ) V J (k). Since k is a field, f (a 1,..., a n ) = 0 as well. So f I(V J (k)). So rad(j) I(V J (k)). (This part did not depend on k being algebraically closed.) Showing that rad(j) I(V J (k)) requires more work. Suppose f rad(j). Since rad(j) is the intersection of the prime ideals of k[x 1,..., x n ] containing J, there exists some prime ideal p of k[x 1,..., x n ] such that f p and such that p J. Choose a maximal ideal m of the ring k[x 1,..., x n ]/p[ f 1 ]. The k-algebra k[x 1,..., x n ]/p[ f 1 ] is a finitely generated k-algebra (by x 1,..., x n, f 1 ), so k[x 1,..., x n ]/p[ f 1 ]/m is a finitely generated k-algebra and also a field. Hence k[x 1,..., x n ]/p[ f 1 ]/m is a finite field extension. (The observation that a finitely generated k-algebra which is also a field is a finite field extension of k is called Zariski s lemma, and a careful proof of the Nullstellensatz would include a proof of Zariski s lemma.) Since k is assumed algebraically closed, any finite field extension of k is equal to k itself. Let (a 1,..., a n ) A n k denote the image of the elements x 1,..., x n of k[x 1,..., x n ] under the composite k[x 1,..., x n ] k[x 1,..., x n ]/p[ f 1 ]/m k. Since J p, we have (a 1,..., a n ) V J (k), and since f is inverted in k[x 1,..., x n ]/p[ f 1 ]/m, we have f (a 1,..., a n ) 0. Hence f I(V J (k)). Hence I(V J (k)) rad(j). Example 1.2. It is important that the Nullstellensatz depends on k being algebraically closed! For example, let k = R (which is clearly not algebraically closed), let n = 1, and let J = (x 2 + 1). Then V J (R) =, so I(V J (R)) = R[x]. So for J = (x 2 + 1) we have but the inclusion is not an equality! J = rad(j) I(V J (R), Corollary 1.3. If k is an algebraically closed field and n is a nonnegative integer, then the operations V and I establish a one-to-one correspondence between radical ideals Date: January 2015. 1

2 ANDREW SALCH in k[x 1,..., x n ] and algebraic sets in A n k. This one-to-one correspondence reverses the partial-ordering (given by inclusion) on these two collections. Definition 1.4. To each algebraic set X, we associate the commutative k-algebra k[x 1,..., x n ]/I(X), for which we write A(X). We call A(X) the (affine) coordinate ring of X. Note that A(X) is always a reduced k-algebra, since you showed that R/I is reduced if and only if I is radical, and I(X) is always radical! 2. The Zariski topology. Proposition 2.1. V on products of ideals. Let I, J k[x 1,..., x n ] be ideals. Then: V I (k) V J (k) = V IJ (k). Proof. We have an inclusion of ideals IJ I, so we get an inclusion of algebraic sets in the opposite direction V IJ (k) V I (k). Swap I and J to get a similar inclusion V IJ (k) V J (k). Since both V I (k) and V J (k) are contained in V IJ (k), we have V I (k) V J (k) V IJ (k). Now suppose (a 1,... a n ) V IJ (k), i.e., f (a 1,..., a n ) = 0 for all f IJ. If (a 1,..., a n ) is not contained in V I (k), then there is some element i I such that i(a 1,..., a n ) 0. Then, for all j J, i j IJ, so (i j)(a 1,..., a n ) = i(a 1,..., a n ) j(a 1,..., a n ) = 0 but i(a 1,..., a n ) 0. So j(a 1,..., a n ) = 0, for all j J. So (a 1,..., a n ) V J (k). So every element (a 1,... a n ) V IJ (k) is contained in either V I (k) or V J (k). So V IJ (k) V I (k) V J (k). Theorem 2.2. Let k be an algebraically closed field, and let n be a nonnegative integer. There exists a topology on A n k in which the closed sets are exactly the algebraic sets. Proof. First, the empty set A n k is algebraic, since V k[x 1,...,x n ](k) =. Second, the subset A n k of An k is algebraic, since V (0)(k) = A n k. Third, suppose that X, Y A n k are algebraic sets. Let X = V I(k) and let Y = V J (k). Then X Y = V IJ (k), by Proposition 2.1. So X Y is also an algebraic set. So a union of finitely many algebraic sets is algebraic. Lastly, suppose that {X s } s S is a set of algebraic sets in A n k. For each s S, choose an ideal I s in k[x 1,..., x n ] such that X s = V Is (k). Let J be the ideal of k[x 1,..., x n ] generated by the union s S I s of the ideals I s. Then every element f k[x 1,..., x n ] which vanishes on J also vanishes on s S I s, hence vanishes on each ideal I s, hence f V Is (k) for all s S ; and conversely, if f V Is (k) for all s S, then f vanishes on each I s, hence f vanishes on the union s S I s, hence f vanishes on J and hence f V J (k). We conclude that V J (k) = s S V Is (k) = s S X s. So any intersection of algebraic sets is an algebraic set. Definition 2.3. The topology on A n k in which the closed sets are the algebraic sets is called the Zariski topology. If X A n k is an algebraic set, we give X the subspace topology that it inherits from the Zariski topology on A n k, and we call this subspace topology the Zariski topology on X. 3. Affine varieties. Definition 3.1. Let k be algebraically closed. An affine variety is an algebraic set X A n k such that, if X is equal to the union Y Z of two algebraic sets Y, Z A n k, then either Y = X or Z = X.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. 3 In other words, algebraic varieties are those algebraic sets that cannot be written nontrivially as a union of two smaller algebraic sets. Geometrically it makes sense to study such things: if you can answer some question about algebraic varieties, in principle you probably ought to be able to answer the same question about algebraic sets, since every algebraic set is a union of finitely many algebraic varieties. (This last fact, that every algebraic set is a union of finitely many algebraic varieties, is true, but it isn t obvious or trivial! We give a proof, below, in Theorem 4.4.) The algebraic varieties are distinguished among the algebraic sets by an appealingly simple algebraic property: Theorem 3.2. Let k be algebraically closed. Suppose X A n k is an algebraic set. Then X is an affine variety if and only if its coordinate ring A(X) is an integral domain. Proof. The algebraic set X failing to be an affine variety is equivalent to X splitting as a union X = Y Z where Y and Z are both algebraic sets which are proper subsets of X. Suppose X fails to be an affine variety. Then I(X) = I(Y) I(Z). Since neither Y nor Z are equal to X, there exists an element y Y such that y Z, and there exists an element z Z such that z Y. So we can choose an element f I(Y) such that f (z) 0, and we can choose an element g I(Z) such that g(y) 0. So both f and g have nonzero image under the map f, g k[x 1,..., x n ] k[x 1,..., x n ]/ (I(Y) I(Z)) = A(X). But now consider the product f g in k[x 1,..., x n ]. If we have an element x Y, then f g(x) = f (x)g(x) = 0 since f vanishes on Y, and if we have an element x Z, then f g(x) = f (x)g(x) = 0 since g vanishes on Z. Hence f g vanishes on Y Z = X. Hence f g is zero in the quotient algebra k[x 1,..., x n ]/I(X) = A(X). So f, g are zero divisors in A(X). For the converse: suppose that X A n k is an affine variety, and suppose that f, g k[x 1,..., x n ] are such that f g I(X). So ( f g) I(X). So: V ( f ) (k) V (g) (k) = V ( f g) (k) V I(X) (k) So X = (X V ( f ) (k)) (X V (g) (k)). As an intersection of two algebraic sets is algebraic, X V ( f ) (k) = V J1 (k) and X V (g) (k) = V J2 (k) for some ideals J 1, J 2 k[x 1,..., x n ]. The assumption that X is an affine variety together with the fact that X = V J1 (k) V J2 (k) tells us that either X = V J1 (k) or X = V J2 (k). Now V ( f ) (k) V J1 (k), so rad(( f )) rad(j 1 ), so ( f ) rad(j 1 ), so some power of f is contained in J 1. So, if X = V J1 (k), then f I(X). By the same argument, in X = V J2 (k), then g I(X). Either X = V J1 (k) or X = V J2 (k) is true, so either f I(X) or g I(X). Hence, if f g I(X), then either f I(X) or g I(X). So I(X) is a prime ideal. So A(X) = k[x 1,..., x n ]/I(X) is an integral domain. We showed in the previous lecture that there is an order-reversing one-to-one correspondence between algebraic sets in A n k and ideals in k[x 1,..., x n ], when k is algebraically closed. Now Theorem 3.2 tells us that the affine varieties correspond, under this one-to-one correspondence, with the prime ideals: Corollary 3.3. Suppose k is an algebraically closed field. The operations V and I give us a one-to-one correspondence between algebraic varieties in A n k and prime ideals in k[x 1,..., x n ]. This correspondence reverses the partial-ordering given by inclusion. = X.

4 ANDREW SALCH 4. Chain conditions and dimension. Definition 4.1. If R is a commutative ring, by the Krull dimension of R we mean the largest integer n such that there exists a chain of proper inclusions of prime ideals of R. p 0 p 1 p n Some examples of Krull dimension: Any field k has Krull dimension 0, since the only prime ideal in k is (0). Suppose R is a commutative ring such that there exists a surjective ring homomorphism f : R k, with k a field, such that the kernel of f is a nilpotent ideal of f. Then the only prime ideal of R is ker f, and the Krull dimension of R is still zero. Principal ideal domains R (such as Z) that are not fields have Krull dimension 1, since you have the chain (0) (r) for every non-unit r R, and no longer chains of inclusions of prime ideals (you can prove this as an easy exercise if you want). The ring k[x 1,..., x n ] has Krull dimension n. Observation 4.2. Suppose k is algebraically closed. Since the prime ideals of k[x 1,..., x n ]/I are in inclusion-preserving one-to-one correspondence with the prime ideals of k[x 1,..., x n ] containing I, the Krull dimension of k[x 1,..., x n ]/I is less than or equal to the Krull dimension of k[x 1,..., x n ]. In particular, the Krull dimension of k[x 1,..., x n ]/I is finite. So the Krull dimension of A(X) is finite, for all algebraic sets X A n k. Proposition 4.3. Let k be algebraically closed. Let X A n k be an affine variety. Then the length i of the longest chain of proper inclusions X = X 0 X 1 X i = A n k of affine varieties is equal to the Krull dimension of A(X). Proof. Affine varieties containing X are in order-reversing bijection with prime ideals of k[x 1,..., x n ] contained in I(X), by Corollary 3.3. That s it! We refer to the Krull dimension of A(X) as the dimension of X. Lemma 4.4. Let k be algebraically closed. There are no infinite chains of proper inclusions X 0 X 1 X 2... of algebraic sets in A k n. Proof. Any such chain corresponds to a chain of proper inclusions I 0 I 1 I 2... of ideals of k[x 1,..., x n ]. But k[x 1,..., x n ] is a Noetherian ring, so every ascending chain of inclusions of ideals in k[x 1,..., x n ] eventually stabilizes, so there are no infinite ascending chains of proper inclusions of ideals in k[x 1,..., x n ]. Theorem 4.5. Let k be algebraically closed. Then every algebraic set X A n k is a union of finitely many affine varieties. Proof. Suppose X is an algebraic set but not an affine variety. Then X = X 0 X 1 for some algebraic sets X 0, X 1 with X X 0 and X X 1. Either X 0 and X 1 each are a union of finitely many affine varieties (in which case X is, as well), or at least one of the two algebraic sets X 0, X 1 fails to be a union of finitely many affine varieties. Without loss of generality, we can suppose that X 0 is the one that fails to be a union of finitely many affine varieties. Then X 0 = X 00 X 01 for some algebraic sets X 00, X 01 with neither X 00 nor X 01 equal to all of X 0.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. 5 Now the process repeats: either each X 00 and X 01 are each a union of finitely many affine varieties (contradicting our assumption about X 0 ), or at least one of the two algebraic sets X 00, X 01 fails to be a union of finitely many affine varieties. Without loss of generality, we can suppose that X 00 is the one that fails to be a union of finitely many affine varieties. Then X 00 = X 000 X 001 for some algebraic sets X 000, X 001 with neither X 000 nor X 001 equal to all of X 00. We iterate this process to get a chain of equalities X = X 0 X 1 = X 00 X 01 X 1 = X 000 X 001 X 01 X 1 =... If X is not a union of finitely many affine varieties, then this chain of equalities never ends, i.e., at no (finite) stage in this process do we get that each X i0...i n is an affine variety. But this means that, stripping off all but the first space in each union, we have an infinite chain of proper inclusions X X 0 X 00 X 000... with each X i an algebraic set in A n k which is impossible by Lemma 4.4. So X must be a union of finitely many affine varieties.