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

Size: px
Start display at page:

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

Transcription

1 20 KIYOSHI IGUSA BRANDEIS UNIVERSITY 2. Projective varieties For any field F, the standard definition of projective space P n (F ) is that it is the set of one dimensional F -vector subspaces of F n+. For example, P (R) is the set of lines through the origin in R 2. These are specified by slope 0 apple <. So, P (R) = R/ Z is a circle. However, there are many points missing. As an a ne scheme, the circle implicitly also contains all points in the punctured disk (the interior of the circle) and a generic point. As a projective variety, the puncture will be filled in. (These are the two circles at infinity identified to one point.) 2.. Lecture 7. Basic properties of projective space. In order to construct the scheme theoretic version of n-dimensional projective space P n (k) we need to take P n ( ). This is defined to be the space of all one dimensional vector spaces in n+. This is also the quotient space of n+ \0 modulo the identification x ax for all a 6= 02. Note that the homogeneous coordinates X i are NOT functions P n ( )!. But homogeneous polynomials define subsets of P n ( ). First, a polynomial f[x] 2 k[x] ishomogeneous of degree d if for all 2 and x 2 n+, f( x) = d f(x). [Thanks to Mac for correcting an earlier version!] Given such a polynomial we can define If (x) ( x) thenf( x) = V (f) :={[x] 2 P n ( ) f(x) =0}. d f(x) = 0. So, V (f) iswell-defined. Definition 2... If S = {f } is a set of homogeneous polynomials f 2 k[x 0,,X n ] then let V (S) = \ V (f )={[x] 2 P n ( ) f (x) =08f 2 S}. f 2S The Zariski topology or k-topology on P n ( ) is defined by letting V (S) as above be the closed subsets. Let U i = {[x 0,,x n ] 2 P n ( ) : x i 6=0}. These are open subsets of P n ( ) since they are the complements of V (X i ). We claim that U i = n for all i, but we took i = 0 for simplicity. Then we have a bijection: ' 0 : n = U0 given by ' 0 (x,,x n )=[,x,,x n ]. The inverse mapping is given by x,, x n [x 0,,x n ] 2 U 0 x 0 x 0 So, ' 0 is a bijection. Proposition ' 0 : n = U 0 is a homeomorphism (using the Zariski topology on both sets). Proof. () As pointed out above, ' 0 is a bijection. (2) For any f(x) 2 k[x,,x n ], let f(x) 2 k[x 0,,X n ] be the unique homogeneous polynomial of the same degree as f so that f(,x,,x n )=f(x,,x n ). The formula for f is as follows. Suppose that f(x) = X =(a,,a n) c X where X = X a Xa 2 2 Xan n

2 LECTURES ON ALGEBRAIC GEOMETRY MATH 202A 2 Let d = max =degf where = P a i.then f(x) is given by f(x) = X Then f(x) is homogeneous of degree d. (3) For any f(x) 2 k[x,,x n ]wehave c X d 0 X ' 0 (V (f) n )=V ( f) \ U 0 This is easy to check: (x,,x n ) 2 V (f) i f(x,,x n ) = 0. But ' 0 (x,,x n )= [,x,,x n ]whichliesinv ( f) \ U 0 i f(,x,,x n ) = 0. But f(,x,,x n ) = f(x,,x n ). So, these are the same conditions and the two sets are equal as claimed. This proves that ' 0 is an open mapping (taking open sets to open sets) since it takes basic open sets in n to basic open sets in U 0. Next, suppose that g 2 k[x 0,,X n ] is homogeneous. Then V (g(,x,,x n )) = ' 0 (V (g) \ U 0 ) This again is easy to prove. So, ' 0 is continuous. Since ' 0 is continuous and open, it is a homeomorphism. This proposition ( n = U 0 ) is interpreted to mean that P n ( ) is given by adding points at to n. To understand this, let H i = {[x] 2 P n ( ) x i =0} Then P n ( ) = U i ` Hi and U i = n, H i = Pn ( ). The second isomorphisms is given by [x,,x n ] 2 P n ( ) $ [x,,x i, 0,x i+,,x n ] 2 H i The reason that H 0 is considered to be the set of points at is the following calculation which only makes sense when = C: apple lim [,tx,,tx n ]= lim t! t! t,x,,x n =[0,x,,x n ] since t! 0 as t!.thus [0,x,,x n ]= lim t! ' 0(tx) which corresponds to points in a straight line in n going to infinity. We will quickly verify that the theorems which hold in the a ne case also hold for projective space. The lemmas work as expected. But the theorem has a surprise that I need to explain. Definition A homogeneous ideal in k[x 0,,X n ] is an ideal generated by homogeneous polynomials. Every polynomial is a sum of homogeneous polynomials: f = P m d=0 f [d] where f [d] is called the homogeneous component of f of degree d. For example: f = {z} X 3 + XY {z + YZ } + {z} 5 f [3] f [2] f [0] Lemma An ideal a is homogeneous i it contains the homogeneous components f [d] of each of its elements f.

3 22 KIYOSHI IGUSA BRANDEIS UNIVERSITY Proof. (() This implication is clear since then a is generated by the homogeneous components of its elements. ()) Let a be a homogeneous ideal. Then it is generated by homogeneous polynomials f with degree d. Any element h 2 a has the form h = X g f where g are arbitrary polynomials. Then, the homogeneous components of h are: h [d] = X g [d d ] f where the sum is over those so that d apple d. Since this is a linear combination of some of the f, h [d] 2 a for all d as claimed. Lemma The radical of any homogeneous ideal is homogeneous. Proof. Suppose that f 2 r(a). We need to show that each component f [d] of f lies in r(a). But f 2 r(a) impliesf n 2 a. Writef as a sum of components: Then f = f [d] + f [d ] + f n =(f [d] ) n + (lower terms) 2 a By the previous lemma, the top degree homogenous component lies in a: (f [d] ) n 2 a. But this implies that f [d] 2 r(a). But then f f [d] = f [d ] + (lower terms) 2 r(a) By induction on d, f [i] 2 r(a) for all i. So, r(a) is a homogeneous ideal by the previous lemma. Now we can follow all steps in the proof of Proposition 4 in [4]. Theorem There is an order reversing bijection: ( ) homogeneous radical ideal a k[x0,,x n ] ${closed subsets of P a 6= (X 0,,X n ) n ( )} a! V (a) I( ) where I( ) is the ideal generated by all homogenous polynomials f which vanish on. Proof. The reason that the homogeneous ideal (X 0,,X n ) is excluded in the bijection is because there are two ideals mapping to the same set (the empty set) in P n ( ), namely a = (X 0,,X n ) and a = k[x]. However, I(;) =k[x]. So, the required equation I(V (a)) = a does not hold for a =(X 0,,X n ). Also the proof does not work for this ideal. It is clear that = V (I( )) for all closed sets. So, we need to show that a = I(V (a)). But a I(V (a)) is clear. So, we just need to show that a I(V (a)). Let V (a) ={x 2 n+ f(x) =08f 2 a} Then we have a = r(a) =I(V (a)) So, we just need to show that I(V (a)) I(V (a)) when V (a) is nonempty. There are three cases:

4 LECTURES ON ALGEBRAIC GEOMETRY MATH 202A 23 () a = k[x], V (a) =;, V (a) =; (2) a =(X 0,,X n ), V (a) ={0}, V (a) =; (3) V (a) is nonempty and V (a) is the cone on V (a). I.e., (2.) V (a) ={ x [x] 2 V (a)}. For every [x] 2 V (a) and homogeneous f 2 I(V (a)) we have f(x) = 0. By (2.) this implies f( x) = 0 for all. So, f 2 I(V (a)). So, I(V (a)) I(V (a)) whenever (2.) holds which is Cases () and (3). So, the theorem holds in all cases but excluded Case (2). We glossed over the general discussion of homogeneous prime ideals (in the next subsection). I just said the following was clear using the obvious definitions: a closed subset of P n ( ) is irreducible if it is nonempty and not the union of two proper closed subsets, and, by a homogeneous prime ideal we mean an ideal having both of those properties. But we always need to exclude the case (X 0,,X n ). (We include it in the definition of homogeneous prime ideal but exclude it in all theorems.) Corollary In the correspondence above, irreducible closed subsets correspond to homogeneous prime ideals not equal to (X 0,,X n ). Proof. In Case 3 in the above proof, the homogeneous ideal s is prime i V (a) isirreducible i V (a) is irreducible. Cases,2 are excluded in the definition of irreducible set. Example Let f = XW k[x, Y, Z, W]. Let = V (XW it this way: YZ. This is a homogeneous polynomial of degree 2 in YZ) P 3 ( ). This may be more familiar when we write = apple x, y z,w :det=0 Since f cannot be factored as a product of polynomials of lower degree (necessarily linear), (XW YZ) is prime and is irreducible. Last week we discussed regular functions on open subsets of irreducible sets f : U!. By definition these are functions which are given locally by rational functions f(x) = g(x) h(x). Mumford emphasized that, in some cases, the same fraction cannot always be used throughout the set U. Here is an example. apple apple x, y x, y X = z,w : x 6= 0, Y = z,w : y 6= 0 Let U = X [ Y. Let f : U! be given by ( z f = x on X on Y on the intersection X \ Y w y we have that x, y are both nonzero and z x = zw xw = zw yz = w y so f is well defined. (We forgot to check the case when w = 0. But the equation xw = yz implies that z = 0 in that case and we get z x =0= w y.) This is an example of a regular function U! for which there is no single rational functional expression which works on all of U.

5 24 KIYOSHI IGUSA BRANDEIS UNIVERSITY 2.2. Segre embedding. Mumford uses this example (in another book [5]) to introduce the following construction. (I changed the notation: elements of should be lower case letters. Capital letters are elements of the polynomial ring k[x 0,,X n ].) Definition The Segre embedding is given by : P n P m! P n+m+nm ([x i ], [y j ]) 7! [z ij = x i y j ]. In other words, each of the n + homogeneous variables X i is multiplied by each of the m + variables Y j to get (n + )(m + ) variables Z ij = X i Y j : For example, when n = m = we get: n+ m+! (n+)(m+) P ( ) P ( )! P 3 ( ) ([s, t], [u, v]) 7! [ {z} su, {z} sv, {z} tu, {z} tv ] x y z w Theorem The Segre embedding is a monomorphism with image (P n P m )=V (Z ij Z k` Z i`z kj ) Proof from [5]. (We did the case n = m = in class.) is injective: Suppose ([x], [y]) = ([x 0 ], [y 0 ]). Then there is a 6= 0 in so that x 0 i y0 j = x iy j for all i, j. Byrenumberingwe may assume x 0,y 0 are nonzero. Then x 0 0 y0 0 = x 0y 0 6= 0. So, we can rescale the coordinates of x, y, x 0,y 0 and assume that x 0 = y 0 = x 0 0 = y0 0 =. But then =. So, for every i, x 0 i y0 0 = x iy 0 making x 0 i = x i. Similarly yj 0 = y j for all j. So, ([x], [y]) = ([x 0 ], [y 0 ]). is surjective: Suppose [z] 2 V (Z ij Z k` Z i`z kj ) P n+m+nm ( ). Then, one of the coordinates is nonzero. Renumbering and rescaling we can assume that z 00 =. Then let x i = z i0 and y j = z 0j.Then z ij = z ij z 00 = z i0 z 0j = x i y j for all i, j and [z] = ([x], [y]). So, is a bijection. Lecture 8 Corollary The image of the Segre embedding is irreducible. The idea is to use the -topology. The -closed subsets of P n ( ) are V (S) ={[x] 2 P n ( ) : f(x) =08f 2 S [X] d } where [X] d denotes the set of degree d homogeneous polynomials in variables X with coe cients in. Since = we are in the realm of standard algebraic geometry. Since k, there are more -closed set than k-closed sets. I.e., every k-closed set is -closed. The following is clear. Lemma Every k-closed set which is -irreducible is k-irreducible. Lemma For every [c] 2 P m (k), themapping c([x]) = ([x], [c]) is continuous in the k-topology. c : P n ( )! P n+m+nm ( ) given by

6 LECTURES ON ALGEBRAIC GEOMETRY MATH 202A 25 Proof. Every k-closed set in P n+m+nm ( ) is an intersection of sets V (f) ={[z] 2 P n+m+nm ( ) : f(z) =0} for homogeneous f 2 k[z]. The inverse image of this in P n ( ) is c (V (f)) = {[x] 2 P n ( ) : f(x i c j )=0} Since f has coe cients in k and c j 2 k, thisisak-closed set in P n ( ). We need to go to the -topology to get the statement that is continuous for all [c] 2 P m ( ). Lemma P n ( ) is irreducible in the -topology. c : P n ( )! P n+m+nm ( ) Proof. P n ( ) = V (0) and 0 is a homogeneous prime ideal in [X]. I forgot one subtlety: We didn t prove the correspondence between prime ideals in [X] and -irreducible subsets of P n ( ). But, we can go to V (0) = n+.thisis -irreduciblesince isinfinite:ifn =0 this is clear since proper closed subsets of are finite. Suppose it is true for n. Then for any two proper closed subsets Y,Z, lety, z 2 n so that y 6 Y and z 6 Z. Then there are only finitely many points in y \ Y and z \ Z. Let w 2 so that (y, w) /2 Y,(z,w) /2 Z. ThenY \ n w and Z \ n w are proper closed subsets of n w whose union is the whole. But, by induction on n, n w is irreducible. Contradiction. We can now complete Mumford s proof [5] that the image of the Segre embedding : P n ( ) P m ( )! P n+m+nm ( ) is irreducible in the -topology and therefore irreducible in the k-topology. Proof of Corollary Suppose not. Then is the union of two proper closed nonempty subsets. The complements of these closed subsets are disjoint nonempty open sets U,U 2. We would like to say that the inverse images of these are open subsets of P n ( ) P m ( ). However, we do not (yet) know the topology on such a product space. (It is NOT the product topology!) But we can use the continuity in each variable. Since : P n P m! is onto by definition, we have disjoint nonempty subsets (U ), (U 2 ). Let ([a], [b]) 2 (U ) and ([c], [d]) 2 (U 2 ). This means that [a] 2 b (U ), [c] 2 d (U 2) So, we have two nonempty subsets b (U ), d (U 2) of P n ( ) which are open in the - topology. Since P n ( ) is -irreducible, any two open sets meet. So, there is [e] intheintersection. So, ([e], [b]) 2 (U ) and ([e], [d]) 2 (U 2 ). This implies that e (U ), e (U 2 ) are nonempty -open subsets of P m ( ). Since P m ( ) is -irreducible, they meet at some point ([e], [f]). This means ([e], [f]) lies in U \ U 2 which is a contradiction. Another proof of the same thing can be given using graded rings and graded ideals Graded rings and graded ideals. Definition A graded ring is a ring R which is decomposed as an infinite direct sum: R = R 0 R R 2 so that R n R m R n+m. Elements in R d are said to be homogeneous of degree d. The condition R n R m R n+m means deg(fg)=degf +degg if f,g are homogeneous. The equation R = L R d means that every element of R is equal to a sum of homogeneous components which all lie in R.

7 26 KIYOSHI IGUSA BRANDEIS UNIVERSITY The basic example is R = k[x,,x n ]. A graded ring can be constructed from its pieces as follows. Let R 0 be a ring and let R n be R 0 -modules. Let µ n,m : R n R m! R n+m be an R 0 -bilinear mapping which is () commutative: µ n,m (a, b) =µ m,n (b, a) for all a 2 R n,b2 R m. (2) associative: µ(a, µ(b, c)) = µ(µ(a, b),c) for all a, b, c in R n,r m,r k. (3) µ : R 0 R n! R n gives the action of R 0 on R n. Then R = L R n is a graded ring. A graded ideal can be constructed using the same idea. Definition A graded ideal in a graded ring R = L R d is a sequence of R 0 submodules I n R n so that I n R m I n+m. Proposition Graded ideals are the same as homogeneous ideal in R = L R n. Proof. A graded ideal I = L I n is clearly an ideal. It is homogeneous since it is generated by elements of S I n. (Keep in mind that there is one element 0 which is in all I n and all R n but, otherwise, the sets R n are disjoint.) Conversely, any homogeneous ideal a in a graded ring R is a graded ideal since a contains I n = a \ R n and a = L I n. The grading makes it easier to talk about projective algebraic sets: V (I) ={[x] 2 P n ( ) : f(x) =08f 2 I d 8d} Definition Let R = L R n, S = L S m be graded k-algebras. Then a graded k- homomorphism of degree d is a homomorphism of k-algebras ' : R! S so that '(R n ) S dn for all n. (Note that all rings are Z-algebras.) Proposition (a) The kernel of any graded homomorphism ' : R! S of graded rings is a graded ideal in R: ker ' = L (ker ' n : R n! S dn ) (b) Conversely, any graded ideal I R is the kernel of a degree graded homomorphism: ' : R S = L R n /I n given in degree n by the quotient map R n S n = R n I n. Going back to our example, one way to show that an ideal is prime is to show that it is the kernel of a graded homomorphism. In our case, I =(XW XY ) is the kernel of the (degree 2) graded homomorphism: ' : k[x, Y, Z, W]! k[s, T, U, V ] '(X) = SU '(Y ) = SV '(Z) = TU '(W ) = TV It is clear that XW YZ 2 ker '. To show that ker ' = I =(XW YZ), we should compare: ker ' d : R d! S 2d and I d =(XW YZ)R d 2

8 LECTURES ON ALGEBRAIC GEOMETRY MATH 202A 27 Lemma If R = k[x 0,,X n ] then R 0 = k and R d a vector space over k of dimension with basis given by the monomials n+d n X = X a 0 0 Xan n where := P a i = d and all a i 0. n+d n Proof. There are monomials of degree d in n + variables. This is obvious from some examples: Take n =2,d= 7. The statement is that there are n+d n = 9 2 = 36 monomials in three letters of degree 7. To see this consider X 3 Y 2 Z 2 = XXX YY ZZ We put partitions between the letters. There are d letters and n partitions. The monomial is completely determined by the position of the partitions. For example: corresponds to Y 4 Z 3 (no X s): You are only allowed to put X i between the ith and i + st partitions. Since you choose n out of n + d placed to put your partitions, you get n+d n. We say that X has multidegree =(a 0,,a n ). In the case at hand we have: d +3 dim R d = = d + (d + 3)(d + 2) 3 6 d + dim I d =dimr d 2 = = d + d(d + ) 3 6 and the di erence is dim R d /I d = d + 6 (d2 +5d +6 d 2 d)=(d + ) 2. On the other hand, '(R d ) is spanned by monomials S a T b U c V e where a + b = d = c + e. There are (d + ) 2 such monomials. So, by linear algebra, I d =ker' d. So, I =ker' is a prime ideal. (Maybe not the most e cient way to prove this. But, when you get used to it, you can do this calculation very fast.) A similar calculation works for the general case k[z]! k[x, Y ] '(Z ij )=X i Y j Example Here is an example in [4]. The twisted cubic is V (I) P 3 ( ) where I is the kernel of the degree 3 graded homomorphism ' : k[x, Y, Z, W]! k[s, T ] '(X) = S 3 '(Y ) = S 2 T '(Z) = ST 2 '(W ) = T 3 Since ' is graded, the kernel I is a graded ideal in k[x, Y, Z, W]. The claim is: I =(XZ Y 2,YW Z 2,XW YZ) Certainly, these lie in ker '. It is also easy to see that ' d : R d! S 3d

9 28 KIYOSHI IGUSA BRANDEIS UNIVERSITY is surjective. Furthermore, any two monomials in the inverse image of S a T 3d a di er by a element of I d. So, I =ker'. (Proof: We can assume a apple 3d a. Then for any monomial X i Y j Z k W ` in ' (S a T 3d a ), we have k + ` 0. So, we can exchange all X terms using the relations XZ Y 2,XW YZ modulo I d.thenwehavei = 0. Next we can eliminate either Y or W in the expression using YW = Z 2. We are left with either Y Z or Z W which is unique.) The graded homomorphism ' : k[x, Y, Z, W]! k[s, T ] gives a morphism f ' : P ( )! P 3 ( ) defined by f ' ([s, t]) = [s 3,s 2 t, st 2,t 3 ] This is well-defined since, if we replace [s, t] with the equivalent [s 0,t 0 ]=[ s, t] then f ' ([s 0,t 0 ]) = [ 3 s 3, 3 s 2 t, 3 st 2, Claim: Let denote the image of this mapping. Then =V (I) where I =(XZ Y 2,YW Z 2,XW YZ). Proof: It is clear that V (I) since each generator of I is a homogeneous polynomial which is zero on the image of f '. Conversely, suppose that [x, y, z, w] 2 V (I). Then xz = y 2,yw = z 2,xw = yz. Also, either x 6= 0 or w 6= 0 (otherwise x = y = z = w =0 which is not allowed). Suppose w 6= 0. Then we may assume w =. Then, y = z 2 and x = yz = z 3. So, [x, y, z, ] = [z 3,z 2,z,] = f ' ([z,]) is in the image of f '. Lecture 8 ends here. We skipped the next subsection because it is routine Irreducible algebraic sets in P n. We need to verify that the arguments used in the a ne case carry over to the homogeneous case. Lemma A homogeneous ideal a in k[x] is prime i it satisfies the following. For any two homogenous polynomials f,g, iffg 2 a then either f 2 a or g 2 a. Remark This can be rephased (and generalized) in two equivalent ways: () A graded ring R = L R n is a domain i there are no nonzero elements f 2 R n,g 2 R m so that fg = 0. (2) A graded ideal I = L I d in a graded ring R = L R d is prime i for all f 2 R n \I n, g 2 R m \I m, fg 2 R n+m \I n+m. Proof. Prime ideals certainly have this property. Conversely, suppose that a is homogeneous and has this property. Let f,g be arbitrary polynomials so that fg 2 a. Let f [n],g [m] be the highest degree terms in f,g. Then f [n] g [m] 2 a since it is the highest degree term in fg. So, either f [n] or g [m] lies in a, sayf [n] 2 a. Then(f f [n] )g 2 a. By induction, either f f [n] 2 a (which implies f 2 a) or g 2 a. So, a is prime. By a similar argument we have the following. Lemma A homogeneous ideal a in k[x] is primary i it satisfies the following. For any two homogenous polynomials f,g, iffg 2 a then either f 2 r(a) or g 2 a. Write this in terms of graded ideals in any graded ring. 3 t 3 ]

10 LECTURES ON ALGEBRAIC GEOMETRY MATH 202A 29 Proof. We may assume that none of the homogeneous components of g lie in a. Then f [n] g [m] 2 a implies that f [n] 2 r(a). Let k be minimal so that (f [n] ) k g 2 a. Then (f f [n] )(f [n] ) k g =(f [n] ) k fg (f [n] ) k g 2 a and (f [n] ) k g/2 a. So, f f [n] 2 r(a) (whichimpliesf 2 r(a) by induction on the number of homogeneous components of f). Using these lemmas, the proof in the a ne case carries over to show the following. Proposition Every homogeneous radical ideal in any graded Noetherian ring is the intersection of finitely many homogeneous prime ideals. Theorem Irreducible closed subsets of P n ( ) correspond to homogeneous prime ideal in k[x] not equal to (X 0,,X n ). Furthermore, every closed subset of P n ( ) can be expressed uniquely as a finite union of irreducible subsets. Note: the uniqueness is a topological property. The proof of Proposition.4.2 works in any topological space. Lecture Projective schemes. The purpose of this section is to construct the projective analogue of Spec(R) and prove the analogue of Theorem.9.3. We continue using the color code: red for schemes, blue for varieties. Definition Let R = L R d be a graded ring. Then Proj(R) is defined to be the following topological space (together with a sheaf which will be constructed later). As a set Proj(R) is the set of homogeneous prime ideals in R which are not equal to the ideal L d>0 R d. In the special case R = k[x 0,,X n ], this is the ideal (X 0,X,,X n )which was excluded before. The topology on Proj(R) is given as follows. For any f 2 R, let V (f) ={P 2 Proj(R) :f 2 P } These sets are defined to be closed. General closed sets are intersections of these sets: V (S) = \ V (f) ={P 2 Proj(R) :S P } f2s In the case R = k[x] we have a bijection: irreducible closed subsets of P n ( ) $ P 2 Proj(k[X]) Theorem There is a continuous epimorphism : P n ( ) Proj(k[X]) given by ([x]) = P where P 2 Proj(k[X]) corresponds to the irreducible set [x]. Proof. We first show is surjective. Let P be a homogeneous prime ideal in R = k[x 0,,X n ], P 6= (X 0,,X n ). Then P 6= (X 0,,X n ) prime ) V (P ) 6= {0} n+ irreducible We know that V (P ) has a generic point y 2 n+. And y 6= 0 since, otherwise, V (P )= 0={0}, the excluded case. So, y gives a point [y] 2 P n ( ). Let = V (P ). Claim: [y] =.(Thus ([y]) = P.) Pf: [y] = 0 = V (I) wherei is some graded ideal. But y 2 V (I) closed V (P )implies V (I) =V (P )impliesi = P. So, 0 =.

11 30 KIYOSHI IGUSA BRANDEIS UNIVERSITY Next we show is continuous. Take a closed subset V (f) Proj(R). Then (V (f)) ={[y] 2 P n ( ) : f 2 I([y])} = V (f). But V (f) P n ( ) is a closed subset by definition. So, is continuous. Corollary The continuous epimorphism : P n ( ) Proj(R) is also an open mapping. Therefore, Proj(R) has the quotient topology. Proof. Every open subset of Y = P n is a union of basic open sets Y f where f 2 k[x] is homogeneous. But Y f is the complement of V (f). And (V (f)) =V (f) implies that (Y f ) is the complement of V (f) in Proj(R). So, is an open mapping as claimed. Example Let k = R and consider P ( )! Proj(R[X, Y ]). Then P (R) =R [ is a circle and P ( ) = [. The elements of P ( ) are [,x] for x 2 and =[0,x]= [0,y] 8x, y. P ( ) has three kinds of points: () P (R) is the set of closed point x = {x}, x 2 R and. (2) P (C) is the set of x =[y] so that x is finite (consisting of [y] and [y], the complex conjugate of [y]. (3) P ( )\P (C) is the set of generic points. This comes from dimension theory. The only homogeneous ideal in R[X, Y ] which is not maximal is 0. Consider Proj(R[X, Y ]) as the quotient space of P ( ) under the identification [x] [y] if ([x]) = ([y]). This gives the following. P (C) =C [ is a sphere. The equator is P (R). The identification is z z. This identifies the top hemisphere with the bottom hemisphere. All other points are generic and therefore are identified to one point in Proj. So, Proj(R[X, Y ]) is a 2-dimensional disk with one generic point which we view as being smeared over the entire disk (like peanut butter on a cracker). Spec(R) = [ (generic point) We did another example. The key point was: Given ' : R! S a graded homomorphism of degree d, there is an induced mapping ' : Proj(S)! Proj(R) sending P to Q = ' (P ). This mapping is continuous since since f 2 ' (P ), '(f) 2 P. (' ) (V (f)) = {P : f 2 ' (P )} = V ('(f)) 2.6. Projective space as union of a ne spaces. Recall that P n ( ) = S U i where U i = {x i 6=0}. Then n = Ui (x,,x n ) 7! [x,,x i,,x i+,,x n ] Projective space (together with its structure sheaf) is the basic example of a variety which is not a ne but rather made up of a ne varieties pasted together. We need to study this so

12 LECTURES ON ALGEBRAIC GEOMETRY MATH 202A 3 that we can generalize the construction later. The a ne pieces U i are pasted together along their intersection. This pasting is given by isomorphisms of open subsets of irreducible sets. We want to see how U i,u j are pasted together. By symmetry we can assume i =0,j =. We look at U 0 \ U and see where it goes to under the equivalence n = U i. x 0 6=0 x 6=0 U 0 U = U 0 \ U x 0,x 6=0 = V 0 V x y n x 6=0 x 6=0 n The image of U 0 \U under the equivalences U i = n are shaded. The image under both maps is the set V 0 = V = {x 6=0}. The mapping : V 0! V is the pasting map: :(x,,x n ) 7! [,x,,x n ]/x 7!, x 2,, x n x x x This is a regular function with 2 = id. In the drawing, (x) =y. Since V 0,V are given by X 6= 0, the ring of regular functions on V 0 and V is V 0 = V = k[x 0,X,X 2,,X n ]/(X 0 X ) = R Then ' : V = V0 is given by ' (X 0 )=X,' (X )=X 0 and ' (X i )=X 0 X i for i 2. This is an automorphism of R as k-algebra with (' ) 2 = id. In my notes I verified that the ring isomorphism ' induces an isomorphism (' ) : Spec( V 0 )! Spec( V ) which is compatible with the homeomorphism in the sense that (' ) sends the prime ideal (x) to (y) ify = (x). But I don t think I got to that in class. We will do this again later (verify that the pasting together of a ne varieties is compatible with the pasting together of corresponding a ne schemes).

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

NOTES ON ALGEBRAIC GEOMETRY MATH 202A. Contents Introduction Affine varieties 22 NOTES ON ALGEBRAIC GEOMETRY MATH 202A KIYOSHI IGUSA BRANDEIS UNIVERSITY Contents Introduction 1 1. Affine varieties 2 1.1. Weak Nullstellensatz 2 1.2. Noether s normalization theorem 2 1.3. Nullstellensatz

More information

LECTURES ON ALGEBRAIC GEOMETRY MATH 202A

LECTURES ON ALGEBRAIC GEOMETRY MATH 202A LECTURES ON ALGEBRAIC GEOMETRY MATH 202A KIYOSHI IGUSA BRANDEIS UNIVERSITY Contents Introduction 1 Overfield 1 1. A ne varieties 2 1.1. Lecture 1: Weak Nullstellensatz 2 1.2. Lecture 2: Noether s normalization

More information

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

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

Math 418 Algebraic Geometry Notes

Math 418 Algebraic Geometry Notes Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R

More information

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

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski Solutions Sheet 1 Classical Varieties Let K be an algebraically closed field. All algebraic sets below are defined over K, unless specified otherwise.

More information

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the

More information

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

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. 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

More information

3. The Sheaf of Regular Functions

3. The Sheaf of Regular Functions 24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

Institutionen för matematik, KTH.

Institutionen för matematik, KTH. Institutionen för matematik, KTH. Contents 7 Affine Varieties 1 7.1 The polynomial ring....................... 1 7.2 Hypersurfaces........................... 1 7.3 Ideals...............................

More information

Algebraic varieties. Chapter A ne varieties

Algebraic varieties. Chapter A ne varieties 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

More information

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

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes! ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.

More information

12. Hilbert Polynomials and Bézout s Theorem

12. Hilbert Polynomials and Bézout s Theorem 12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of

More information

= 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 =

= 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 = LECTURES ON ALGEBRAIC GEOMETRY MATH 202A 41 5. Affine schemes The definition of an a ne scheme is very abstract. We will bring it down to Earth. However, we will concentrate on the definitions. Properties

More information

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

PROBLEMS, MATH 214A. Affine and quasi-affine varieties PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

More information

10. Smooth Varieties. 82 Andreas Gathmann

10. Smooth Varieties. 82 Andreas Gathmann 82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It

More information

TROPICAL SCHEME THEORY

TROPICAL SCHEME THEORY TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),

More information

Spring 2016, lecture notes by Maksym Fedorchuk 51

Spring 2016, lecture notes by Maksym Fedorchuk 51 Spring 2016, lecture notes by Maksym Fedorchuk 51 10.2. Problem Set 2 Solution Problem. Prove the following statements. (1) The nilradical of a ring R is the intersection of all prime ideals of R. (2)

More information

Summer Algebraic Geometry Seminar

Summer Algebraic Geometry Seminar Summer Algebraic Geometry Seminar Lectures by Bart Snapp About This Document These lectures are based on Chapters 1 and 2 of An Invitation to Algebraic Geometry by Karen Smith et al. 1 Affine Varieties

More information

Math 145. Codimension

Math 145. Codimension Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to

More information

Math 203A - Solution Set 1

Math 203A - Solution Set 1 Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in

More information

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

ABSTRACT NONSINGULAR CURVES

ABSTRACT NONSINGULAR CURVES ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a

More information

Algebraic varieties and schemes over any scheme. Non singular varieties

Algebraic varieties and schemes over any scheme. Non singular varieties Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two

More information

MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53

MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence

More information

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski

More information

Algebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014

Algebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014 Algebraic Geometry Andreas Gathmann Class Notes TU Kaiserslautern 2014 Contents 0. Introduction......................... 3 1. Affine Varieties........................ 9 2. The Zariski Topology......................

More information

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

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 12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s

More information

ne varieties (continued)

ne varieties (continued) Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we

More information

Homogeneous Coordinate Ring

Homogeneous Coordinate Ring Students: Kaiserslautern University Algebraic Group June 14, 2013 Outline Quotients in Algebraic Geometry 1 Quotients in Algebraic Geometry 2 3 4 Outline Quotients in Algebraic Geometry 1 Quotients in

More information

Math 203A - Solution Set 1

Math 203A - Solution Set 1 Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in

More information

Algebraic Varieties. Chapter Algebraic Varieties

Algebraic Varieties. Chapter Algebraic Varieties Chapter 12 Algebraic Varieties 12.1 Algebraic Varieties Let K be a field, n 1 a natural number, and let f 1,..., f m K[X 1,..., X n ] be polynomials with coefficients in K. Then V = {(a 1,..., a n ) :

More information

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

MATH32062 Notes. 1 Affine algebraic varieties. 1.1 Definition of affine algebraic varieties MATH32062 Notes 1 Affine algebraic varieties 1.1 Definition of affine algebraic varieties We want to define an algebraic variety as the solution set of a collection of polynomial equations, or equivalently,

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

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

(dim Z j dim Z j 1 ) 1 j i Math 210B. Codimension 1. Main result and some interesting examples Let k be a field, and A a domain finitely generated k-algebra. In class we have seen that the dimension theory of A is linked to the

More information

HARTSHORNE EXERCISES

HARTSHORNE EXERCISES HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

More information

Chapter 2 Linear Transformations

Chapter 2 Linear Transformations Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more

More information

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

Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial

More information

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

Introduction to Arithmetic Geometry Fall 2013 Lecture #15 10/29/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #15 10/29/2013 As usual, k is a perfect field and k is a fixed algebraic closure of k. Recall that an affine (resp. projective) variety is an

More information

Resolution of Singularities in Algebraic Varieties

Resolution of Singularities in Algebraic Varieties Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.

More information

ALGEBRAIC GROUPS J. WARNER

ALGEBRAIC GROUPS J. WARNER ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic

More information

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

The most important result in this section is undoubtedly the following theorem. 28 COMMUTATIVE ALGEBRA 6.4. Examples of Noetherian rings. So far the only rings we can easily prove are Noetherian are principal ideal domains, like Z and k[x], or finite. Our goal now is to develop theorems

More information

Exercise Sheet 3 - Solutions

Exercise Sheet 3 - Solutions Algebraic Geometry D-MATH, FS 2016 Prof. Pandharipande Exercise Sheet 3 - Solutions 1. Prove the following basic facts about algebraic maps. a) For f : X Y and g : Y Z algebraic morphisms of quasi-projective

More information

MATH 631: ALGEBRAIC GEOMETRY: HOMEWORK 1 SOLUTIONS

MATH 631: ALGEBRAIC GEOMETRY: HOMEWORK 1 SOLUTIONS MATH 63: ALGEBRAIC GEOMETRY: HOMEWORK SOLUTIONS Problem. (a.) The (t + ) (t + ) minors m (A),..., m k (A) of an n m matrix A are polynomials in the entries of A, and m i (A) = 0 for all i =,..., k if and

More information

BEZOUT S THEOREM CHRISTIAN KLEVDAL

BEZOUT S THEOREM CHRISTIAN KLEVDAL BEZOUT S THEOREM CHRISTIAN KLEVDAL A weaker version of Bézout s theorem states that if C, D are projective plane curves of degrees c and d that intersect transversally, then C D = cd. The goal of this

More information

(1) is an invertible sheaf on X, which is generated by the global sections

(1) is an invertible sheaf on X, which is generated by the global sections 7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one

More information

10. Noether Normalization and Hilbert s Nullstellensatz

10. Noether Normalization and Hilbert s Nullstellensatz 10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.

More information

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

A course in. Algebraic Geometry. Taught by Prof. Xinwen Zhu. Fall 2011 A course in Algebraic Geometry Taught by Prof. Xinwen Zhu Fall 2011 1 Contents 1. September 1 3 2. September 6 6 3. September 8 11 4. September 20 16 5. September 22 21 6. September 27 25 7. September

More information

Projective Varieties. Chapter Projective Space and Algebraic Sets

Projective Varieties. Chapter Projective Space and Algebraic Sets Chapter 1 Projective Varieties 1.1 Projective Space and Algebraic Sets 1.1.1 Definition. Consider A n+1 = A n+1 (k). The set of all lines in A n+1 passing through the origin 0 = (0,..., 0) is called the

More information

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

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE ABOUT VARIETIES AND REGULAR FUNCTIONS. ALGERAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE AOUT VARIETIES AND REGULAR FUNCTIONS. ANDREW SALCH. More about some claims from the last lecture. Perhaps you have noticed by now that the Zariski topology

More information

AN INTRODUCTION TO AFFINE SCHEMES

AN INTRODUCTION TO AFFINE SCHEMES AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,

More information

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

div(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let: Algebraic Curves/Fall 015 Aaron Bertram 4. Projective Plane Curves are hypersurfaces in the plane CP. When nonsingular, they are Riemann surfaces, but we will also consider plane curves with singularities.

More information

Math 203A - Solution Set 1

Math 203A - Solution Set 1 Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in

More information

2. Prime and Maximal Ideals

2. Prime and Maximal Ideals 18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let

More information

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

Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99 Yuriy Drozd Intriduction to Algebraic Geometry Kaiserslautern 1998/99 CHAPTER 1 Affine Varieties 1.1. Ideals and varieties. Hilbert s Basis Theorem Let K be an algebraically closed field. We denote by

More information

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

π X : X Y X and π Y : X Y Y Math 6130 Notes. Fall 2002. 6. Hausdorffness and Compactness. We would like to be able to say that all quasi-projective varieties are Hausdorff and that projective varieties are the only compact varieties.

More information

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

Algebraic Geometry. Instructor: Stephen Diaz & Typist: Caleb McWhorter. Spring 2015 Algebraic Geometry Instructor: Stephen Diaz & Typist: Caleb McWhorter Spring 2015 Contents 1 Varieties 2 1.1 Affine Varieties....................................... 2 1.50 Projective Varieties.....................................

More information

12 Hilbert polynomials

12 Hilbert polynomials 12 Hilbert polynomials 12.1 Calibration Let X P n be a (not necessarily irreducible) closed algebraic subset. In this section, we ll look at a device which measures the way X sits inside P n. Throughout

More information

ALGEBRAIC GEOMETRY CAUCHER BIRKAR

ALGEBRAIC GEOMETRY CAUCHER BIRKAR ALGEBRAIC GEOMETRY CAUCHER BIRKAR Contents 1. Introduction 1 2. Affine varieties 3 Exercises 10 3. Quasi-projective varieties. 12 Exercises 20 4. Dimension 21 5. Exercises 24 References 25 1. Introduction

More information

Math 203A, Solution Set 6.

Math 203A, Solution Set 6. Math 203A, Solution Set 6. Problem 1. (Finite maps.) Let f 0,..., f m be homogeneous polynomials of degree d > 0 without common zeros on X P n. Show that gives a finite morphism onto its image. f : X P

More information

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

Commutative Algebra. Andreas Gathmann. Class Notes TU Kaiserslautern 2013/14 Commutative Algebra Andreas Gathmann Class Notes TU Kaiserslautern 2013/14 Contents 0. Introduction......................... 3 1. Ideals........................... 9 2. Prime and Maximal Ideals.....................

More information

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

ALGEBRAIC GEOMETRY (NMAG401) Contents. 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30 ALGEBRAIC GEOMETRY (NMAG401) JAN ŠŤOVÍČEK Contents 1. Affine varieties 1 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30 1. Affine varieties The basic objects

More information

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.

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. 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. Answer: Note that the first generator factors as (y

More information

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

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 8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the

More information

9. Birational Maps and Blowing Up

9. Birational Maps and Blowing Up 72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense

More information

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

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Integral Domains and Fraction Fields 0.1.1 Theorems Now what we are going

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients

More information

MATH 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

More information

Infinite-Dimensional Triangularization

Infinite-Dimensional Triangularization Infinite-Dimensional Triangularization Zachary Mesyan March 11, 2018 Abstract The goal of this paper is to generalize the theory of triangularizing matrices to linear transformations of an arbitrary vector

More information

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

Chapter 1. Affine algebraic geometry. 1.1 The Zariski topology on A n Chapter 1 Affine algebraic geometry We shall restrict our attention to affine algebraic geometry, meaning that the algebraic varieties we consider are precisely the closed subvarieties of affine n- space

More information

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

MATH 221 NOTES BRENT HO. Date: January 3, 2009. MATH 22 NOTES BRENT HO Date: January 3, 2009. 0 Table of Contents. Localizations......................................................................... 2 2. Zariski Topology......................................................................

More information

8. Prime Factorization and Primary Decompositions

8. Prime Factorization and Primary Decompositions 70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings

More information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

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

MAS 6396 Algebraic Curves Spring Semester 2016 Notes based on Algebraic Curves by Fulton. Timothy J. Ford April 4, 2016 MAS 6396 Algebraic Curves Spring Semester 2016 Notes based on Algebraic Curves by Fulton Timothy J. Ford April 4, 2016 FLORIDA ATLANTIC UNIVERSITY, BOCA RATON, FLORIDA 33431 E-mail address: ford@fau.edu

More information

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

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local

More information

(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

(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 The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

More information

Review of Linear Algebra

Review of Linear Algebra Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space

More information

9. Integral Ring Extensions

9. Integral Ring Extensions 80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications

More information

Exploring the Exotic Setting for Algebraic Geometry

Exploring the Exotic Setting for Algebraic Geometry Exploring the Exotic Setting for Algebraic Geometry Victor I. Piercey University of Arizona Integration Workshop Project August 6-10, 2010 1 Introduction In this project, we will describe the basic topology

More information

REPRESENTATION THEORY, LECTURE 0. BASICS

REPRESENTATION THEORY, LECTURE 0. BASICS REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite

More information

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u. 5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field

More information

Math 6140 Notes. Spring Codimension One Phenomena. Definition: Examples: Properties:

Math 6140 Notes. Spring Codimension One Phenomena. Definition: Examples: Properties: Math 6140 Notes. Spring 2003. 11. Codimension One Phenomena. A property of the points of a variety X holds in codimension one if the locus of points for which the property fails to hold is contained in

More information

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

COMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D. COMMUNICATIONS IN ALGEBRA, 15(3), 471 478 (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY John A. Beachy and William D. Weakley Department of Mathematical Sciences Northern Illinois University DeKalb,

More information

Math 40510, Algebraic Geometry

Math 40510, Algebraic Geometry Math 40510, Algebraic Geometry Problem Set 1, due February 10, 2016 1. Let k = Z p, the field with p elements, where p is a prime. Find a polynomial f k[x, y] that vanishes at every point of k 2. [Hint:

More information

Math 210B. Artin Rees and completions

Math 210B. Artin Rees and completions Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show

More information

AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES

AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES DOMINIC L. WYNTER Abstract. We introduce the concepts of divisors on nonsingular irreducible projective algebraic curves, the genus of such a curve,

More information

Math 203A - Solution Set 3

Math 203A - Solution Set 3 Math 03A - Solution Set 3 Problem 1 Which of the following algebraic sets are isomorphic: (i) A 1 (ii) Z(xy) A (iii) Z(x + y ) A (iv) Z(x y 5 ) A (v) Z(y x, z x 3 ) A Answer: We claim that (i) and (v)

More information

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

Math 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 ) Math 762 Spring 2016 Homework 3 Drew Armstrong Problem 1. Yoneda s Lemma. We have seen that the bifunctor Hom C (, ) : C C Set is analogous to a bilinear form on a K-vector space, : V V K. Recall that

More information

Math 216A. A gluing construction of Proj(S)

Math 216A. A gluing construction of Proj(S) Math 216A. A gluing construction o Proj(S) 1. Some basic deinitions Let S = n 0 S n be an N-graded ring (we ollows French terminology here, even though outside o France it is commonly accepted that N does

More information

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

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

More information

4.4 Noetherian Rings

4.4 Noetherian Rings 4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)

More information

Pure Math 764, Winter 2014

Pure Math 764, Winter 2014 Compact course notes Pure Math 764, Winter 2014 Introduction to Algebraic Geometry Lecturer: R. Moraru transcribed by: J. Lazovskis University of Waterloo April 20, 2014 Contents 1 Basic geometric objects

More information

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X. Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2

More information

1 Hilbert function. 1.1 Graded rings. 1.2 Graded modules. 1.3 Hilbert function

1 Hilbert function. 1.1 Graded rings. 1.2 Graded modules. 1.3 Hilbert function 1 Hilbert function 1.1 Graded rings Let G be a commutative semigroup. A commutative ring R is called G-graded when it has a (weak direct sum decomposition R = i G R i (that is, the R i are additive subgroups,

More information

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

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC). Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is

More information

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

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 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 topology are very large, it is natural to view this as

More information

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

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 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 Z X. Replacing X by Z we might as well assume that Z

More information