Commutative Semi-Coherent and Semi-Regular Rings
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
CRITERIA for FLATNESS and INJECTIVITY 3 Ring of R
CRITERIA FOR FLATNESS AND INJECTIVITY NEIL EPSTEIN AND YONGWEI YAO Abstract. Let R be a commutative Noetherian ring. We give criteria for flatness of R-modules in terms of associated primes and torsion-freeness of certain tensor products. This allows us to develop a criterion for regularity if R has characteristic p, or more generally if it has a locally contracting en- domorphism. Dualizing, we give criteria for injectivity of R-modules in terms of coassociated primes and (h-)divisibility of certain Hom-modules. Along the way, we develop tools to achieve such a dual result. These include a careful analysis of the notions of divisibility and h-divisibility (including a localization result), a theorem on coassociated primes across a Hom-module base change, and a local criterion for injectivity. 1. Introduction The most important classes of modules over a commutative Noetherian ring R, from a homological point of view, are the projective, flat, and injective modules. It is relatively easy to check whether a module is projective, via the well-known criterion that a module is projective if and only if it is locally free. However, flatness and injectivity are much harder to determine. R It is well-known that an R-module M is flat if and only if Tor1 (R/P,M)=0 for all prime ideals P . For special classes of modules, there are some criteria for flatness which are easier to check. For example, a finitely generated module is flat if and only if it is projective. More generally, there is the following Local Flatness Criterion, stated here in slightly simplified form (see [Mat86, Section 22] for a self-contained proof): Theorem 1.1 ([Gro61, 10.2.2]). -
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. -
Notices of the American Mathematical Society
Notices of the American Mathematical Society November 1985, Issue 244 Volume 32, Number 6, Pages 737- 872 Providence, Rhode Island USA ISSN 0002-9920 Calendar of AMS Meetings THIS CALENDAR lists all meetings which have been approved by the Council prior to the date this issue of the Notices was sent to the press. The summer and annual meetings are joint meetings of the Mathematical Association of America and the American Mathematical Society. The meeting dates which fall rather far in the future are subject to change: this is particularly true of meetings to which no numbers have yet been assigned. Programs of the meetings will appear in the issues indicated below. First and supplementary announcements of the meetings will have appeared in earlier issues. ABSTRACTS OF PAPERS presented at a meeting of the Society are published in the journal Abstracts of papers presented to the American Mathematical Society in the issue corresponding to that of the Notices which contains the program of the meeting. Abstracts should be submitted on special forms which are available in many departments of mathematics and from the headquarters office of the Society. Abstracts of papers to be presented at the meeting must be received at the headquarters of the Society in Providence. Rhode Island, on or before the deadline given below for the meeting. Note that the deadline for abstracts for consideration for presentation at special sessions is usually three weeks earlier than that specified below. For additional information consult the meeting announcements and the list of organizers of special sessions. ABSTRACT MEETING# DATE PLACE DEADLINE ISSUE 825 January 7-11. -
Compactly Generated T-Structures in the Derived Category of A
COMPACTLY GENERATED T-STRUCTURES IN THE DERIVED CATEGORY OF A COMMUTATIVE RING MICHAL HRBEK Abstract. We classify all compactly generated t-structures in the unbounded derived category of an arbitrary commutative ring, generalizing the result of [ATLJS10] for noetherian rings. More specifically, we establish a bijective correspondence between the compactly generated t-structures and infinite fil- trations of the Zariski spectrum by Thomason subsets. Moreover, we show that in the case of a commutative noetherian ring, any bounded below homo- topically smashing t-structure is compactly generated. As a consequence, all cosilting complexes are classified up to equivalence. Contents 1. Introduction 1 2. Torsion pairs in the derived category 3 3. Boundedbelowcompactlygeneratedt-structures 8 4. A version of the telescope conjecture for bounded below t-structures over commutative noetherian rings 15 5. Compactly generated t-structures in D(R) 17 6. Intermediate t-structures and cosilting complexes 23 Acknowledgement 25 References 25 1. Introduction There is a large supply of classification results for various subcategories of the unbounded derived category D(R) of a commutative noetherian ring R. Since the arXiv:1806.00078v3 [math.AC] 6 Aug 2018 work of Hopkins [Hop87] and Neeman [NB92], we know that the localizing subcat- egories of D(R) are parametrized by data of a geometrical nature — the subsets of the Zariski spectrum Spec(R). As a consequence, the famous telescope conjecture, stating that any smashing localizing subcategory is generated by a set of compact objects, holds for the category D(R). These compactly generated localizations then correspond to those subsets of Spec(R), which are specialization closed, that is, upper subsets in the poset (Spec(R), ⊆). -
Injective Modules Over Noetherian Rings
Pacific Journal of Mathematics INJECTIVE MODULES OVER NOETHERIAN RINGS EBEN MATLIS Vol. 8, No. 3 May 1958 INJECTIVE MODULES OVER NOETHERIAN RINGS EBEN MATLIS Introduction In this discussion every module over a ring R will be understood to be a left i2-module. R will always have a unit, and every module will be unitary. The aim of this paper is to study the structure and properties of injective modules, particularly over Noetherian rings. B. Eckmann and A. Schopf have shown that if M is a module over any ring, then there exists a unique, minimal, injective module E(M) con- taining it. The module E(M) will be a major tool in our investigations, and we shall systematically exploit its properties. In § 1 we show that if a module M has a maximal, injective sub- module C (as is the case for left-Noetherian rings), then C contains a carbon-copy of every injective submodule of M, and MjC has no injective submodules different from 0. Although C is unique up to an automor- phism of My C does not in general contain every injective submodule of M, In fact, the sum of two injective submodules of a module is always injective if and only if the ring is left-hereditary. In § 2 we show that for any ring R a module E is an indecom- posable, injective module if and only if E = E(R\J)y where J is an ir- reducible, left ideal of R. We prove that if R is a left-Noetherian ring, then every injective Jϋ-module has a decomposition as a direct sum of indecomposable, injective submodules. -
A Characterization of Serre Classes of Reflexive Modules Over a Complete Local Noetherian Ring Casey R
University of Kentucky UKnowledge Theses and Dissertations--Mathematics Mathematics 2014 A Characterization of Serre Classes of Reflexive Modules Over a Complete Local Noetherian Ring Casey R. Monday University of Kentucky, [email protected] Recommended Citation Monday, Casey R., "A Characterization of Serre Classes of Reflexive Modules Over a Complete Local Noetherian Ring" (2014). Theses and Dissertations--Mathematics. Paper 13. http://uknowledge.uky.edu/math_etds/13 This Doctoral Dissertation is brought to you for free and open access by the Mathematics at UKnowledge. It has been accepted for inclusion in Theses and Dissertations--Mathematics by an authorized administrator of UKnowledge. For more information, please contact [email protected]. STUDENT AGREEMENT: I represent that my thesis or dissertation and abstract are my original work. Proper attribution has been given to all outside sources. I understand that I am solely responsible for obtaining any needed copyright permissions. I have obtained and attached hereto needed written permission statement(s) from the owner(s) of each third-party copyrighted matter to be included in my work, allowing electronic distribution (if such use is not permitted by the fair use doctrine). I hereby grant to The nivU ersity of Kentucky and its agents the irrevocable, non-exclusive, and royalty- free license to archive and make accessible my work in whole or in part in all forms of media, now or hereafter known. I agree that the document mentioned above may be made available immediately for worldwide access unless a preapproved embargo applies. I retain all other ownership rights to the copyright of my work. -
More Concise Algebraic Topology
More Concise Algebraic Topology −1 0 +1 “530-46909_Ch00_5P.tex” — 8/19/2011 — 11:24 — page i chicago lectures in mathematics series Editors: Spencer J. Bloch, Peter Constantin, Benson Farb, Norman R. Lebovitz, Carlos Kenig, and J. P. May Other Chicago Lectures in Mathematics titles available from the University of Chicago Press Simplical Objects in Algebraic Topology, by J. Peter May (1967, 1993) Fields and Rings, Second Edition, by Irving Kaplansky (1969, 1972) Lie Algebras and Locally Compact Groups, by Irving Kaplansky (1971) Several Complex Variables, by Raghavan Narasimhan (1971) Torsion-Free Modules, by Eben Matlis (1973) Stable Homotopy and Generalised Homology, by J. F. Adams (1974) Rings with Involution, by I.N. Herstein (1976) Theory of Unitary Group Representation, by George V. Mackey (1976) Commutative Semigroup Rings, by Robert Gilmer (1984) Infinite-Dimensional Optimization and Convexity, by Ivar Ekeland and Thomas Turnbull (1983) Navier-Stokes Equations, by Peter Constantin and Ciprian Foias (1988) Essential Results of Functional Analysis, by Robert J. Zimmer (1990) Fuchsian Groups, by Svetlana Katok (1992) Unstable Modules over the Steenrod Algebra and Sullivan’s Fixed Point Set Conjecture, by Lionel Schwartz (1994) Topological Classification of Stratified Spaces, by Shmuel Weinberger (1994) Lectures on Exceptional Lie Groups, by J. F. Adams (1996) Geometry of Nonpositively Curved Manifolds, by Patrick B. Eberlein (1996) Dimension Theory in Dynamical Systems: Contemporary Views and Applications, by Yakov B. Pesin (1997) Harmonic Analysis and Partial Differential Equations: Essays in Honor of Alberto Calderon´ , edited by Michael Christ, Carlos Kenig, and Cora Sadosky (1999) A Concise Course in Algebraic Topology, by J. -
Cosupport Computations for Finitely Generated Modules Over
COSUPPORT COMPUTATIONS FOR FINITELY GENERATED MODULES OVER COMMUTATIVE NOETHERIAN RINGS PEDER THOMPSON Abstract. We show that the cosupport of a commutative noetherian ring is precisely the set of primes appearing in a minimal pure-injective resolution of the ring. As an application of this, we prove that every countable commutative noetherian ring has full cosupport. We also settle the comparison of cosupport and support of finitely generated modules over any commutative noetherian ring of finite Krull dimension. Finally, we give an example showing that the cosupport of a finitely generated module need not be a closed subset of Spec R, providing a negative answer to a question of Sather-Wagstaff and Wicklein [29]. Introduction The theory of cosupport, recently developed by Benson, Iyengar, and Krause [7] in the context of triangulated categories, was partially motivated by work of Neeman [25], who classified the colocalizing subcategories of the derived category of a commutative noetherian ring. Despite the many ways in which cosupport is dual to the more established notion of support introduced by Foxby [15, 6], cosupport seems to be more elusive, even in the setting of a commutative noetherian ring. Indeed, the supply of finitely generated modules for which cosupport computations exist is limited. One purpose of this paper is to provide such computations. We first show that for a finitely generated module over a commutative noetherian ring of finite Krull dimension, its cosupport is the intersection of its support and the cosupport of the ring, which places emphasis on computing the cosupport of the ring itself. With this in mind, we prove that countable commutative noetherian rings have full cosupport, and hence cosupport and support coincide for finitely generated modules over such rings having finite Krull dimension. -
Injective Modules Over Noetherian Rings
Pacific Journal of Mathematics INJECTIVE MODULES OVER NOETHERIAN RINGS EBEN MATLIS Vol. 8, No. 3 May 1958 INJECTIVE MODULES OVER NOETHERIAN RINGS EBEN MATLIS Introduction In this discussion every module over a ring R will be understood to be a left i2-module. R will always have a unit, and every module will be unitary. The aim of this paper is to study the structure and properties of injective modules, particularly over Noetherian rings. B. Eckmann and A. Schopf have shown that if M is a module over any ring, then there exists a unique, minimal, injective module E(M) con- taining it. The module E(M) will be a major tool in our investigations, and we shall systematically exploit its properties. In § 1 we show that if a module M has a maximal, injective sub- module C (as is the case for left-Noetherian rings), then C contains a carbon-copy of every injective submodule of M, and MjC has no injective submodules different from 0. Although C is unique up to an automor- phism of My C does not in general contain every injective submodule of M, In fact, the sum of two injective submodules of a module is always injective if and only if the ring is left-hereditary. In § 2 we show that for any ring R a module E is an indecom- posable, injective module if and only if E = E(R\J)y where J is an ir- reducible, left ideal of R. We prove that if R is a left-Noetherian ring, then every injective Jϋ-module has a decomposition as a direct sum of indecomposable, injective submodules. -
Lecture Notes in Mathematics 1747 Editors: A
Lecture Notes in Mathematics 1747 Editors: A. Dold, Heidelberg F. Takens, Groningen B. Teissier, Paris Springer Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Lars Winther Christensen Gorenstein Dimensions ~ Springer Author Lars Winther Christensen Matematisk Afdeling Kcbenhavns Universitet Universitetsparken 5 2100 KObenhavns ~, Danmark E-maih [email protected] Cataloging-in-PublicationData applied for Die Deutsche Bibliothek - CIP-Einbeitsaufnahme: Winther Christensen,Lars: Gorensteindimensions / Lars Winther Christensen. - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Pads ; Singapore ; Tokyo : Springer,2000 (Lecture notes in mathematics ; 1747) ISBN 3-540-41132-1 Mathematics Subject Classification (2000): 13-02, 13C 15, 13D02, 13D05, 13D07, 13D25, 13E05, 13HI0, 18G25 ISSN 0075-8434 ISBN 3-540-41132-1 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH © Springer-Verlag Berlin Heidelberg 2000 Printed in Germany Typesetting: Camera-ready TEX output by the author SPIN: 10724258 41/3142-543210 - Printed on acid-free paper Preface In 1995, almost five years ago, Hans-Bjcrn Foxby gave me a copy of Anneaux de Gorenstein, et torsion en alg~bre commutative, a set of notes based on lectures given by Auslander in 1966-67. -
Notices of the American Mathematical Society
OF THE AMERICAN MATHEMATICAL SOCIETY Edited by Everett Pitcher and Gordon L. Walker CONTENTS MEETINGS Calendar of Meetings . Inside Front Cover Program for the June Meeting in Seattle, Washington. 188 Abstracts for the Meeting: Pages A-548 - A-555 PRELIMINARY ANNOUNCEMENTS OF MEETINGS ..... 191 MEMORANDA TO MEMBERS . 201 Informal Sessions at Summer and Annual Meetings Changes in Abstracts NOMINATION BY PETITION . 202 SPECIAL MEETINGS INFORMATION CENTER . 204 LETTERS TO THE EDITOR . 207 PERSONAL ITEMS . 208 NEWS ITEMS AND ANNOUNCEMENTS. 201, 206, 209, 210 ABSTRACTS ........... A-499 SITUATIONS WANTED ADVERTISEMENTS. A-555 ERRATA- VOLUME 18 .......•. A-556 INDEX TO ADVERTISERS . A-561 PREREGISTRATION AND RESERVATION FORM A-562 Six Hundred Ninety-Fifth Meeting UDiversity of Washington Seattle, Washington June 17, 1972 The six hundred ninety-fifth meeting basis, and $5.50 per person per night in a of the American Mathematical Society single room. No maid service is provided. will be held at the University of Washing Reservations should be sent, before June 2, ton in Seattle, Washington, on Saturday, 1972, to Professor Gomer Thomas, De June 17, 1972. The Mathematical Asso partment of Mathematics, University of ciation of America and the Society for Washington, Seattle, Washington 98195, Industrial and Applied Mathematics will and should be accompanied by a check hold Northwest Sectional Meetings in con payable to the University of Washington junction with this meeting of the Society. and in the amount covering the length of The Association will have sessions on time desired. Room requests should in Friday and Saturday, June 16 and 1 7; the clude the expected time of arrival and the Saturday sessions will be concerned pri type of accommodations desired.