DOCSLIB.ORG

Arxiv:2104.12867V1

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2104.12867V1 TEST ELEMENTS IN EQUAL CHARACTERISTIC SEMIANALYTIC ALGEBRAS ZHAN JIANG Abstract. We establish a series of results showing that the Jacobian ideal is contained in the test ideal. We first prove a new result in characteristic p for complete rings over a field K. Then we prove some results showing that Jacobian ideals are contained in test ideals in equal characteristic 0 for affine, analytic, affine-analytic and semianalytic K-algebras. 1. Introduction Test ideals were first introduced by Mel Hochster and Craig Huneke in their celebrated theory of tight closure [HH90]. Since their invention, they have found application far beyond their original scope to Frobenius splittings [MR85, RR85], singularity theory [HH94, HH89], etc. For a good survey on this, we refer to [ST12]. There are various generalizations of test ideals, e.g., to pairs in positive characteristic [HY03, HT04], to pairs in mixed characteristic [MS18a, MS18b]. Test ideals are also closely related to multiplier ideals in equal characteristic 0 [Smi00, Har01]. The key property of test ideals is that they multiply the tight closure of any ideal back into that ideal has also been generalized to arbitrary closure operations in any characteristic [ERG19, PRG19]. There are a lot of closure operations [Hei01]. The theory of test ideals of these closure operations remains to be further explored. We aim to contribute to the test ideals of tight closures defined in equal characteristic 0 for (semi-/affine-)analytic algebras [HH99]. In the definition below, the terminology in the first and the third parts (analytic and semianalytic) is taken from [Kun86, Chapter 13]. Definition 1.1. Let R be a K-algebra where K is a field. arXiv:2104.12867v1 [math.AC] 26 Apr 2021 (1) R is called an analytic K-algebra, if there is a power series algebra P = KJx1,...,xnK such that R is finite over P . (2) R is called an affine-analytic K-algebra, if there is a power series algebra P = KJx1,...,xnK such that R is of finite type over P . (3) R is called a semianalytic K-algebra, if there is a power series algebra P = KJx1,...,xnK such that R is essentially of finite type over P . We will use the definition [PRG19, Definition 3.1] for test ideals in this paper. There are two subtleties when working with this definition: Date: April 28, 2021. 1 (1) There are two kinds of test ideals: one is the (big) test ideal and the other is the finitistic test ideal. (2) Test ideals are defined in terms of modules. One can also define them purely in terms of ideals. For the first point, these two notions associated to tight closure in characteristic p are conjectured to be the same ([ST12, Conjecture 5.14]), and proved to be the same in several cases [LS99, LS01]. Since we only work with tight closure of ideals in noetherian rings, we will stick to the notion of finitistic test ideals. For the second point, test ideals defined in terms of (finitely generated) modules and in terms of all ideals in the ring coincide when the base ring R is approximately Gorenstein ([Hoc77, Definition-Proposition 1.1, Definition 1.3]). The condition of being approximately Gorenstein is fairly weak, e.g., when R is either reduced and excellent or when R is of depth 2, R is approximately Gorenstein. In fact, all rings we are working with in this paper are excellent and reduced, hence, approximately Gorenstein. So we make the following convention throughout the paper. Convention 1.2. By the test ideal, we mean the finitistic test ideal associated to tight closure in the sense of [PRG19, Definition 3.1]. We shall also call the elements in the test ideal “test elements”. Some of the main results of this paper are summarized in the following theorems. Theorem 1.3. Let R be an absolutely reduced equiheight semianalytic K-algebra where char(K) = p. Then the Jacobian ideal J (R~K) is contained in the test ideal of R (The- orem 4.3). Remark 1.4. The result above implies the result of Theorem 4.1, where R is assumed to be an absolutely reduced equidimensional complete K-algebra. However, the proof of Theorem 4.3 relies on Theorem 4.1. Theorem 1.5. Let R be a reduced equiheight semianalytic K-algebra where char(K) = 0. Then the Jacobian ideal J (R~K) is contained in the test ideal of R. For any flat K-algebra maps R → R′ with geometrically regular fibers, the expansion of the Jacobian ideal J (R~K)R′ is contained in the test ideal of R′ (Corollary 6.11). Remark 1.6. The result above implies the case when R is a reduced equidimensional com- plete K-algebra (Theorem 6.6) and the case when R is a reduced equiheight affine-analytic K-algebra (Theorem 6.7). But the proof of Corollary 6.11 relies on Theorem 6.6 and Theo- rem 6.7. The paper is organized as follows: we first collect some preliminaries in Section 2 and have a discussion on Jacobian ideals in Section 3. Then we prove the new results Theorem 4.1 and Theorem 4.3 in characteristic p in Section 4. After that, we discuss the definition of tight closure in equal characteristic 0 and prove a new result Theorem 5.10 in the affine case in Section 5. Finally in Section 6, we start to discuss descent techniques and prove Theorem 6.6. Then we describe a similar descent process and prove Theorem 6.7. Based on Theorem 6.7, we will establish Corollary 6.11. 2 Acknowledgments. I would like to heartily thank Mel Hochster for offering so many helpful discussions on this question and for his careful reading on the first few drafts. I also want to thank Jack Jeffries for his comments on the first few drafts. 2. Preliminaries We discuss some preliminary materials about semianalytic algebras, the module of K¨ahler differentials and their relation to regularity. Throughout this section, unless otherwise stated, we do not assume any characteristic constraint. Most material here is covered in [Kun86], but has been reworded in a way that is better adapted to our needs in this paper. First we start with some notation. Definition 2.1. Let R be a noetherian ring and p ∈ Spec(R) a prime ideal of R. Let M be an R-module and I ⊆ R an ideal of R. (1) big ht(I) is the big height of I, i.e., big ht(I) = max{ht(Q)S Q ∈ Min(I)}. (2) If I ⊆ p, then the notion htp(I) represents the smallest height of primes P such that I ⊆ P ⊆ p. Note that this is equivalent to ht(IRp) in Rp. (3) dimp R is the supremum of the lengths of all chains of prime ideals containing p. We have dimp R = dim R~p + dim Rp. (4) The regularity defect of R at p is defined to be rd p(R) ∶= edim (Rp) − dim(Rp). (5) The residue field of p is denoted by κp(R) ∶= Rp~pRp. (6) µ(M) is the minimal number of generators of M and µp(M) is the minimal number of generators of the localized module Mp. (7) If A is a matrix with entries in R, then rankp(A) represents the rank of the matrix A over the residue field κp(R) at prime p. 2.1. Derivations and universal extensions. A good reference here is Chapters 1-3, 11-12, in [Kun86]. Definition 2.2. Let R0 be a ring, R an R0-algebra and M an R-module. (1) A R0-derivation of R in M is an R0-linear map δ ∶ R → M that satisfies the Leibniz rule, i.e., for all a, b ∈ R, δ(ab) = aδb + bδa. In the case R0 = Z, Z-derivations of R are simply called (absolute) derivations of R.[Kun86, 1.1] (2) An R0-derivation d ∶ R → M is called universal if for any R0-derivation δ ∶ R → N there is one and only one R-linear map ℓ ∶ M → N such that δ = ℓ ○ d. [Kun86, 1.18] (3) If d ∶ R → M is a universal R0-derivation of R then the R-module M is denoted by ΩR~R0 and is called the module of (K¨ahler) differentials of R over R0. The universal derivation of R over R0 is sometimes denoted by dR~R0 [Kun86, 1.20]. It is well-known that the module of K¨ahler differentials exists. If we denote the kernel of the canonical 2 map R ⊗R0 R → R by I, then ΩR~R0 ≅ I~I ([Kun86, 1.7, 1.21]). (4) For an R0-derivation δ ∶ R → M, we shall write RδR for the submodule of M generated by {δr}r∈R. If d is the universal R0-derivation of R, then RdR = ΩR~R0 [Kun86, 1.21 (b)]. Chapters 2 and 3 in [Kun86] describe differential algebras and universal extensions of differ- ential algebras. Here, we work with derivations, which are more relevant to our needs. These 3 two languages can be translated to and from one another in most cases. The definition below is [Kun86, 1.24]. Definition 2.3. Let R and S be two R0-algebras and ρ ∶ R → S an R0-algebra morphism. ′ ′ ′ Let δ ∶ R → M be an R0-derivation of R and δ ∶ S → M an R0-derivation of S. Then δ is called an extension of δ if there exists an R-linear map ϕ ∶ M → M ′ such that ρ R / S δ δ′ ϕ M / M ′ is commutative.
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]
  • 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]
  • 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]
  • 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]
  • 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]
  • The Friendly Giant
    Invent. math. 69, 1-102 (1982) II~ventiongs mathematicae Springer-Verlag 1982 The Friendly Giant Robert L. Griess, ,lr. Department of Mathematics, University of Michigan, Ann Arbor, Mi 48109, USA Table of Contents 1. Introduction .................................. 1 2. Preliminary Results ............................... 4 3. Faithful Modules for Extraspecial Groups ..................... 27 4. The Groups C, C~. and C and the Vector Space B .................. 28 5. Tensor Products of Irreducibles of C ........................ 33 6. The Algebra Product .............................. 39 7. The Groups F and a ............................... 40 8. The Action of Elements of P on the v().) and the e(x)| x, . ............. 48 9. The Belas ................................... 50 10. The Definition of~r ............................... 53 1 l. A Proof that o- is an Algebra Automorphism .................... 59 12. The Identification of G =(C, a) .......................... 81 13. Consequences .................................. 86 14. The Happy Family and the Pariahs ........................ 91 15. Concluding Remarks .............................. 96 List of Notations and Definitions ........................... 97 last of Tables ................................... 99 References ..................................... 100 1. Introduction In this paper, we demonstrate the existence of the Friemtly Giant, a finite simple group of order 2463205976 112133 . 17.19.23.29.31.41.47.59.71 = 808,017,424,794,512,875,886,459,904,961,710,757,005,754,368,000,000,000. Evidence for the existence of this group was produced independently in November, 1973, by Bernd Fischer in Bielefeld and by this author in Ann Dedicated to the memory of Richard D. Brauer, February 10, 1901-April 17, 1977 Research supported in part by NSF grants MCS-78-02463 and MCS-80-03027 0020-9910/82/0069/0001/$20.40 2 R.L.
    [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]