Integral closure of ideals, rings, and modules

Table of basic properties Notation and basic definitions Preface 1. What is the integral closure 2. Integral closure of rings 3. Separability 4. Noetherian rings 5. Rees algebras 6. Valuations 7. Derivations 8. Reductions 9. Analytically unramified rings 10. Rees valuations 11. Multiplicity and integral closure 12. The conductor 13. The Briancon-Skoda theorem 14. Two-dimensional regular local rings 15. Computing the integral closure 16. Integral dependence of modules 17. Joint reductions 18. Adjoints of ideals 19. Normal homomorphisms Appendix A. Some background material Appendix B. Height and dimension formulas References Index.

[1]  D. Rees.  A Note on Analytically Unramified Local Rings , 1961 .

[2]  D. Katz.  On the number of minimal prime ideals in the completion of a local domain , 1986 .

[3]  Geometry of superficial elements , 2003, math/0310129.

[4]  Valuation theory: A constructive view , 1984 .

[5]  Eero Hyry.  Coefficient ideals and the Cohen-Macaulay property of Rees algebras , 2000 .

[6]  D. Rees.  Generalizations of Reductions and Mixed Multiplicities , 1984 .

[7]  G. Lyubeznik.  A property of ideals in polynomial rings , 1986 .

[8]  KEN-ICHI Yoshida,et al.  A generalization of tight closure and multiplier ideals , 2002, math/0211008.

[9]  M. Hochster,et al.  Tight closure and strong F-regularity , 1989 .

[10]  D. Katz.  Prime divisors, asymptotic R-sequences and unmixed local rings , 1985 .

[11]  I. Swanson.  Joint Reductions, Tight Closure, and the Briançon-Skoda Theorem, II , 1992 .

[12]  L. Burch,et al.  On ideals of finite homoloǵical dimension in local rings , 1968, Mathematical Proceedings of the Cambridge Philosophical Society.

[13]  M. Hochster.  Presentation depth and the Lipman-Sathaye Jacobian theorem , 2002 .

[14]  Adjoints of ideals in regular local rings , 1994, alg-geom/9405010.

[15]  Terence Gaffney.  The theory of integral closure of ideals and modules: Applications and new developments , 2001 .

[16]  L. Ratliff.  Locally quasi-unmixed Noetherian rings and ideals of the principal class , 1974 .

[17]  L. Burch,et al.  Codimension and analytic spread , 1972, Mathematical Proceedings of the Cambridge Philosophical Society.

[18]  I. S. Cohen.  LENGTHS OF PRIME IDEAL CHAINS. , 1954 .

[19]  D. Eisenbud.  Commutative Algebra: with a View Toward Algebraic Geometry , 1995 .

[20]  L. Roberts,et al.  Subintegrality, invertible modules and the Picard group , 1993 .

[21]  The Valuative Tree , 2002, math/0210265.

[22]  R. Lazarsfeld,et al.  A subadditivity property of multiplier ideals. , 2000, math/0002035.

[23]  Erwin Böger.  Einige Bemerkungen zur Theorie der ganz-algebraischen Abhängigkeit von Idealen , 1970 .

[24]  D. Delfino.  On the Inequality λ(R/R) ≤ t(R)λ(R/C) for One-Dimensional Local Rings , 1994 .

[25]  R. Hübl.  Evolutions and valuations associated to an ideal , 1999 .

[26]  S. Itoh.  Integral closures of ideals of the principal class , 1987 .

[27]  Jung-Chen Liu.  Rees algebras of finitely generated torsion -free modules over a two-dimensional regular local ring , 1998 .

[28]  J. T. Arnold,et al.  On the contents of polynomials , 1970 .

[29]  Kei-ichi Watanabe,et al.  F-regular and F-pure rings vs. log terminal and log canonical singularities , 2000, math/0002054.

[30]  L. Ratliff.  On prime divisors of $I^n,$ $n$ large. , 1976 .

[31]  M. Jonsson,et al.  Valuations and multiplier ideals , 2004, math/0406109.

[32]  D. Rees.  Rings associated with ideals and analytic spread , 1981, Mathematical Proceedings of the Cambridge Philosophical Society.

[33]  S. Itoh.  Integral closures of ideals generated by regular sequences , 1988 .

[34]  Nobuo Hara.  Geometric interpretation of tight closure and test ideals , 2001 .

[35]  Core of projective dimension one modules , 2002, math/0210072.

[36]  S. Goto.  Integral Closedness of Complete-Intersection Ideals , 1987 .

[37]  C. Huneke.  Hilbert functions and symbolic powers. , 1987 .

[38]  G. Thorbergsson.  Isoparametric foliations and their buildings , 1991 .

[39]  A. Seidenberg.  THE HYPERPLANE SECTIONS OF NORMAL VARIETIES , 1950 .

[40]  J. Verma.  Joint reductions of complete ideals , 1990, Nagoya Mathematical Journal.

[41]  Wolmer V. Vasconcelos,et al.  Divisorial Extensions and the Computation of Integral Closures , 2000, J. Symb. Comput..

[42]  S. Noh.  Adjacent integrally closed ideals in dimension two , 1993 .

[43]  jason howald.  Multiplier ideals of monomial ideals , 2000 .

[44]  D. Katz.  On the existence of maximal Cohen-Macaulay modules over $p$th root extensions , 1999 .

[45]  Henri Cohen,et al.  A course in computational algebraic number theory , 1993, Graduate texts in mathematics.

[46]  D. Rees.  a-Transforms of Local Rings and a Theorem on Multiplicities of Ideals , 1961, Mathematical Proceedings of the Cambridge Philosophical Society.

[47]  L. O'Carroll.  On two theorems concerning reductions in local rings , 1987 .

[48]  The determination of integral closures and geometric applications , 2003, math/0310467.

[49]  S. Cutkosky.  On Unique and Almost Unique Factorization of Complete Ideals , 1989 .

[50]  D. Rees.  Amao's Theorem and Reduction Criteria , 1985 .

[51]  Eero Hyry,et al.  A Briançon–Skoda Theorem for Isolated Singularities , 1998 .

[52]  R. Hübl,et al.  Derivations and the integral closure of ideals , 1999 .

[53]  M. Fiorentini.  On relative regular sequences , 1971 .

[54]  D. Rees.  Multiplicities, hilbert functions and degree functions , 1983 .

[55]  Joseph Lipman,et al.  Jacobian ideals and a theorem of Brian\c con-Skoda. , 1981 .

[56]  S. McAdam,et al.  The asymptotic Ass , 1979 .

[57]  P. Roberts.  Multiplicities and Chern Classes in Local Algebra: The Homological Conjectures , 1998 .

[58]  D. Rees,et al.  The Hilbert function of two ideals , 1957, Mathematical Proceedings of the Cambridge Philosophical Society.

[59]  Hans Grauert,et al.  Analytische k-Stellenalgebren , 1971 .

[60]  J. Sally,et al.  Extensions of valuations to the completion of a local domain , 1991 .

[61]  S. Itoh.  Coefficients of normal hilbert polynomials , 1992 .

[62]  A. V. Jayanthan,et al.  Fiber Cones of Ideals with Almost Minimal Multiplicity , 2002, Nagoya Mathematical Journal.

[63]  I. Swanson,et al.  Cores of Ideals in Two Dimensional Regular Local , 1987 .

[64]  J. Brennan,et al.  The Buchsbaum–Rim Polynomial of a Module☆ , 2001 .

[65]  W. Bruns,et al.  Cohen-Macaulay rings , 1993 .

[66]  R. Gilmer,et al.  On Pic(R[X]) for R seminormal , 1980 .

[67]  J. Sally,et al.  General elements and joint reductions. , 1988 .

[68]  S. Cutkosky.  On unique and almost unique factorization of complete ideals II , 1989 .

[69]  J. Elias.  Depth of Higher Associated Graded Rings , 2004 .

[70]  Teresa Krick,et al.  An Algorithm for the Computation of the Radical of an Ideal in the Ring of Polynomials , 1991, AAECC.

[71]  Bernard L. Johnston.  The higher-dimensional multiplicity formula associated to the length formula of hoskin and deligne , 1994 .

[72]  A. Seidenberg.  Derivations and integral closure , 1966 .

[73]  Specialization of integral dependence for modules , 1996, alg-geom/9610003.

[74]  S. Abhyankar.  SPLITTING OF VALUATIONS IN EXTENSIONS OF LOCAL DOMAIN II. , 1955, Proceedings of the National Academy of Sciences of the United States of America.

[75]  A generalized Dedekind-Mertens lemma and its converse , 2002, math/0210075.

[76]  Yukihide Takayama,et al.  Resolutions by mapping cones , 2001 .

[77]  J. Brennan,et al.  Effective normality criteria for algebras of linear type , 2004 .

[78]  Bernard Teissier,et al.  Clôture intégrale des idéaux et équisingularité , 2008 .

[79]  Robin Hartshorne,et al.  Algebraic geometry , 1977, Graduate texts in mathematics.

[80]  C. Huneke.  The theory of d-sequences and powers of ideals , 1982 .

[81]  Patrizia M. Gianni,et al.  Integral closure of Noetherian rings , 1997, ISSAC.

[82]  D. Katz.  A NOTE ON ASYMPTOTIC PRIME SEQUENCES , 1983 .

[83]  N. Mohan Kumar,et al.  On two conjectures about polynomial rings , 1978 .

[84]  C. Huneke.  Complete Ideals in Two-Dimensional Regular Local Rings , 1989 .

[85]  Anna Guerrieri,et al.  Estimates on the Depth of the Associated Graded Ring , 1999 .

[86]  D. Schaub.  Multiplicité et dépendance intégrale sur un idéal , 1975 .

[87]  P. Roberts.  The Homological Conjectures , 2022 .

[88]  A. Albert.  A Determination of the Integers of All Cubic Fields , 1930 .

[89]  W. Heinzer.  MINIMAL PRIMES OF IDEALS AND INTEGRAL RING EXTENSIONS , 1973 .

[90]  Shengli Tan.  Integral closure of a cubic extension and applications , 2001 .

[91]  On a non-vanishing conjecture of Kawamata and the core of an ideal , 2003, math/0301189.

[92]  Ngo Viet Trung.  Constructive Characterization of the Reduction Numbers , 2002 .

[93]  E. Kunz.  Characterizations of Regular Local Rings of Characteristic p , 1969 .

[94]  David A. Buchsbaum,et al.  A generalized Koszul complex. I , 1964 .

[95]  G. Stolzenberg,et al.  Constructive normalization of an algebraic variety , 1968 .

[96]  R. Hübl,et al.  Discrete valuations centered on local domains , 2001 .

[97]  Christer Lech.  On the associativity formula for multiplicities , 1957 .

[98]  R. Gilmer,et al.  Multiplicative ideal theory , 1968 .

[99]  O. Zariski.  Polynomial Ideals Defined by Infinitely Near Base Points , 1938 .

[100]  Martin Kreuzer,et al.  Computational Commutative Algebra 1 , 2000 .

[101]  D. Rees.  Hilbert Functions and Pseudo-Rational Local Rings of Dimension Two , 1981 .

[102]  S. Huckaba,et al.  Hilbert Coefficients and the Depths of Associated Graded Rings , 1997 .

[103]  The multiplicity of pairs of modules and hypersurface singularities , 2005, math/0509045.

[104]  M. Sakuma,et al.  Asymptotic Factorization of Ideals , 1963 .

[105]  A. Seidenberg.  Construction of the integral closure of a finite integral domain , 1970 .

[106]  Erwin Bo¨ger.  Eine verallgemeinerung eines multiplizita¨tensatzes von D. Rees , 1969 .

[107]  A. Thorup,et al.  A Geometric Theory of the Buchsbaum-Rim Multiplicity , 1994 .

[108]  Robert Lazarsfeld,et al.  Positivity in algebraic geometry , 2004 .

[109]  D. Eisenbud,et al.  Direct methods for primary decomposition , 1992 .

[110]  Erwin Böger.  Minimalitätsbedingungen in der Theorie der Reduktionen von Idealen , 1968 .

[111]  C. Huneke,et al.  Normal ideals in regular rings , 1999 .

[112]  M. Rossi.  A bound on the reduction number of a primary ideal , 1999 .

[113]  P. Roquette.  On the History of Valuation Theory , 1999 .

[114]  J. Verma.  On ideals whose adic and symbolic topologies are linearly equivalent , 1987 .

[115]  T. Gaffney.  Integral closure of modules and Whitney equisingularity , 1992 .

[116]  Rüdiger Achilles,et al.  Multiplicity for ideals of maximal analytic spread and intersection theory , 1993 .

[117]  R. Y. Sharp,et al.  On a Theorem of B. Teissier on Multiplicities of Ideals in Local Rings , 1978 .

[118]  Hartmut Göhner.  Semifactoriality and Muhly's condition (N) in two dimensional local rings , 1975 .

[119]  K. Smith.  The multiplier ideal is a universal test ideal , 2000 .

[120]  J. Stückrad,et al.  Integral Closure of Monomial Ideals on Regular Sequences , 2003 .

[121]  Integral closure of ideals and annihilators of homology , 2004, math/0401306.

[122]  Steven Dale Cutkosky,et al.  Resolution of Singularities , 2004 .

[123]  Günter Scheja.  Über ganz-algebraische Abhängigkeit in der Idealtheorie , 1970 .

[124]  R. Matsumoto.  On computing the integral closure , 2000 .

[125]  A. V. Jayanthan,et al.  Grothendieck–Serre formula and bigraded Cohen–Macaulay Rees algebras , 2002, math/0206192.

[126]  S. Takagi,et al.  When does the subadditivity theorem for multiplier ideals hold , 2002, math/0212340.

[127]  F-singularities of pairs and Inversion of Adjunction of arbitrary codimension , 2003, math/0305286.

[128]  Marshall Hall,et al.  On Integral Closure , 1954, Canadian Journal of Mathematics.

[129]  B. Teissier,et al.  Pseudorational local rings and a theorem of Brian\c con-Skoda about integral closures of ideals. , 1981 .

[130]  Karen E. Smith.  Tight closure of parameter ideals , 1994 .

[131]  D. Eisenbud,et al.  Evolutions, symbolic squares, and Fitting ideals. , 1995, alg-geom/9511008.

[132]  D. G. Northcott,et al.  Reductions of ideals in local rings , 1954, Mathematical Proceedings of the Cambridge Philosophical Society.

[133]  W. Vasconcelos.  Arithmetic of Blowup Algebras , 1994 .

[134]  L. Ratliff,et al.  Sporadic and irrelevant prime divisors , 1987 .

[135]  Integral Closures of Cohen-Macaulay Monomial Ideals , 2001, math/0112217.

[136]  C. Huneke,et al.  F-rational rings and the integral closures of ideals , 2001, math/0211329.

[137]  Completions of valuation rings , 2003, math/0310192.

[138]  M. Hochster,et al.  $F$-regularity, test elements, and smooth base change , 1994 .

[139]  I. Swanson.  A note on analytic spread , 1994 .

[140]  M. Sweedler.  When is the tensor product of algebras local , 1975 .

[141]  Joseph P. Brennan,et al.  Effective computation of the integral closure of a morphism , 1993 .

[142]  Paulo Ribenboim,et al.  The theory of classical valuations , 1999 .

[143]  M. Spivakovsky,et al.  VALUATIONS IN FUNCTION FIELDS OF SURFACES , 1990 .

[144]  David E. Rush.  The Dedekind-Mertens lemma and the contents of polynomials , 2000 .

[145]  L. O'Carroll.  A note on Artin-Rees Numbers , 1991 .

[146]  J. K. Verma.  On the symbolic topology of an ideal , 1988 .

[147]  CORE AND RESIDUAL INTERSECTIONS OF IDEALS , 2002, math/0210070.

[148]  D. Katz.  Generating ideals up to projective equivalence , 1994 .

[149]  ON F-PURE THRESHOLDS , 2003, math/0312486.

[150]  A. Knutson,et al.  Complete moduli spaces of branchvarieties , 2006, math/0602626.

[151]  Oscar Zariski,et al.  The Reduction of the Singularities of an Algebraic Surface , 1939 .

[152]  Joe Harris,et al.  The Geometry Of Schemes , 1992 .

[153]  Craig Huneke,et al.  Tight closure, invariant theory, and the Briançon-Skoda theorem , 1990 .

[154]  D. Katz.  Reduction criteria for modules , 1995 .

[155]  I. S. Cohen,et al.  Prime ideals and integral dependence , 1946 .

[156]  Patrick J. Morandi.  Field and Galois theory , 1996 .

[157]  D. Rees.  Valuations Associated with a Local Ring (II) , 1956 .

[158]  Joseph Lipman,et al.  Relative Lipschitz-Saturation , 1975 .

[159]  Complete ideals in algebra and geometry , 1992 .

[160]  Kyoji Saito,et al.  Quasihomogene isolierte Singularitäten von Hyperflächen , 1971 .

[161]  D. Rees.  Valuations Associated with Ideals (II) , 1956 .

[162]  S. Abhyankar.  On the Valuations Centered in a Local Domain , 1956 .

[163]  J. Lipman.  Rational singularities, with applications to algebraic surfaces and unique factorization , 1969 .

[164]  M. Brodmann,et al.  Asymptotic stability of ${\rm Ass}(M/I\sp{n}M)$ , 1979 .

[165]  S. Cutkosky.  Factorization of complete ideals , 1988 .

[166]  Masayoshi Nagata,et al.  Local Rings , 2022 .

[167]  M. Hochster,et al.  Infinite integral extensions and big Cohen-Macaulay algebras , 1992 .

[168]  W. Vasconcelos,et al.  On the integral closure of ideals , 1998 .

[169]  R. Remmert,et al.  Coherent Analytic Sheaves , 1984 .

[170]  O. Zariski,et al.  Resolution simultanee — II — Resolution simultanee et cycles evanescents , 1980 .

[171]  Cătălin Ciupercă.  First Coefficient Ideals and the S2-ification of a Rees Algebra , 2001 .

[172]  J. Verma.  Rees algebras and mixed multiplicities , 1988 .

[173]  J. Sally.  One-Fibered Ideals , 1989 .

[174]  M. Nagata.  An Example of Normal Local Ring which is Analytically Ramified , 1955, Nagoya mathematical journal.

[175]  J. Sally.  Cohen-Macaulay local rings of embedding dimension e + d − 2 , 1983 .

[176]  Mark Green,et al.  Restrictions of linear series to hyperplanes, and some results of Macaulay and Gotzmann , 1989 .

[177]  C. Huneke,et al.  A theorem of Briançon-Skoda type for regular local rings containing a field , 1996 .

[178]  D. Buchsbaum,et al.  A generalized Koszul complex , 1963 .

[179]  D. Katz.  Complexes acyclic up to integral closure , 1994, Mathematical Proceedings of the Cambridge Philosophical Society.

[180]  Zhongming Tang.  A note on the cohen-macaulayness of multi-rees rings , 1999 .

[182]  A. Seidenberg.  Construction of the integral closure of a finite integral domain. II , 1975 .

[183]  W. Heinzer,et al.  The ratliff-rush ideals in a noetherian ring , 1992 .

[184]  Wolmer V. Vasconcelos,et al.  Computing the integral closure of an affine domain , 1991 .

[185]  S. Maclane.  A construction for absolute values in polynomial rings , 1936 .

[186]  Melvin Hochster,et al.  Rings of Invariants of Tori, Cohen-Macaulay Rings Generated by Monomials, and Polytopes , 1972 .

[187]  J. Lipman.  On Complete Ideals in Regular Local Rings , 1988 .

[188]  Zhongming Tang,et al.  Reduction Numbers and Multiplicities of Multigraded Structures , 1997 .

[189]  Ðððòó¸º Ìýðóö,et al.  Monomial Ideals and the Computation of Multiplicities , 2001 .

[190]  E. Evans.  A generalization of Zariski’s main theorem , 1970 .

[191]  D. Kirby,et al.  Multiplicities in graded rings I: The general theory , 1994 .

[192]  S. Abhyankar.  Local uniformization on algebraic surfaces over ground fields of characteristic p ≠ 0 1 , 1956 .

[193]  Bernard L. Johnston,et al.  On the length formula of Hoskin and Deligne and associated graded rings of two-dimensional regular local rings , 1992, Mathematical Proceedings of the Cambridge Philosophical Society.

[194]  Karen E. Smith,et al.  Uniform approximation of Abhyankar valuation ideals in smooth function fields , 2002, math/0202303.

[195]  J. Leahy,et al.  The weak subintegral closure of an ideal , 1999 .

[196]  An Informal Introduction to Multiplier Ideals , 2003, math/0302351.

[197]  L. van den Dries,et al.  Bounds in the theory of polynomial rings over fields. A nonstandard approach , 1984 .

[198]  M. Sweedler.  A Units Theorem Applied to Hopf Algebras and Amitsur Cohomology , 1970 .

[199]  M. Reid,et al.  Commutative ring theory: Regular rings , 1987 .

[200]  L. Ratliff.  ON QUASI-UNMIXED LOCAL DOMAINS, THE ALTITUJDE FORMULA, AND THE CHAIN CONDITION FOR PRIME IDEALS, (I). , 1969 .

[201]  J. Lipman.  ON THE JACOBIAN IDEAL OF THE MODULE OF DIFFERENTIALS , 1969 .

[202]  Kazuhiro Yokoyama,et al.  Localization and Primary Decomposition of Polynomial Ideals , 1996, J. Symb. Comput..

[203]  W. Heinzer,et al.  Noetherian Domains Inside a Homomorphic Image of a Completion , 1999 .

[204]  J. Amao.  On a Certain Hilbert Polynomial , 1976 .

[205]  S. McAdam.  Asymptotic prime divisors , 1983 .

[206]  An interpretation of multiplier ideals via tight closure , 2001, math/0111187.

[207]  J. Lipman.  Proximity inequalities for complete ideals in two-dimensional regular local rings , 2022 .

[208]  M. Pohst.  Computational Algebraic Number Theory , 1993 .

[209]  S. McAdam.  Asymptotic prime divisors and analytic spreads , 1980 .

[210]  J. Sally.  FIBERS OVER CLOSED POINTS OF BIRATIONAL MORPHISMS OF NONSINGULAR VARIETIES , 1982 .

[211]  C. Huneke,et al.  An improved Briançon-Skoda theorem with applications to the Cohen-Macaulayness of Rees algebras , 1993 .

[212]  G. Valla.  On the Symmetric and Rees algebras of an ideal , 1979 .

[213]  Douglas A. Leonard,et al.  Integral closures and weight functions over finite fields , 2002, Proceedings IEEE International Symposium on Information Theory,.

[214]  Patrizia M. Gianni,et al.  Gröbner Bases and Primary Decomposition of Polynomial Ideals , 1988, J. Symb. Comput..

[215]  E. Hamann.  On the R-invariance of R[X]☆ , 1975 .

[216]  Jung-Chen Liu.  Ratliff-Rush Closures and Coefficient Modules , 1998 .

[217]  Vijay Kodiyalam.  Integrally closed modules over two-dimensional regular local rings , 1995 .

[218]  And the Integral Closure of Modules , 2005 .

[219]  R. Mohan.  The Core of a Module over a Two-Dimensional Regular Local Ring , 1997 .

[220]  W. Vasconcelos,et al.  On the complexity of the integral closure , 2004 .

[221]  Balanced Normal Cones and Fulton-MacPherson's Intersection Theory , 2005, math/0512632.

[222]  C. Huneke.  Uniform bounds in noetherian rings , 1992 .

[223]  R. Koch.  COMPUTING THE INTEGRAL CLOSURE OF AN AFFINE SEMIGROUP , 2004 .

[224]  I. Aberbach.  Finite Phantom Projective Dimension , 1994 .

[225]  M. Brodmann,et al.  Asymptotic Stability of Ass(M/I n M) , 1979 .

[226]  M. Artin.  On the joins of hensel rings , 1971 .

[227]  W. Vasconcelos,et al.  Codimension, multiplicity and integral extensions , 2001, Mathematical Proceedings of the Cambridge Philosophical Society.

[228]  A. Albert.  Normalized Integral Bases of Algebraic Number Fields I , 1937 .

[229]  J. Lipman.  Cohen-Macaulayness in graded algebras , 1994 .

[230]  Shin Ikeda,et al.  Equimultiplicity and blowing up , 1988 .

[231]  C. Huneke.  On the Symmetric and Rees Algebra of an Ideal Generated by a d-sequence , 1980 .

[232]  D. Eisenbud,et al.  What is the Rees algebra of a module , 2002, math/0209187.