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.

Similar documents
Math 203A - Solution Set 1

Math 203A - Solution Set 1

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

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

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

Math 203A - Solution Set 3

Math 418 Algebraic Geometry Notes

Dimension Theory. Mathematics 683, Fall 2013

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

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

Math 203A - Solution Set 1

Summer Algebraic Geometry Seminar

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

Math 214A. 1 Affine Varieties. Yuyu Zhu. August 31, Closed Sets. These notes are based on lectures given by Prof. Merkurjev in Winter 2015.

MATH 631: ALGEBRAIC GEOMETRY: HOMEWORK 1 SOLUTIONS

10. Noether Normalization and Hilbert s Nullstellensatz

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

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

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

Algebraic varieties and schemes over any scheme. Non singular varieties

Pure Math 764, Winter 2014

Math 145. Codimension

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

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.

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

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

12. Hilbert Polynomials and Bézout s Theorem

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

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

4.4 Noetherian Rings

Algebraic Geometry I Lectures 14 and 15

Projective Varieties. Chapter Projective Space and Algebraic Sets

Exploring the Exotic Setting for Algebraic Geometry

NOTES ON FIBER DIMENSION

MASTER S THESIS MAT CHOW VARIETIES

Institutionen för matematik, KTH.

Algebraic Varieties. Chapter Algebraic Varieties

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

Atiyah/Macdonald Commutative Algebra

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

Spring 2016, lecture notes by Maksym Fedorchuk 51

On Invariants of Complex Filiform Leibniz Algebras ABSTRACT INTRODUCTION

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

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

Math 40510, Algebraic Geometry

ABSTRACT NONSINGULAR CURVES

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:

Lecture 6. s S} is a ring.

3. The Sheaf of Regular Functions

10. Smooth Varieties. 82 Andreas Gathmann

4.5 Hilbert s Nullstellensatz (Zeros Theorem)

THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS. Contents

2. Prime and Maximal Ideals

TWO IDEAS FROM INTERSECTION THEORY

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

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

Arithmetic Algebraic Geometry

AN INTRODUCTION TO AFFINE SCHEMES

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

WEAK NULLSTELLENSATZ

Algebraic Varieties. Brian Osserman

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

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

Introduction to Algebraic Geometry. Jilong Tong

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

214A HOMEWORK KIM, SUNGJIN

Rings and groups. Ya. Sysak

Algebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014

Algebraic geometry of the ring of continuous functions

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

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

Section Divisors

2. Intersection Multiplicities

Advanced Algebra II. Mar. 2, 2007 (Fri.) 1. commutative ring theory In this chapter, rings are assume to be commutative with identity.

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

HARTSHORNE EXERCISES

SMA. Grothendieck topologies and schemes

MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1

NOTES FOR COMMUTATIVE ALGEBRA M5P55

Commutative Algebra. Instructor: Graham Leuschke & Typist: Caleb McWhorter. Spring 2016

MATH 326: RINGS AND MODULES STEFAN GILLE

SCHEMES. David Harari. Tsinghua, February-March 2005

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

ALGEBRAIC GROUPS J. WARNER

NONSINGULAR CURVES BRIAN OSSERMAN

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

POLYNOMIAL IDENTITY RINGS AS RINGS OF FUNCTIONS

ALGEBRAIC FUNCTIONS ON ALGEBRAIC VARITIES

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

Bachelorarbeit. Zur Erlangung des akademischen Grades. Bachelor of Science. Dimension theory for commutative rings. Universität Regensburg

16 Dimension and transcendence degree

ne varieties (continued)

14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Lecture notes - Applied Stability Theory (Math 414) Autumn 2003.

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

ALGEBRAIC GEOMETRY CAUCHER BIRKAR

Math 203A, Solution Set 6.

A ne Algebraic Varieties Undergraduate Seminars: Toric Varieties

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

Transcription:

LECTURE 10 1. Affine Space & the Zariski Topology Definition 1.1. Let k a field. Take S a set of polynomials in k[t 1,..., T n ]. Then Z(S) ={x k n f(x) =0, f S}. It is easy to check that Z(S)=Z((S)) with (S) denoting the ideal generated by elements of S. Definition 1.2. Y k n Z(S) =Y. is an (affine) algebraic set if S k[t 1,..., T n ] = A such that Example 1.3. (1) Consider the ideal I =(xy) k[x, y]. Then Z(I) ={(x, y) k 2 xy = 0} = {x =0} {y =0}. (2) Consider the ideal I =(x 2 y 3 ) k[x, y]. Then Z(I) ={(x, y) k 2 x 2 y 3 =0}. Proposition 1.4. The following are true: (1) The union of a finite collection of algebraic sets is algebraic. (2) Arbitrary intersections of algebraic sets are algebraic. (3) and A n are algebraic. Proof. (1) It suffices to show this for the union of two sets. The general case can then be established by induction. Let Y 1 = Z(T 1 ) and Y 2 = Z(T 2 ). We claim that Y 1 Y 2 = Z((T 1 )(T 2 )). For the forward inclusion, let x Y 1 Y 2, so without loss of generality, assume x Y 1. This implies f(x) = 0 for all f (T 1 ). Since (T 1 )(T 2 ) (T 1 ), we have f(x) = 0 for every f (T 1 )(T 2 )sox Z((T 1 )(T 2 )). For the reverse inclusion, let x Z((T 1 )(T 2 )) so h(x) = 0 for all h (T 1 )(T 2 ). Assume x / Z((T 2 )) so f (T 2 ) such that f(x) 0. Take g (T 1 ). Then gf (T 1 )(T 2 ) which implies (gf)(x) =0 g(x)f(x) = 0. But f 0sog(x) = 0 for every g. Thus x Z((T 1 )) = Y, and we have equality of sets. Date: Revised 09/15/2010. 1

2 LECTURE 10 (2) Let {Z(I λ )} λ Λ. We claim that λ Λ Z(I λ )=Z( λ I λ ) where the latter expression is a sum over a finite subset of Λ. Beginning with reverse containment, let x Z( I λ ) f(x) = 0 for all f I λ. In particular, f(x) = 0 for f I λ,sox Z(I λ ) for all λ. For forward containment, let x Z(I λ ) for every λ. Then f(x) = 0 for every f I λ for all λ. Then for g I λ, we have g = h 1 + + h n with h i I λi. This implies that g(x) = 0 because h i (x) = 0 for all i. Hence x Z( I λ ), and we have equality of sets. (3) = Z(1) and A n = Z(0). Remark 1.5. The above Proposition shows that the collection of algebraic sets defines a topology on k n where the closed sets are the algebraic sets. This topology will be called Zariski topology and k n endowed with this topology will be denoted A n. Remark 1.6. Is the Zariski topology Haussdorf? In general no. For an example, in the special case A 1 with k = k, every f k[t ] has finitely many zeroes, so closed sets in the Zariski topology have a finite number of points. We may ask if A 1 is Hausdorff by taking x, y A 1, and assuming that U x,u y open disjoint neighborhoods of x and y, respectively. But this would be equivalent to having closed sets that cover A 1, a contradiction since A 1 is infinite. 1.1. The Ideal-Variety Correspondence. Definition 1.7. Let Y A n, and A = k[t 1,..., T n ]. Then I(Y )={f A f(p )=0 Y k n }. Also, I(Y ) is an ideal of A. This ideal is in fact radical. P Proposition 1.8. Let A = k[t 1,..., T n ]. Then the following are true: (1) If A 1 A 2 A, then Z(A 1 ) Z(A 2 ) in A n. (2) If Y 1 Y 2 A n, then I(Y 1 ) I(Y 2 ) in A. (3) If Y 1,Y 2 A n,i(y 1 Y 2 )=I(Y 1 ) I(Y 2 ). (4) If I,J are ideals in A, then Z(I) Z(J) =Z(IJ). Also, Z( S j )= Z(S j ), for any family of subsets {S j } of A n. (5) If S A n and J ideal of A, then S Z(I(S)) and J I(Z(J)). (6) If V is an algebraic set then V = Z(I(V )). IfJ is an ideal of A of the form J = I(S), then I(Z(J)) = J. Corollary 1.9. The functions Z( ) defined on the family of ideals of the form I(S) for some S A n and I( ) defined on algebraic sets in A n are inverses to each other. Theorem 1.10. (1) If k = k, then I(Z(J)) = Rad(J) for all J A = k[t 1,...T n ]. This is known as the Hilbert Nullstellensatz.

LECTURE 10 3 (2) Z(I(Y )) = Y for all Y A n. Proof. The statement of (1) can be restated as f I(Z(J) f(p ) = 0 for all P Z(J), where Z(J) ={x A n g(x) =0 g J}. The statement implies that if f vanishes where J vanishes then h such that f h J. This only follows when k = k. (2) We start with forward inclusion. Let Y Z(I(Y )) which implies Y Z(I(Y )). For the reverse, let W be a closed superset of Y. Then W = Z(J), which gives Z(J) Y. Examine the ideals corresponding to these sets, and we get I(Y ) I(Z(J)), so J I(Y ). Now go to the sets corresponding to the ideals, and we get Z(I(Y )) Z(J) =W, so any closed set containing Y contains Z(I(Y )). This statement applied to W = Y gives that Y Z(I(Y )). Corollary 1.11. Assume that k is an algebraically closed field. The maps Z( ) and I( ) are inverses to each other and establish a one-to-one correspondence between the family of algebraic sets in A n and radical ideals of A. Corollary 1.12. In this correspondence, a point (a 1,...,a n ) A n corresponds to the maximal ideal (T 1 a 1,...,T n a n ) of A. Proof. Let I =(T 1 a 1,...,T n a n ) which is a maximal (hence radical) ideal. The Corollary follows at once since Z(I) =(a 1,...,a n ). The correspondence implies that I(a 1,...,a n )=(T 1 a 1,...,T n a n ) which is a non-trivial statement (and which may not be true if k is not algebraically closed). Definition 1.13. Let Y X, with X a topological space. Then Y is irreducible if Y is not a union of two proper closed subsets of Y. An example of a reducible set in A 2 is the set of points satisfying xy = 0 which is the union of the two axis of coordinates. Definition 1.14. We call Y an affine algebraic variety if Y is an irreducible algebraic set. Corollary 1.15. Let Y be algebraic variety. Then I(Y ) is prime. Conversely, I(Y ) is prime implies that Y is an algebraic variety. Therefore, in our 1-1 correspondence, varieties (irreducible algebraic sets) correspond to prime ideals. Proof. Take Y = Z(I) irreducible. Let fg I(Y ), so (fg)(y) = 0 for all y Y. This implies Y Z(fg)=Z(f) Z(g). Then Y =(Y Z(f)) (Y Z(g)). Note that both sets in our union

4 LECTURE 10 are closed in the subspace topology. But Y is irreducible, so the sets Y Z(f) and Y Z(g) are not simultaneously proper. Assume, without loss of generality, that Y Z(f) = Y which implies that Y Z(f),sof I(Y ) by definition. This gives f I(Y ) and hence I(Y )is prime. Conversely, let Y = Y 1 Y 2 with Y i = Z(I i ),I i ideals in A, for i = 1, 2. Assume, for a contradiction, that Y 1,Y 2 are strictly contained in Y. First note that I(Y ) I(Y i ) since equality would give Z(I(Y i )=Z(I(Y )), for i =1, 2. But Z( ),I( ) are inverses to each other when restricted to the set of ideals of algebraic sets and, respectively, algebraic sets, hence Y i = Y, false. Now, let f i I(Y i ) \ I(Y ). Then f 1 f 2 I(Y 1 )I(Y 2 ) I(Y 1 ) I(Y 2 ) I(Y 1 Y 2 )=I(Y ). Bt I(Y ) is prime. Therefore, either f 1 I(Y )orf 2 I(Y 2 ). This is a contradiction. Definition 1.16. If A = k[t 1,..., T n ], and Y A n is an algebraic set, then k[y ]=A/I(Y ) is called the coordinate ring of functions of Y. Definition 1.17. A map between two algebraic sets φ : V A n W A m is called a morphism (or regular map) if there are polymomials F 1,...F m such that φ(a 1,...,a n )=(F 1 (a 1,...,a n ),...,F m (a 1,...,a n )), for all (a 1,...,a n ) V. A morphism φ is called isomorphism between V and W if there exists a morphism ψ : W V inverse to φ. Let φ : V A n W A m be a morphism. This morphism induces a natural map φ : k[w ] k[v ]byφ ( ˆf) = f ˆ φ. Indeed, if f g I(W ) then f(w) =g(w) for all w W,sof(φ(v)) = g(φ(v) for all v V, since φ(v) W. This means that f φ g φ I(V ) and hence φ is well defined. It is a routine check that Φ is in fact a k-algebra homomorphism. Moreover, every k-algebra homomorphism Φ : k[w ] k[v ] is induced by a unique φ, that is Φ=φ. The morphism φ is an isomorphism if and only if φ is an isomorphism of k-algebras. Given Φ : k[w ] k[v ], k-algebra homomorphism, let us construct φ:

LECTURE 10 5 Let Φ( ˆT i )= ˆF i, for all i =1,...,m and F i k[t 1,...,T n ]. Then φ =(F 1,...,F m ) defines a morphism between A n and A m. Let us show that it maps V to W. Let g I(W )sog(w) = 0 for all w W. Moreover g( ˆT 1,..., ˆ Tm )= k[w ], since g I(W ). Therefore Φ(g( ˆT 1,..., ˆ T m )=0ink[V ] since a homomorphims maps 0 to 0. g(t1,...,t m )=ˆ0 in But Φ is a k-algebra homomorphism, so g(φ( ˆT 1 ),...,Φ( T ˆ m )) = 0 which is equivalent to g( ˆF 1,..., Fˆ m )=0ink[V ], or g(f 1,...,F ˆ m )=0ink[V ]. This gives g(f 1,...,F m ) I(V )orin other words, g(f 1,...,F m )(v) = 0 for all v V, i.e. g(f 1 (v),...,f m (v)) = 0 for all v V. Since φ(v)=(f 1 (v),...f m (v)) we see that g(φ(v)) = 0 for all v V and so g I(W ) implies that φ(v) Z(g). In other words, φ(v) Z(I(W )). But Z(I(W )) = W, since W is an algebraic set, and so φ(v ) W. Note that φ ( ˆT i )= T i φ = ˆF i =Φ(ˆT i ) for all i =1,...,m. Since ˆT i are k-algebra generators for k[w ]wegetφ =Φ. Proposition 1.18. Every nonempty affine algebraic set V may be uniquely written in the form V = V 1 V n where each V i is an algebraic variety and V i V j for all j i. (These V i s are called irreducible components on V ). 2. Dimension Definition 2.1. Let V A n be an algebraic set. The supremum over all n such that there exists a chain V 0 V 1 V n of distinct irreducible algebraic sets in V is called the dimension of V. Definition 2.2. Let P be a prime ideal in a ring A. The supremum over all n such that there exists a chain of distinct prime ideals P 0 P 1 P n contained in P is called the height of P and it is denoted by ht(p ). The Krull dimension of A, dim(a), is the supremum of all ht(p ) over all P Spec(A). If I is an arbitrary ideal of A, we let the height of I, ht(i), equal the infimum of all ht(p ) over all prime ideals P containing I.

6 LECTURE 10 Theorem 2.3. Let V be an algebraic set in A n k where k is algebraically closed. Then dim(v )=dim(k[v ]). Proof. This follows at once since irreducible algebraic sets in V correspond to prime ideals containing I(V ) in our correspondence.