DOCSLIB.ORG

Adic Methods to Commutative Algebra

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Adic Methods to Commutative Algebra Recent Applications of 푝-adic Methods to Commutative Algebra Existence of Big Existence of Small Cohen–Macaulay Cohen–Macaulay Algebras [And18a] Modules Existence of Big Serre’s Positivity Cohen–Macaulay Conjecture Modules Monomial Direct Summand Conjecture Theorem [And18a] (Theorem) Syzygy Intersection Theorem Theorem [PS73, Hoc75, Rob87, Rob89] Auslander’s Bass’ Question Zerodivisor (Theorem) Conjecture (Theorem) Linquan Ma and Karl Schwede 820 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY VOLUME 66, NUMBER 6 1 Suppose that 푘 is a field and 푅 = 푘[푥1, … , 푥푛]/퐼 is a is the identity. Hence, if 푀 = ker( 푛 ⋅ Tr), then 푅 ≅ commutative polynomial ring over 푘 modulo an ideal 퐼. 퐴 ⊕ 푀 as an 퐴-module. In this case, we say that 푅 has an In other words, it is a finitely generated commutative 푘- 퐴-summand and that 퐴 ⊆ 푅 splits. algebra. Additionally assume that 푅 is also an integral do- Consider now a more general setup. Suppose that main. Emmy Noether’s celebrated Normalization Theo- (*) 퐴 ⊆ 푅 rem proves that inside 푅, there always exists a polynomial subring is a finite extension of Noetherian integral domains. We 퐴 = 푘[푡1, … , 푡푑] ⊆ 푅 ask when 푅 has an 퐴-summand, i.e., when is 푅 ≅ 퐴 ⊕ 푀 for some 푀? In [Hoc73] Hochster conjectured that where the 푡푖 are algebraically independent (have no rela- 1 tions between them) satisfying the following property: the if 퐴 is a Noetherian regular ring and 푅 ⊇ 퐴 is any ex- extension of rings 퐴 ⊆ 푅 makes 푅 into a finitely generated tension ring that is finite as an 퐴-module (henceforth, a finite extension), then 푅 has an 퐴-summand. module over the polynomial ring 퐴 = 푘[푡1, … , 푡푑]. For example, in 푅 = 푘[푥, 푦]/(푦2 − 푥3) we have the subring This was the direct sum- 퐴 = 푘[푥] (or 퐵 = 푘[푦]). mand conjecture, now Andr´e’s Consider the induced finite extension of fraction fields theorem [And18a], and it was one of the central and guiding 푘(푡1, … , 푡푑) = 퐾(퐴) ⊆ 퐾(푅). questions of commutative alge- By viewing 퐾(푅) as a vector space over 퐾(퐴), each ele- bra over the past half-century. 푢 퐾(푅) ment of acts via multiplication Theorem 1 (Direct Summand ×푢 ∶ 퐾(푅) ⟶ 퐾(푅) Theorem). Suppose 퐴 is a Noe- therian regular ring and 푅 ⊇ 퐴 and so we can take its trace, which is then an element of is a finite extension, then 퐴 ↪ 퐾(퐴). This induces a map 푅 splits as a map of 퐴-modules. Tr ∶ 퐾(푅) ⟶ 퐾(퐴). In other words, 푅 has an 퐴- summand. It is not difficult to verify Tr(푅) ⊆ 퐴, and so one obtains Melvin Hochster. a map We observed above that the Tr ∶ 푅 ⟶ 퐴 = 푘[푡1, … , 푡푑]. theorem holds if 퐴 is a polynomial ring over a field of char- Since the trace is a sum of the diagonal matrix entries, the acteristic zero. In fact, the same argument works if 퐴 is any composition regular domain (or even normal2 domain) containing the Tr 퐴 ⊆ 푅 ⟶ 퐴 rational numbers ℚ. Hochster proved in [Hoc73] that The- orem 1 also holds if 퐴 is a regular ring containing the finite is multiplication by the extension degree 푛 ∶= [퐾(푅) ∶ field 픽푝 = ℤ/푝ℤ (e.g., 퐴 = 픽푝[푥1, … , 푥푑]). The methods 퐾(퐴)]. If 푘 has characteristic zero (or more generally if that go into this and the areas of research they spawned are the characteristic does not divide the extension degree 푛 = the topic of ”The Direct Summand Conjecture and Singu- [퐾(푅) ∶ 퐾(퐴)]), then the composition larities in Characteristic 푝.” 1 ⋅Tr 퐴 ⊆ 푅 ⟶푛 퐴 Example 2. The finite extension 퐴 = ℚ[푡2, 푡3] ↪ 푅 = ℚ[푡] does not split. If there was a splitting 휙 ∶ 푅 ⟶ 퐴, Linquan Ma is an assistant professor at Purdue University. His email address it must send 1 ↦ 1 and therefore it must also send 푡2 and is [email protected]. 푡3 to themselves. But 푡3 = 휙(푡3) = 휙(푡2 ⋅ 푡) = 푡2휙(푡) Karl Schwede is a professor at the University of Utah. His email address is 휙(푡) = 푡 퐴 퐴 [email protected]. and so , which does not exist in . Note is not The first named author was supported in part by NSF Grant #1836867/ normal. 1600198. In a recent breakthrough [And18b, And18a], Andr´e The second named author was supported in part by NSF CAREER Grant DMS solved the conjecture in the mixed characteristic3 case, using #1252860/1501102 and NSF grant #1801849. Scholze’s theory of perfectoid algebras and spaces [Sch12]. This material is based upon work supported by the National Science Founda- This will be the topic of the section “Perfectoid Algebras tion under grant No. DMS-1440140 while the authors were in residence at the Mathematical Sciences Research Institute in Berkeley, California, during the and Ingredients in the Mixed Characteristic Proof.” Spring 2019 semester. 1Regular rings are natural generalizations of polynomial rings over fields and also include Communicated by Notices Associate Editor Daniel Krashen. rings such as ℤ[푥1, … , 푥푑]. For permission to reprint this article, please contact: 2Meaning 퐴 is integrally closed in its fraction field 퐾(퐴). In particular, if 푓 ∈ 퐾(퐴) 퐴 푓 ∈ 퐴 [email protected]. satisfies a monic polynomial with coefficients in , then . 3A ring 퐴 has mixed characteristic if it contains the integers ℤ as a subring, and there is DOI: https://doi.org/10.1090/noti1896 some prime 푝 ∈ ℤ ⊆ 퐴 that is not invertible in 퐴. JUNE/JULY 2019 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY 821 Previously, the best case that Existence of Big Existence of Small was known was the case when Cohen–Macaulay Cohen–Macaulay 퐴 is a regular ring of di- Algebras [And18a] Modules mension ≤ 3, which is due to Heitmann [Hei02]. In Existence of Big Serre’s Positivity the mixed characteristic setting, Cohen–Macaulay Conjecture Bhargav Bhatt and Ofer Gabber Modules also made substantial contribu- tions to these circles of ideas Monomial Direct Summand [Bha14a,Bha18, Gab18]. Conjecture Theorem [And18a] The methods of Andr´e’s proof (Theorem) have also been used to prove Yves Andr ´e. generalizations of the direct summand theorem, notably the Syzygy Intersection Theorem existence of big Cohen–Macaulay algebras and the derived Theorem [PS73,Hoc75, Rob87,Rob89] direct summand theorem, see [And18a, And18c, Bha18, Gab18, HM18, Shi17]. We expect that the existence of Auslander’s big Cohen–Macaulay algebras will stimulate further study Bass’ Question Zerodivisor 푓 (Theorem) Conjecture of in mixed characteristic: In fact, they can be thought (Theorem) of as a tool that replaces certain aspects of Hironaka’s resolution of singularities from characteristic zero alge- ture was proved by Peskine–Szpiro [PS73]. We note that braic geometry, as explained in [MS18b]. We will dis- many of the early homological conjectures are solved in cuss big Cohen–Macaulay algebras and singularities in mixed characteristic, thanks to Roberts’ proof of the Inter- mixed characteristic in the section “Big Cohen–Macaulay section Theorem using localized Chern characters [Rob87, Algebras and Singularities in Mixed Characteristic.” As an Rob89]. We also mention that there are various stronger application of these ideas, in our final section, “An Appli- forms of some of these conjectures that are proved based cation to Symbolic Powers,” we discuss a result on uniform on Andr´e’s work, see for example [And18c,AIN18,Gab18, growth of symbolic powers of ideals [MS18a]. HM18]. Homological Conjectures. The Homological Conjectures in We want to highlight that, despite the recent commutative algebra are a network of conjectures relating breakthroughs in mixed characteristic, Serre’s Positivity various homological properties Conjecture on intersection multiplicity is still wide open of a commutative ring with its in the ramified mixed characteristic case. To this date, the internal ring structure. They most important progress to- have generated a tremendous wards Serre’s Conjecture is due amount of activity over the to Gabber, see [Hoc97]. We last fifty years. The follow- refer the reader to [Hoc17] for ing is a diagram of homo- a recent extensive survey on logical conjectures, which is Serre’s Conjecture and other part of Hochster’s 2004 dia- (old and new) homological gram [Hoc04] (one sees that conjectures and theorems. the Direct Summand Conjec- We end the introduction by ture/Theorem lies in the heart). briefly discussing one of the ho- Most of these conjectures are mological theorems in the dia- Ofer Gabber. now completely resolved thanks gram above. to the work of Andr´eand oth- Theorem 3 (The Syzygy Theo- Paul C. Roberts. ers. rem). Let (푅, 픪) be a Cohen– Some of these implications are highly nontrivial: For Macaulay (or even regular) local domain and let 푀 be a non- example, the fact that the Direct Summand Theorem im- free finitely generated 푅-module. If 푀 is a 푘-th syzygy module plies the Syzygy Theorem and the Intersection Theorem of finite projective dimension,5 then the rank of 푀 is at least 푘. was due to Hochster [Hoc83],4 and that the Intersection Theorem implies Bass’ Question and Auslander’s Conjec- For instance, the first syzygy module is a submodule of 5 훿푘 This means 푀 ≅ Image(훿푘) in a finite free resolution 0 ⟶ 퐹푛 ⟶ ⋯ ⟶ 퐹푘 ⟶ 4 See also [Dut87] for other interesting connections between the homological conjectures. ⋯ ⟶ 퐹0 ⟶ 푁 ⟶ 0 of a finitely generated 푅-module 푁. 822 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY VOLUME 66, NUMBER 6 a free module 퐹0, so its rank is at least one (i.e., it cannot for every nonzero 푐 ∈ 퐴, there exists an 푒 > 0 such that the 푒 be torsion).
Load more

Recommended publications
  • On Free Quasigroups and Quasigroup Representations Stefanie Grace Wang Iowa State University
    Iowa State University Capstones, Theses and Graduate Theses and Dissertations Dissertations 2017 On free quasigroups and quasigroup representations Stefanie Grace Wang Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/etd Part of the Mathematics Commons Recommended Citation Wang, Stefanie Grace, "On free quasigroups and quasigroup representations" (2017). Graduate Theses and Dissertations. 16298. https://lib.dr.iastate.edu/etd/16298 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Graduate Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. On free quasigroups and quasigroup representations by Stefanie Grace Wang A dissertation submitted to the graduate faculty in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Major: Mathematics Program of Study Committee: Jonathan D.H. Smith, Major Professor Jonas Hartwig Justin Peters Yiu Tung Poon Paul Sacks The student author and the program of study committee are solely responsible for the content of this dissertation. The Graduate College will ensure this dissertation is globally accessible and will not permit alterations after a degree is conferred. Iowa State University Ames, Iowa 2017 Copyright c Stefanie Grace Wang, 2017. All rights reserved. ii DEDICATION I would like to dedicate this dissertation to the Integral Liberal Arts Program. The Program changed my life, and I am forever grateful. It is as Aristotle said, \All men by nature desire to know." And Montaigne was certainly correct as well when he said, \There is a plague on Man: his opinion that he knows something." iii TABLE OF CONTENTS LIST OF TABLES .
    [Show full text]
  • Formal Power Series - Wikipedia, the Free Encyclopedia
    Formal power series - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Formal_power_series Formal power series From Wikipedia, the free encyclopedia In mathematics, formal power series are a generalization of polynomials as formal objects, where the number of terms is allowed to be infinite; this implies giving up the possibility to substitute arbitrary values for indeterminates. This perspective contrasts with that of power series, whose variables designate numerical values, and which series therefore only have a definite value if convergence can be established. Formal power series are often used merely to represent the whole collection of their coefficients. In combinatorics, they provide representations of numerical sequences and of multisets, and for instance allow giving concise expressions for recursively defined sequences regardless of whether the recursion can be explicitly solved; this is known as the method of generating functions. Contents 1 Introduction 2 The ring of formal power series 2.1 Definition of the formal power series ring 2.1.1 Ring structure 2.1.2 Topological structure 2.1.3 Alternative topologies 2.2 Universal property 3 Operations on formal power series 3.1 Multiplying series 3.2 Power series raised to powers 3.3 Inverting series 3.4 Dividing series 3.5 Extracting coefficients 3.6 Composition of series 3.6.1 Example 3.7 Composition inverse 3.8 Formal differentiation of series 4 Properties 4.1 Algebraic properties of the formal power series ring 4.2 Topological properties of the formal power series
    [Show full text]
  • Actions of Reductive Groups on Regular Rings and Cohen-Macaulay Rings
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 80, Number 2, March 1974 ACTIONS OF REDUCTIVE GROUPS ON REGULAR RINGS AND COHEN-MACAULAY RINGS BY MELVIN HOCHSTER AND JOEL L. ROBERTS1 Communicated by Dock S. Rim, August 30, 1973 0. The main results. This note is an announcement of the results below, whose proofs will appear separately [7]. MAIN THEOREM. Let G be a linearly reductive affine linear algebraic group over a field K of arbitrary characteristic acting K-rationally on a regular Noetherian K-algebra S. Then the ring of invariants R=S° is Cohen-Macaulay. THEOREM. If S is a regular Noetherian ring of prime characteristic p > 0, and R is a pure subring of S (i.e. for every R-module M, M-+M (g>R S is injective), e.g. if R is a direct summand of S as R-modules, then R is Cohen-Macaulay. The proofs utilize results of interest in their own right: PROPOSITION A. Let L be a field, y0, • • • 9ym indeterminates over > L, S=L[y0, • • • ,ym], and F=Proj(5)=/ £. Let K be a subfield of L, and let R be a finitely generated graded K-algebra with R0=K. Let h : R-^S be a K-homomorphism which multiplies degrees by d. Let P be the irrelevant maximal ideal of R9 and let X=Froj(R). Let U=Y-V(h(P)S). Let (p =h* be the induced K-morphism from the quasi-projective L-variety U to the projective K-scheme X. Then (pf'.H^X, 0x)->#*(£/, Ojj) is zero fori^l.
    [Show full text]
  • JOINTMA Volume 17, Number 5 Join the MAA and AMS at the Winter Meeting January 7-10, 1998, in Baltimore, Maryland
    THE NEWSLETTER OF THE MATHEMATICAL ASSOCIATION OF AMERICA JOINTMA Volume 17, Number 5 Join the MAA and AMS at the winter meeting January 7-10, 1998, in Baltimore, Maryland. This meeting will In this Issue exceed all your professional and personal expectations 3 Joint Mathematics with a rich program and a Meetings meeting location with great 7-10, cultural and historic ambi­ January ence. Baltimore, MD Experience the insight and knowledge of one of the 18NewMAA world's leading mathemati­ President Elected cal physicists when Edward Witten, delivers the AMS Josiah Willard Gibbs lecture. 18 Visual This Fields Medalist played a key role in discovering the Mathematics "Seiberg-Witten Equations", and is sure to be a popular 19 Personal Opinion speaker. More than fifteen additional invited addresses, featuring speakers such as 20 IMO Results Marjorie Senechal, who has worked extensively on quasicrystal theory, and 21 MathFest Review Herbert Wilf, well-known for his work on combinatorics, 22 Joint Meetings: will fill your busy schedule. What's in it Attend the invited address on "Some Exceptional Ob­ for Students? jects and their History" de­ livered by John Stillwell for a exceptional symplectic structures and attend the three AMS perspective. Then add to your history lesson Colloquium lectures by Gian-Carlo Rota. Of 27 Employment with two joint AMS/MAA special paper ses­ course, these are in addition to the paper ses­ Opportunities sions, two MAA contributed paper sessions, an sions and the MAA Student lecture with a geo­ AMS special session on The History of Math­ metric focus. ematical logic, and two MAA minicourses on These activities are just a sampling of what the the relationships between history and math­ Joint Mathematics Meetings in Baltimore has to ematics instruction.
    [Show full text]
  • Separable Commutative Rings in the Stable Module Category of Cyclic Groups
    SEPARABLE COMMUTATIVE RINGS IN THE STABLE MODULE CATEGORY OF CYCLIC GROUPS PAUL BALMER AND JON F. CARLSON Abstract. We prove that the only separable commutative ring-objects in the stable module category of a finite cyclic p-group G are the ones corresponding to subgroups of G. We also describe the tensor-closure of the Kelly radical of the module category and of the stable module category of any finite group. Contents Introduction1 1. Separable ring-objects4 2. The Kelly radical and the tensor6 3. The case of the group of prime order 14 4. The case of the general cyclic group 16 References 18 Introduction Since 1960 and the work of Auslander and Goldman [AG60], an algebra A over op a commutative ring R is called separable if A is projective as an A ⊗R A -module. This notion turns out to be remarkably important in many other contexts, where the module category C = R- Mod and its tensor ⊗ = ⊗R are replaced by an arbitrary tensor category (C; ⊗). A ring-object A in such a category C is separable if multiplication µ : A⊗A ! A admits a section σ : A ! A⊗A as an A-A-bimodule in C. See details in Section1. Our main result (Theorem 4.1) concerns itself with modular representation theory of finite groups: Main Theorem. Let | be a separably closed field of characteristic p > 0 and let G be a cyclic p-group. Let A be a commutative and separable ring-object in the stable category |G- stmod of finitely generated |G-modules modulo projectives.
    [Show full text]
  • LIE ALGEBRAS of CHARACTERISTIC P
    LIE ALGEBRAS OF CHARACTERISTIC p BY IRVING KAPLANSKY(') 1. Introduction. Recent publications have exhibited an amazingly large number of simple Lie algebras of characteristic p. At this writing one cannot envisage a structure theory encompassing them all; perhaps it is not even sensible to seek one. Seligman [3] picked out a subclass corresponding almost exactly to the simple Lie algebras of characteristic 0. He postulated restrictedness and the possession of a nonsingular invariant form arising from a restricted repre- sentation. In this paper our main purpose is to weaken his hypotheses by omitting the assumption that the form arises from a representation. We find no new algebras for ranks one and two. On the other hand, it is known that new algebras of this kind do exist for rank three, and at that level the in- vestigation will probably become more formidable. For rank one we are able to prove more. Just on the assumption of a non- singular invariant form we find only the usual three-dimensional algebra to be possible. Assuming simplicity and restrictedness permits in addition the survival of the Witt algebra. Still further information on algebras of rank one is provided by Theorems 1, 2 and 4. Characteristics two and three are exceptions to nearly all the results. In those two cases we are sometimes able to prove more, sometimes less; for the reader's convenience, these theorems are assembled in an appendix. In addi- tion, characteristic five is a (probably temporary) exception in Theorem 7. Two remarks on style, (a) Several proofs are broken up into a series of lemmas.
    [Show full text]
  • Ring (Mathematics) 1 Ring (Mathematics)
    Ring (mathematics) 1 Ring (mathematics) In mathematics, a ring is an algebraic structure consisting of a set together with two binary operations usually called addition and multiplication, where the set is an abelian group under addition (called the additive group of the ring) and a monoid under multiplication such that multiplication distributes over addition.a[›] In other words the ring axioms require that addition is commutative, addition and multiplication are associative, multiplication distributes over addition, each element in the set has an additive inverse, and there exists an additive identity. One of the most common examples of a ring is the set of integers endowed with its natural operations of addition and multiplication. Certain variations of the definition of a ring are sometimes employed, and these are outlined later in the article. Polynomials, represented here by curves, form a ring under addition The branch of mathematics that studies rings is known and multiplication. as ring theory. Ring theorists study properties common to both familiar mathematical structures such as integers and polynomials, and to the many less well-known mathematical structures that also satisfy the axioms of ring theory. The ubiquity of rings makes them a central organizing principle of contemporary mathematics.[1] Ring theory may be used to understand fundamental physical laws, such as those underlying special relativity and symmetry phenomena in molecular chemistry. The concept of a ring first arose from attempts to prove Fermat's last theorem, starting with Richard Dedekind in the 1880s. After contributions from other fields, mainly number theory, the ring notion was generalized and firmly established during the 1920s by Emmy Noether and Wolfgang Krull.[2] Modern ring theory—a very active mathematical discipline—studies rings in their own right.
    [Show full text]
  • Factorization of the Characteristic Polynomial Joshua Hallam, Bruce Sagan
    Factorization of the Characteristic Polynomial Joshua Hallam, Bruce Sagan To cite this version: Joshua Hallam, Bruce Sagan. Factorization of the Characteristic Polynomial. 26th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2014), 2014, Chicago, United States. pp.125-136. hal-01207579 HAL Id: hal-01207579 https://hal.inria.fr/hal-01207579 Submitted on 1 Oct 2015 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. FPSAC 2014, Chicago, USA DMTCS proc. AT, 2014, 125–136 Factorization of the Characteristic Polynomial of a Lattice using Quotient Posets Joshua Hallam and Bruce E. Sagan Department of Mathematics, Michigan State University, USA Abstract. We introduce a new method for showing that the roots of the characteristic polynomial of a finite lattice are all nonnegative integers. Our method gives two simple conditions under which the characteristic polynomial factors. We will see that Stanley’s Supersolvability Theorem is a corollary of this result. We can also use this method to demonstrate a new result in graph theory and give new proofs of some classic results concerning the Mobius¨ function. Resum´ e.´ Nous donnons une nouvelle methode´ pour demontrer´ que les racines du polynomeˆ caracteristique´ d’un treil- lis fini sont tous les entiers nonnegatifs.´ Notre methode´ donne deux conditions simples pour une telle decomposition.´ Nous voyons que le theor´ eme` de Stanley sur les treillis supersolubles est un corollaire.
    [Show full text]
  • Contemporary Mathematics 448
    CONTEMPORARY MATHEMATICS 448 Algebra/ Geometry and Their Interactions International Conference Midwest Algebra, Geometry and Their Interactions October 7-11, 2005 University of Notre Dame, Notre Dame, Indiana Alberto Corso Juan Migliore Claudia Polini Editors http://dx.doi.org/10.1090/conm/448 CoNTEMPORARY MATHEMATICS 448 Algebra, Geometry and Their Interactions International Conference Midwest Algebra, Geometry and Their Interactions October 7-11, 2005 University of Notre Dame, Notre Dame, Indiana Alberto Corso Juan Migliore Claudia Polini Editors American Mathematical Society Providence, Rhode Island Editorial Board Dennis DeThrck, managing editor George Andrews Andreas Blass Abel Klein 2000 Mathematics Subject Classification. Primary 05C90, 13C40, 13D02, 13D07, 13D40, 14C05, 14J60, 14M12, 14N05, 65H10, 65H20. Library of Congress Cataloging-in-Publication Data International Conference on Midwest Algebra, Geometry and their Interactions, MAGIC'05 (2005 : University of Notre Dame) Algebra, geometry and their interactions : International Conference on Midwest Algebra, Geometry and their Interactions: MAGIC'05. October 7-11, 2005, University of Notre Dame, Notre Dame, Indiana/ Albert Corso, Juan Migliore, Claudia Polini, editors. p. em. -(Contemporary mathematics, ISSN 0271-4132; v. 448) Includes bibliographical references. ISBN 978-0-8218-4094-8 (alk. paper) 1. Algebra-Congresses. 2. Geometry-Congresses. I. Corso, Alberto. II. Migliore, Juan C. (Juan Carlos), 1956- Ill. Polini, Claudia, 1966- IV. Title. QA150.1566 2007 512-dc22 2007060846 Copying and reprinting. Material in this book may be reproduced by any means for edu- cational and scientific purposes without fee or permission with the exception of reproduction by services that collect fees for delivery of documents and provided that the customary acknowledg- ment of the source is given.
    [Show full text]
  • Arxiv:1805.00492V2 [Math.AC] 12 Apr 2019 a Nt Rjciedimension
    NON-COMMUTATIVE RESOLUTIONS OF TORIC VARIETIES ELEONORE FABER, GREG MULLER, AND KAREN E. SMITH Abstract. Let R be the coordinate ring of an affine toric variety. We prove, using direct elementary methods, that the endomorphism ring EndR(A), where A is the (finite) direct sum of all (isomorphism classes of) conic R-modules, has finite global dimension equal to the dimension of R. This gives a precise version, and an elementary proof, of a theorem of Spenkoˇ and Van den Bergh implying that EndR(A) has finite global dimension. Furthermore, we show that EndR(A) is a non-commutative crepant resolution if and only if the toric variety is simplicial. For toric varieties over a perfect field k of prime charac- teristic, we show that the ring of differential operators Dk(R) has finite global dimension. 1. Introduction Consider a local or graded ring R which is commutative and Noetherian. A well-known theorem of Auslander-Buchsbaum and Serre states that R is regular if and only if R has finite global dimension—that is, if and only if every R-module has finite projective dimension. While the standard definition of regularity does not extend to non-commutative rings, the definition of global dimension does, so this suggests that finite global di- mension might play the role of regularity for non-commutative rings. This is an old idea going back at least to Dixmier [Dix63], though since then our understanding of connection between regularity and finite global dimension has been refined by the works of Auslander, Artin, Shelter, Van den Bergh and others.
    [Show full text]
  • Noncommutative Localization in Noncommutative Geometry
    Noncommutative localization in noncommutative geometry Zoran Skodaˇ Abstract The aim of these notes is to collect and motivate the basic localiza- tion toolbox for the geometric study of “spaces” locally described by noncommutative rings and their categories of modules. We present the basics of Ore localization of rings and modules in great detail. Common practical techniques are studied as well. We also describe a counterexample to a folklore test principle for Ore sets. Localization in negatively filtered rings arising in deformation theory is presented. A new notion of the differential Ore condition is introduced in the study of localization of differential calculi. To aid the geometrical viewpoint, localization is studied with em- phasis on descent formalism, flatness, abelian categories of quasicoher- ent sheaves and generalizations, and natural pairs of adjoint functors for sheaf and module categories. The key motivational theorems from the seminal works of Gabriel on localization, abelian categories and schemes are quoted without proof, as well as the related statements of Popescu, Eilenberg-Watts, Deligne and Rosenberg. The Cohn universal localization does not have good flatness prop- erties, but it is determined by the localization map already at the ring level, like the perfect localizations are. Cohn localization is here related to the quasideterminants of Gelfand and Retakh; and this may help arXiv:math/0403276v2 [math.QA] 1 Mar 2005 the understanding of both subjects. Contents 1 Introduction 2 2 Noncommutative geometry 6 3 Abstract localization 12 1 2 Noncommutative localization in noncommutative geometry 4 Ore localization for monoids 15 5 Ore localization for rings 22 6 Practical criteria for Ore sets 25 7 Ore localization for modules 30 8 Monads, comonads and gluing 33 9 Distributive laws and compatibility 40 10 Commutative localization 45 11 Ring maps vs.
    [Show full text]
  • Almost Ring Theory Series: Lecture Notes in Mathematics
    springer.com Ofer Gabber, Lorenzo Ramero Almost Ring Theory Series: Lecture Notes in Mathematics This book develops thorough and complete foundations for the method of almost etale extensions, which is at the basis of Faltings' approach to p-adic Hodge theory. The central notion is that ofan "almost ring". Almost rings are the commutative unitary monoids in a tensor category obtained as a quotient V-Mod/S of the category V-Mod of modules over a fixed ring V; the subcategory S consists of all modules annihilated by a fixed ideal m of V, satisfying certain natural conditions. The reader is assumed to be familiar with general categorical notions, some basic commutative algebra and some advanced homological algebra (derived categories, simplicial methods). Apart from these general prerequisites, the text is as self-contained as possible. One novel feature of the book - compared with Faltings' earlier treatment - is the systematic exploitation of the cotangent complex, especially for the study of deformations of almost algebras. 2003, VI, 318 p. Printed book Softcover 59,99 € | £54.99 | $74.99 [1]64,19 € (D) | 65,99 € (A) | CHF 71,00 eBook 50,28 € | £43.99 | $59.99 [2]50,28 € (D) | 50,28 € (A) | CHF 56,50 Available from your library or springer.com/shop MyCopy [3] Printed eBook for just € | $ 24.99 springer.com/mycopy Order online at springer.com / or for the Americas call (toll free) 1-800-SPRINGER / or email us at: [email protected]. / For outside the Americas call +49 (0) 6221-345-4301 / or email us at: [email protected].
    [Show full text]