Algebraic Geometry: MIDTERM SOLUTIONS

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

10. Smooth Varieties. 82 Andreas Gathmann

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

R 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

9. Integral Ring Extensions

Spring 2016, lecture notes by Maksym Fedorchuk 51

Rings and groups. Ya. Sysak

10. Noether Normalization and Hilbert s Nullstellensatz

Total 100

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

Hilbert s Nullstellensatz

Math 120 HW 9 Solutions

4.5 Hilbert s Nullstellensatz (Zeros Theorem)

1. Algebraic vector bundles. Affine Varieties

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

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

I216e Discrete Math (for Review)

Extension theorems for homomorphisms

which is a group homomorphism, such that if W V U, then

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

TEST CODE: PMB SYLLABUS

HARTSHORNE EXERCISES

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

Solutions Ark3. 1 It is also an exercise in the aikido toho iai of writing diagrams in L A TEX

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Rings and Fields Theorems

4. Noether normalisation

Math 4400, Spring 08, Sample problems Final Exam.

Math 418 Algebraic Geometry Notes

COMMUTATIVE ALGEBRA, LECTURE NOTES

Graduate Preliminary Examination

Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0

n P say, then (X A Y ) P

Tensor Product of modules. MA499 Project II

WEAK NULLSTELLENSATZ

214A HOMEWORK KIM, SUNGJIN

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

Abstract Algebra Study Sheet

Algebra Homework, Edition 2 9 September 2010

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

12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n

Exercise Sheet 3 - Solutions

Math 203A - Solution Set 3

MATH 326: RINGS AND MODULES STEFAN GILLE

ALGEBRA QUALIFYING EXAM SPRING 2012

Sample algebra qualifying exam

3. The Sheaf of Regular Functions

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

THROUGH THE FIELDS AND FAR AWAY

Commutative Algebra and Algebraic Geometry. Robert Friedman

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...

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

Some practice problems for midterm 2

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

Math 145. Codimension

1.5 The Nil and Jacobson Radicals

Math 110, Summer 2012: Practice Exam 1 SOLUTIONS

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

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

Ring Theory Problems. A σ

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

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

8. Prime Factorization and Primary Decompositions

AN INTRODUCTION TO AFFINE SCHEMES

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

2. Prime and Maximal Ideals

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

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

TCC Homological Algebra: Assignment #3 (Solutions)

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018)

Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.

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

38 Irreducibility criteria in rings of polynomials

2 ALGEBRA II. Contents

MATH RING ISOMORPHISM THEOREMS

EXERCISES. = {1, 4}, and. The zero coset is J. Thus, by (***), to say that J 4- a iu not zero, is to

MA 252 notes: Commutative algebra

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

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

NOTES FOR COMMUTATIVE ALGEBRA M5P55

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism

TROPICAL SCHEME THEORY

2. Intersection Multiplicities

Chapter 1 Hilbert s Nullstellensatz

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

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

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

IUPUI Qualifying Exam Abstract Algebra

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

Chapter 5. Linear Algebra

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

12. Hilbert Polynomials and Bézout s Theorem

ne varieties (continued)

4.4 Noetherian Rings

Algebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2013 Midterm Exam Solution

Modern Computer Algebra

How many units can a commutative ring have?

Arithmetic Algebraic Geometry

Transcription:

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 a ring called a reduced ring? Define integral domain. Let R be a ring. Show that if R is an integral domain then it is reduced. Is the converse true? Solution 1. We say is ring R is reduced if it has no non-zero nilpotents. i.e a R with a n = 0 for some positive integer n 1 implies a = 0. In an integral domain there are no zero divisors hence there are no nilpotents either because if a n = 0 and a 0 for least postive n then n > 1 and hence a n 1.a = 0 with a n 1 0 which contradicts the property of being an integral domain. Now for the converse consider the ring R = Z/6Z. This is clearly reduced but is not an integral domain. 2. Problem 2: Problem 2 (Geometry 2). Let I denote the defining ideal of an algebraic set X in the affine n space A n k where k is an algebraically closed field. Then the coordinate ring of X is R = k[x 1, X 2,..., X n ]/I. Show that the ring is reduced. Solution 2. The defining ideal I has the property that it is a radical ideal. i.e. if f n vanishes on X then f itself vanishes on X. Hence R is reduced. Furthermore if S is any set the any subring of R S = {f : S k} of the ring of functions on S is reduced where k is a reduced ring. 3. Problem 3: Problem 3 (Geometry 3). Let B be a ring and A a subring of B. Let P be a prime ideal in A and S = A\P. Let K be the field of fractions of A P. S (1) Show that 1 A is isomorphic to K. P S 1 A (2) Show that B A Kis isomorphic to S 1 B. P S 1 B Solution 3. First we observe the following. 1

2 C.P. ANIL KUMAR Observation 1. (1) If 0 K M N 0 is an exact sequence of A modules. Let S A be a multiplicatively closed set. Then the sequence 0 S 1 K S 1 M S 1 N 0 is also an exact sequence. Exactness has to do with sets here which are kernels (0-element is unique) and images of maps and not with the module structure. (Depending on the type of maps which in here is both A and S 1 A module maps we have exactness as a sequence of modules over both rings). (2) We have an isomorphism S 1 A A M = S 1 M as both A and S 1 A modules. The elements of S 1 A A M can be expressed as single tensors instead of sum of certain tensors. Using universal property for the existence of the map one can also show injectivity and surjectivity of the map. (3) The ring S 1 A as an A module is flat. (The ring S 1 A is trivially flat over itself.) (4) Let f : A B be a homomorphism of rings. Let S A be multiplicatively closed. Then f(s) = T is a multiplicative closed subset of B. Both the algebraic objects S 1 B and T 1 B are not only rings but are also isomorphic by an obvious map. S 1 B = T 1 B Consider an exact sequence of A modules 0 P A A P 0 Let S = A\P. We observe the (A, S 1 A) module S 1 P sits inside S 1 A as an ideal in S 1 A and so we have ( ) ) S 1 A S 1 P A = S 1 = T 1( A = K P P as rings and not as just (A, S 1 A) modules and the map S 1 A S 1 A P ring map. Here T = ( A)\0 a multiplicatively closed subset of A. P P We have an exact sequence ( ) A 0 S 1 P S 1 A S 1 = K 0 P is also a where S = A\P. Now we tensor the sequence over A with the ring B as an A module to get a complex ( ) A S 1 P A B S 1 A A B = S 1 B S 1 A B = K A B 0. P The image of S 1 P A B surjects onto an extended ideal of S 1 P (which is an ideal in S 1 A) in the bigger ring S( 1 B ) = S 1 A A B S 1 A as A B. The map S 1 B = S 1 A A B S 1 A P A B is a homomorphism of rings with kernel

ALGEBRAIC GEOMETRY: MIDTERM 3 exactly equal to the extended ideal of S 1 P in S 1 B. Now S 1 P is the extended ideal of P A in S 1 A. Hence we have B A K = S 1 B. This proves the problem. P S 1 B 4. Problem 4: Problem 4 (Geometry 4). Let R be a ring. Let f : A B, g : B C be R module homomorphisms. When is the sequence A f B g C called a complex? When is it called exact? Let F be a (finitely generated) free R module and 0 A B C 0 be an exact sequence of R modules. Show that: (1) Hom R (M N, A) = Hom R (M, A) Hom R (N, A) for any R modules M and N. (2) 0 Hom R (F, A) Hom R (F, B) Hom R (F, C) 0 is exact. Solution 4. The sequence A f B g C is called a complex if g f = 0. This sequence of modules is called exact if ker(g) = Im(f) B. (1) The isomorphism is given by (f g : M N A) (f : M A, g : N A). (2) This sequence 0 Hom R (F, A) Hom R (F, B) Hom R (F, C) 0 is exact because it is the same exact sequence repeated rank(f ) times and the exact sequence is also same as 0 A Rank(F ) B Rank(F ) C Rank(F ) 0. 5. Problem 5: Problem 5 (Geometry 5). Let A be an integral domain. When is A said to be a normal domain? Let A B be domains and α B be integral over A. Let K be the field of fractions of A and assume that K(α)/K is a separable extension. Show that the minimal polynomial of α over K have coefficients in A. Solution 5. If the domain A is integrally closed in its field of fractions then it is a normal domain. Unique Factorization Domains are examples of domains which are normal domains. Also an example which is not an unique factorization domain but normal is C[X,Y ] (Y 2 X 3 +X). Now we obsevre the following. (1) The minimum polynomial f of α over K of degree n = [K(α) : K] has distinct roots α = α 1, α 2,..., α n also f(x) = n (X α i ). (2) Every polynomial satisfied by α over K also has roots α i : 2 i n. So all the roots α i : 2 i n are also integral. (3) Hence the coefficients of f which are elementary symmetric polynomials in α i : 1 i n are elements of K which are also integral over the ring A. (4) Since A is integrally closed in its field of fractions the coefficients lie in A itself i.e. f A[X]. This proves the problem.

4 C.P. ANIL KUMAR 6. Problem 6: Problem 6 (Geometry 6). Let k be an algebraically closed field. Let X A n k, Y Am k be affine algebraic varieties. Let F : X Y be a map. When is F said to be a morphism of algebraic varieties. Show that there exists polynomials f i : 1 i m k[x 1,..., X n ] such that for all a = (a 1,..., a n ) X the m tuple F (a) = (f i (a) : 1 i m). Solution 6. We begin with the notion of regularity. Let a X. We say a function f : X k is regular at a if there exists a zarsiki open set U A n k and a pair of polynomials G, H k[x 1,..., X n ] such that G 0 on U X, a U and f = H on G U X. We say that f is regular function if f is regular at all points of a. We say that a function F : X Y is a morphism of varieties if for any regular function g : Y k the function g F : X k is also a regular function on the variety X. Now we prove that the morphisms between affine varieties are given by polynomial maps. It is standard exercise though. We sketch the proof. First we classify regular functions {f : X k}. (1) Local Expressions : Let (a U X, G, H) denote a local expression for f. G denotes a local denominator for f, H denotes a local numerator of f, U X is the corresponding local open set for the point a where f = H makes sense. G (2) N ullstellensatz and P artition of Identity : The ideal of local denominators for the points in X generates a unit ideal in the ring k[x 1,X 2,...,X k ]. This I(X) is obvious by Nullstellensatz for algebraically closed fields k and not for non-algebraically closed fields (it is not true). The ideal of local denominators have no common zero in X. Over the field of real numbers the function x 2 + y 2 + 1 has no zero in X = R 2 but it does not generate unit ideal R[x, y]. Consider the function f : R 2 1 R given by f(x, y) = x 2 + y 2 + 1. So let n 1 X = G i X R i X for some finitely many local denominators G i from the local expressions (a i ( U i = {G i 0} ) X, G i, H i ) without loss of generality and R i k[x 1, X 2,..., X k ]. (3) P atching : Now G i f = H i on U i X for i = 1,..., n. But then using the partition of identity expression above we conclude two facts. ( n ( (a) The patches U i X cover X as all the G i vanish on X\ Ui X )). (b) Also ( n G i X R i X )f = n H i X R i X at each point of X.

ALGEBRAIC GEOMETRY: MIDTERM 5 Hence f = n H i X R i X given by a polynomial. (4) Conclusion : We conclude two points. (a) Regular functions on X are just polynomial functions on X. (b) Every regular function on X has global extension to A n k as a polynomial. Consider a morphism of varieties F : X A n k Y Am k. Let π i : A m k k be the i th coordinate projection for 1 i m. So we get that F π i : X k is a regular function. Therefore there exists polynomial functions f i : X k such that F = (f i : 1 i m). Conversely if F = (f i = H i X : 1 i m) and g = G Y : Y k is a regular function then g F = G(H 1, H 2,..., H m ) X is also a polynomial function. Here G k[x 1, X 2,..., X m ], H i k[x 1, X 2,..., X n ] for 1 i m. This proves the problem. 7. Problem 7: Problem 7 (Geometry 7). Prove or Disprove: Let φ : A B be a homomorphism of rings. Let m be a maximal ideal of B then φ 1 (m) is a maximal ideal of A. Solution 7. (1) Let A = Z, B = Q and φ is the inclusion. Take m = (0). Here φ 1 (0) = (0) is the unique non-maximal prime ideal in Z. (2) Let A = Z, B = Z/pZ where p is a prime and φ is the reduction mod p. Take m = (0). Here φ 1 (0) = pz is a maximal ideal of Z. The Indian Statistical Institute, Bangalore