DOCSLIB.ORG

Complete Intersections in Regular Local Rings ∗

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Complete Intersections in Regular Local Rings ∗ Complete Intersections in Regular Local Rings ∗ J. K. Verma Department of Mathematics Indian Institute of Technology Powai, Mumbai 400 076 E-mail: [email protected] Let R be a 3-dimensional regular local ring. Let p be a dimension one prime of R: We are concerned with two problems: (1) when is p a complete intersection and (2) when is p a set theoretic complete intersection ? We prove a result of Cowsik and Nori to answer (1) and several results answering (2). Cowsik observed that if the symbolic Rees algebra of p is Noetherian then p is a set-theoretic complete intersection. Thus it becomes important to know when the symbolic Rees algebra is Noetherian. We will present Huneke's elegant criterion for its Noetherian property. 1 Reductions of Ideals D.G. Northcott and D. Rees [NR] introduced the concept of reduction of an ideal. An ideal J contained in an ideal I of a commutative ring R is called a reduction of I if JIn = In+1 for some n IN: This relationship is preserved under ring homorphisms and ring extensions. If I is a2 zero dimensional ideal of a local ring then the reduction process simplifies I without changing its multiplicity. Proposition 1.1. Let J I be m-primary ideals of a local ring (R; m): If J is a reduction of I then e(I) = e⊆(J): Proof. Let JIn = In+1: Then for all m `(R=In+m) `(R=J m) `(R=Im): ≥ ≥ Hence PI (n + m) PJ (m) PI (m) where P denotes the Hilbert polynomial. This ≥ ≥ shows that PI (m) and PJ (m) have equal degrees and leading coefficients. Definition 1.2. A reduction J of I is called a minimal reduction of I if no ideal properly contained in J is a reduction of I: ∗Notes of lectures given in the NBHM Instructional School on Complete Intersections at IISc, Ban- galore May 20 { June 8, 1996. 1 2 Lemma 1.3. If K is a reduction of J and J is a reduction of I then K is a reduction of I: Proof. Let KJ m = J m+1 and JIn = In+1: Then KIm+n = KJ mIn = Im+n+1: Lemma 1.4. Let (R; m) be a local ring and J I be ideals of R: Then J is a reduction of I iff J + Im is a reduction of I: ⊆ Proof. Let JIn = In+1: Then JIn + mIn+1 = In+1 , hence (J + mI)In = In+1: Conversely let (J + Im)In = In+1: By Nakayama's lemma, JIn = In+1: Definition 1.5. For an ideal I of a local ring (R; m); put F (I) = 1 In=Inm: We say M n=0 F (I) is the fiber ring of I: The Krull dimension of F (I) is called the analytic spread of I: This will be denoted by `(I): Theorem 1.6. Let I be an ideal of a local ring (R; m) with residue field k: For a I put 2 a∗ = residue class of a in I=mI: Let a1; a2; : : : ; as I: Then the following are equivalent: 2 (i) (a1∗; a2∗; : : : ; as∗) is a zero dimensional ideal of F (I): (ii) J = (a1; : : : ; as) is a reduction of I: n 1 n n Proof. The nth homogeneous component of K := (a1∗; : : : ; as∗) is (JI − + mI )=mI : n 1 n n Thus K is zero dimensional iff for all n large JI − + mI = I : By (1.4) the last equation holds iff J is a reduction of I: Corollary 1.7. Every reduction J of I contains a minimal reduction of I: Let a1; a2;:::; as be chosen from J such that the following hold: (a) a1∗; : : : as∗ are k-linearly independent (b) dim F (I)=(a1∗; : : : ; as∗) = 0 (c) s is minimal with respect to (b). Then a1; a2; : : : ; as is a minimal system of generators of a minimal reduction of I con- tained in J: Proof. Put K = (a1; a2; : : : ; as): Observe that K mI = mK: This is equivalent to Ker(K=mK I=mI) = 0: This is a consequence of\ (a). By (1.6), (b) implies that K −! is a reduction of I: Suppose that K 0 K is a reduction of I: Then K 0 + mI = K + mI ⊂ by (c). Hence K (K 0 + mI) K = K 0 + mI K = K 0 + mK: By Nakayama's lemma ⊂ \ \ K = K 0 : It is clear that a1; : : : ; as minimally generate K: In fact a1; : : : ; as are part of a minimal basis of I: Proposition 1.8.Let (R; m) be a local ring with infinite residue field k: Let a1; : : : ; as 2 I; an ideal of R: Then a1∗; : : : ; as∗ form a homogeneous system of parameters of F (I) if and only if J = (a1; : : : ; as) is a minimal reduction of I: 3 Proof. Since k is infinite, it is possible to choose a homogeneous system of parameters of F (I) from the degree one component of F (I): Hence every minimal reduction of I is minimally generated by dim F (I) = `(I) elements. If a1∗; : : : ; as∗ form a homogeneous sys- tem of parameters of F (I) then s = dim F (I) and F (I)=(a1∗; : : : ; as∗) is zero dimensional. Hence a1; : : : ; as generate a minimal reduction of I: Conversely if J = (a1; : : : ; as) is a minimal reduction of I then dim F (I)=(a1∗; : : : ; as∗) = 0 and s is minimal with respect to this property. Hence a1∗; : : : ; as∗ constitute a homogeneous system of parameters. Theorem 1.9. For an arbitrary ideal I of a local ring (R; m) the following inequalities are satisfied. altI := sup htp p is a minimal prime of I `(I) µ(I): f j g ≤ ≤ Proof. We may assume that R=m is infinite. Let J be a minimal reduction of I: Then the equation JIn = In+1 holds for some n which gives V (I) = V (J): Therefore by Krull's altitude theorem altI = altJ µ(J) = `(I): Since dim F (I) dim I=Im; we get `(I) µ(I): ≤ ≤ ≤ 2 Reductions and integral dependence Definition 2.1. Let R be a commutative ring, I an R-ideal. An element x R is called n n 1 2 integral over I if there exist elements a1; a2; : : : ; an so that x + a1x − + + an = 0; i ··· where ai I for i = 1; 2; : : : ; n: 2 Proposition 2.2. The set of integral elements, I;¯ over I is an ideal of R: Proof. Consider the Rees algebra R(I) = 1 Intn of I; where t is an indeterminate. M n=0 n n 1 Let x be integral over I satisfying the equation x + a1x − + + an = 0; for some i n n 1 i ···n i n ai I ; i = 1; 2; : : : ; n: Then (xt) + (a1t)(xt) − + + (ait )(xt) − + + ant = 0: Hence2 xt is integral over R(I): If x; y I¯ then xt;··· yt are integral over··· R(I): Thus xt + yt is integral over R(I): Let u R and2 ut be integral over R(I): Then there exist n2 n 1 b1; b2; : : : ; bn R(I) such that (ut) + b1(ut) − + + bn = 0: Equating coefficient of tn we obtain2un + b un 1 + + b = 0 where b···are defined by b = b tj where 1n − nn ij i X ij j ··· ¯ ¯ ¯ bij I for i = 1; 2; : : : ; n: This shows that u I: In particular x + y I: If x I and c 2R; it is easy to see that cx I:¯ Hence I¯ is2 an ideal. 2 2 2 2 Proposition 2.3. Let I be an ideal of a commutative ring R: Then x I¯ iff I is a reduction of (I; x): 2 n n 1 i n Proof. Suppose x + a1x − + + an = 0 for some ai I ; i = 1; 2; : : : ; n: Then x n 1 n ···1 n 2 2 I(I; x) − which yields I(I; x) − = (I; x) : Conversely suppose that I is a reduction of n 1 n n m n 1 (I; x) and I(I; x) − = (I; x) : Then x = i=1 aibi where ai I and bi (I; x) − : n 1 n 1 j j P 2 2 Thus bi = − aijx − − for some aij I ; j = 0; 1; : : : ; n 1 and i = 1; 2; : : : ; m: Hence Pj=0 n m n 1 n 1 j 2 ¯ − x − aiaijx − − = 0: Thus x I: − Pi=1 Pj=0 2 4 Proposition 2.4. Let I J be ideals of a commutative ring such that J is finitely generated. Then I is a reduction⊆ of J iff J I:¯ ⊆ ¯ Proof. Let J = (I; x1; x2; : : : ; xm): Let J I: Then x1 is integral over I; hence I is a ⊆ reduction of (I; x1) by (2.3). Now apply induction on m to see that I is a reduction of n 1 n J: Conversely let I be a reduction of J: Then for an indeterminate t; (It)(Jt) − = (Jt) for some n: Therefore R[Jt] is a finite R[It]-module. Hence xt is integral over R[It] for any x J: Therefore x I:¯ 2 2 3 Analytic spread of monomial ideals and certain determinantal ideals The Cowsik-Nori theorem on complete intersections requires one to calculate the analytic spread of an ideal I in a regular local ring (R; m). If R is a power series ring or a localisation of a polynomial ring at a prime ideal then the fiber ring of I can be presented as a quotient of polynomial ring. This presentation can be effectively calculated by using the package Macaulay.
Load more

Recommended publications
  • 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]
  • 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]
  • 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]
  • Arxiv:1906.02669V2 [Math.AC] 6 May 2020 Ti O Nw Hte H Ulne-Etncnetr Od for Holds Conjecture Auslander-Reiten Theor the [19, Whether and Rings
    THE AUSLANDER-REITEN CONJECTURE FOR CERTAIN NON-GORENSTEIN COHEN-MACAULAY RINGS SHINYA KUMASHIRO Abstract. The Auslander-Reiten conjecture is a notorious open problem about the vanishing of Ext modules. In a Cohen-Macaulay local ring R with a parameter ideal Q, the Auslander-Reiten conjecture holds for R if and only if it holds for the residue ring R/Q. In the former part of this paper, we study the Auslander-Reiten conjecture for the ring R/Qℓ in connection with that for R, and prove the equivalence of them for the case where R is Gorenstein and ℓ ≤ dim R. In the latter part, we generalize the result of the minimal multiplicity by J. Sally. Due to these two of our results, we see that the Auslander-Reiten conjecture holds if there exists an Ulrich ideal whose residue ring is a complete intersection. We also explore the Auslander-Reiten conjecture for determinantal rings. 1. Introduction The Auslander-Reiten conjecture and several related conjectures are problems about the vanishing of Ext modules. As is well-known, the vanishing of cohomology plays a very important role in the study of rings and modules. For a guide to these conjectures, one can consult [8, Appendix A] and [7, 16, 24, 25]. These conjectures originate from the representation theory of algebras, and the theory of commutative ring also greatly contributes to the development of the Auslander-Reiten conjecture; see, for examples, [1, 19, 20, 21]. Let us recall the Auslander-Reiten conjecture over a commutative Noetherian ring R. i Conjecture 1.1. [3] Let M be a finitely generated R-module.
    [Show full text]
  • Integral Closures of Ideals and Rings Irena Swanson
    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 the parts on Noetherian rings, primary decomposition of ideals, ring spectra, Hilbert’s Basis Theorem, completions). In the first lecture I will present the basics of integral closure with very few proofs; the proofs can be found either in Atiyah–MacDonald [2] or in Huneke–Swanson [13]. Much of the rest of the material can be found in Huneke–Swanson [13], but the lectures contain also more recent material. Table of contents: Section 1: Integral closure of rings and ideals 1 Section 2: Integral closure of rings 8 Section 3: Valuation rings, Krull rings, and Rees valuations 13 Section 4: Rees algebras and integral closure 19 Section 5: Computation of integral closure 24 Bibliography 28 1 Integral closure of rings and ideals (How it arises, monomial ideals and algebras) Integral closure of a ring in an overring is a generalization of the notion of the algebraic closure of a field in an overfield: Definition 1.1 Let R be a ring and S an R-algebra containing R. An element x S is ∈ said to be integral over R if there exists an integer n and elements r1,...,rn in R such that n n 1 x + r1x − + + rn 1x + rn =0. ··· − This equation is called an equation of integral dependence of x over R (of degree n). The set of all elements of S that are integral over R is called the integral closure of R in S.
    [Show full text]
  • Commutative Algebra
    Commutative Algebra Andrew Kobin Spring 2016 / 2019 Contents Contents Contents 1 Preliminaries 1 1.1 Radicals . .1 1.2 Nakayama's Lemma and Consequences . .4 1.3 Localization . .5 1.4 Transcendence Degree . 10 2 Integral Dependence 14 2.1 Integral Extensions of Rings . 14 2.2 Integrality and Field Extensions . 18 2.3 Integrality, Ideals and Localization . 21 2.4 Normalization . 28 2.5 Valuation Rings . 32 2.6 Dimension and Transcendence Degree . 33 3 Noetherian and Artinian Rings 37 3.1 Ascending and Descending Chains . 37 3.2 Composition Series . 40 3.3 Noetherian Rings . 42 3.4 Primary Decomposition . 46 3.5 Artinian Rings . 53 3.6 Associated Primes . 56 4 Discrete Valuations and Dedekind Domains 60 4.1 Discrete Valuation Rings . 60 4.2 Dedekind Domains . 64 4.3 Fractional and Invertible Ideals . 65 4.4 The Class Group . 70 4.5 Dedekind Domains in Extensions . 72 5 Completion and Filtration 76 5.1 Topological Abelian Groups and Completion . 76 5.2 Inverse Limits . 78 5.3 Topological Rings and Module Filtrations . 82 5.4 Graded Rings and Modules . 84 6 Dimension Theory 89 6.1 Hilbert Functions . 89 6.2 Local Noetherian Rings . 94 6.3 Complete Local Rings . 98 7 Singularities 106 7.1 Derived Functors . 106 7.2 Regular Sequences and the Koszul Complex . 109 7.3 Projective Dimension . 114 i Contents Contents 7.4 Depth and Cohen-Macauley Rings . 118 7.5 Gorenstein Rings . 127 8 Algebraic Geometry 133 8.1 Affine Algebraic Varieties . 133 8.2 Morphisms of Affine Varieties . 142 8.3 Sheaves of Functions .
    [Show full text]
  • Gorenstein Rings Examples References
    Origin Aim of the Thesis Structure of Minimal Injective Resolution Gorenstein Rings Examples References Gorenstein Rings Chau Chi Trung Bachelor Thesis Defense Presentation Supervisor: Dr. Tran Ngoc Hoi University of Science - Vietnam National University Ho Chi Minh City May 2018 Email: [email protected] Origin Aim of the Thesis Structure of Minimal Injective Resolution Gorenstein Rings Examples References Content 1 Origin 2 Aim of the Thesis 3 Structure of Minimal Injective Resolution 4 Gorenstein Rings 5 Examples 6 References Origin ∙ Grothendieck introduced the notion of Gorenstein variety in algebraic geometry. ∙ Serre made a remark that rings of finite injective dimension are just Gorenstein rings. The remark can be found in [9]. ∙ Gorenstein rings have now become a popular notion in commutative algebra and given birth to several definitions such as nearly Gorenstein rings or almost Gorenstein rings. Aim of the Thesis This thesis aims to 1 present basic results on the minimal injective resolution of a module over a Noetherian ring, 2 introduce Gorenstein rings via Bass number and 3 answer elementary questions when one inspects a type of ring (e.g. Is a subring of a Gorenstein ring Gorenstein?). Origin Aim of the Thesis Structure of Minimal Injective Resolution Gorenstein Rings Examples References Structure of Minimal Injective Resolution Unless otherwise specified, let R be a Noetherian commutative ring with 1 6= 0 and M be an R-module. Theorem (E. Matlis) Let E be a nonzero injective R-module. Then we have a direct sum ∼ decomposition E = ⊕i2I Xi in which for each i 2 I, Xi = ER(R=P ) for some P 2 Spec(R).
    [Show full text]
  • Commutative Algebra Ii, Spring 2019, A. Kustin, Class Notes
    COMMUTATIVE ALGEBRA II, SPRING 2019, A. KUSTIN, CLASS NOTES 1. REGULAR SEQUENCES This section loosely follows sections 16 and 17 of [6]. Definition 1.1. Let R be a ring and M be a non-zero R-module. (a) The element r of R is regular on M if rm = 0 =) m = 0, for m 2 M. (b) The elements r1; : : : ; rs (of R) form a regular sequence on M, if (i) (r1; : : : ; rs)M 6= M, (ii) r1 is regular on M, r2 is regular on M=(r1)M, ::: , and rs is regular on M=(r1; : : : ; rs−1)M. Example 1.2. The elements x1; : : : ; xn in the polynomial ring R = k[x1; : : : ; xn] form a regular sequence on R. Example 1.3. In general, order matters. Let R = k[x; y; z]. The elements x; y(1 − x); z(1 − x) of R form a regular sequence on R. But the elements y(1 − x); z(1 − x); x do not form a regular sequence on R. Lemma 1.4. If M is a finitely generated module over a Noetherian local ring R, then every regular sequence on M is a regular sequence in any order. Proof. It suffices to show that if x1; x2 is a regular sequence on M, then x2; x1 is a regular sequence on M. Assume x1; x2 is a regular sequence on M. We first show that x2 is regular on M. If x2m = 0, then the hypothesis that x1; x2 is a regular sequence on M guarantees that m 2 x1M; thus m = x1m1 for some m1.
    [Show full text]
  • Lectures on Local Cohomology
    Contemporary Mathematics Lectures on Local Cohomology Craig Huneke and Appendix 1 by Amelia Taylor Abstract. This article is based on five lectures the author gave during the summer school, In- teractions between Homotopy Theory and Algebra, from July 26–August 6, 2004, held at the University of Chicago, organized by Lucho Avramov, Dan Christensen, Bill Dwyer, Mike Mandell, and Brooke Shipley. These notes introduce basic concepts concerning local cohomology, and use them to build a proof of a theorem Grothendieck concerning the connectedness of the spectrum of certain rings. Several applications are given, including a theorem of Fulton and Hansen concern- ing the connectedness of intersections of algebraic varieties. In an appendix written by Amelia Taylor, an another application is given to prove a theorem of Kalkbrenner and Sturmfels about the reduced initial ideals of prime ideals. Contents 1. Introduction 1 2. Local Cohomology 3 3. Injective Modules over Noetherian Rings and Matlis Duality 10 4. Cohen-Macaulay and Gorenstein rings 16 d 5. Vanishing Theorems and the Structure of Hm(R) 22 6. Vanishing Theorems II 26 7. Appendix 1: Using local cohomology to prove a result of Kalkbrenner and Sturmfels 32 8. Appendix 2: Bass numbers and Gorenstein Rings 37 References 41 1. Introduction Local cohomology was introduced by Grothendieck in the early 1960s, in part to answer a conjecture of Pierre Samuel about when certain types of commutative rings are unique factorization 2000 Mathematics Subject Classification. Primary 13C11, 13D45, 13H10. Key words and phrases. local cohomology, Gorenstein ring, initial ideal. The first author was supported in part by a grant from the National Science Foundation, DMS-0244405.
    [Show full text]
  • Cohen-Macaulay Rings and Schemes
    Cohen-Macaulay rings and schemes Caleb Ji Summer 2021 Several of my friends and I were traumatized by Cohen-Macaulay rings in our commuta- tive algebra class. In particular, we did not understand the motivation for the definition, nor what it implied geometrically. The purpose of this paper is to show that the Cohen-Macaulay condition is indeed a fruitful notion in algebraic geometry. First we explain the basic defini- tions from commutative algebra. Then we give various geometric interpretations of Cohen- Macaulay rings. Finally we touch on some other areas where the Cohen-Macaulay condition shows up: Serre duality and the Upper Bound Theorem. Contents 1 Definitions and first examples1 1.1 Preliminary notions..................................1 1.2 Depth and Cohen-Macaulay rings...........................3 2 Geometric properties3 2.1 Complete intersections and smoothness.......................3 2.2 Catenary and equidimensional rings.........................4 2.3 The unmixedness theorem and miracle flatness...................5 3 Other applications5 3.1 Serre duality......................................5 3.2 The Upper Bound Theorem (combinatorics!)....................6 References 7 1 Definitions and first examples We begin by listing some relevant foundational results (without commentary, but with a few hints on proofs) of commutative algebra. Then we define depth and Cohen-Macaulay rings and present some basic properties and examples. Most of this section and the next are based on the exposition in [1]. 1.1 Preliminary notions Full details regarding the following standard facts can be found in most commutative algebra textbooks, e.g. Theorem 1.1 (Nakayama’s lemma). Let (A; m) be a local ring and let M be a finitely generated A-module.
    [Show full text]
  • Regular Local Rings Let a Be a Noetherian Local Ring, with Maximal Ideal M and Residue field I+1 K
    Regular local rings Let A be a noetherian local ring, with maximal ideal m and residue field i+1 k. Then for each i, A=m as an A-module of finite length, `A(i). In fact i i+1 for each i, m =m is a is a finite dimensional k-vector space, and `A(i) = P j j+1 dim(m =m ): j ≤ i. It turns out that there is a polyonomial pA with rational coefficients such that pA(i) = `A(i) for i sufficiently large. Let dA be the degree of pA. The main theorem of dimension theory is the following: Theorem 1 Let A be a noetherian local ring. Then dA is the Krull dimension of A, and this number is also the minimal length of a sequence (a1; : : : ad) of ele- ments of m such that m is nilpotent moduloo the ideal generated by (a1; : : : ; ad). Corollary 2 If A is a noetherian local ring and a is an element of the maximal ideal of A, then dim(A=(a)) ≥ dim(A) − 1; with equality if a does not belong to any minimal prime of A (if and only if a does not belong to any of the minimal primes which are at the bottom of a chain of length the dimension of A). Proof: Let (a1; : : : ; ad) be sequence of elements of m lifting a minimal sequence in m=(a) such that m is nilpotent modulo (a). Then d is the dimension of A=(a). But now (a0; a1; : : : ; ad) is a sequence in m such that m is nilpotent.
    [Show full text]
  • M-ADIC P-BASIS and REGULAR LOCAL RING 1. Introduction Some
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 132, Number 11, Pages 3189{3193 S 0002-9939(04)07503-3 Article electronically published on May 21, 2004 m-ADIC p-BASIS AND REGULAR LOCAL RING MAMORU FURUYA AND HIROSHI NIITSUMA (Communicated by Bernd Ulrich) Abstract. We introduce the concept of m-adic p-basis as an extension of the concept of p-basis. Let (S; m) be a regular local ring of prime characteristic p and R a ring such that S ⊃ R ⊃ Sp.ThenweprovethatR is a regular local ring if and only if there exists an m-adic p-basis of S=R and R is Noetherian. 1. Introduction Some forty years ago, E. Kunz conjectured the following: If (S; m)isaregular local ring of prime characteristic p,andifR aringwithS ⊃ R ⊃ Sp such that S is finite as an R-module, then the following are equivalent: (1) R is a regular local ring. (2) There exists a p-basis of S=R. This was proved by T. Kimura and the second author([KN2] or [K, 15.7]). With- out the finiteness assumption , however, this result is not true anymore. In this paper we generalize this result to the non-finite situation by introducing a topolog- ical generalization of the concept of p-basis, which we call the m-adic p-basis (see Definition 2.1). Then we prove the following main theorem: Theorem 3.4. Let (S; m) be a regular local ring of prime characteristic p,andR aringsuchthatS ⊃ R ⊃ Sp. Then the following conditions are equivalent: (1) R is a regular local ring.
    [Show full text]