DOCSLIB.ORG

Arxiv:2101.00365V3 [Math.AC] 1 Feb 2021

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read 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]. Throughout the introduction, we loosely refer to these three classes of singularities as nilpotent singularities. d It is well-known that, for a local ring (R, m) of dimension d, the Frobenius action on Hm(R) is never nilpotent. In d fact, observations in early work of Smith [Smi97] already showed the elements of Hm(R) nilpotent under Frobenius ∗ d must be contained in the proper submodule 0 d , the tight closure of 0 in Hm(R). As the Frobenius action on Hm(R) the lower local cohomology modules is possibly nilpotent, a local ring R is called weakly F -nilpotent if the canonical Frobenius action on each lower local cohomology module is nilpotent. A weakly F -nilpotent ring is F -nilpotent if, ∗ in addition, the Frobenius action restricted to 0 d is nilpotent. It is easy to verify that F -rational singularities Hm(R) are F -nilpotent, the converse holding if the ring in question is also F -injective. There are significant connections between F -nilpotent singularities and vanishing of Hodge-type filtrations outlined in [ST17], which is naturally related to the weak ordinarity conjecture. In [Quy19], Quy shows that weakly F -nilpotent local rings have finite Frobenius test exponents. This is a uniform exponent which checks membership inside the Frobenius closure of each parameter ideal of the ring simultaneously. arXiv:2101.00365v3 [math.AC] 1 Feb 2021 One cannot hope to obtain an exponent that works for all ideals, see [Bre06] and [KS06]. Generalizing [Quy19], the first named author introduced generalized weakly F -nilpotent rings in [Mad19] as those for which the submodule of each lower local cohomology module consisting of elements annihilated by a large iterate of the Frobenius action has finite colength. These singularities are the widest known class to admit a finite Frobenius test exponent. Our approach is based on a natural analogy between Cohen-Macaulay rings and weakly F -nilpotent rings, initiated in work of Lyubeznik [Lyu06] and highlighted by the above listed works on nilpotent singularities. In particular, we study similarities between ordinary depth and Lyubeznik’s F -depth to codify that weakly F -nilpotent singularities are analogous to Cohen-Macaulay singularities. Indeed, weakly F -nilpotent singularities are Cohen- Macaulay after applying the Lyubeznik functor; thus rings enjoying these conditions share many properties in common. Just as a Cohen-Macaulay ring is one of full depth, a weakly F -nilpotent ring is one of full F -depth. To complete the picture, we introduce generalized F -depth, and recognize a generalized weakly F -nilpotent ring as one of full generalized F -depth. Date: February 1, 2021. 1 2 KYLE MADDOX AND LANCE EDWARD MILLER Important applications come from theorems we prove about F -depth and generalized F -depth. In particular, we are able to provide ample sufficient conditions to ensure standard constructions in the local and graded setting produce rings with nilpotent singularities. Thus far, no systematic framework for such constructions is present in the literature. This makes the study of nilpotent singularities much less developed than other, more well-studied, F -singularity types. As these singularities are inextricably connected to deep conjectures and important concepts in tight closure, it is of critical value to have suitable classes of examples to study in detail. In the body of the paper, stronger forms of the results explained below are provided, in technical terms, as lower bounds on either F -depth or generalized F -depth. These sharper statements establish the importance in recasting questions about nilpotent singularities as statements about controlling these depth parameters; thereby strengthening the valuable analogy between weakly F -nilpotent and Cohen-Macaulay singularities. We present in the introduction however, a summary of only the results pertinent to constructing rings with nilpotent singularities. To avoid technicalities, we retain for the rest of the introduction that k denotes a perfect field of prime characteristic. The first of our results concerns gluing two schemes together along a common subscheme. It is natural to expect that if the schemes involved have nilpotent singularities, there should be simple conditions to ensure the gluing also has nilpotent singularities. In particular, we provide a nilpotent version of a result of Schwede, see [Sch09, Prop. 4.8], which concerns gluing F -injective, Cohen-Macaulay singularities. We obtain gluing results for weakly F -nilpotent and generalized weakly F -nilpotent singularities, as well as the following result for F -nilpotent singularities. Theorem 1. (Theorem 3.4) If (R, m, k) is a local ring with ideals a and a so that dim R/(a a ) = dim(R/a )= 1 2 1 ∩ 2 1 dim(R/a2) = dim R/(a1 + a2)+1, and R/a1 and R/a2 are F -nilpotent and R/(a1 + a2) is weakly F -nilpotent, then R/a a is F -nilpotent. 1 ∩ 2 We then turn our attention to graded Frobenius actions and graded nilpotent singularities. In particular, we analyze how F -depth and generalized F -depth behave under taking Segre products and Veronese subrings of graded rings. Graded modules with Frobenius actions are well studied from the point of view of Lyubeznik’s -modules, see [Bli01, LSW16] and references therein. The full framework of -modules is not needed for our considerations,F which simplifies the statements and applications in our approach.F Furthermore, careful study of the Hartshorne- Speiser-Lyubeznik numbers are needed to obtain effective bounds on Frobenius test exponents, and this information is lost in the context of -modules. The novelty of working with graded rings and graded Frobenius actions is that one obtains a natural FrobeniusF action on the degree 0 part of a graded module with Frobenius action. This degree 0 part controls much of the story for graded nilpotence and is important for studying graded nilpotent singularities. We call a module nilpotent in degree 0 provided this natural action on the degree 0 part is nilpotent. Theorem 2. (Corollary 4.11 and Theorem 4.14) Suppose R and S are graded rings of depth at least two and dimensions dR and dS respectively, both with degree 0 part k. Set T = R#S the Segre product. If R and S are dR generalized weakly F -nilpotent, so is T . If we further assume R and S are weakly F -nilpotent and HmR (R) and dS HmS (S) are nilpotent in degree 0, then T is weakly F -nilpotent. To further demonstrate these applications, we establish that an interesting class of well-known Segre products are weakly F -nilpotent. The singularities of Segre products of elliptic curves and the projective line are essentially the simplest normal non-Cohen-Macaulay domains of dimension 3, c.f., the example at the end of Section 5 [Lyu06]. Replacing the elliptic curve by a general Fermat hypersurface of degree d, we find that a certain class are not that far off from being Cohen-Macaulay under the analogy described above. Theorem 3. (Theorem 4.18) Let d 1 and p the characteristic of k. Set S = k[u, v] and consider the Fermat d ≥ d d hypersurface R = k[x0,...,xn]/(x0 + + xn−1 xn) with p > d and n 2. If p 1 mod d, then the Segre product R#S is weakly F -nilpotent. ··· − ≥ ≡ − Concerning Veronese subrings, we show that the nilpotence of the local cohomology modules descends from a graded ring to all of its Veronese subrings, and in particular if R is (generalized) weakly F -nilpotent, so is S. We utilize this to provide a nilpotent version of a theorem of Singh, [Sin00, Prop. 3.1], concerning how F -rational singularities behave under taking Veronese subrings. Theorem 4. (Theorem 4.20) Suppose R is a graded ring of dimension d and degree 0 part k. If R is F -nilpotent on the punctured spectrum, then for all n 0, the Veronese R(n) is weakly F -nilpotent. Furthermore, Hd (R) is ≫ mR nilpotent in degree 0 if and only if for all n 0, the Veronese R(n) is F -nilpotent. ≫ GENERALIZED F -DEPTHANDGRADEDNILPOTENTSINGULARITIES 3 To provide a wide class of generic examples, we apply the techniques developed to provide a nilpotent version of the F -rational characterization from [KSSW09, Thm.
Load more

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]
  • Lecture 3. Resolutions and Derived Functors (GL)
    Lecture 3. Resolutions and derived functors (GL) This lecture is intended to be a whirlwind introduction to, or review of, reso- lutions and derived functors { with tunnel vision. That is, we'll give unabashed preference to topics relevant to local cohomology, and do our best to draw a straight line between the topics we cover and our ¯nal goals. At a few points along the way, we'll be able to point generally in the direction of other topics of interest, but other than that we will do our best to be single-minded. Appendix A contains some preparatory material on injective modules and Matlis theory. In this lecture, we will cover roughly the same ground on the projective/flat side of the fence, followed by basics on projective and injective resolutions, and de¯nitions and basic properties of derived functors. Throughout this lecture, let us work over an unspeci¯ed commutative ring R with identity. Nearly everything said will apply equally well to noncommutative rings (and some statements need even less!). In terms of module theory, ¯elds are the simple objects in commutative algebra, for all their modules are free. The point of resolving a module is to measure its complexity against this standard. De¯nition 3.1. A module F over a ring R is free if it has a basis, that is, a subset B ⊆ F such that B generates F as an R-module and is linearly independent over R. It is easy to prove that a module is free if and only if it is isomorphic to a direct sum of copies of the ring.
    [Show full text]
  • Analytic Sheaves of Local Cohomology
    transactions of the american mathematical society Volume 148, April 1970 ANALYTIC SHEAVES OF LOCAL COHOMOLOGY BY YUM-TONG SIU In this paper we are interested in the following problem: Suppose Fis an analytic subvariety of a (not necessarily reduced) complex analytic space X, IF is a coherent analytic sheaf on X— V, and 6: X— V-> X is the inclusion map. When is 6JÍJF) coherent (where 6q(F) is the qth direct image of 3F under 0)? The case ¿7= 0 is very closely related to the problem of extending rF to a coherent analytic sheaf on X. This problem of extension has already been dealt with in Frisch-Guenot [1], Serre [9], Siu [11]—[14],Thimm [17], and Trautmann [18]-[20]. So, in our investigation we assume that !F admits a coherent analytic extension on all of X. In réponse to a question of Serre {9, p. 366], Tratumann has obtained the following in [21]: Theorem T. Suppose V is an analytic subvariety of a complex analytic space X, q is a nonnegative integer, andrF is a coherent analytic sheaf on X. Let 6: X— V-*- X be the inclusion map. Then a sufficient condition for 80(^\X— V),..., dq(^\X— V) to be coherent is: for xeV there exists an open neighborhood V of x in X such that codh(3F\U-V)^dimx V+q+2. Trautmann's sufficiency condition is in general not necessary, as is shown by the following example. Let X=C3, F={z1=z2=0}, ^=0, and J^the analytic ideal- sheaf of {z2=z3=0}.
    [Show full text]
  • Twenty-Four Hours of Local Cohomology This Page Intentionally Left Blank Twenty-Four Hours of Local Cohomology
    http://dx.doi.org/10.1090/gsm/087 Twenty-Four Hours of Local Cohomology This page intentionally left blank Twenty-Four Hours of Local Cohomology Srikanth B. Iyengar Graham J. Leuschke Anton Leykln Claudia Miller Ezra Miller Anurag K. Singh Uli Walther Graduate Studies in Mathematics Volume 87 |p^S|\| American Mathematical Society %\yyyw^/? Providence, Rhode Island Editorial Board David Cox (Chair) Walter Craig N. V.Ivanov Steven G. Krantz The book is an outgrowth of the 2005 AMS-IMS-SIAM Joint Summer Research Con• ference on "Local Cohomology and Applications" held at Snowbird, Utah, June 20-30, 2005, with support from the National Science Foundation, grant DMS-9973450. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation. 2000 Mathematics Subject Classification. Primary 13A35, 13D45, 13H10, 13N10, 14B15; Secondary 13H05, 13P10, 13F55, 14F40, 55N30. For additional information and updates on this book, visit www.ams.org/bookpages/gsm-87 Library of Congress Cataloging-in-Publication Data Twenty-four hours of local cohomology / Srikanth Iyengar.. [et al.]. p. cm. — (Graduate studies in mathematics, ISSN 1065-7339 ; v. 87) Includes bibliographical references and index. ISBN 978-0-8218-4126-6 (alk. paper) 1. Sheaf theory. 2. Algebra, Homological. 3. Group theory. 4. Cohomology operations. I. Iyengar, Srikanth, 1970- II. Title: 24 hours of local cohomology. QA612.36.T94 2007 514/.23—dc22 2007060786 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research.
    [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]
  • The Completion and Local Cohomology Theorems for Complex Cobordism
    THE COMPLETION AND LOCAL COHOMOLOGY THEOREMS FOR COMPLEX COBORDISM FOR ALL COMPACT LIE GROUPS MARCO LA VECCHIA Abstract. We generalize the completion theorem for equivariant MU- module spectra for finite groups or finite extensions of a torus to compact Lie groups using the splitting of global functors proved by Schwede. This proves a conjecture of Greenlees and May. Contents 1. Overview 1 2. Notations, Conventions and Facts 3 3. Classical Statement 5 4. Schwede’s Splitting 8 5. The main Result 10 References 11 1. Overview 1.1. Introduction. A completion theorem establishes a close relationship between equivariant cohomology theory and its non-equivariant counterpart. It takes various forms, but in favourable cases it states ∗ ∧ ∼ ∗ (EG)JG = E (BG) ∗ where E is a G-spectrum, EG is the associated equivariant cohomology theory and JG is the augmentation ideal (Definition 3.7). The first such theorem is the Atiyah-Segal Completion Theorem for com- plex K-theory [AS69]. This especially favourable because the coefficient ring KU∗ = R(G)[v, v−1] is well understood and in particular it is Noetherian, arXiv:2107.03093v1 [math.AT] 7 Jul 2021 G and so in this case we can view the theorem as the calculation of the coho- mology of the classifying space. The good behaviour for all groups permits one to make good use of naturality in the group, and indeed [AS69] uses this to give a proof for all compact Lie groups G. The result raised the question of what other theories enjoy a completion theorem, and the case of equivari- ant complex cobordism was considered soon afterwards, with L¨offler giving ∗ a proof in the abelian case [L¨of74].
    [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]
  • An Elementary Theory of Hyperfunctions and Microfunctions
    PARTIAL DIFFERENTIAL EQUATIONS BANACH CENTER PUBLICATIONS, VOLUME 27 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1992 AN ELEMENTARY THEORY OF HYPERFUNCTIONS AND MICROFUNCTIONS HIKOSABURO KOMATSU Department of Mathematics, Faculty of Science, University of Tokyo Tokyo, 113 Japan 1. Sato’s definition of hyperfunctions. The hyperfunctions are a class of generalized functions introduced by M. Sato [34], [35], [36] in 1958–60, only ten years later than Schwartz’ distributions [40]. As we will see, hyperfunctions are natural and useful, but unfortunately they are not so commonly used as distributions. One reason seems to be that the mere definition of hyperfunctions needs a lot of preparations. In the one-dimensional case his definition is elementary. Let Ω be an open set in R. Then the space (Ω) of hyperfunctions on Ω is defined to be the quotient space B (1.1) (Ω)= (V Ω)/ (V ) , B O \ O where V is an open set in C containing Ω as a closed set, and (V Ω) (resp. (V )) is the space of all holomorphic functions on V Ω (resp. VO). The\ hyper- functionO f(x) represented by F (z) (V Ω) is written\ ∈ O \ (1.2) f(x)= F (x + i0) F (x i0) − − and has the intuitive meaning of the difference of the “boundary values”of F (z) on Ω from above and below. V Ω Fig. 1 [233] 234 H. KOMATSU The main properties of hyperfunctions are the following: (1) (Ω), Ω R, form a sheaf over R. B ⊂ Ω Namely, for all pairs Ω1 Ω of open sets the restriction mappings ̺Ω1 : (Ω) (Ω ) are defined, and⊂ for any open covering Ω = Ω they satisfy the B →B 1 α following conditions: S (S.1) If f (Ω) satisfies f = 0 for all α, then f = 0; ∈B |Ωα (S.2) If fα (Ωα) satisfy fα Ωα∩Ωβ = fβ Ωα∩Ωβ for all Ωα Ωβ = , then there is∈ Ban f (Ω) such| that f = f| .
    [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]
  • 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]