REGULAR SEQUENCES and REGULAR RINGS 1. Reference Contents of This Paper Are Freely Drawn from Matsumura, Commutative Ring Theory

Total Page:16

File Type:pdf, Size:1020Kb

REGULAR SEQUENCES and REGULAR RINGS 1. Reference Contents of This Paper Are Freely Drawn from Matsumura, Commutative Ring Theory REGULAR SEQUENCES AND REGULAR RINGS HYEONGKWAN KIM Abstract. Regular sequence is defined and its homological properties are explored in relation to Koszul complex and Ext. The notion of depth is intro- duced and related to properties of regular rings. Regular local rings are shown to belong to a larger class of rings called Cohen-Macaulay rings. 1. Reference Contents of this paper are freely drawn from Matsumura, Commutative ring theory, Cambridge University Press, 1980. 2. Background The (Krull) dimension of a ring is the supremum of the lengths of chains of prime ideals. The height of a prime ideal p is the dimension of Ap, and is denoted by ht p. Let (A, m) be a Noetherian local ring. It is a well-known result from dimension theory that the dimension of A is equal to the least number of generators of an m-primary ideal of A. If dim A = d and a1,...,ad generate an m-primary ideal, then a1,...,ad is called a system of parameters. Hence the number of minimal generators of m is at least the dimension of A, and if it is equal to the dimension the ring is called a regular local ring, and the generators are called a regular system of parameters. A regular local ring is a UFD (Auslander and Buchsbaum), and localization of a regular local ring at every prime ideal is again a regular local ring(Serre). A regular ring is a Noetherian ring whose localization at every prime ideal is a regular local ring. A ring is normal if its localization at every prime is an integrally closed domain. It is easy to show that a local normal ring is a domain and that a regular ring is normal. A ring is said to be catenary if for every pair of prime ideals, there is a maximal chain of prime ideals between them and all such chains have the same (finite) length. A ring is said to be universally catenary if it is Noetherian and every finitely generated A-algebra is catenary. If M is an A-module and I ⊂ A an ideal, then the I-adic topology on M is defined by taking neighborhoods of 0 to be those subsets containing InM for some n. The set of prime ideals of a ring A is called the spectrum of A, and is denoted Spec(A). If I ⊂ A is an ideal, denote V (I) := {p ∈ Spec(A) | I ⊂ p}. Let A be a ring and a1,...,an ∈ A. The Koszul complex is defined as follows: K0 = A, Ki = 0 for i< 0 and i>n. For0 ≤ i ≤ n, Ki is the free A-module of rank n! − (n−i)!i! with basis {ej1...ji |1 ≤ j1 < · · · ji ≤ n}. The differential d : Ki −→ Ki 1 is 1 2 HYEONGKWAN KIM given by i k−1 d(ej1...ji )= X(−1) ajk ej1...jˆk ...ji . k=1 The complex is denoted by K•(a1,...,an) or K•(a). If M is an A-module, define K•(a,M) := K•(a) ⊗A M and denote its homology group by Hi(a,M). 3. Regular sequences Definition 3.1. Let A be a ring and M an A-module. An element a ∈ A is said to be M-regular if it is not a zero divisor in M, that is, if m ∈ M, am = 0 implies m = 0. Definition 3.2. a1,...,an ∈ A is said to be an M-sequence if the following condi- tions hold: (1) a1 is M-regular, a2 is M/a1M-regular, a3 is M/(a1,a2)M-regular,...,an is M/(a1,...,an−1)M-regular. (2) M/(a1,...an)M 6= 0. Note that if a1,...,an is an M-sequence then so is a1,...,ai for any i ≤ n. Lemma 3.3. If a1,...,an is an M-sequence, and if a1m1+. .+anmn =0, mi ∈ M, then mi ∈ a1M + ...anM for all i. Proof. If n = 1 then a1m1 = 0 implies m1 = 0 since a1 is an M-sequence and hence M-regular. In particular, m1 ∈ a1M. Now assume it is true for n − 1. Since an is non-zero divisor modulo a1,...,an−1, the condition a1m1 + . + anmn = 0 implies (3.1) mn = a1q1 + . + an−1qn−1, for some qi ∈ M. Therefore n−1 a1m1 + . + anmn = X ai(mi + anqi)=0. i=1 By induction, mi + anqi ∈ a1M + ...an−1M for 1 ≤ i ≤ n − 1. Hence mi ∈ a1M + . + anM, 1 ≤ i ≤ n − 1. This is also true for i = n by (3.1). p1 pn Theorem 3.4. If a1,...,an ∈ A is an M-sequence then so is a1 ,...,an for any positive integers p1,...,pn. p Proof. It suffices to show that if a1,a2,...,an is an M-sequence, so is a1,a2,...,an. p1 For, if it is the case, then a1 ,a2,...,an is an M-sequence, and a2,a3,...,an is p1 p2 p1 an (M/a1 M)-sequence and hence a2 ,a3,...,an is an (M/a1 M)-sequence, and pi p1 pn so on. So ai is (M/(a1,...,ai−1)M)-regular, and M/(a1 ,...,an )M 6= 0 since M/(a1,...,an)M 6= 0. Prove by induction on p. It is clearly true for p = 1. Assume it is true for p − 1. p Since a1 is M-regular, so is a1. For i> 1, suppose p aim = a1m1 + a2m2 + . + ai−1mi−1, REGULAR SEQUENCES AND REGULAR RINGS 3 p−1 for some mj ∈ M. Since a1 ,a2,...,ai is an M-sequence by assumption, this implies that p−1 (3.2) m = a1 q1 + a2q2 + . + ai−1qi−1, for some qj ∈ M. Hence we get p−1 0= a1 (a1m1 − aiq1)+ a2(m2 − aiq2)+ . + ai−1(mi−1 − aiqi−1). By the above lemma, we have p−1 a1m1 − aiq1 ∈ a1 M + a2M + . + ai−1M. Hence aiq1 ∈ a1M +. .+ai−1M. So by regularity q1 ∈ a1M +. .+ai−1M and (3.2) p p gives m ∈ a1M +a2M +. .+ai−1M. This shows that ai is (M/(a1,a2,...,ai−1)M)- p−1 p regular. Also, since M/(a1 ,a2,...,ai−1)M) 6= 0, we have M/(a1,a2,...,ai)M 6= 0. p So a1,a2,...,ai is an M-sequence, as required. Definition 3.5. Let M be an A-module. We write M[x1,...,xn] for M⊗AA[x1,...,xn] and call its elements polynomials with coefficients in M. If a1,...,an ∈ A, xi 7→ ai induces an A-module homomorphism M[x1,...,xn] → M. Denote the image of p ∈ M[x1,...,xn] under this map by p (a1,...,an). Note that M[x1,...,xn] is a direct sum of copies of M indexed by monomials in A[x1,...,xn]. Hence it makes sense to speak of coefficients and degree of elements of M[x1,...,xn]. Definition 3.6. Let a1,...,an ∈ A, I = (a1,...,an). a1,...,an is said to be an M-quasi-regular sequence if IM 6= M and for every positive integer d and every d+1 homogeneous polynomial F ∈ M[x1,...,xn] of degree d, F (a) ∈ I M implies that all the coefficients of F are in IM. Note that unlike M-regular sequence, this notion is independent of the order d+1 of a1,...,an. We get an equivalent definition if the condition F (a) ∈ I M is replaced by F (a) = 0. For, if F (a) ∈ Id+1M then there is a homogeneous polynomial G of degree d + 1 such that F (a) = G(a). If we lower its degree by 1 by replacing one variable xi from each term by ai and subtracting from F, we get a new homogeneous polynomial F ′ of degree d with F ′(a) = 0. Furthermore, if all coefficients of F ′ are in IM then the same is true for F . Lemma 3.7. Let a1,...,an be an M-quasi-regular sequence and I = (a1,...,an). If (IM : b)= IM for some b ∈ A then (IdM : b)= IdM for every positive integer d. Proof. Assume it is true for d − 1. Let m ∈ M and bm ∈ IdM. Then bm ∈ Id−1M so by the assumption m ∈ Id−1M. Hence m = F (a) where F is a homogeneous d polynomial of degree d − 1. So we have bF (a) = bm ∈ I M. Since a1,...,an is M-quasi-regular, all coefficients of bF are in IM, and therefore m = F (a) ∈ IdM. This shows (IdM : b)= IdM. Theorem 3.8. If a1,...,an is an M-sequence then it is M-quasi-regular. d Proof. If n = 1, a1 is M-regular so M 6= a1M. Also, if m ∈ M and m ⊗ x is a d d+1 d d+1 ′ homogeneous polynomial of degree d and a1m ∈ a1 M then a1m = a1 m for ′ d ′ ′ some m ∈ M, a1(m − a1m ) = 0, and again by M-regularity of a1, m = a1m , i.e., m ∈ a1M. 4 HYEONGKWAN KIM Now assume it is true for n − 1. Then in particular a1,...,an−1 is M − quasi − regular. Let F be a homogeneous polynomial of degree d such that F (a) = 0. Consider first the case d = 1. Let F = m1 ⊗ x1 + . + mn ⊗ xn, where mi ∈ M. Then F (a)= a1m1 +. .+anmn = 0. Since a1,...,an is an M-regular sequence, we ′ ′ ′ have mn = a1m1 + . + an−1mn−1 for some mi ∈ M and in particular mn ∈ IM where I = (a1,...,an). If we let ′ ′ h = m1 ⊗ x1 + . + mn−1 ⊗ xn−1 + an(m1 ⊗ x1 + . + mn−1 ⊗ xn−1), we have h(a1,...,an−1) = 0 and since a1,...,an−1 is M-quasi-regular, all coef- ficients of h are in (a1,...,an−1)M, and this implies m1,...,mn−1 ∈ IM.
Recommended publications
  • Injective 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 a small extent, what one can do with them. Let R be a commutative Noetherian ring with an identity element. An R- module E is injective if HomR( ;E) is an exact functor. The main messages of these notes are − Every R-module M has an injective hull or injective envelope, de- • noted by ER(M), which is an injective module containing M, and has the property that any injective module containing M contains an isomorphic copy of ER(M). A nonzero injective module is indecomposable if it is not the direct • sum of nonzero injective modules. Every injective R-module is a direct sum of indecomposable injective R-modules. Indecomposable injective R-modules are in bijective correspondence • with the prime ideals of R; in fact every indecomposable injective R-module is isomorphic to an injective hull ER(R=p), for some prime ideal p of R. The number of isomorphic copies of ER(R=p) occurring in any direct • sum decomposition of a given injective module into indecomposable injectives is independent of the decomposition. Let (R; m) be a complete local ring and E = ER(R=m) be the injec- • tive hull of the residue field of R. The functor ( )_ = HomR( ;E) has the following properties, known as Matlis duality− : − (1) If M is an R-module which is Noetherian or Artinian, then M __ ∼= M.
    [Show full text]
  • The Geometry of Syzygies
    The Geometry of Syzygies A second course in Commutative Algebra and Algebraic Geometry David Eisenbud University of California, Berkeley with the collaboration of Freddy Bonnin, Clement´ Caubel and Hel´ ene` Maugendre For a current version of this manuscript-in-progress, see www.msri.org/people/staff/de/ready.pdf Copyright David Eisenbud, 2002 ii Contents 0 Preface: Algebra and Geometry xi 0A What are syzygies? . xii 0B The Geometric Content of Syzygies . xiii 0C What does it mean to solve linear equations? . xiv 0D Experiment and Computation . xvi 0E What’s In This Book? . xvii 0F Prerequisites . xix 0G How did this book come about? . xix 0H Other Books . 1 0I Thanks . 1 0J Notation . 1 1 Free resolutions and Hilbert functions 3 1A Hilbert’s contributions . 3 1A.1 The generation of invariants . 3 1A.2 The study of syzygies . 5 1A.3 The Hilbert function becomes polynomial . 7 iii iv CONTENTS 1B Minimal free resolutions . 8 1B.1 Describing resolutions: Betti diagrams . 11 1B.2 Properties of the graded Betti numbers . 12 1B.3 The information in the Hilbert function . 13 1C Exercises . 14 2 First Examples of Free Resolutions 19 2A Monomial ideals and simplicial complexes . 19 2A.1 Syzygies of monomial ideals . 23 2A.2 Examples . 25 2A.3 Bounds on Betti numbers and proof of Hilbert’s Syzygy Theorem . 26 2B Geometry from syzygies: seven points in P3 .......... 29 2B.1 The Hilbert polynomial and function. 29 2B.2 . and other information in the resolution . 31 2C Exercises . 34 3 Points in P2 39 3A The ideal of a finite set of points .
    [Show full text]
  • ASSOCIATED PRIME IDEALS Let R Be a Commutative Noetherian Ring and M a Non-Zero Finitely Generated R-Module. Let I = Ann(M)
    ASSOCIATED PRIME IDEALS Let R be a commutative Noetherian ring and M a non-zero finitely generated R-module. Let I = Ann(M). The case M = R=I is of particular interest. We sketch the theory of associated prime ideals of M, following Matsumura (pp 39-40) and, in particular, of the height of ideals. The height of a prime ideal P is the Krull dimension of the localization RP , that is the maximal length of a chain of prime ideals contained in P . The height of I is the minimum of the heights of P , where P ranges over the prime ideals that contain I (or, equivalently, are minimal among the prime ideals that contain I). Definition 0.1. The support of M, Supp(M), is the set of prime ideals such that the localization MP is non-zero. A prime containing a prime in Supp(M) is also in Supp(M). For example, the support of R=I is V (I). Definition 0.2. The associated primes of M are those primes P that coincide with the annihilator of some non-zero element x 2 M. Observe that I ⊂ P for any such P since I = Ann(M) ⊂ Ann(x). The set of associated prime ideals of M is denoted Ass(M) or, when necessary for clarity, AssR(M). The definition of localization implies the following obervation. Lemma 0.3. MP is non-zero if and only if there is an element x 6= 0 in M such that Ann(x) ⊂ P . Therefore Ass(M) is contained in Supp(M).
    [Show full text]
  • The Structure Theory of Complete Local Rings
    The structure theory of complete local rings Introduction In the study of commutative Noetherian rings, localization at a prime followed by com- pletion at the resulting maximal ideal is a way of life. Many problems, even some that seem \global," can be attacked by first reducing to the local case and then to the complete case. Complete local rings turn out to have extremely good behavior in many respects. A key ingredient in this type of reduction is that when R is local, Rb is local and faithfully flat over R. We shall study the structure of complete local rings. A complete local ring that contains a field always contains a field that maps onto its residue class field: thus, if (R; m; K) contains a field, it contains a field K0 such that the composite map K0 ⊆ R R=m = K is an isomorphism. Then R = K0 ⊕K0 m, and we may identify K with K0. Such a field K0 is called a coefficient field for R. The choice of a coefficient field K0 is not unique in general, although in positive prime characteristic p it is unique if K is perfect, which is a bit surprising. The existence of a coefficient field is a rather hard theorem. Once it is known, one can show that every complete local ring that contains a field is a homomorphic image of a formal power series ring over a field. It is also a module-finite extension of a formal power series ring over a field. This situation is analogous to what is true for finitely generated algebras over a field, where one can make the same statements using polynomial rings instead of formal power series rings.
    [Show full text]
  • October 2013
    LONDONLONDON MATHEMATICALMATHEMATICAL SOCIETYSOCIETY NEWSLETTER No. 429 October 2013 Society MeetingsSociety 2013 ELECTIONS voting the deadline for receipt of Meetings TO COUNCIL AND votes is 7 November 2013. and Events Members may like to note that and Events NOMINATING the LMS Election blog, moderated 2013 by the Scrutineers, can be found at: COMMITTEE http://discussions.lms.ac.uk/ Thursday 31 October The LMS 2013 elections will open on elections2013/. Good Practice Scheme 10th October 2013. LMS members Workshop, London will be contacted directly by the Future elections page 15 Electoral Reform Society (ERS), who Members are invited to make sug- Friday 15 November will send out the election material. gestions for nominees for future LMS Graduate Student In advance of this an email will be elections to Council. These should Meeting, London sent by the Society to all members be addressed to Dr Penny Davies 1 page 4 who are registered for electronic who is the Chair of the Nominat- communication informing them ing Committee (nominations@lms. Friday 15 November that they can expect to shortly re- ac.uk). Members may also make LMS AGM, London ceive some election correspondence direct nominations: details will be page 5 from the ERS. published in the April 2014 News- Monday 16 December Those not registered to receive letter or are available from Duncan SW & South Wales email correspondence will receive Turton at the LMS (duncan.turton@ Regional Meeting, all communications in paper for- lms.ac.uk). Swansea mat, both from the Society and 18-21 December from the ERS. Members should ANNUAL GENERAL LMS Prospects in check their post/email regularly in MEETING Mathematics, Durham October for communications re- page 11 garding the elections.
    [Show full text]
  • Arxiv:1810.04493V2 [Math.AG]
    MACAULAYFICATION OF NOETHERIAN SCHEMES KĘSTUTIS ČESNAVIČIUS Abstract. To reduce to resolving Cohen–Macaulay singularities, Faltings initiated the program of “Macaulayfying” a given Noetherian scheme X. For a wide class of X, Kawasaki built the sought Cohen–Macaulay modifications, with a crucial drawback that his blowing ups did not preserve the locus CMpXq Ă X where X is already Cohen–Macaulay. We extend Kawasaki’s methods to show that every quasi-excellent, Noetherian scheme X has a Cohen–Macaulay X with a proper map X Ñ X that is an isomorphism over CMpXq. This completes Faltings’ program, reduces the conjectural resolution of singularities to the Cohen–Macaulay case, and implies thatr every proper, smoothr scheme over a number field has a proper, flat, Cohen–Macaulay model over the ring of integers. 1. Macaulayfication as a weak form of resolution of singularities .................. 1 Acknowledgements ................................... ................................ 5 2. (S2)-ification of coherent modules ................................................. 5 3. Ubiquity of Cohen–Macaulay blowing ups ........................................ 9 4. Macaulayfication in the local case ................................................. 18 5. Macaulayfication in the global case ................................................ 20 References ................................................... ........................... 22 1. Macaulayfication as a weak form of resolution of singularities The resolution of singularities, in Grothendieck’s formulation, predicts the following. Conjecture 1.1. For a quasi-excellent,1 reduced, Noetherian scheme X, there are a regular scheme X and a proper morphism π : X Ñ X that is an isomorphism over the regular locus RegpXq of X. arXiv:1810.04493v2 [math.AG] 3 Sep 2020 r CNRS, UMR 8628, Laboratoirer de Mathématiques d’Orsay, Université Paris-Saclay, 91405 Orsay, France E-mail address: [email protected].
    [Show full text]
  • CRITERIA for FLATNESS and INJECTIVITY 3 Ring of R
    CRITERIA FOR FLATNESS AND INJECTIVITY NEIL EPSTEIN AND YONGWEI YAO Abstract. Let R be a commutative Noetherian ring. We give criteria for flatness of R-modules in terms of associated primes and torsion-freeness of certain tensor products. This allows us to develop a criterion for regularity if R has characteristic p, or more generally if it has a locally contracting en- domorphism. Dualizing, we give criteria for injectivity of R-modules in terms of coassociated primes and (h-)divisibility of certain Hom-modules. Along the way, we develop tools to achieve such a dual result. These include a careful analysis of the notions of divisibility and h-divisibility (including a localization result), a theorem on coassociated primes across a Hom-module base change, and a local criterion for injectivity. 1. Introduction The most important classes of modules over a commutative Noetherian ring R, from a homological point of view, are the projective, flat, and injective modules. It is relatively easy to check whether a module is projective, via the well-known criterion that a module is projective if and only if it is locally free. However, flatness and injectivity are much harder to determine. R It is well-known that an R-module M is flat if and only if Tor1 (R/P,M)=0 for all prime ideals P . For special classes of modules, there are some criteria for flatness which are easier to check. For example, a finitely generated module is flat if and only if it is projective. More generally, there is the following Local Flatness Criterion, stated here in slightly simplified form (see [Mat86, Section 22] for a self-contained proof): Theorem 1.1 ([Gro61, 10.2.2]).
    [Show full text]
  • RINGS of MINIMAL MULTIPLICITY 1. Introduction We Shall Discuss Two Theorems of S. S. Abhyankar About Rings of Minimal Multiplici
    RINGS OF MINIMAL MULTIPLICITY J. K. VERMA Abstract. In this exposition, we discuss two theorems of S. S. Abhyankar about Cohen-Macaulay local rings of minimal multiplicity and graded rings of minimal multiplicity. 1. Introduction We shall discuss two theorems of S. S. Abhyankar about rings of minimal multiplicity which he proved in his 1967 paper \Local rings of high embedding dimension" [1] which appeared in the American Journal of Mathematics. The first result gives a lower bound on the multiplicity of the maximal ideal in a Cohen-Macaulay local ring and the second result gives a lower bound on the multiplicity of a standard graded domain over an algebraically closed field. The origins of these results lie in projective geometry. Let k be an algebraically closed field and X be a projective variety. We say that it is non-degenerate if it is not contained in a hyperplane. Let I(X) be the ideal of X. It is a homogeneous ideal of the polynomial ring S = k[x0; x1; : : : ; xr]: The homogeneous coordinate ring of X is defined as R = S(X) = S=I(X): Then R is a graded ring and 1 we write it as R = ⊕n=0Rn: Here Rn = Sn=(I(X) \ Sn): The Hilbert function of R is the function HR(n) = dimk Rn: Theorem 1.1 (Hilbert-Serre). There exists a polynomial PR(x) 2 Q[x] so that for all large n; HR(n) = PR(n): The degree of PR(x) is the dimension d of X and we can write x + d x + d − 1 P (x) = e(R) − e (R) + ··· + (−1)de (R): R d 1 d − 1 d Definition 1.2.
    [Show full text]
  • Splitting of Vector Bundles on Punctured Spectrum of Regular Local Rings
    City University of New York (CUNY) CUNY Academic Works All Dissertations, Theses, and Capstone Projects Dissertations, Theses, and Capstone Projects 2005 Splitting of Vector Bundles on Punctured Spectrum of Regular Local Rings Mahdi Majidi-Zolbanin Graduate Center, City University of New York How does access to this work benefit ou?y Let us know! More information about this work at: https://academicworks.cuny.edu/gc_etds/1765 Discover additional works at: https://academicworks.cuny.edu This work is made publicly available by the City University of New York (CUNY). Contact: [email protected] Splitting of Vector Bundles on Punctured Spectrum of Regular Local Rings by Mahdi Majidi-Zolbanin A dissertation submitted to the Graduate Faculty in Mathematics in partial fulfillment of the requirements for the degree of Doctor of Philosophy, The City University of NewYork. 2005 UMI Number: 3187456 Copyright 2005 by Majidi-Zolbanin, Mahdi All rights reserved. UMI Microform 3187456 Copyright 2005 by ProQuest Information and Learning Company. All rights reserved. This microform edition is protected against unauthorized copying under Title 17, United States Code. ProQuest Information and Learning Company 300 North Zeeb Road P.O. Box 1346 Ann Arbor, MI 48106-1346 ii c 2005 Mahdi Majidi-Zolbanin All Rights Reserved iii This manuscript has been read and accepted for the Graduate Faculty in Mathematics in satisfaction of the dissertation requirements for the degree of Doctor of Philosophy. Lucien Szpiro Date Chair of Examining Committee Jozek Dodziuk Date Executive Officer Lucien Szpiro Raymond Hoobler Alphonse Vasquez Ian Morrison Supervisory Committee THE CITY UNIVERSITY OF NEW YORK iv Abstract Splitting of Vector Bundles on Punctured Spectrum of Regular Local Rings by Mahdi Majidi-Zolbanin Advisor: Professor Lucien Szpiro In this dissertation we study splitting of vector bundles of small rank on punctured spectrum of regular local rings.
    [Show full text]
  • Depth, Dimension and Resolutions in Commutative Algebra
    Depth, Dimension and Resolutions in Commutative Algebra Claire Tête PhD student in Poitiers MAP, May 2014 Claire Tête Commutative Algebra This morning: the Koszul complex, regular sequence, depth Tomorrow: the Buchsbaum & Eisenbud criterion and the equality of Aulsander & Buchsbaum through examples. Wednesday: some elementary results about the homology of a bicomplex Claire Tête Commutative Algebra I will begin with a little example. Let us consider the ideal a = hX1, X2, X3i of A = k[X1, X2, X3]. What is "the" resolution of A/a as A-module? (the question is deliberatly not very precise) Claire Tête Commutative Algebra I will begin with a little example. Let us consider the ideal a = hX1, X2, X3i of A = k[X1, X2, X3]. What is "the" resolution of A/a as A-module? (the question is deliberatly not very precise) We would like to find something like this dm dm−1 d1 · · · Fm Fm−1 · · · F1 F0 A/a with A-modules Fi as simple as possible and s.t. Im di = Ker di−1. Claire Tête Commutative Algebra I will begin with a little example. Let us consider the ideal a = hX1, X2, X3i of A = k[X1, X2, X3]. What is "the" resolution of A/a as A-module? (the question is deliberatly not very precise) We would like to find something like this dm dm−1 d1 · · · Fm Fm−1 · · · F1 F0 A/a with A-modules Fi as simple as possible and s.t. Im di = Ker di−1. We say that F· is a resolution of the A-module A/a Claire Tête Commutative Algebra I will begin with a little example.
    [Show full text]
  • INTRODUCTION to ALGEBRAIC GEOMETRY, CLASS 3 Contents 1
    INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 3 RAVI VAKIL Contents 1. Where we are 1 2. Noetherian rings and the Hilbert basis theorem 2 3. Fundamental definitions: Zariski topology, irreducible, affine variety, dimension, component, etc. 4 (Before class started, I showed that (finite) Chomp is a first-player win, without showing what the winning strategy is.) If you’ve seen a lot of this before, try to solve: “Fun problem” 2. Suppose f1(x1,...,xn)=0,... , fr(x1,...,xn)=0isa system of r polynomial equations in n unknowns, with integral coefficients, and suppose this system has a finite number of complex solutions. Show that each solution is algebraic, i.e. if (x1,...,xn) is a solution, then xi ∈ Q for all i. 1. Where we are We now have seen, in gory detail, the correspondence between radical ideals in n k[x1,...,xn], and algebraic subsets of A (k). Inclusions are reversed; in particular, maximal proper ideals correspond to minimal non-empty subsets, i.e. points. A key part of this correspondence involves the Nullstellensatz. Explicitly, if X and Y are two algebraic sets corresponding to ideals IX and IY (so IX = I(X)andIY =I(Y),p and V (IX )=X,andV(IY)=Y), then I(X ∪ Y )=IX ∩IY,andI(X∩Y)= (IX,IY ). That “root” is necessary. Some of these links required the following theorem, which I promised you I would prove later: Theorem. Each algebraic set in An(k) is cut out by a finite number of equations. This leads us to our next topic: Date: September 16, 1999.
    [Show full text]
  • Reflexivity Revisited
    REFLEXIVITY REVISITED MOHSEN ASGHARZADEH ABSTRACT. We study some aspects of reflexive modules. For example, we search conditions for which reflexive modules are free or close to free modules. 1. INTRODUCTION In this note (R, m, k) is a commutative noetherian local ring and M is a finitely generated R- module, otherwise specializes. The notation stands for a general module. For simplicity, M the notation ∗ stands for HomR( , R). Then is called reflexive if the natural map ϕ : M M M M is bijection. Finitely generated projective modules are reflexive. In his seminal paper M→M∗∗ Kaplansky proved that projective modules (over local rings) are free. The local assumption is really important: there are a lot of interesting research papers (even books) on the freeness of projective modules over polynomial rings with coefficients from a field. In general, the class of reflexive modules is extremely big compared to the projective modules. As a generalization of Seshadri’s result, Serre observed over 2-dimensional regular local rings that finitely generated reflexive modules are free in 1958. This result has some applications: For instance, in the arithmetical property of Iwasawa algebras (see [45]). It seems freeness of reflexive modules is subtle even over very special rings. For example, in = k[X,Y] [29, Page 518] Lam says that the only obvious examples of reflexive modules over R : (X,Y)2 are the free modules Rn. Ramras posed the following: Problem 1.1. (See [19, Page 380]) When are finitely generated reflexive modules free? Over quasi-reduced rings, problem 1.1 was completely answered (see Proposition 4.22).
    [Show full text]