NOTES ON FIBER DIMENSION

Size: px
Start display at page:

Download "NOTES ON FIBER DIMENSION"

Transcription

1 NOTES ON FIBER DIMENSION SAM EVENS Let φ : X Y be a morphism of affine algebraic sets, defined over an algebraically closed field k. For y Y, the set φ 1 (y) is called the fiber over y. In these notes, I explain some basic results about the dimension of the fiber over y. These notes are largely taken from Chapters 3 and 4 of Humphreys, Linear Algebraic Groups, chapter 6 of Bump, Algebraic Geometry, and Tauvel and Yu, Lie algebras and algebraic groups. The book by Bump has an incomplete proof of the main fact we are proving (which repeats an incomplete proof from Mumford s notes The Red Book on varieties and Schemes ). Tauvel and Yu use a step I was not able to verify. The important thing is that you understand the statements and are able to use the Theorems 0.22 and Let A be a ring. If p 0 p 1 p k is a chain of distinct prime ideals of A, we say the chain has length k and ends at p. Definition 0.1. Let p be a prime ideal of A. We say ht(p) = k if there is a chain of distinct prime ideals p 0 p k = p in A of length k, and there is no chain of prime ideals in A of length k +1 ending at p. If B is a finitely generated integral k-algebra, we set dim(b) = dim(f), where F is the fraction field of B. Theorem 0.2. (Serre, Local Algebra, Proposition 15, p. 45) Let A be a finitely generated integral k-algebra and let p A be a prime ideal. Then ht(p) = dim(a) dim(a/p). Theorem 0.3. (see Matsumura, Commutative Ring Theory, Theorem 13.5, p. 100) (i) Let A be a Noetherian ring and let f A be a nonzero nonunit. Then if p is minimal among prime ideals of A containing f, ht(p) 1. (ii) If A is also an integral domain and p is as in (i), then ht(p) = 1. To prove (ii) using (i), note that (0) p is chain of length 1, so ht(p) 1. The above results in commutative algebra are not easy consequences of definitions. You can find approaches to algebraic geometry which get around using them (notably the treatment in Springer s book on Algebraic Groups). My feeling is that it is better to understand these results. For the purposes of this course, you may simply believe them, but if you are going to do mathematics involving algebraic geometry, it is useful to understand these results in commutative algebra. Theorem 0.4. ( Going Down theorem)(matsumura, as above, Theorem 9.4, p. 68, or Dummit and Foote, Theorem 21, p. 668) Let B be an integrally domain and suppose that 1

2 2 S. EVENS B is integral over a subring A. Suppose that A is integrally closed. Let p 2 p 1 be prime ideals of A and suppose that q 1 is a prime ideal of B such that q 1 A = p 1. Then there exists a prime ideal q 2 of B such that q 2 q 1 and q 2 A = p 2. Theorem 0.5. (see Eisenbud, Commutative Algebras with a View Toward Algebraic Geometry, Corollary 13.13). Let A be a finitely generated integral k-algebra with fraction field K. Let B be the integral closure of A. Then B is a finitely generated A-module. In particular, B is a finitely generated integral k-algebra. The first assertion of the Theorem is that there exist b 1,...,b k B such that B = Ab Ab k. It follows easily that B is generated as an algebra by {b 1,...,b k } and any set of generators of A. Lemma 0.6. (Serre, Local Algebra, Lemma 1, p. 8) Let p 1,...,p n be prime ideals of a ring A. If I is an ideal of A and I n i=1p i, then I p i for some i. Proposition 0.7. (Tauvel and Yu, Theorem 3.28) (i) Let A be an integrally closed domain. Then A[t] is an integrally closed domain. (ii) If A is an integrally closed domain, then A[t 1,...,t n ] is an integrally closed domain. Proof : Let K be the fraction field of A and let p(t),q(t) be monic polynomials such that p(t)q(t) A[t]. Then p(t),q(t) A[t]. Indeed, let M be the algebraic closure of K. Factor p(t) into linear factors in M[t] with roots α 1,...,α k and factor q(t) into linear factors with roots β 1,...,β r. If γ is one of the α i or β j, then p q(γ) = 0. Since p q is monic in A[t], it follows that γ is integral over A in M. The coefficients of p(t) and q(t) are polynomials in the α i and β j and hence are integral over A, and in K. Thus, these coefficients are in A, so p(t),q(t) A[t]. Let K and L be the fraction fields of A and A[t] respectively. Let α L be integral over A[t]. Then α is also integral over K[t] A[t], so since K[t] is a UFD and hence integrally closed, α K[t]. Let Q(x) A[t][x] be a monic polynomial with Q(α) = 0 and write Q(x) = x m + p m 1 x m 1 + +p 0, with p i A[t]. Choose s so s is larger than the degree of α = α(t) and also so for all i = 0,...,m 1, s is larger than the degree of p i = p i (t). Let β = α t s K[t], so by the choice of s, β is monic in K[t]. Let R(x) = Q(x + t s ). Then R(β) = Q(β + t s ) = Q(α) = 0. Expand R(x) = x m +q m 1 x m 1 + +q 0 as a polynomial in x with coefficients in A[t]. The term q 0 = t sm +p m 1 t s(m 1) + +p 0 is monic in t by the choice of s. Since R(β) = 0, q 0 = β(β m 1 +q m 1 β m 2 + +q 1 ) = β γ,γ = (β m 1 +q m 1 β m 2 + +q 1 ) K[t]. Since q 0 and β are monic in K[t], it follows that γ is monic in K[t]. Since q 0 A[t], it follows from the assertion of the first paragraph of this proof that β A[t]. Hence, α = β +t s A[t], which establishes the first assertion. The second assertion follows by an easy induction.

3 Let X be an affine variety and let f k[x] be a nonzero nonunit. Then the zero set V(f) is called a hypersurface. If X is an affine variety and Y X is a closed subvariety, then codim X (Y) = dim(x) dim(y) is the codimension of Y in X. It is clear that if Z Y is a closed subvariety, then codim X (Z) = codim X (Y)+codim Y (Z). Theorem 0.8. Let X be an affine variety and let Z X be a closed subvariety. Then codim X (Z) = 1 if and only if Z is an irreducible component of a hypersurface V(f) X. Proof: Suppose codim X (Z) = 1. Since Z X, I(Z) is a nonzero prime ideal of k[x], so we can choose nonzero f I(Z). Clearly, f is not a unit. Thus, V(f) is a proper subset of X and Z V(f). Let V(f) = Y 1 Y k be the irreducible components of the hypersurface V(f). Then Z Y i for some i. But dim(y i ) < dim(x), so the hypothesis implies that dim(y i ) dim(z). It follows that Y i = Z. Now suppose that Z is an irreducible component of a hypersurface V(f). Thus, f I(Z), and I(Z) is prime. If f J I(Z), where J is prime, then Z V(J) V(f), so since V(J) is irreducible, Z = V(J). Hence, J = I(Z). Thus, I(Z) is minimal among all prime ideals of k[x] containing f. Hence by Theorem 0.3, ht(i(z)) = 1, so dim(z) = dim(k[z]) = dim(k[x]/i(z)) = dim(k[x]) 1 = dim(x) 1 by Thereom 0.2. This last theorem can be proved without using 0.2 and 0.3 if X = k n since then we can reduce to the case when V(f) is irreducible. Corollary 0.9. LetX be anaffine varietyandlety beaclosedsubvariety. Ifcodim X (Y) = r, thenfor eachi = 1,...,r, thereexistsaclosedsubvarietyy i ofx such that codim X (Y i ) = i and Y = Y r Y r 1 Y 1. Proof: This is clear in case r = 1, and we argue by induction on r. Since Y X, there exists nonzero f I(Y). Since f is a nonunit, by Theorem 0.8, all irreducible components of V(f) have codimension 1 in X. Since Y is irreducible and Y V(f), it follows that Y Z 0 for some irreducible component Z 0 of V(f). Take Y 1 = Z 0. Then codim Y1 (Y) = r 1, so by induction, there exists a chain of closed subvarieties Y r = Y Y r 1 Y 2 in Y 1 such that codim Y1 (Y i ) = i 1. Then Y r Y 1 is the desired chain in X. Corollary LetX be an affine varietyandlet f 1,...,f r k[x]. IfZ isan irreducible component of V(f 1,...,f r ), then codim X (Z) r. Proof: Proceed by induction on r, noting that the case r = 1 follows by Theorem 0.8. Let Z be an irreducible component of V(f 1,...,f r ). Since Z V(f 1 ), Z Y for some irreducible component Y of V(f 1 ). Let f 2,...,f r be the images of f 2,...,f r in k[y]. Then Z V(f 2,...,f r ) V(f 1,...,f r ). Since Z is a maximal closed irreducible subset 3

4 4 S. EVENS of V(f 1,...,f r ), it follows that Z is an irreducible component of V(f 2,...,f r ) contained in Y. Apply the inductive assumption with Y in place of X to obtain codim Y (Z) r 1. Since codim X (Y) 1 by Theorem 0.8, we get codim X (Z) r. Corollary Let X be an affine variety and let Y X be a closed subvariety. Suppose codim X (Y) = r. Then Y is an irreducible component of V(f 1,...,f r ) for some f 1,...,f r k[x]. Proof: We prove the following stronger statement: (*) if we are given a chain of closed subvarieties Y r Y 1 with codim X (Y i ) = i, then there exists f 1,...,f r k[x] such that for all 1 q r, every irreducible component of V(f 1,...,f q ) has codimension q in X and Y q is an irreducible component of V(f 1,...,f q ). If we assume (*) and take Y r = Y and use 0.9 to find a chain Y r Y 1 as above, we complete the proof. Prove (*) by induction on q. If q = 1, then by Theorem 0.8, Y 1 is an irreducible component of V(f) for some nonzero nonunit f k[x], and every irreducible component of V(f) has codimension one in X. Now assume we have found f 1,...,f q 1 as above. Let Z 1 = Y q 1, Z 2,...,Z m be the irreducible components of V(f 1,...,f q 1 ), so codim X (Z j ) = q 1 for all j. Hence, dim(y q ) < dim(z j ), so no Z j Y q, so I(Y q ) I(Z j ) for all j. Thus, I(Y q ) I(Z 1 ) I(Z m ) by Lemma 0.6. Hence, there exists f q I(Y q ) such that f q I(Z j ) for all j. Thus, f q is a nonzero nonunit in k[z j ] for all j, where f q is the image of f q in k[z j ]. Hence, by Theorem 0.8 applied to f q k[z j ], every irreducible component W of V(f q ) = V(f q ) Z j has codim Zj (W) = 1. Thus, codim X (W) = q. Let V be an irreducible component of V(f 1,...,f q ). Then V V(f 1,...,f q 1 ), and it follows that V is in some irreducible component Z j. Thus, V V(f q ) Z j. Hence V W, where W is an irreducible component of V(f q ) Z j. But codim X (V) q by Corollary 0.10, so dim(v) dim(w), and hence V = W. Finally, note that Y q V(f 1,...,f q ), so since Y q is irreducible, Y q is a subset of one of the above irreducible components V. Since dim(y q ) = dim(v), Y q = V. Theorem Let φ : X Y be a dominant morphism of affine varieties. Let r = dim(x) dim(y). Let W Y be a closed subvariety and let Z be an irreducible component of φ 1 (W). If φ(z) = W, then dim(z) dim(w)+r. In particular, if y φ(x), then each irreducible component of the fiber φ 1 (y) has dimension at least r. Proof: Let s = codim Y (W). By Corollary 0.11, W is an irreducible component of V(f 1,...,f s ) for some f 1,...,f s k[y]. Let g i = φ (f i ) for i = 1,...,s. It follows from definitions that Z V(g 1,...,g s ). Since Z is irreducible, Z Z 0, where Z 0 is an irreducible component of V(g 1,...,g s ). Again from definitions, φ(v(g 1,...,g s )) V(f 1,...,f s ), so φ(z) φ(z 0 ) V(f 1,...,f s ). Note that φ(z 0 ) is irreducible by Exercise

5 8, problemset1. SinceW = φ(z)byassumption, W φ(z 0 ), sow = φ(z 0 )bydefinition of irreducible component. Thus, φ(z 0 ) W, so Z 0 φ 1 (W). But Z is an irreducible component of φ 1 (W), so Z = Z 0. Hence Z is an irreducible component of V(g 1,...,g s ) so by Corollary 0.10, codim X (Z) s. Thus, dim(z) dim(x) s = r+dim(y) s = r+dim(w). Remark An affine variety X is called normal if k[x] is integrally closed in k(x). The affine variety k n is normal since a unique factorization domain is integrally closed. Remark Let X be a normal affine variety. Then X k n is a normal variety. Indeed, k[x k n ] = k[x][t 1,...,t n ] is integrally closed by Proposition 0.7. Proposition Let φ : X Y be a finite dominant morphism of affine varieties. Then (i) φ is surjective. (ii) If y Y, then the fiber φ 1 (y) is finite. (iii) Let Z X be a closed subvariety. Then φ(z) is closed, dim(z) = dim(φ(z)), and φ : Z φ(z) is finite. (iv) Suppose that Y is normal and let W Y be a closed subvariety. For any irreducible component Z of φ 1 (W), φ(z) = W and dim(z) = dim(w). Proof: We leave (i) as an exercise. For (iii), let ψ = φ Z : Z V := φ(z) be the restriction of φ to Z. We claim that ψ is finite. Given the claim, since ψ is clearly dominant, ψ is surjective, so φ(z) = ψ(z) = V, so φ(z) is closed. Thus, k[z] is integral over k[v] so k(z) is algebraic over k(v), and it follows from properties of transcendence bases that dim(z) = dim(v). Thus, we have reduced (iii) to the claim. Fortheclaim, leti : Z X andletj : V Y betheinclusions. Thensinceφ i = j ψ, ψ j = i φ. Thus, if f k[y], (*)φ (f) + I(Z) = ψ (f + I(V)) in k[z] = k[x]/i(z) (this uses i : k[x] k[z] takes the quotient by I(Z) and corresponding result for j ). Since φ is finite, k[x] is a finitely generatedφ k[y]-module. Thus, thereexista 1,...,a k k[x]suchthatforeachf k[x], there exist f 1,...,f q k[y] such that (**) f = k i=1 φ (f i )a i. This identity is still true in k[x]/i(z), so using (*) above, f = k i=1 ψ (f i + I(V)) a i + I(Z) in k[z]. Thus, k[z] is a finitely generated ψ k[v] module, so ψ is finite. This completes the proof of (iii). For (iv), let W Y be a closed subvariety and let Z φ 1 (W) be an irreducible component. We claim that dim(z) dim(w). Thus, by (iii), dim(z) = dim(φ(z)) 5

6 6 S. EVENS dim(w). Since φ(z) is closed and φ(z) W, it follows that φ(z) = W, and hence dim(z) = dim(w). This reduces (iv) to the claim. To verify the claim, recall that if V X is a closed subvariety, then it follows from definitions that (*) φ 1 I(V) = I(φ(V)). In our situation, φ is injective since φ is dominant, so I(V) φ k[y] = φ (I(φ(V))). Let B = k[x] and let A = φ (k[y]). Let I = I(Z) and let J = φ (I(W)). Since φ(z) W, I(W) I(φ(Z)), so by (*), I(Z) A = φ (I(φ(Z))) J. We apply the Going Down Theorem to the extension B A. Let α X be a point of φ 1 (W) contained in Z but in no other irreducible component of φ 1 (W) and let m α B and m φ(α) k[y] be the corresponding maximal ideals. By (*), m α A = φ (m φ(α) ). Since φ(α) W, I(W) m φ(α), so J φ (m φ(α) ) in A. By the Going Down Theorem, there exists a prime ideal p 1 of B such that p 1 m α and p 1 A = J. Then α V(p 1 ), so since V(p 1 ) is irreducible, by the choice of α, V(p 1 ) Z. Thus, I(Z) p 1, so I A p 1 A = J. Hence, I A = J. and the induced morphism A/J B/I is injective. Hence, φ : k[w] k[z] is injective, and it follows from properties of transcendence degree that dim(w) dim(z), verifying the claim. For (ii), let Z be an irreducible component of φ 1 (y). By (iii), dim(z) = dim(φ(z)) = dim(y) = 0. Therefore, Z is a point, which implies (ii). To proceed, we need to establish some results about normal varieties (see Tauvel and Yu, Chapter 17). Let φ : X Y be a dominant morphism of affine varieties. Then φ : k[y] k[x] is injective, so there is an induced field homomorphism φ : k(y) k(x). Remark A dominant morphism φ : X Y is called birational if φ : k(y) k(x) is an isomorphism of fields. For example, the morphism φ : k V(y 2 x 3 ) given by φ(a) = (a 2,a 3 ) is birational, but is not an isomorphism. Proposition Let φ : X Y be a birational morphism of affine varieties. Then there exists nonzero s k[y] such that φ : X φ (s) Y s is an isomorphism of affine varieties. In particular, a dominant morphism φ : X Y of affine varieties is birational if and only if there is a nonempty open set U Y such that φ : φ 1 (U) U is an isomorphism. Proof : Let k[x] = k[α 1,...,α m ]. Since k[x] k(x), by hypothesis, there exist b 1,...,b m k(y) such that φ (b i ) = α i. Then each b i = γ i s i for some γ i,s i 0 k[y]. Write b i = β i with s = s s 1 s m, and β i = sγ i s i k[y]. Then φ : k[y] s k[x] φ (s) is easily seen to be onto. Since φ : k(y) k(x) is injective, φ : k[y] s k[x] φ (s) is

7 injective. Hence φ : X φ (s) Y s is an isomorphism. This implies one direction of the last assertion, taking U = Y s. The other direction is easy. Lemma Let X be a normal affine variety and let a k[x] be nonzero. Then X a is normal. Proof : This follows from the following assertion: let A be an integral domain and let B be the integral closure of A in the fraction field of A. Let S A be a multiplicatively closed set and assume 0 S. Then S 1 B is the integral closure of S 1 A in the fraction field of A. This can be proved just as in the proof of (1) implies (2) in Proposition 39, p. 687, of Dummit and Foote. Proposition Let X be an affine variety. There exists nonzero a k[x] such that X a is normal. EXERCISE: Prove this. The following steps are useful. (i) Let B be the integral closure of k[x]. Show that B is a finitely generated integrally closed k-algebra (use a commutative algebra result from these notes). (ii) Let Y be the affine variety such that k[y] = B. Show that there exists a birational morphism φ : Y X such that φ : k[x] B is the inclusion. (iii) Find a k[x] such that φ : Y φ (a) X a is an isomorphism. Conclude that X a is normal. Remark Let φ : X Y be a dominant morphism of affine varieties and let r = dim(x) dim(y). By the proof of Proposition 3.26 in the book An Introduction to Invariants and Moduli by Mukai, the author shows that there exists a k[y] and η : X φ (a) k r such that the morphism ψ = (φ,η) : X φ (a) Y a k r is finite and dominant, where r = dim(x) dim(y). By Proposition 0.15, it follows that dim(x φ (a)) dim(y a ), so r 0. By Proposition 0.19, there is nonzero f k[y] such that Y f is normal. Hence, Y af = (Y f ) a is normal by Lemma 0.18, so Y af k r is normal by 0.7. Let b = af. Since localization preserves finiteness, it follows that ψ : X φ (b) Y b k r is a finite dominant morphism to a normal variety. Remark (EXERCISE) Prove the following. Let Y be a closed subset of a variety X, and let Y = Y 1 Y k be the decomposition of Y into irreducible components. If V Y is an nonempty open set, then the irreducible components of Y V are the Y i V such that Y i V is nonempty. Further, if Y i V is nonempty, then dim(y i ) = dim(y i V). Theorem Let φ : X Y be a dominant morphism of affine varieties. Let r = dim(x) dim(y). There exists a nonempty open set U of Y such that if W is a closed subvariety of Y such that W U is nonempty, then for any irreducible component Z of φ 1 (W U), dim(z) = dim(w)+r. 7

8 8 S. EVENS Proof : Take U = Y b as in Remark 0.20 and let V = φ 1 (U), so U and V are affine varieties. As in Remark 0.20, there exists a morphism η : V k r such that ψ = (φ,η) : V U k r isafinitedominantmorphismtoanormalvariety. Byhypothesis, (W U) k r is a closed subvariety of U k r. Let Z be an irreducible component of φ 1 (W) such that Z V is nonempty. By Remark 0.21, Z V is an irreducible component of φ 1 (W) V = ψ 1 ((W U) k r ). Hence, by Proposition 0.15(iv), dim(z V) = dim((w U) k r ) = dim(w U)+r. It follows that dim(z) = dim(w)+r by Remark Corollary Let φ : X Y be a dominant morphism of affine varieties. There exists a nonempty open set U φ(x) such that for all y U and any irreducible component Z of φ 1 (y), dim(z) = r := dim(x) dim(y). Theorem Let φ : X Y be a morphism of affine varieties. For x X, let φ 1 φ(x) = Z 1 Z j be the irreducible components of φ 1 φ(x). Let e(x) be the maximum of the dimensions of the Z i. Let S n (φ) := {x X : e(x) n}. Then S n (φ) is a closed subset of X. Proof : By replacing Y with φ(x), we may assume that φ is dominant. Let r = dim(x) dim(y) 0 by Remark Argue by induction on p := dim(y). If p = 0, then φ 1 (φ(x)) = φ 1 (Y) = X is clearly closed. Assume the assertion is true for j < p. If n r, then S n (φ) = X by Theorem 0.12, so we may suppose n > r. By Corollary 0.23, there exists a nonempty open subset U of Y such that S n (φ) X φ 1 (U). Let W 1,...,W s be the irreducible components of Y U. Then for all i, dim(w i ) < dim(y) since each W i is proper and closed. Let {Z ij } j Ji be the irreducible components of φ 1 (W i ), and let φ ij : Z ij W i be the restriction of φ to Z ij. By the inductive assumption, S n (φ ij ) is closed in Z ij. The reader can check easily that S n (φ) = i,j S n (φ ij ), and the result follows.

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

CHEVALLEY S THEOREM AND COMPLETE VARIETIES CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized

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

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

INTRODUCTION TO ALGEBRAIC GEOMETRY. Throughout these notes all rings will be commutative with identity. k will be an algebraically INTRODUCTION TO ALGEBRAIC GEOMETRY STEVEN DALE CUTKOSKY Throughout these notes all rings will be commutative with identity. k will be an algebraically closed field. 1. Preliminaries on Ring Homomorphisms

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

NONSINGULAR CURVES BRIAN OSSERMAN

NONSINGULAR CURVES BRIAN OSSERMAN NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that

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

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss

More information

16 Dimension and transcendence degree

16 Dimension and transcendence degree 16 Dimension and transcendence degree 16.A Dimension: desired properties Our goal is to define the dimension of an algebraic variety over k. It should be a welldefinedfunction from the setof isomorphism

More information

DIVISORS ON NONSINGULAR CURVES

DIVISORS ON NONSINGULAR CURVES DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce

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

11. Dimension. 96 Andreas Gathmann

11. Dimension. 96 Andreas Gathmann 96 Andreas Gathmann 11. Dimension We have already met several situations in this course in which it seemed to be desirable to have a notion of dimension (of a variety, or more generally of a ring): for

More information

TWO IDEAS FROM INTERSECTION THEORY

TWO IDEAS FROM INTERSECTION THEORY TWO IDEAS FROM INTERSECTION THEORY ALEX PETROV This is an expository paper based on Serre s Local Algebra (denoted throughout by [Ser]). The goal is to describe simple cases of two powerful ideas in intersection

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

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:

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: Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties

More information

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.

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

More information

Extension theorems for homomorphisms

Extension theorems for homomorphisms Algebraic Geometry Fall 2009 Extension theorems for homomorphisms In this note, we prove some extension theorems for homomorphisms from rings to algebraically closed fields. The prototype is the following

More information

Dimension Theory. Mathematics 683, Fall 2013

Dimension Theory. Mathematics 683, Fall 2013 Dimension Theory Mathematics 683, Fall 2013 In this note we prove some of the standard results of commutative ring theory that lead up to proofs of the main theorem of dimension theory and of the Nullstellensatz.

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

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

THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS. Contents

THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS. Contents THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS ALICE MARK Abstract. This paper is a simple summary of the first most basic definitions in Algebraic Geometry as they are presented in Dummit and Foote ([1]),

More information

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 14

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 14 INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 14 RAVI VAKIL Contents 1. Dimension 1 1.1. Last time 1 1.2. An algebraic definition of dimension. 3 1.3. Other facts that are not hard to prove 4 2. Non-singularity:

More information

RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

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 8254 ALGEBRAIC GEOMETRY HOMEWORK 1

MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 CİHAN BAHRAN I discussed several of the problems here with Cheuk Yu Mak and Chen Wan. 4.1.12. Let X be a normal and proper algebraic variety over a field k. Show

More information

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion

More information

NOTES ON DIMENSION THEORY OF SCHEMES

NOTES ON DIMENSION THEORY OF SCHEMES NOTES ON DIMENSION THEORY OF SCHEMES BRIAN OSSERMAN In this expository note, we discuss various aspects of the theory of dimension of schemes, in particular focusing on which hypotheses are necessary in

More information

Homework 2 - Math 603 Fall 05 Solutions

Homework 2 - Math 603 Fall 05 Solutions Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether

More information

4.5 Hilbert s Nullstellensatz (Zeros Theorem)

4.5 Hilbert s Nullstellensatz (Zeros Theorem) 4.5 Hilbert s Nullstellensatz (Zeros Theorem) We develop a deep result of Hilbert s, relating solutions of polynomial equations to ideals of polynomial rings in many variables. Notation: Put A = F[x 1,...,x

More information

n P say, then (X A Y ) P

n P say, then (X A Y ) P COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective A-module such that the rank function Spec A N is constant with value 1.

More information

Section Divisors

Section Divisors Section 2.6 - Divisors Daniel Murfet October 5, 2006 Contents 1 Weil Divisors 1 2 Divisors on Curves 9 3 Cartier Divisors 13 4 Invertible Sheaves 17 5 Examples 23 1 Weil Divisors Definition 1. We say a

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

SCHEMES. David Harari. Tsinghua, February-March 2005

SCHEMES. David Harari. Tsinghua, February-March 2005 SCHEMES David Harari Tsinghua, February-March 2005 Contents 1. Basic notions on schemes 2 1.1. First definitions and examples.................. 2 1.2. Morphisms of schemes : first properties.............

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

LEVINE S CHOW S MOVING LEMMA

LEVINE S CHOW S MOVING LEMMA LEVINE S CHOW S MOVING LEMMA DENIS NARDIN The main result of this note is proven in [4], using results from [2]. What is here is essentially a simplified version of the proof (at the expense of some generality).

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

HILBERT FUNCTIONS. 1. Introduction

HILBERT FUNCTIONS. 1. Introduction HILBERT FUCTIOS JORDA SCHETTLER 1. Introduction A Hilbert function (so far as we will discuss) is a map from the nonnegative integers to themselves which records the lengths of composition series of each

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

arxiv: v1 [math.ag] 14 Mar 2019

arxiv: v1 [math.ag] 14 Mar 2019 ASYMPTOTIC CONSTRUCTIONS AND INVARIANTS OF GRADED LINEAR SERIES ariv:1903.05967v1 [math.ag] 14 Mar 2019 CHIH-WEI CHANG AND SHIN-YAO JOW Abstract. Let be a complete variety of dimension n over an algebraically

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

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. Noether normalisation

4. Noether normalisation 4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,

More information

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

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 RAVI VAKIL Hi Dragos The class is in 381-T, 1:15 2:30. This is the very end of Galois theory; you ll also start commutative ring theory. Tell them: midterm

More information

Lecture 6. s S} is a ring.

Lecture 6. s S} is a ring. Lecture 6 1 Localization Definition 1.1. Let A be a ring. A set S A is called multiplicative if x, y S implies xy S. We will assume that 1 S and 0 / S. (If 1 / S, then one can use Ŝ = {1} S instead of

More information

MASTER S THESIS MAT CHOW VARIETIES

MASTER S THESIS MAT CHOW VARIETIES MASTER S THESIS MAT-2003-06 CHOW VARIETIES David Rydh DEPARTMENT OF MATHEMATICS ROYAL INSTITUTE OF TECHNOLOGY SE-100 44 STOCKHOLM, SWEDEN Chow Varieties June, 2003 David Rydh Master s Thesis Department

More information

Dedekind Domains. Mathematics 601

Dedekind Domains. Mathematics 601 Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K/F is a finite

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

Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x

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

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

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

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

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

Advanced Algebra II. Mar. 2, 2007 (Fri.) 1. commutative ring theory In this chapter, rings are assume to be commutative with identity. Advanced Algebra II Mar. 2, 2007 (Fri.) 1. commutative ring theory In this chapter, rings are assume to be commutative with identity. 1.1. basic definitions. We recall some basic definitions in the section.

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

The Geometry-Algebra Dictionary

The Geometry-Algebra Dictionary Chapter 1 The Geometry-Algebra Dictionary This chapter is an introduction to affine algebraic geometry. Working over a field k, we will write A n (k) for the affine n-space over k and k[x 1,..., x n ]

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

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS UZI VISHNE The 11 problem sets below were composed by Michael Schein, according to his course. Take into account that we are covering slightly different material.

More information

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

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998 CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic

More information

MATH 233B, FLATNESS AND SMOOTHNESS.

MATH 233B, FLATNESS AND SMOOTHNESS. MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)

More information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 1. Let R 0 be a commutative ring with 1 and let S R be the subset of nonzero elements which are not zero divisors. (a)

More information

CRing Project, Chapter 7

CRing Project, Chapter 7 Contents 7 Integrality and valuation rings 3 1 Integrality......................................... 3 1.1 Fundamentals................................... 3 1.2 Le sorite for integral extensions.........................

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

More information

DEFORMATIONS VIA DIMENSION THEORY

DEFORMATIONS VIA DIMENSION THEORY DEFORMATIONS VIA DIMENSION THEORY BRIAN OSSERMAN Abstract. We show that standard arguments for deformations based on dimension counts can also be applied over a (not necessarily Noetherian) valuation ring

More information

The Proj Construction

The Proj Construction The Proj Construction Daniel Murfet May 16, 2006 Contents 1 Basic Properties 1 2 Functorial Properties 2 3 Products 6 4 Linear Morphisms 9 5 Projective Morphisms 9 6 Dimensions of Schemes 11 7 Points of

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

A linear algebra proof of the fundamental theorem of algebra

A linear algebra proof of the fundamental theorem of algebra A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional

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

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

3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X). 3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)

More information

A linear algebra proof of the fundamental theorem of algebra

A linear algebra proof of the fundamental theorem of algebra A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional

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

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should

More information

Math 121 Homework 2 Solutions

Math 121 Homework 2 Solutions Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.

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

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

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

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

k k would be reducible. But the zero locus of f in A n+1 Math 145. Bezout s Theorem Let be an algebraically closed field. The purpose of this handout is to prove Bezout s Theorem and some related facts of general interest in projective geometry that arise along

More information

A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ

A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ NICOLAS FORD Abstract. The goal of this paper is to present a proof of the Nullstellensatz using tools from a branch of logic called model theory. 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

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

Section Blowing Up

Section Blowing Up Section 2.7.1 - Blowing Up Daniel Murfet October 5, 2006 Now we come to the generalised notion of blowing up. In (I, 4) we defined the blowing up of a variety with respect to a point. Now we will define

More information

Solutions to Homework 1. All rings are commutative with identity!

Solutions to Homework 1. All rings are commutative with identity! Solutions to Homework 1. All rings are commutative with identity! (1) [4pts] Let R be a finite ring. Show that R = NZD(R). Proof. Let a NZD(R) and t a : R R the map defined by t a (r) = ar for all r R.

More information

Solutions of exercise sheet 8

Solutions of exercise sheet 8 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra

More information

LECTURE 6: THE ARTIN-MUMFORD EXAMPLE

LECTURE 6: THE ARTIN-MUMFORD EXAMPLE LECTURE 6: THE ARTIN-MUMFORD EXAMPLE In this chapter we discuss the example of Artin and Mumford [AM72] of a complex unirational 3-fold which is not rational in fact, it is not even stably rational). As

More information

Introduction to Algebraic Geometry. Jilong Tong

Introduction to Algebraic Geometry. Jilong Tong Introduction to Algebraic Geometry Jilong Tong December 6, 2012 2 Contents 1 Algebraic sets and morphisms 11 1.1 Affine algebraic sets.................................. 11 1.1.1 Some definitions................................

More information

Another way to proceed is to prove that the function field is purely transcendental. Now the coordinate ring is

Another way to proceed is to prove that the function field is purely transcendental. Now the coordinate ring is 3. Rational Varieties Definition 3.1. A rational function is a rational map to A 1. The set of all rational functions, denoted K(X), is called the function field. Lemma 3.2. Let X be an irreducible variety.

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

Algebraic Geometry. Appendix A. A.1 Affine Algebraic Sets. Basic Properties

Algebraic Geometry. Appendix A. A.1 Affine Algebraic Sets. Basic Properties Appendix A Algebraic Geometry We develop the aspects of algebraic geometry needed for the study of algebraic groups over C in this book. Although we give self-contained proofs of almost all of the results

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

Math 210B: Algebra, Homework 1

Math 210B: Algebra, Homework 1 Math 210B: Algebra, Homework 1 Ian Coley January 15, 201 Problem 1. Show that over any field there exist infinitely many non-associate irreducible polynomials. Recall that by Homework 9, Exercise 8 of

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

Assigned homework problems S. L. Kleiman, fall 2008

Assigned homework problems S. L. Kleiman, fall 2008 18.705 Assigned homework problems S. L. Kleiman, fall 2008 Problem Set 1. Due 9/11 Problem R 1.5 Let ϕ: A B be a ring homomorphism. Prove that ϕ 1 takes prime ideals P of B to prime ideals of A. Prove

More information

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

Here is another way to understand what a scheme is 1.GivenaschemeX, and a commutative ring R, the set of R-valued points Chapter 7 Schemes III 7.1 Functor of points Here is another way to understand what a scheme is 1.GivenaschemeX, and a commutative ring R, the set of R-valued points X(R) =Hom Schemes (Spec R, X) This is

More information

32 Divisibility Theory in Integral Domains

32 Divisibility Theory in Integral Domains 3 Divisibility Theory in Integral Domains As we have already mentioned, the ring of integers is the prototype of integral domains. There is a divisibility relation on * : an integer b is said to be divisible

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

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS JENNY WANG Abstract. In this paper, we study field extensions obtained by polynomial rings and maximal ideals in order to determine whether solutions

More information

Exercise Sheet 7 - Solutions

Exercise Sheet 7 - Solutions Algebraic Geometry D-MATH, FS 2016 Prof. Pandharipande Exercise Sheet 7 - Solutions 1. Prove that the Zariski tangent space at the point [S] Gr(r, V ) is canonically isomorphic to S V/S (or equivalently

More information

Math W Algebraic Curves Prof. A. J. de Jong Spring 2010 Rough Lecture Notes by Alexander Moll

Math W Algebraic Curves Prof. A. J. de Jong Spring 2010 Rough Lecture Notes by Alexander Moll Math W4045 - Algebraic Curves Prof. A. J. de Jong Spring 2010 Rough Lecture Notes by Alexander Moll 1 19 January 1.1 Introduction Book: Algebraic Curves by William Fulton (Michigan). Also - a pile of other

More information

Algebraic group actions and quotients

Algebraic group actions and quotients 23rd Autumn School in Algebraic Geometry Algebraic group actions and quotients Wykno (Poland), September 3-10, 2000 LUNA S SLICE THEOREM AND APPLICATIONS JEAN MARC DRÉZET Contents 1. Introduction 1 2.

More information

LECTURE 4: GOING-DOWN THEOREM AND NORMAL RINGS

LECTURE 4: GOING-DOWN THEOREM AND NORMAL RINGS LECTURE 4: GOING-DOWN THEOREM AND NORMAL RINGS Definition 0.1. Let R be a domain. We say that R is normal (integrally closed) if R equals the integral closure in its fraction field Q(R). Proposition 0.2.

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

1 Absolute values and discrete valuations

1 Absolute values and discrete valuations 18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions

More information