MA 252 notes: Commutative algebra
|
|
- Magdalene Sharp
- 5 years ago
- Views:
Transcription
1 MA 252 notes: Commutative algebra (Distilled from [Atiyah-MacDonald]) Dan Abramovich Brown University April 1, 2017 Abramovich MA 252 notes: Commutative algebra 1 / 21
2 The Poincaré series of a graded module Recall that an additive function λ : A 0 -mod Z is a function such that λ(m ) + λ(m ) = λ(m) whenever 0 M M M 0 is exact. The key case is A 0 = k a field and λ = dim k, but the flexibility will be useful. Say A = A n is a graded ring, M = M n a graded module. Then M n is an A 0 module. We assume A noetherian, generated by homogeneous x 1,..., x s of degrees k 1,..., k s over A 0. The key case is k i = 1. Assuming M is ginitely generated, then each M n is a finitely generated A 0 -module. Definition The Poincaré series of M is P λ (M, t) := λ(m n )t n. Abramovich MA 252 notes: Commutative algebra 2 / 21
3 Rationality Theorem P λ (M, t) = f (t)/ (1 t k i ), with f (t) Z[t], in particular it is a rational function. Apply induction on the number of generators s of A over A 0. We have an exact sequence 0 K M xs M L 0. x This breaks up as 0 K n M s n Mn+ks L n+ks 0, giving λ(k n ) λ(m n ) + λ(m n+ks ) λ(l n+ks ) = 0. Each of K and L are A/(x s )-modules, so induction applies. To balance degrees we multiply by t ks and get t ks P(K, s) t ks P(M, s) + P(M, s) P(L, t) = g(t) Q[t]. Abramovich MA 252 notes: Commutative algebra 3 / 21
4 Dimension, act one. Define d(m) to be the order of pole of P(M, t) at t = 1. Corollary If each k i = 1 we have that λ(m n ) is eventually a polynomial Q[n] of degree d 1. (Read the proof in the book. Relies on Taylor expansion of 1/(1 t) d.) This is called the Hilbert polynomial. The actual function λ(m n ) is the Hilbert function. Proposition If x A k not a zero divisor in M then d(m/xm) = d(m) 1. Follow the proof of the theorem! K = 0 and L = M/xM. If A = k[x 1,... x s ] and λ = dim then P(A, t) = 1/(1 t) s, so d = dimension. Abramovich MA 252 notes: Commutative algebra 4 / 21
5 Hilbert-Samuel functions (A, m) noetherian local ring, q an m-primary having s generators, M finitely generated, (M n ) stable q-filtration. Proposition (i) M/M n of finite length. (ii) l(m/m n ) is eventually a polynomial g(n), of degree s. (ii) deg(g(t)) and the leading coefficient do not depend on the chosen filtration, only on M, q. Gr(A) = q n /q n+1, Gr 0 (A) = A/q Artin local, Gr(M) = M n /M n+1 finitely generated Gr(A)-module. Gr n (M) = M n /M n+1 noetherian A/q module, so finite length. So l(m/m n ) = n 1 r=0 l(m r /M r+1 ) is finite, giving (i). Abramovich MA 252 notes: Commutative algebra 5 / 21
6 Hilbert-Samuel functions - continued (i) M/M n of finite length. (ii) l(m/m n ) is eventually a polynomial g(n), of degree s. (ii) deg(g(n)) and the leading coefficient do not depend on the chosen filtration, only on M, q. If x 1,..., x s generate q the ring Gr(A) is generated by x 1,..., x s. So l(m r /M r+1 ) is eventually a polynomial f (n) Q[n] of degree s 1. As l n+1 l n = f (n) we have l n is eventually a polynomial g(n), of degree s, giving (ii). Two stable filtrations (M n ), (M n) are of bounded difference so g(n + n 0 ) g (n), g (n + n 0 ) g(n). So lim(g(n)/g (n)) = 1, so they have the same degree and leading term, giving (iii). Abramovich MA 252 notes: Commutative algebra 6 / 21
7 Dimension, Act 2 Notation: χ M q (n) := l(m/q n M) for large n. χ q (n) := χ A q (n). Reformulate: Corollary l(a/q n ) is a polynimial χ q (n) for large n, of degree s. Proposition deg χ q (n) = deg χ m (n), in particular independent on q. m q m r so m n q n m rn so χ m (n) χ q (n) χ m (nr) for large n, so the degrees agree. Notation d(a) := deg χ q (n). Note: d(a) = d(gr(a)). Abramovich MA 252 notes: Commutative algebra 7 / 21
8 Inequalities For (A, m) noetherian local define δ(a) = minimum number of generators of a m-primary ideal. Since s d(a) we have Proposition δ(a) d(a). Proposition If x A is not a zero divisor for elements of M and M = M/xM then deg χ M q < deg χ M q. In particular if x is not a zero divisor then d(a/(x)) d(a) 1. Writing N = xm we have N M. Writing N n = N q n M we have exact sequence 0 N/N n M/q n M M /q n M 0. So l(n/n n ) χ M q (n) + χ M q (n) = 0 for large n. Now (N n ) is a stable q-filtration by Artin-Rees, so l(n/n n ) is eventually a polynomial with the same leading term as χ M q (n), so χ M q (n) has lower degree. Abramovich MA 252 notes: Commutative algebra 8 / 21
9 Inequalities - continued Keeping (A, m) noetherian local, we have Proposition d(a) dim A. We apply induction on d = d(a). If d = 0 then l(a/m n ) is eventually constant so m n = m n+1. By Nakayama m n = 0 so A Artinian and dim A = 0. If d > 0 consider a chain p 0 p r a chain of primes. Pick x 1 p 1 but x 1 p 0, and set A = A/p 0, an integral domain, with x 0 the image of x. We therefore have d(a /(x )) < d(a ). Also we have A/m n A /m n so l(a/m n ) l(a /m n ) so d(a) d(a ). So d(a /(x )) d(a) 1 = d 1. We have the primes p 1 /(p 0, x) p r /(p 0, x), so by induction r 1 dim A /(x ) d(a /(x )) d 1, hence r d. Abramovich MA 252 notes: Commutative algebra 9 / 21
10 Height of a prime Corollary If A noetherian local then dim A finite. Moreover, define the height ht(p) of p to be the length of chain p = p r p 0. Corollary Let A be noetherian. Then ht(p) is finite. In particular primes in A satisfy the descending chain condition. Indeed we can pass to the noetherian local ring A p. (The depth of a prime ideal is not necessarily finite.) Abramovich MA 252 notes: Commutative algebra 10 / 21
11 Dimension, Act 3 Proposition Let (A, m) be noetherian local. There is an m-primary q generated by dim A elements. This implies Theorem (The dimension theorem) If A noetherian local, then dim A = δ(a) = d(a). Abramovich MA 252 notes: Commutative algebra 11 / 21
12 Existence of good primary ideal - proof Let (A, m) be noetherian local. There is an m-primary q generated by d = dim A elements. One constructe (x 1,..., x d ) inductively so that if p (x 1,..., x i ) then ht(p) i. Take p j the minimal primes containing (x 1,..., x i ), having height i 1. We have i 1 < dim A = ht(m). So m p j and so m p j. Take x i m p j. If q contains (x 1,..., x i ), it contains a minimal prime p of (x 1,..., x i ). If p = p j then q p since x i p. So ht(q) i. If p is another, then ht(p) i so ht(q) i anyway. It follows that any prime containing (x 1,..., x d ) as height at least d, but since ht(m) = d we have that (x 1,..., x d ) is m-primary. Abramovich MA 252 notes: Commutative algebra 12 / 21
13 Consequences One gets immediately that dim(k[x 1,..., x m ]) (x1,...,x m) = m. Corollary Let (A, m) be noetherian local. Then dim A dim A/m (m/m 2 ). Corollary Let A be noetherian. Every prime containing (x 1,..., x r ) has height r. Indeed, the ideal (x 1,..., x r ) becomes m-primary in A p. Abramovich MA 252 notes: Commutative algebra 13 / 21
14 Krull s theorem Theorem (Krulls Hauptidealsatz) A noetherian, x A not a unit and not a zero divisor. Every minimal prime of (x) has height 1. The height is 1 by a previous result. Every element of a prime of height 0 is a zero divisor by a result on primary decompositions. So the height is 1. Corollary If A noetherian local and x m not a zero divisor, then dim A/(x) = dim A 1. We have seen that d := dim A/(x) dim A 1. If ( x 1,..., x d ) is an m primary ideal then (x 1,..., x d, x) is m primary, giving d + 1 dim A. Abramovich MA 252 notes: Commutative algebra 14 / 21
15 More consequences Corollary Let  be the completion of (A, m). Then dim A = dim Â. Indeed A/m n Â/ ˆm n so χ m (A) = χˆm (Â). We say (x 1,... x d ) a system of parameters if they generate a primary ideal with d = dim A. Proposition Assume (x 1,... x d ) a system of parameters with primary q. Assume f (t 1,..., t d ) A[t 1,..., t d ] s, and f (x 1,..., x d ) q s+1. Then f m[t 1,..., t d ]. First consider α : A/q[t 1,..., t d ] Gr q (A) sending t i x i + q. This is surjective since t i generate q. It follows that f mod q is in Kerα. (... continued) Abramovich MA 252 notes: Commutative algebra 15 / 21
16 Parameters continued Assume (x 1,... x d ) a system of parameters with primary q. Assume f (t 1,..., t d ) A[t 1,..., t d ] s, and f (x 1,..., x d ) q s+1. Then f m[t 1,..., t d ]. f is in Ker(α : A/q[t 1,..., t d ] Gr q (A)). Assume by contradiction a coefficient of f is a unit. Then f can t be a zero divisor by an old statement you did in homework. dim(gr q (A)) dim(a/q[t 1,..., t d ]/(f ) = dim(a/q[t 1,..., t d ] 1 = d 1 But by the dimension theorem dim(gr q (A)) = d. Abramovich MA 252 notes: Commutative algebra 16 / 21
17 Parameters with coefficient field A coefficient field for (A, m) is a field k A such that k A/m an isomorphism. So k[[x]] has a coefficient field by Z p does not. Corollary Assume A has a coefficient field k and (x 1,... x d ) parameters. Then x 1,... x d are algebraically independent. Assume f (x 1,..., x d ) = 0 where f has coefficients in k. Write f = f s + h.o.t. with f s 0. The proposition applies of f s, so it has its coefficients on m, and since the coefficients are in k they are 0, contradiction! Abramovich MA 252 notes: Commutative algebra 17 / 21
18 Regular local rings Theorem Let (A, m) noetherial local, dim A = d, k = A/m. The following are equivalent: (i) Gr m (A) k[t 1,..., t d ], (ii) dim k m/m 2 = d (iii) m can be generated by d elements. (i) implies (ii) by definition of grading. Elements x i generating m/m 2 generate m by Nakayama so (ii) implies (iii), and (iii) implies (i) since as in the proof of the proposition k[t 1,..., t d ] Gr m (A) an isomorphism. Such rings are called regular local rings. For instance k[x 1,..., x d ] m0 regular, since its gradation is k[x 1,..., x d ]. Abramovich MA 252 notes: Commutative algebra 18 / 21
19 Domains, regular local rings and completions Lemma Let a A such that a n = 0, and assume Gr a A a domain. Then A is a domain. This evidently implies that a regualr local ring is a domain. Assume x, y A nonzero. Let r maximal so x a r and s maxial for y a s. So x Gr r (A) and ȳ Gr s (A) are nonzero, so xȳ = (xy) Gr r=s (A) nonzero, so xy 0. Proposition For A noetherian, (A, m) regular if and only if (Â, ˆm) regular. Indeed  noetherian of the same dimension and with isomorphic graded ring! So k x 1,..., x d is regular. Abramovich MA 252 notes: Commutative algebra 19 / 21
20 Dimensions of varieties Assume k algebraically closed. The dimension dim V of an affine variety V with coordinate ring A(V ) = k[x 1,..., x n ]/p is the transcendence degree of the fraction field k(v ) of A(V ). Theorem For any V and m A(V ) we have dim V = dim(a(v ) m ). Lemma Assume B A domains, B integrally closed, A integral over B. Let m A maximal and n = B m. Then n maximal and dim A m = dim B n. We have seen by going up that n is maximal, and any chain of primes m q 1 q d in A restricts to distinct primes in B, giving dim A m dim B n. The opposite follows by going down. Abramovich MA 252 notes: Commutative algebra 20 / 21
21 Dimensions of varieties - conclusion For any V and m A(V ) we have dim V = dim(a(v ) m ). By a previous corollary we have that dim V dim(a(v ) m ), since a system of parameters is algebraically independent. By Noether normalization there is a polynomial ring and integral extension B = k[x 1,..., x d ] A(V ), with d = dim V. Since B integrally closed the lemma applies so we need to show d = dim B n. By weak nullstellensatz we may as well assume n is the ideal of the origin, and the local ring has dimension d. Abramovich MA 252 notes: Commutative algebra 21 / 21
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 informationTopics in Commutative Algebra
Lecturer: Tamás Szamuely Typed by: Szabolcs Mészáros January 3, 2016 Remark. This is the live-texed notes of course held by Tamás Szamuely in the winter of 2015. Any mistakes and typos are my own. First
More informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a
More informationDimension Theory. Chapter The Calculus of Finite Differences Lemma Lemma
Chapter 5 Dimension Theory The geometric notion of the dimension of an affine algebraic variety V is closely related to algebraic properties of the coordinate ring of the variety, that is, the ring of
More informationLectures on Algebraic Theory of D-Modules
Lectures on Algebraic Theory of D-Modules Dragan Miličić Contents Chapter I. Modules over rings of differential operators with polynomial coefficients 1 1. Hilbert polynomials 1 2. Dimension of modules
More informationADVANCED 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 informationHILBERT 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 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 informationarxiv: v1 [math.ac] 7 Feb 2009
MIXED MULTIPLICITIES OF MULTI-GRADED ALGEBRAS OVER NOETHERIAN LOCAL RINGS arxiv:0902.1240v1 [math.ac] 7 Feb 2009 Duong Quoc Viet and Truong Thi Hong Thanh Department of Mathematics, Hanoi University of
More informationExtended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module
Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f - listings ending in f give the page where the term is defined commutative
More informationCommutative Algebra II
Commutative Algebra II Marco Schlichting Notes by Florian Bouyer 23rd April 2013 Contents 1 Introduction and Review 2 1.1 Introduction.................................................. 2 1.2 Outline....................................................
More information11. 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 informationTWO 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 informationMATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53
MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence
More informationMA 252 notes: Commutative algebra
MA 252 notes: Commutative algebra (Distilled from [Atiyah-MacDonald]) Dan Abramovich Brown University February 11, 2017 Abramovich MA 252 notes: Commutative algebra 1 / 13 Primary ideals Primary decompositions
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More 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 informationCOURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA
COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA JAROD ALPER WEEK 1, JAN 4, 6: DIMENSION Lecture 1: Introduction to dimension. Define Krull dimension of a ring A. Discuss
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationNOTES FOR COMMUTATIVE ALGEBRA M5P55
NOTES FOR COMMUTATIVE ALGEBRA M5P55 AMBRUS PÁL 1. Rings and ideals Definition 1.1. A quintuple (A, +,, 0, 1) is a commutative ring with identity, if A is a set, equipped with two binary operations; addition
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 informationMA 252 notes: Commutative algebra
MA 252 notes: Commutative algebra (Distilled from [Atiyah-MacDonald]) Dan Abramovich Brown University February 4, 2017 Abramovich MA 252 notes: Commutative algebra 1 / 13 Rings of fractions Fractions Theorem
More informationLECTURE 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 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 informationHomological Dimension
Homological Dimension David E V Rose April 17, 29 1 Introduction In this note, we explore the notion of homological dimension After introducing the basic concepts, our two main goals are to give a proof
More informationA NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO
A NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO JASON P. BELL Abstract. Let k be a field. We show that a finitely generated simple Goldie k-algebra of quadratic growth is noetherian and has Krull dimension
More information12 Hilbert polynomials
12 Hilbert polynomials 12.1 Calibration Let X P n be a (not necessarily irreducible) closed algebraic subset. In this section, we ll look at a device which measures the way X sits inside P n. Throughout
More informationLecture 8. Throughout this lecture, A will be a ring and M, N etc will be A-modules.
Lecture 8 1. Associated Primes and Primary decomposition for Modules We would like to describe in more detail the structure of submodules of a finitely generated module M over a Noetherian ring A. We will
More information10. 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 informationAssigned 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 informationLecture 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 informationON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes
ON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes Abstract. Let k[x] (x) be the polynomial ring k[x] localized in the maximal ideal (x) k[x]. We study the Hilbert functor parameterizing ideals
More information3.20pt. Mark Blumstein Commutative Algebra of Equivariant Cohomology Rings Spring / 45
3.20pt Mark Blumstein Commutative Algebra of Equivariant Cohomology Rings Spring 2017 1 / 45 Commutative Algebra of Equivariant Cohomology Rings Mark Blumstein Spring 2017 Mark Blumstein Commutative Algebra
More informationThe most important result in this section is undoubtedly the following theorem.
28 COMMUTATIVE ALGEBRA 6.4. Examples of Noetherian rings. So far the only rings we can easily prove are Noetherian are principal ideal domains, like Z and k[x], or finite. Our goal now is to develop theorems
More informationCommutative Algebra III
Commutative Algebra III Craig Huneke 1 October 19, 2012 1 Notes taken by Arindam Banerjee, Alessandro De Stefani, and Branden Stone in the Fall of 2011 at the University of Kansas Contents 1 Hilbert Functions
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 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 informationHere 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 informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
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 informationHilbert function, Betti numbers. Daniel Gromada
Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes
More informationIntegral closures of ideals and rings
Integral closures of ideals and rings Irena Swanson ICTP, Trieste School on Local Rings and Local Study of Algebraic Varieties 31 May 4 June 2010 I assume some background from Atiyah MacDonald [2] (especially
More informationMath 711: Lecture of September 7, Symbolic powers
Math 711: Lecture of September 7, 2007 Symbolic powers We want to make a number of comments about the behavior of symbolic powers of prime ideals in Noetherian rings, and to give at least one example of
More informationNotes for Boot Camp II
Notes for Boot Camp II Mengyuan Zhang Last updated on September 7, 2016 1 The following are notes for Boot Camp II of the Commutative Algebra Student Seminar. No originality is claimed anywhere. The main
More informationPRIMARY DECOMPOSITION OF MODULES
PRIMARY DECOMPOSITION OF MODULES SUDHIR R. GHORPADE AND JUGAL K. VERMA Department of Mathematics, Indian Institute of Technology, Mumbai 400 076, India E-Mail: {srg, jkv}@math.iitb.ac.in Abstract. Basics
More informationBachelorarbeit. Zur Erlangung des akademischen Grades. Bachelor of Science. Dimension theory for commutative rings. Universität Regensburg
Bachelorarbeit Zur Erlangung des akademischen Grades Bachelor of Science Dimension theory for commutative rings Eingereicht von: Eingereicht bei: Daniel Heiß Prof. Dr. Niko Naumann Universität Regensburg
More informationMATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA
MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA I want to cover Chapters VIII,IX,X,XII. But it is a lot of material. Here is a list of some of the particular topics that I will try to cover. Maybe I
More information4.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 informationKrull Dimension and Going-Down in Fixed Rings
David Dobbs Jay Shapiro April 19, 2006 Basics R will always be a commutative ring and G a group of (ring) automorphisms of R. We let R G denote the fixed ring, that is, Thus R G is a subring of R R G =
More informationSUMS OF VALUES OF A RATIONAL FUNCTION. x k i
SUMS OF VALUES OF A RATIONAL FUNCTION BJORN POONEN Abstract. Let K be a number field, and let f K(x) be a nonconstant rational function. We study the sets { n } f(x i ) : x i K {poles of f} and { n f(x
More information(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
More informationHomological Methods in Commutative Algebra
Homological Methods in Commutative Algebra Olivier Haution Ludwig-Maximilians-Universität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes
More informationI(p)/I(p) 2 m p /m 2 p
Math 6130 Notes. Fall 2002. 10. Non-singular Varieties. In 9 we produced a canonical normalization map Φ : X Y given a variety Y and a finite field extension C(Y ) K. If we forget about Y and only consider
More informationAffine Varieties and Dimension.
Affine Varieties and Dimension. Let R = k[x 1,..., x n ] be the ring of polynomials over an algebraically closed field k. For any ideal I of R, the set V(I) of zeroes of all f I is called the affine variety
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 informationA QUICK REVIEW OF COMMUTATIVE ALGEBRA. Contents 1. Basic Constructions 2 2. Noetherian Rings 4 3. Modules 7 4. Integral Extensions 8 References 13
A QUICK REVIEW OF COMMUTATIVE ALGEBRA SUDHIR R. GHORPADE Department of Mathematics, Indian Institute of Technology, Mumbai 400076, India E-Mail : srg@math.iitb.ac.in Abstract. These notes attempt to give
More informationCommutative algebra 19 May Jan Draisma TU Eindhoven and VU Amsterdam
1 Commutative algebra 19 May 2015 Jan Draisma TU Eindhoven and VU Amsterdam Goal: Jacobian criterion for regularity 2 Recall A Noetherian local ring R with maximal ideal m and residue field K := R/m is
More informationOn the vanishing of Tor of the absolute integral closure
On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent
More informationdiv(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let:
Algebraic Curves/Fall 015 Aaron Bertram 4. Projective Plane Curves are hypersurfaces in the plane CP. When nonsingular, they are Riemann surfaces, but we will also consider plane curves with singularities.
More 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 informationRing Theory Problems. A σ
Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional
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 informationLecture 4. Corollary 1.2. If the set of all nonunits is an ideal in A, then A is local and this ideal is the maximal one.
Lecture 4 1. General facts Proposition 1.1. Let A be a commutative ring, and m a maximal ideal. Then TFAE: (1) A has only one maximal ideal (i.e., A is local); (2) A \ m consists of units in A; (3) For
More informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
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 informationPacific Journal of Mathematics
Pacific Journal of Mathematics GROUP ACTIONS ON POLYNOMIAL AND POWER SERIES RINGS Peter Symonds Volume 195 No. 1 September 2000 PACIFIC JOURNAL OF MATHEMATICS Vol. 195, No. 1, 2000 GROUP ACTIONS ON POLYNOMIAL
More informationRings With Topologies Induced by Spaces of Functions
Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,
More information4. 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 informationA NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS
A NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS RAVI JAGADEESAN AND AARON LANDESMAN Abstract. We give a new proof of Serre s result that a Noetherian local ring is regular if
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 informationALGEBRAIC GEOMETRY CAUCHER BIRKAR
ALGEBRAIC GEOMETRY CAUCHER BIRKAR Contents 1. Introduction 1 2. Affine varieties 3 Exercises 10 3. Quasi-projective varieties. 12 Exercises 20 4. Dimension 21 5. Exercises 24 References 25 1. Introduction
More 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 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 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 informationAdvanced 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 informationCommutative Algebra and Algebraic Geometry. Robert Friedman
Commutative Algebra and Algebraic Geometry Robert Friedman August 1, 2006 2 Disclaimer: These are rough notes for a course on commutative algebra and algebraic geometry. I would appreciate all suggestions
More informationn 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 information1 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 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 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 E-mail address: ford@fau.edu
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 informationAlgebra 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 informationFall 2014 Commutative Algebra Final Exam (Solution)
18.705 Fall 2014 Commutative Algebra Final Exam (Solution) 9:00 12:00 December 16, 2014 E17 122 Your Name Problem Points 1 /40 2 /20 3 /10 4 /10 5 /10 6 /10 7 / + 10 Total /100 + 10 1 Instructions: 1.
More informationAN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES
AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES DOMINIC L. WYNTER Abstract. We introduce the concepts of divisors on nonsingular irreducible projective algebraic curves, the genus of such a curve,
More informationSome results on algebras with finite Gelfand-Kirillov dimension
Some results on algebras with finite Gelfand-Kirillov dimension Agata Smoktunowicz p.1/21 Introduction GK dimension is a measure of the growth of an algebra. p.2/21 Introduction GK dimension is a measure
More informationINTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608. References
INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608 ABRAHAM BROER References [1] Atiyah, M. F.; Macdonald, I. G. Introduction to commutative algebra. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills,
More informationHonors 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 informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationINJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA
INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to
More information(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 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 informationAn Introduction to Rigid Analytic Geometry
An Introduction to Rigid Analytic Geometry Hans Schoutens Ohio State University http://www.math.ohio-state.edu/~schoutens June 2002 Abstract These notes 1 are intended to be a short course in rigid analytic
More informationSubrings of Finite Commutative Rings
Subrings of Finite Commutative Rings Francisco Franco Munoz arxiv:1712.02025v1 [math.ac] 6 Dec 2017 Abstract We record some basic results on subrings of finite commutative rings. Among them we establish
More informationA finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792
Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838
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 informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More informationThe Envelope of Artinian Modules. over Commutative Rings
International Journal of Algebra, Vol. 5, 2011, no. 13, 647-653 The Envelope of Artinian Modules over Commutative Rings N. Hadian Dehkordi and A. J. Taherizadeh Department of Mathematical Sciences and
More informationNOTES ON FIBER DIMENSION
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,
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 Riemann-Roch theorem. The main theorem shows that if K/F is a finite
More informationSkew Polynomial Rings
Skew Polynomial Rings NIU November 14, 2018 Bibliography Beachy, Introductory Lectures on Rings and Modules, Cambridge Univ. Press, 1999 Goodearl and Warfield, An Introduction to Noncommutative Noetherian
More information