Math 203A  Solution Set 3


 Charlotte Gaines
 2 years ago
 Views:
Transcription
1 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) are isomorphic, (ii) and (iii) are isomorphic, and (iv) is not isomorphic to any other algebraic sets We check (i) and (v) are isomorphic Note first that Define the morphisms and Then Z(y x, z x 3 ) = {(t, t, t 3 ) t C} f : A 1 Z(y x, z x 3 ), f(t) = (t, t, t 3 ), g : Z(y x, z x 3 ) A 1, g(x, y, z) = x f g = identity g f = identity Thus f and g are inverse isomorphisms We show (ii) and (iii) are isomorphic Consider the morphisms f : A A, f(x, y) = (x + iy, x iy), ( x + y g : A A, g(x, y) =, x y ) i It is easy to check that Moreover, letting we claim that Indeed, if (x, y) Z, then f g = identity g f = identity Z = Z(x + y ) and W = Z(xy), f(z) W, g(w ) Z f(x, y) = (x iy, x + iy) W since (x iy)(x + iy) = x + y = 0 Similarly, if (x, y) W, then ( x + y g(x, y) =, x y ) ( ) x + y ( ) x y Z, since + = 0 i i Therefore, f and g establish isomorphisms between Z and W We show that (i) and (ii) are not isomorphic Indeed, Z(xy) is the union of two lines, hence it is a reducible affine set On the other hand, A 1 is irreducible, hence it cannot be isomorphic to Z(xy) 1
2 We show (ii) and (iv) cannot be isomorphic This follows by the same argument observing that Z(x y 5 ) is irreducible Indeed, it suffices to prove that the polynomial x y 5 is irreducible Assuming the contrary, write x y 5 = f 1 (x, y)f (x, y) Regarding f 1, f as polynomials in x with coefficients in the integral domain k[y], we conclude that f 1, f can have degree at most with respect to x In fact, it is clear that the combination of degrees (0, ) cannot occur If the degrees are 1, we may assume Then Therefore, f 1 (x, y) = x g(y), f (x, y) = x h(y) x y 5 = x x (g(y) + h(y)) + g(y)h(y) g(y) = h(y), and y 5 = g(y)h(y) = g(y) This is clearly impossible, proving our claim We show that (i) and (iv) cannot be isomorphic Letting t be the coordinate of A 1, we show that there cannot be an ismorphism Indeed, set We must have Φ : k[x, y]/(x y 5 ) k[t] Φ(x) = p, Φ(y) = q p = q 5 This implies that all irreducible factors appearing in q have even exponent, so q = r, p = r 5 for some polynomial r Note that r cannot be constant since otherwise the image of Φ would have to consist in constant polynomials Now since Φ is surjective, there is a polynomial f = i,j a ij x i y j such that Φ(f) = r This means that a ij r 5i+j = r ij In particular, since the left hand side must be divisible by r, we have a 00 = 0 However, since 5i + j for (i, j) (0, 0), the left hand side is in fact divisible by r, so it cannot equal r This contradiction shows that an isomorphism Φ cannot exist Problem Show that X = A \{(0, 0)} cannot be isomorphic to an affine algebraic set: (i) Show that if f : X k is a regular function on X, then f must be a polynomial in k[x, y]
3 (ii) If Φ : Y X is an isomorphism between an affine algebraic set Y and X, consider the composition Ψ = ι Φ, where ι : X A is the inclusion Show that the morphism Ψ induces an isomorphism on coordinate rings Conclude that Ψ must be an isomorphism, hence ι must be an isomorphism, which must be a contradiction Answer: (i) Suppose f = g(x, y)/h(x, y) is a regular function on X and g, h k[x, y], we can assume g(x, y) and h(x, y) has no nonconstant common factors Then h(x, y) must be nonzero at every point in X Therefore the vanishing locus Z(h) {(0, 0)} Taking ideals and using the Nullstellensatz, we obtain (x, y) (h) This implies that x n (h), y m (h) for some n, m, which in turn implies that h divides both x n and y m Therefore, h must be constant and f k[x, y] (ii) Note that g is a regular function on Y g Φ 1 is a regular function on X g Φ 1 k[x, y] by (i) Letting P = g Φ 1, we have g = P Ψ for some polynomial P k[x, y] Thus, Ψ induces an isomorphism between the coordinate ring of Y and k[x, y] proving that Ψ : Y = A is an isomorphism In turn, this means ι : X = A is an isomorphism This is impossible because ι : X A is not bijective Problem 3 Let X A n and Y A m be affine algebraic sets (i) Show that X Y is an affine algebraic set (in such a fashion that its Zariski topology is the subspace topology from A n+m ) (ii) Show that if X and Y are irreducible, then X Y is also irreducible (iii) Show that X Y is a product in the category of affine algebraic sets eg it satisfies the following universal proprety: for every affine algebraic set Z and morphisms f : Z X and g : Z Y, there exists a unique morphism h : Z X Y such that h π X = f and h π Y = g (iv) Conclude that A(X Y ) = A(X) k A(Y ) Answer: (i) Let X A n and Y A m be affine algebraic sets such that X = Z(f 1,, f r ), Y = Z(g 1,, g s ) where f i k[x 1, X,, X n ] and g j k[y 1, Y,, Y m ] We regard f i and g j as polynomials in the variables X 1,, X n, Y 1,, Y m We see that that X Y = Z(f 1,, f r, g 1,, g s ) A n+m 3
4 4 This shows that X Y is an affine algebraic set (ii) We show that I(X Y ) is prime Let us write x for the collection of the x i, and y for the collection of the y i Let f, g k[x, y] be polynomial functions such that fg vanishes on X Y ; we have to show that either f or g vanishes on all of X Y, ie that X Y Z(f) or X Z(g) Let us assume that there is a point (P, Q) X Y \ Z(f), where P X and Q Y Denote by f(, Q) k[x] the polynomial obtained from f k[x, y] by setting y = Q For all P 0 X \ Z(f(, Q)) we must have Y Z(f(P 0, )g(p 0, )) = Z(f(P 0, )) Z(g(P 0, )) As Y is irreducible and Y Z(f(P 0, )) by the choice of P 0, it follows that Y = Z(g(P 0, )) This is true for all P 0 X \ Z(f(, Q)), so we conclude that (X \ Z(f(, Q)) Y Z(g) But as Z(g) is closed, it must in fact contain the closure of (X \ Z(f(, Q)) Y as well This closure equals X Y as X is irreducible and X \ Z(f(, Q)) is a nonempty open subset of X (iii) It is clear that the morphism h is defined set theoretically as h(p) = (f(p), g(p)) To define h algebraically we will proceed somewhat differently First, the morphism f : Z X corresponds to a kalgebra homomorphism f : k[x 1,, x n ]/I(X) A(Z), denoted by the same letter This in turn is determined by giving the images f i = f(x i ) A(Z) of the generators x i, satisfying the relations of I(X) The same is true for g, which is determined by the images g i = g(y i ) A(Z) Now it is obvious that the elements f i and g i determine a kalgebra homomorphism k[x 1, x n, y 1 y m ]/(I(X) + I(Y )) A(Z) which determines a morphism h : Z X Y (iv) The universal property of X Y corresponds on the level of coordinate rings to the universal property of the tensor product Also, one may directly observe that A(X Y ) = k[x, y]/(i(x) + I(Y )) = k[x]/i(x) k[y]/i(y ) = A(X) k A(Y ) Problem 4 Let n, and let S = {a 1,, a n } be a finite set with n elements in A 1 (i) Show that the quasiaffine set A 1 \ S is isomorphic to an affine set For instance, you may take X to be the affine algebraic set given by the equations X 1 (X 0 a 1 ) = = X n (X 0 a n ) = 1 Show that the projection onto the first coordinate is an isomorphism π : X A 1 \ S, (X 0,, X n ) X 0
5 (ii) Show that the ring of regular functions on A 1 \ {0} is isomorphic to k [ t, 1 t ], the ring of polynomials in t and 1 t (iii) Show that A 1 \ S is not isomorphic to A 1 \ {0} by proving that their rings of regular functions are not isomorphic Answer: (i) If (X 0,, X n ) X we have X i (X 0 a i ) = 1 hence X 0 a i for all 1 i n Therefore π : X A 1 \ S is well defined Let φ : A 1 \ S X, t ( 1 t,,, t a 1 1 t a n Both π and φ are rational maps, regular everywhere It is clear that π φ = identity and φ π = identity Therefore, π and φ are inverse isomorphisms (ii) It is clear that t and 1 t are both regular functions on A1 \ {0}, and so is any polynomial in t and 1 t Conversely, let f K(A1 \ {0}) View f as a rational function on A 1 Consider the ideal of denominators I f of the function f on A 1 Clearly Therefore ) Z(I f ) {0} = t I f = t n I f = t n f k[t] f = g(t) t n m = a i t i n i=0 The last expression is a polynomial in t and 1 t (iii) Assume there is an isomorphism Since it follows that Writing Φ : A(X) k[t, t 1 ] X i (X 0 a i ) = 1 in A(X), Φ(X i )Φ(X 0 a i ) = 1 Φ(X i ) = g i(t), Φ(X 0 a i ) = h i(t), t α i for some polynomials g i, h i, we obtain g i (t)h i (t) = t α i+β i This implies that h i is of the form ct m, or equivalently Φ(X 0 a i ) = c i t m i for some m i Z and c i k Subtracting the relations for i and j, it follows that t β i a j a i = Φ(a j a i ) = c j t m j c i t m i 5
6 6 Comparing degrees, we see that this implies m i = m j = 0, as a i a j for i j In turn, we obtain Φ(X 0 a i ) = c i Since Φ(c i ) = c i, we contradicted the injectivity of Φ This shows that Φ cannot be an isomorphism completing the proof Problem 5 Let n Consider the affine algebraic sets in A : Z n = Z(y n x n+1 ) and W n = Z(y n x n (x + 1)) Show that Z n and W n are birational but not isomorphic (i) Show that f : A 1 Z n, f(t) = (t n, t n+1 ) is a morphism of affine algebraic sets which establishes an isomorphism between the open subsets A 1 \ {0} Z n \ {(0, 0)} Similarly, show that g : A 1 W n, g(t) = (t n 1, t n+1 t) is a morphism of affine algebraic sets Find open subsets of A 1 and W n where g becomes an isomorphism (ii) Using (i), explain why Z n and W n are birational Write down a birational isomorphism between Z n W n (iii) Assume that there exists an isomorphism h : Z n W n such that h((0, 0)) = (0, 0) Observe that this induces an isomorphism between the open sets Z n \ {(0, 0)} W n \ {(0, 0)} Use part (i) and the previous problem to conclude this cannot be true if n (iv) Repeat the argument above without the assumption that h sends the origin to itself You may need to prove a stronger version of Problem 4 (v) Show that Z 1 and W 1 are isomorphic Write down an isomorphism between them Answer: (i) It is clear that f : A 1 Z n, t (t n, t n+1 ) is a well defined morphism Consider the morphism given by f 1 : Z n \ {0} A 1 \ {0} (x, y) y x A direct computation shows that f 1 is the inverse morphism of f Similarly, g : A 1 W n, t (t n 1, t n+1 t)
7 7 is a well defined morphism Its inverse morphism is g 1 : W n \ {0} A 1 \ S, (x, y) y x Here, S is the set of all n roots of unity The two morphisms g and g 1 establish an isomorphism between A 1 \ S W n \ {0} (ii) Part (i) shows that both Z n and W n are birational to A 1 so they are birational to each other An explicit birational isomorphism is A direct computation shows ( y g f 1 n (x, y) = g f 1 : Z n W n x n, yn+1 x n+1 y x (iii) If h : Z n W n is an isomorphism sending the origin to itself, then h : Z n \ {0} W n \ {0} is also an isomorphism By part (i), g 1 h f induces an isomorphism between the quasiaffine sets A 1 \ {0} A 1 \ S Such an isomorphism cannot exist by Problem 1 (v) Let F : Z 1 W 1, (x, y) (x, y + x) This is an isomorphism between Z 1 and W 1 with inverse F 1 (x, y) = (x, y x) Problem 6 Let λ k \ {0, 1} Consider the cubic curve E λ A given by the equation y x(x 1)(x λ) = 0 Show that E λ is not birational to A 1 In fact, show that there are no nonconstant rational maps F : A 1 E λ (i) Write ( f(t) F (t) = g(t), p(t) ) q(t) where the pairs of polynomials (f, g) and (p, q) have no common factors Conclude that p f(f g)(f λg) = q g 3 is an equality of fractions that cannot be further simplified Conclude that f, g, f g, g λg must be perfect squares (ii) Prove the following: Lemma: If f, g are polynomials in k[t] without common factors and such that there is a constant λ 0, 1 for which f, g, f g, f λg are perfect squares, then f and g must be constant )
8 8 Answer: (i) We have p f(f g)(f λg) = q g 3 Since p, q are relatively prime, the right hand side cannot be further simplified Similarly, f, g, f g, f λg cannot have any common factors Indeed, a common factor for instance of f and f g, will necessarily have to divide f (f g) = g as well But this is impossible since f and g are coprime Therefore the right hand side cannot be further simplied as well Thus, for some constant a k, we must have ap = f(f g)(f λg), aq = g 3 The exponents of the irreducible factors of the left hand sides of the above equations must be even Therefore, the same must be true about the right hand side This immediately implies that g is a square But since f, f g, f λg have no common factors, it follows that the exponents of the irreducible factors of each f, f g and f λg must be even as well Thus f, f g, f λg must be squares (ii) Pick f and g such that max(deg f, deg g) is minimal among all pairs (f, g) which satisfy the requirement that f, g, f g, f λg are squares for some λ 0, 1 We may assume that f, g are coprime since otherwise we can reduce their degree by dividing by their gcd which is also a square Write where u, v are coprime Then f = u, g = v, f g = (u v)(u + v) is a square Note that u v and u + v cannot have common factors since such factors will have to divide both 1 ((u v) + (u + v)) = u and 1 ((u v) (u + v)) = v which is assumed to be false Thus u v and u + v are coprime, and since their product f g is a square, it follows that u v, u + v must be square The same argument applied to f λg = (u λv)(u + λv) shows that u λv, u + λv are squares Let ũ = 1 + λ λ 1 (u + v), ṽ = (u v) Clearly, ũ, ṽ are squares A direct computation shows that ũ ṽ = u + λv, which is also a square Finally, ( 1 + ) λ ũ 1 ṽ = 1 + λ λ 1 λ (u λv)
9 is a square Setting ( 1 + ) λ µ = 1, λ we see that ũ, ṽ, ũ ṽ, ũ µṽ are squares Note that µ 0, 1 for λ 0, 1 Furthermore, max(deg ũ, deg ṽ) = 1 max(deg f, deg g) Unless f and g are irreducible, this contradicts the assumption that f, g are of minimal degree 9
Math Midterm Solutions
Math 145  Midterm Solutions Problem 1. (10 points.) Let n 2, and let S = {a 1,..., a n } be a finite set with n elements in A 1. (i) Show that the quasiaffine set A 1 \ S is isomorphic to an affine set.
More informationPROBLEMS, MATH 214A. Affine and quasiaffine varieties
PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasiaffine 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 informationMath 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 informationMATH 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 informationALGEBRAIC 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 informationMath 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 informationProjective 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 informationCHEVALLEY 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 informationMATH 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 informationMath 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 informationCHAPTER 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 informationLECTURE 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 informationMath 203, Solution Set 4.
Math 203, Solution Set 4. Problem 1. Let V be a finite dimensional vector space and let ω Λ 2 V be such that ω ω = 0. Show that ω = v w for some vectors v, w V. Answer: It is clear that if ω = v w then
More informationMath 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 informationPure 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 informationALGEBRAIC 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 informationMath 214A. 1 Affine Varieties. Yuyu Zhu. August 31, Closed Sets. These notes are based on lectures given by Prof. Merkurjev in Winter 2015.
Math 214A Yuyu Zhu August 31, 2016 These notes are based on lectures given by Prof. Merkurjev in Winter 2015. 1 Affine Varieties 1.1 Closed Sets Let k be an algebraically closed field. Denote A n = A n
More informationALGEBRAIC 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 informationDMATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties
DMATH 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 informationIntroduction 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 information10. 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 informationThis 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 informationDIVISORS 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 informationINTRODUCTION 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φ(xy) = (xy) n = x n y n = φ(x)φ(y)
Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =
More informationMATH 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 informationALGEBRAIC 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 informationMATH32062 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 informationReid 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 information3. 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 informationAlgebraic Geometry. 1 4 April David Philipson. 1.1 Basic Definitions. 1.2 Noetherian Rings
Algebraic Geometry David Philipson 1 4 April 2008 Notes for this day courtesy of Yakov ShlapentokhRothman. 1.1 Basic Definitions Throughout this course, we let k be an algebraically closed field with
More informationAlgebraic 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 informationSummer 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 informationDimension 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 informationNONSINGULAR 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 informationCourse 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 informationResolution 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 information14. 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 informationALGEBRA QUALIFYING EXAM, WINTER SOLUTIONS
ALGEBRA QUALIFYING EXAM, WINTER 2017. SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample
More informationInstitutionen 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 informationAlgebraic 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 informationbe any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore
More informationTheorem 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 informationAlgebraic 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 information4. Images of Varieties Given a morphism f : X Y of quasiprojective 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 quasiprojective 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 information214A HOMEWORK KIM, SUNGJIN
214A HOMEWORK KIM, SUNGJIN 1.1 Let A = k[[t ]] be the ring of formal power series with coefficients in a field k. Determine SpecA. Proof. We begin with a claim that A = { a i T i A : a i k, and a 0 k }.
More informationMath 120 HW 9 Solutions
Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationAlgebraic Geometry. Contents. Diane Maclagan Notes by Florian Bouyer. Copyright (C) Bouyer 2011.
Algebraic Geometry Diane Maclagan Notes by Florian Bouyer Contents Copyright (C) Bouyer 2011. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation
More informationAN 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 informationALGEBRAIC GEOMETRY CAUCHER BIRKAR
ALGEBRAIC GEOMETRY CAUCHER BIRKAR Contents 1. Introduction 1 2. Affine varieties 3 Exercises 10 3. Quasiprojective varieties. 12 Exercises 20 4. Dimension 21 5. Exercises 24 References 25 1. Introduction
More informationHARTSHORNE 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 informationMATH 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 informationR S. with the property that for every s S, φ(s) is a unit in R S, which is universal amongst all such rings. That is given any morphism
8. Nullstellensatz We will need the notion of localisation, which is a straightforward generalisation of the notion of the field of fractions. Definition 8.1. Let R be a ring. We say that a subset S of
More informationExercise Sheet 3  Solutions
Algebraic Geometry DMATH, 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 quasiprojective
More informationFactorization in Integral Domains II
Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and
More informationExtension 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 informationMath 203A  Solution Set 4
Math 203A  Solution Set 4 Problem 1. Let X and Y be prevarieties with affine open covers {U i } and {V j }, respectively. (i) Construct the product prevariety X Y by glueing the affine varieties U i V
More informationMath 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 informationMath 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 information4.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 information12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an Amorphism 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 Amorphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s
More informationPRACTICE PROBLEMS: SET 1
PRACTICE PROBLEMS: SET MATH 437/537: PROF. DRAGOS GHIOCA. Problems Problem. Let a, b N. Show that if gcd(a, b) = lcm[a, b], then a = b. Problem. Let n, k N with n. Prove that (n ) (n k ) if and only if
More informationA 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 informationChapter 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 informationALGEBRAIC GEOMETRY HOMEWORK 3
ALGEBRAIC GEOMETRY HOMEWORK 3 (1) Consider the curve Y 2 = X 2 (X + 1). (a) Sketch the curve. (b) Determine the singular point P on C. (c) For all lines through P, determine the intersection multiplicity
More informationFrom now on we assume that K = K.
Divisors From now on we assume that K = K. Definition The (additively written) free abelian group generated by P F is denoted by D F and is called the divisor group of F/K. The elements of D F are called
More informationCOMPLEX 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 informationMath 121 Homework 3 Solutions
Math 121 Homework 3 Solutions Problem 13.4 #6. Let K 1 and K 2 be finite extensions of F in the field K, and assume that both are splitting fields over F. (a) Prove that their composite K 1 K 2 is a splitting
More informationRings 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 informationAlgebraic Geometry: MIDTERM SOLUTIONS
Algebraic Geometry: MIDTERM SOLUTIONS C.P. Anil Kumar Abstract. Algebraic Geometry: MIDTERM 6 th March 2013. We give terse solutions to this Midterm Exam. 1. Problem 1: Problem 1 (Geometry 1). When is
More information12. 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 informationCommutative 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 information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationAnother 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 informationHonors 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 informationMath 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 informationLocal properties of plane algebraic curves
Chapter 7 Local properties of plane algebraic curves Throughout this chapter let K be an algebraically closed field of characteristic zero, and as usual let A (K) be embedded into P (K) by identifying
More informationAlgebraic 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 informationHomework 6 Solution. Math 113 Summer 2016.
Homework 6 Solution. Math 113 Summer 2016. 1. For each of the following ideals, say whether they are prime, maximal (hence also prime), or neither (a) (x 4 + 2x 2 + 1) C[x] (b) (x 5 + 24x 3 54x 2 + 6x
More informationElliptic Curves Spring 2017 Lecture #5 02/22/2017
18.783 Elliptic Curves Spring 017 Lecture #5 0//017 5 Isogenies In almost every branch of mathematics, when considering a category of mathematical objects with a particular structure, the maps between
More informationDedekind 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 RiemannRoch theorem. The main theorem shows that if K/F is a finite
More informationMAS 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 Email address: ford@fau.edu
More informationwhere 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 informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationbut no smaller power is equal to one. polynomial is defined to be
13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said
More informationChapter 8. Padic numbers. 8.1 Absolute values
Chapter 8 Padic numbers Literature: N. Koblitz, padic Numbers, padic Analysis, and ZetaFunctions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationwhere c R and the content of f is one. 1
9. Gauss Lemma Obviously it would be nice to have some more general methods of proving that a given polynomial is irreducible. The first is rather beautiful and due to Gauss. The basic idea is as follows.
More informationMATH 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 informationg(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series.
6 Polynomial Rings We introduce a class of rings called the polynomial rings, describing computation, factorization and divisibility in such rings For the case where the coefficients come from an integral
More informationThe 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 informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and
More information9. 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 informationPOLYNOMIAL IDENTITY RINGS AS RINGS OF FUNCTIONS
POLYNOMIAL IDENTITY RINGS AS RINGS OF FUNCTIONS Z. REICHSTEIN AND N. VONESSEN Abstract. We generalize the usual relationship between irreducible Zariski closed subsets of the affine space, their defining
More informationIntroduction 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 informationArithmetic Algebraic Geometry
Arithmetic Algebraic Geometry 2 Arithmetic Algebraic Geometry Travis Dirle December 4, 2016 2 Contents 1 Preliminaries 1 1.1 Affine Varieties.......................... 1 1.2 Projective Varieties........................
More informationφ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),
16. Ring Homomorphisms and Ideals efinition 16.1. Let φ: R S be a function between two rings. We say that φ is a ring homomorphism if for every a and b R, and in addition φ(1) = 1. φ(a + b) = φ(a) + φ(b)
More informationSpring 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 informationNOTES 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 information1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism
1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials
More information