Arxiv:1806.07522V2 [Math.AC] 22 May 2019 of Fsnuaiiso Leri Aite.Re [ Rees Varieties

Total Page:16

File Type:pdf, Size:1020Kb

Arxiv:1806.07522V2 [Math.AC] 22 May 2019 of Fsnuaiiso Leri Aite.Re [ Rees Varieties TIGHT CLOSURE OF POWERS OF IDEALS AND TIGHT HILBERT POLYNOMIALS KRITI GOEL, VIVEK MUKUNDAN, AND J. K. VERMA Abstract. Let (R, m) be an analytically unramified local ring of positive prime characteristic p. ∗ ∗ For an ideal I, let I denote its tight closure. We introduce the tight Hilbert function HI (n) = n ∗ ∗ ℓ(R/(I ) ) and the corresponding tight Hilbert polynomial PI (n), where I is an m-primary ideal. It ∗ is proved that F -rationality can be detected by the vanishing of the first coefficient of PI (n). We find the tight Hilbert polynomial of certain parameter ideals in hypersurface rings and Stanley-Reisner rings of simplicial complexes. 1. Introduction Let (R, m) be a d-dimensional Noetherian local ring and I be an m-primary ideal. Let I be n n the integral closure of I. The Rees algebra of I is denoted by R(I) = ⊕n∈ZI t where t is an −1 n n indeterminate. The integral closure of R(I) in R[t,t ] is R(I) = ⊕n∈ZI t . We use ℓ(M) to denote the length of an R-module M. David Rees [14] showed that if R is analytically unramified then R(I) is a finite module over R(I). This implies that for all large n, the normal Hilbert function n of I, HI (n)= ℓ(R/I ) is a polynomial of degree d. This is called the normal Hilbert polynomial of I and it is denoted by P I (n). We write n + d − 1 n + d − 2 P (n)= e (I) − e (I) + · · · + (−1)de (I). I 0 d 1 d − 1 d Here e0(I) = e(I), the multiplicity of I and the coefficients ei(I) for i = 0, 1,...,d are called the normal Hilbert coefficients of I. The normal Hilbert coefficients play an important role in the study of singularities of algebraic varieties. Rees [15] proved that if (R, m) is a 2-dimensional analytically arXiv:1806.07522v2 [math.AC] 22 May 2019 unramified normal local ring then it is pseudo-rational if and only if e2(I) = 0 for all m-primary ideals I of R. Shiroh Itoh [9] proved that if R is Cohen-Macaulay and analytically unramified, then e3(I) ≥ 0. Moreover, if R is Gorenstein and I is generated by a regular sequence so that I = m, then e3(I) = 0 if and only if r(I) ≤ 2. Here r(I) = min{n | IIn = In+1}. The integer r(I) is called the normal reduction number of I. Itoh [9] proved that if r(I) ≤ 2, then R(I) is Cohen-Macaulay. He The first author is supported by a UGC fellowship, Govt. of India. Key words and phrases: Tight closure of powers of ideals, Hilbert polynomial, tight Hilbert polynomial, diagonal hypersurface ring, Stanley-Reisner ring, the HIp condition. 2010 AMS Mathematics Subject Classification: Primary: 13A35, 13D40, Secondary: 13F55, 13H10. 2 KRITI GOEL, VIVEK MUKUNDAN, AND J. K. VERMA conjectured that if e3(I) = 0, then r(I) ≤ 2. This is known in some cases [2], [10], however, it remains open in the general case. Now let R have prime characteristic p> 0. Let I∗ denote the tight closure of I. Then I ⊂ I∗ ⊂ I. If (R, m) is analytically unramified, then the filtration {(In)∗} is also I-admissible, i.e., the Rees ∗ n ∗ n algebra R (I) = ⊕n∈Z(I ) t is a finite R(I)-module. Therefore, the tight Hilbert function of I, ∗ n ∗ namely, HI (n)= ℓ(R/(I ) ) is a polynomial of degree d for large n. We call this polynomial as the ∗ tight Hilbert polynomial of I and denote it by PI (n). We write the tight Hilbert polynomial as n + d − 1 n + d − 2 P ∗(n)= e(I) − e∗(I) + · · · + (−1)de∗(I). I d 1 d − 1 d One of the main objectives of this paper is to initiate a study of the tight Hilbert polynomial since preliminary results obtained in this paper indicate its close connection with F -singularities. Recall that R is called an F -rational local ring if ideals of principal class in R are tightly closed. We show that if R is a Cohen-Macaulay analytically unramified local ring, then R is F -rational if ∗ and only if e1(I) = 0 for some parameter ideal I of R. It is, therefore, reasonable to expect that the other coefficients of the tight Hilbert polynomial of I may have a close connection with the properties of R. We, therefore, calculate the tight Hilbert polynomial of parameter ideals in certain hypersurface rings and Stanley-Reisner rings of simplicial complexes. Here is a summary of the contents of the paper. In section 2, we set the notation and recall certain definitions and results needed in later sections. In section 3, we introduce the condition HIp. Definition 1.1. Let R be a d-dimensional Noetherian local ring. Let I be an ideal generated by an R-regular sequence. An I-admissible filtration F = {In} is said to satisfy the condition HIp if for all n ≥ p, n−p n−p In+1 ∩ I = Ip+1I . n Let R(F) denote the Rees algebra ⊕n∈ZInt of the filtration F = {In}. Suppose I = (x1,...,xd), −1 where x1,...,xd is an R-regular sequence and let J = (t ,x1t,...,xdt) be an R(I)-ideal. Itoh n 2 proved that for the I-admissible filtration F = {I }, vanishing of HJ (R(F))0 implies the inter- section theorem In+1 ∩ In = InI, for all n ≥ 1. Let r(F) denote the reduction number of the filtration F. We find a formula of the Hilbert-Samuel polynomial of an I-admissible filtration F which satisfies the condition HIp, for all p ≤ r(F) − 2. Theorem 1.2. Let R be a d-dimensional Cohen-Macaulay Noetherian local ring and I be an ideal generated by an R-regular sequence. Let F = {In} be an I-admissible filtration. If F satisfies the condition HIp, for p ≤ r = r(F) − 2, then for all i = 1,...,d, ∞ k Ik+1 ei(F)= ℓ . i − 1 IIk k i X= −1 TIGHT CLOSURE OF POWERS OF IDEALS AND TIGHT HILBERT POLYNOMIALS 3 Let (R, m)bea d-dimensional analytically unramified local ring and let I be an m-primary ideal. ∗ n ∗ ∗ In section 4, we prove that for large n, HI (n)= ℓ(R/(I ) ) is a polynomial, PI (n), of degree d and with coefficients in Q. We shall prove: Theorem 1.3. Let (R, m) be a d-dimensional analytically unramified Cohen-Macaulay local ring ∗ with positive prime characteristic p. Then R is F -rational if and only if e1(I) = 0, for some parameter ideal I. We shall prove that in positive prime characteristic p, the Huneke-Itoh intersection theorem is indeed true for tight closure filtration of a complete intersection. Proposition 1.4. Let R be a Noetherian ring and I be an ideal generated by a regular sequence. Then for all n ≥ 1, In ∩ (In+1)∗ = InI∗. The above proposition for tight closures of powers of I will enable us to find the tight Hilbert polynomial of I when the tight reduction number is at most two. In section 5, we calculate the tight Hilbert polynomial in diagonal hypersurface rings. Let R = F[[X, Y, Z]]/(XN + Y N + ZN ), where N ≥ 2 and F is an infinite field of characteristic p and p ∤ N. Let x,y,z denote the images of X, Y, Z respectively in R. Let I = (y, z) and m = (x,y,z). We show that if N = 2, then R is F -rational and if N ≥ 3, then for all k ≥ 1, (Ik)∗ = mk+1 + Ik and the tight reduction number of I, r∗(I)= N − 2. In section 6, we calculate tight closure of power product of ideals generated by linear systems of parameters in Stanley-Reisner rings of simplicial complexes. Let ∆ be a (d − 1)-dimensional simplicial complex on n vertices and k be a field of char p> 0. Then R = k[∆] = k[X1,...,Xn]/I∆ is a d-dimensional ring. Let x1,...,xn denote the images of X1,...,Xn respectively in R, m = (x1,...,xn) be the unique maximal homogeneous ideal of k[∆] and I1,...,Ig be ideals generated by linear systems of parameters. Let s1,s2,...,sg ∈ N. We prove that s s s1 s2 g s1 s2 g ∗ ms1+s2+···+sg I1 I2 · · · Ig = (I1 I2 · · · Ig ) = . Let h(∆) = (h0, h1,...,hd) denote the h-vector of k[∆]. The Hilbert series of R is of the form h + h λ + · · · + h λd H(k[∆], λ)= 0 1 d . (1 − λ)d d (i) Set h(λ)= h0 + h1λ + · · · + hdλ . Let h (λ) denote the i-th derivative of h(λ) with respect to λ. Let s1,s2,...,sg ∈ N with s1 + s2 + · · · + sg = n +1. Then d R R h(i)(1) n + d − i ℓ = ℓ = (−1)i . s1 s2 sg ∗ mn+1 i! d − i (I1 I2 · · · Ig ) i X=0 4 KRITI GOEL, VIVEK MUKUNDAN, AND J. K. VERMA ∗ s1 s2 sg In particular, ed(I1 I2 · · · Ig )= hd, for any s1,s2,...,sg ∈ N. We generalize a theorem of Rees [15] for Stanley-Reisner rings. Recall that for a simplicial complex ∆ with f-vector f(∆) = (f−1,f0,...,fd−1), the Euler characteristic of ∆ is denoted by d−1 χ(∆) = f0 − f1 + · · · + (−1) fd−1. The simplicial complex ∆ is said to be Eulerian if χ(∆) = 1. Set S = (s1,s2,...,sd), Si = Si sj si−1 (s1,...,si−1,si − 1,si+1,...,sd) and I = ( j6=i Ij )Ii , for all i = 1, 2,...,d.
Recommended publications
  • Foundations of Tight Closure Theory
    FOUNDATIONS OF TIGHT CLOSURE THEORY by Melvin Hochster These notes give an introduction to tight closure theory based on Lectures given in Math 711 in Fall, 2007, at the University of Michigan. In the current version, only the positive characteristic theory is covered. There are several novel aspects to this treatment. One is that the theory for all modules, not just finitely generated modules, is developed systematically. It is shown that all the known methods of proving the existence of test elements yield completely stable test elements that can be used in testing tight closure for all pairs of modules. The notion of strong F-regularity is developed without the hypothesis that the ring be F-finite. The definition is simply that every submodule of every module is closed, without the hypothesis of finite generation. This agrees with the usual definition in the F-finite case, which is developed first in these notes. A great deal of revision and expansion are planned. The structure of the individual lectures has been preserved. References often refer to a result as, say, \the Theorem on p. k of the Lecture of ::: ". The page numbering meant is internal to the lecture and is not shown explicitly. Thus, if the Lecture begins on p. n, the result specified would be on page n + k − 1. I have not tried to give complete references. When references are given, they occur in full in the text where they are cited. At this time there is no separate list. j Subsidiary material has been included in the notes that was not covered in detail in the lectures.
    [Show full text]
  • Arxiv:Math/0206250V2
    CANONICAL BIG COHEN-MACAULAY ALGEBRAS AND RATIONAL SINGULARITIES HANS SCHOUTENS Abstract. We give a canonical construction of a balanced big Coh- en-Macaulay algebra for a domain of finite type over C by taking ul- traproducts of absolute integral closures in positive characteristic. This yields a new tight closure characterization of rational singularities in characteristic zero. 1. Introduction In [4], Hochster proves the existence of big Cohen-Macaulay modules for a large class of Noetherian rings containing a field. Recall that a module M over a Noetherian local ring R is called a big Cohen-Macaulay module, if there is a system of parameters of R which is M-regular (the adjective big is used to emphasize that M need not be finitely generated). He also exhibits in that paper the utility of big Cohen-Macaulay modules in answering various homo- logical questions. Often, one can even obtain a big Cohen-Macaulay module M such that every system of parameters is M-regular; these are called bal- anced big Cohen-Macaulay modules. In [5], Hochster and Huneke show that for equicharacteristic excellent local domains, one can even find a bal- anced big Cohen-Macaulay algebra, that is to say, M admits the structure of a (commutative) R-algebra. In fact, for R a local domain of positive charac- teristic, they show that the absolute integral closure of R, denoted R+, is a (balanced) big Cohen-Macaulay algebra (it is easy to see that this is false in characteristic zero). In [6], using lifting techniques similar to the ones devel- oped in the original paper of Hochster, they obtain also the existence of big Cohen-Macaulay algebras in characteristic zero.
    [Show full text]
  • [Math.AC] 3 Feb 2005
    LOCALIZATION OF TIGHT CLOSURE IN TWO-DIMENSIONAL RINGS KAMRAN DIVAANI-AAZAR AND MASSOUD TOUSI Abstract. It is shown that tight closure commutes with localization in any two dimensional ring R of prime characteristic if either R is a Nagata ring or R pos- sesses a weak test element. Moreover, it is proved that tight closure commutes with localization at height one prime ideals in any ring of prime characteristic. 1. Introduction Throughout this paper, R is a commutative Noetherian ring (with identity) of prime characteristic p. The theory of tight closure was introduced by Hochster and Huneke [2]. There are many applications for this notion in both commutative algebra and algebraic geometry. However, there are many basic open questions concerning tight closure. One of the essential questions is whether tight closure commutes with localization. For an expository account on tight closure, we refer the reader to [3] or [8]. In the sequel, R◦ denotes the set of elements of R which are not contained in any minimal prime ideal of R. We use the letter q for nonnegative powers pe of p. Let I be an ideal of R and I[q] the ideal generated by q-th powers of elements of I. Then I∗, tight closure of I is the set of all elements x ∈ R for which there exists c ∈ R◦ such that cxq ∈ I[q] for all q ≫ 0. Also, for a nonnegative power q′ of p an element c ∈ R◦ is called q′-weak test element, if for any ideal I of R and any element x ∈ I∗, we have cxq ∈ I[q] for all q ≥ q′.
    [Show full text]
  • Tight Closure and Characteristic P Methods
    TIGHT CLOSURE THEORY AND CHARACTERISTIC P METHODS by Melvin Hochster 0. Introduction Unless otherwise specified, the rings that we consider here will be Noetherian rings R containing a field. Frequently, we restrict, for simplicity, to the case of domains finitely generated over a field K. The theory of tight closure exists in much greater generality, and we refer the reader to [HH1{14] and [Ho1{3], as well as to the expository accounts [Bru], [Hu1,2] and [Leu] (in this volume) for the development of the larger theory and its applications as well as discussion of related topics such as the existence of big Cohen- Macaulay algebras. We shall give an introductory overview of the theory of tight closure, which has recently played a primary role among characteristic p methods. We shall see that such methods can be used even when the ring contains a field of characteristic 0. Here, in reverse order, are several of the most important reasons for studying tight closure theory, which gives a closure operation on ideals and on submodules. We focus mostly on the case of ideals here, although there is some discussion of modules. We shall elaborate on the themes brought forth in the list below in the sequel. 11. Tight closure can be used to shorten difficult proofs of seemingly unrelated results. The results turn out to be related after all. Often, the new results are stronger than the original results. 10. Tight closure provides algebraic proofs of several results that can otherwise be proved only in equal characteristic 0, and whose original proofs depended on analytic tech- niques.
    [Show full text]
  • Introduction
    Introduction These notes were written to accompany my ten lectures on tight closure at the Institute for Studies in Theoretical Physics and Mathematics (IPM), School of Mathematics, in Tehran, Iran, in January 2002. The participants ranged from researchers with knowledge in tight closure to graduate students new to tight closure and research in general. My goal was to introduce the theory of tight closure and show its utility and beauty through both its early and its recent applications. I worked through some more technical aspects of tight closure, for example test elements, because the theory of test elements is central to many applications, and furthermore, because it uses and develops some beautiful commutative algebra. Throughout I tried to emphasize the beauty of the commutative algebra as developed through tight closure, as well as the need to understand various aspects of commutative algebra to work in the area of tight closure (such as the need to understand excellent rings, Cohen-Macaulay rings, asymptotic properties of (Frobenius) powers of ideals, local cohomology, homology theory, etc.). All this of course points to the depth and the acuity of the two originators of the theory, namely of Melvin Hochster and Craig Huneke. They started the theory in the mid 1980s. They took several standing proofs in commu- tative algebra, such as the proofs of the homological conjectures-theorems, the proof of Hochster and Roberts [HR1] that the ring of invariants of a re- ductive group acting on a polynomial ring is Cohen-Macaulay, and Huneke's proof [Hu1] about integral closures of the powers of an ideal, and from these standing proofs Hochster and Huneke pulled the essential ingredients to de- fine a new notion.
    [Show full text]
  • Tight Closure and Elements of Small Order in Integral Extensions*
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Pure and Applied Algebra 71 (1991) 233-247 233 North-Holland Tight closure and elements of small order in integral extensions* Melvin Hochster Mathematics Department, University of Michigan, Awt Arbor, MI 48109-1003, USA Craig Huneke Mathematics Department, Purdue university, West Lafayette, IN 47907, USA Communicated by T. Hibi Received 7 September 1989 Dedicated to Professor Hideyuki Matsumura on his sixtieth birthday 1. Introduction Throughout this paper ‘ring’ means commutative ring with identity and modules are unital. Given rings are usually assumed to be Noetherian, but there are notable exceptions. The phrase ‘characteristic p’ always means ‘positive prime characteristic p’, and the letters q, q’, etc. denote pe, p”, etc., where e, e’ E N, the nonnegative integers. The authors have recently introduced the notion of tight closure for a sub- module N of a finitely generated module M over a Noetherian ring R of characteristic p and in certain equicharacteristic zero cases, including affine algebras over fields of characteristic 0. The theory started with the study of the notion of tight closure for an ideal I c R, i.e. with the case M = R, N = I,and this is still perhaps the most important case. The notion of tight closure has yielded new proofs, and, in many instances, unexpectedly strong improvements, of the local homological conjectures, of the existence of big Cohen-Macaulay modules, of the Cohen-Macaulay property for subrings which are direct summands of regular rings (where A is a direct summand of R means that A is a direct summand of R as an A-module) in the equicharacteristic case (in fact, tight closure techniques give the first proof of this fact in complete generality in the * Both authors were partially supported by grants from the National Science Foundation.
    [Show full text]
  • Tight Closure Does Not Commute with Localization
    ANNALS OF MATHEMATICS Tight closure does not commute with localization By Holger Brenner and Paul Monsky SECOND SERIES, VOL. 171, NO. 1 January, 2010 anmaah Annals of Mathematics, 171 (2010), 571–588 Tight closure does not commute with localization By HOLGER BRENNER and PAUL MONSKY Abstract We give an example showing that tight closure does not commute with localiza- tion. Introduction At the outset of Chapter 12 of [15], Huneke declares: “This chapter is devoted to the most frustrating problem in the theory of tight closure. From the first day it was clearly an important problem to know that tight closure commutes with localization.” The reason for Huneke’s frustration in establishing the result is now clear. It is not always true, and our paper provides the first counterexample. We recall the notion of tight closure, which was introduced by M. Hochster and C. Huneke some twenty years ago and is now an important tool in commutative algebra (see [13], [15], [16]). Suppose that R is a commutative noetherian domain containing a field of positive characteristic p > 0. Then the tight closure of an ideal I is defined to be I f R there exists t 0 such that tf q I Œq for all q pe : D f 2 W ¤ 2 D g Here I Œq .f q f I/ is the ideal generated by all f q, f in I . The localization D W 2 problem is the following: suppose that S R is a multiplicative system and I is 1 1 Â 1 1 an ideal of R.
    [Show full text]
  • Arxiv:1909.05739V3 [Math.AC] 22 Apr 2021 31,13C60
    CLOSURE-INTERIOR DUALITY OVER COMPLETE LOCAL RINGS NEIL EPSTEIN AND REBECCA R.G. Abstract. We define a duality operation connecting closure operations, interior operations, and test ideals, and describe how the duality acts on common constructions such as trace, torsion, tight and integral closures, and divisible submodules. This generalizes the relationship between tight closure and tight interior given in [ES14] and allows us to extend commonly used results on tight closure test ideals to operations such as those above. Contents 1. Introduction 1 2. Submodule selectors and residual operations 3 3. Duality between submodule selectors 8 4. Closure-interior duality 10 5. Test ideals for preradicals 11 6. Exactness properties for preradicals 14 7. Limits of submodule selectors 15 8. Special cases: trace, torsion, completion, and module closures 18 9. Special cases: torsion and divisibility for a multiplicative set 25 10. Special case: tight closure and integral closure 27 11. Special case: almost ring theory, Heitmann closures and post-2016 mixed characteristic closures 29 12. Good localization is dual to good colocalization 31 Acknowledgment 33 References 34 arXiv:1909.05739v3 [math.AC] 22 Apr 2021 1. Introduction Closure operations have long been an important subject in commutative algebra (c.f. the first named author’s survey [Eps12]). Many of these clo- sures, including tight closure, are residual, i.e., the closure of a submodule Date: April 22, 2021. 2010 Mathematics Subject Classification. Primary: 13J10, Secondary: 13A35, 13B22, 13C12, 13C60. Key words and phrases. closure operation, test ideal, interior operation, trace, torsion, tight closure, integral closure, Matlis duality, complete local rings.
    [Show full text]
  • The Mathematical Contributions of Craig Huneke
    Journal of Algebra 571 (2021) 1–14 Contents lists available at ScienceDirect Journal of Algebra www.elsevier.com/locate/jalgebra Introduction ✩ The mathematical contributions of Craig Huneke ✩ The research of the authors was supported by grants from the National Science Foundation: DMS 1902116 (Hochster) and DMS 1802383 (Ulrich). https://doi.org/10.1016/j.jalgebra.2020.05.009 0021-8693/© 2020 Elsevier Inc. All rights reserved. 2 Introduction This issue of the Journal of Algebra grew out of a conference honoring Craig Huneke on the occasion of his sixty-fifth birthday, and the special editorial board for this issue coincides with the organizing committee for that conference. The contributors to this volume have a large overlap with the speakers at the conference, but the correspondence is far from exact. During the conference, the authors of this introduction gave a joint talk highlighting some of the work of Craig Huneke. We have included here a version of what was said at the conference, but have supplemented it with additional remarks on Huneke’s work and his enormous influence on the field of commutative algebra. We want to mention right away that Huneke has published over one hundred sixty papers with more than sixty co-authors. He has written two books and he has been an editor for four volumes. He has had twenty-five graduate students with another in progress. This does not take account of a huge number of mentees and colleagues who have benefited from his enormous generosity in sharing insight and ideas. Huneke received his Bachelor of Arts degree from Oberlin College in 1973 and his Ph.D.
    [Show full text]
  • Arxiv:2101.00365V3 [Math.AC] 1 Feb 2021
    GENERALIZED F -DEPTH AND GRADED NILPOTENT SINGULARITIES KYLE MADDOX AND LANCE EDWARD MILLER Abstract. We study generalized F -depth and F -depth, depth-like invariants associated to the canonical Frobenius action on the local cohomology modules of a local ring of prime characteristic. These invariants are naturally associated to the singularity types generalized weakly F -nilpotent and weakly F -nilpotent, which have uniform behavior among the Frobenius closure of all parameter ideals simultaneously. By developing natural lower bounds on these invariants, we are able to provide sufficient conditions which produce broad classes of rings that have these singularity types, including constructions like gluing schemes along a common subscheme, Segre products of graded rings, and Veronese subrings of graded rings. We further analyze upper bounds on Frobenius test exponents of these constructions in terms of the input data. 1. Introduction In this paper we introduce and study generalized F -depth, a depth-like invariant inspired by Lyubeznik’s F -depth. Given a local or graded ring of prime characteristic, these F -depth and generalized F -depth track the degree to which the canonical Frobenius action on the local cohomology modules is nilpotent under composition. Moreover, these invariants are naturally associated to singularity types called weakly F -nilpotent and generalized weakly F -nilpotent singularities as outlined below. The first of these is a weak form of F -nilpotent singularities, which were studied by Blickle in [Bli01] and formally introduced by Srinivas-Takagi in [ST17]. Recently, there has been a significant growing body of literature exploring the properties of these singularity types, see [ST17, PQ19, Quy19, Mad19, KMPS].
    [Show full text]
  • Progress in Commutative Algebra 2
    Progress in Commutative Algebra 2 Progress in Commutative Algebra 2 Closures, Finiteness and Factorization edited by Christopher Francisco Lee Klingler Sean Sather-Wagstaff Janet C. Vassilev De Gruyter Mathematics Subject Classification 2010 13D02, 13D40, 05E40, 13D45, 13D22, 13H10, 13A35, 13A15, 13A05, 13B22, 13F15 An electronic version of this book is freely available, thanks to the support of libra- ries working with Knowledge Unlatched. KU is a collaborative initiative designed to make high quality books Open Access. More information about the initiative can be found at www.knowledgeunlatched.org This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivs 4.0 License. For details go to http://creativecommons.org/licenses/by-nc-nd/4.0/. ISBN 978-3-11-027859-0 e-ISBN 978-3-11-027860-6 Library of Congress Cataloging-in-Publication Data A CIP catalog record for this book has been applied for at the Library of Congress. Bibliographic information published by the Deutsche Nationalbibliothek The Deutsche Nationalbibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data are available in the Internet at http://dnb.dnb.de. ” 2012 Walter de Gruyter GmbH & Co. KG, Berlin/Boston Typesetting: Da-TeX Gerd Blumenstein, Leipzig, www.da-tex.de Printing: Hubert & Co. GmbH & Co. KG, Göttingen ϱ Printed on acid-free paper Printed in Germany www.degruyter.com Preface This collection of papers in commutative algebra stemmed out of the 2009 Fall South- eastern American Mathematical Society Meeting which contained three special ses- sions in the field: Special Session on Commutative Ring Theory, a Tribute to the Memory of James Brewer, organized by Alan Loper and Lee Klingler; Special Session on Homological Aspects of Module Theory, organized by Andy Kustin, Sean Sather-Wagstaff, and Janet Vassilev; and Special Session on Graded Resolutions, organized by Chris Francisco and Irena Peeva.
    [Show full text]
  • Tight Closure: Applications and Questions
    TIGHT CLOSURE: APPLICATIONS AND QUESTIONS ANURAG K. SINGH These notes are based on five lectures at the The 4th Japan-Vietnam Joint Seminar on Commutative Algebra, that took place at Meiji University in February 2009. For the most part, each of the sections below is independent of the others. I would like to thank the organizers and participants for the invitation, and for their warmth and hospitality. 1. Magic Squares A magic square is a matrix with nonnegative integer entries such that each row and each column has the same sum, called the line sum. Let Hn(r) be the number of n n magic squares with line sum r. Then × n x/2 Hn(2)x e Hn(0) = 1 , Hn(1) = n! , and = ; (n!)2 √1 x Xn>0 − the first two formulae are elementary, and the third was proved by Anand, Dumir, and Gupta [ADG] . On the other hand, viewing Hn(r) as a function of r > 0, one has r +4 r +3 r +2 H (r)=1 , H (r)= r +1 , H (r)= + + . 1 2 3 4 4 4 Once again, the first two are trivial, keeping in mind that H2(r) counts the matrices i r i − for 0 6 i 6 r . r i i − The formula for H (r) may be found in MacMahon [MaP, 407]; we will compute it 3 § here in Example 1.2. It was conjectured in [ADG] that the function Hn(r) agrees with a degree (n 1)2 polynomial in r for all integers r > 0. This—and more—was proved by Stanley [St1];− see also [St2, St3].
    [Show full text]