DOCSLIB.ORG

Arxiv:2012.15801V2 [Math.AG] 8 Jun 2021 HRA HT,LNUNM,ZOTPTKAV,KR SCHWEDE, PATAKFALVI, KARL ZSOLT MA, LINQUAN BHATT, BHARGAV .Introduction 1

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2012.15801V2 [Math.AG] 8 Jun 2021 HRA HT,LNUNM,ZOTPTKAV,KR SCHWEDE, PATAKFALVI, KARL ZSOLT MA, LINQUAN BHATT, BHARGAV .Introduction 1 GLOBALLY +-REGULAR VARIETIES AND THE MINIMAL MODEL PROGRAM FOR THREEFOLDS IN MIXED CHARACTERISTIC BHARGAV BHATT, LINQUAN MA, ZSOLT PATAKFALVI, KARL SCHWEDE, KEVIN TUCKER, JOE WALDRON, JAKUB WITASZEK Abstract. We establish the Minimal Model Program for arithmetic threefolds whose residue characteristics are greater than five. In doing this, we generalize the theory of global F -regularity to mixed characteristic and identify certain stable sections of adjoint line bundles. Finally, by passing to graded rings, we generalize a special case of Fujita’s conjecture to mixed characteristic. Contents 1. Introduction 2 1.1. Minimal Model Program 5 1.2. Applications to moduli theory 7 1.3. Applications to commutative algebra 7 1.4. Applications to four-dimensional Minimal Model Program and liftability 8 1.5. Technical notes 8 Acknowledgements 8 2. Preliminaries 9 2.1. Dualizing complexes and local duality 9 2.2. Big Cohen-Macaulay algebras 11 2.3. Resolution of singularities 14 2.4. Bertini 15 2.5. Log minimal model program 16 2.6. Minimal Model Program for excellent surfaces 21 2.7. Characteristic zero base point free theorem 23 2.8. Mixed characteristic Keel’s theorem 23 arXiv:2012.15801v2 [math.AG] 8 Jun 2021 2.9. Seshadri constants 25 3. Vanishing in mixed characteristic 27 4. The subset of ++-stable sections (B0) 32 4.1. B0 in the affine case 38 4.2. Transformation of B0 under alterations 39 4.3. Adjoint analogs 41 4.4. ++-stable sections and completion 46 5. Section rings and ++-stable sections 49 5.1. An application to Fujita’s conjecture in mixed characteristic 53 6. Globally ++-regular pairs 56 6.1. Purely globally ++-regular schemes 62 7. Lifting ++-stable sections from divisors 64 1 7.1. Globally ++-regular birational morphisms of surfaces 69 8. Existence of flips 72 8.1. Finite generation of the restriction algebra 73 8.2. Conclusion 83 9. Minimal Model Program 85 9.1. Existence of flips and background on termination 86 9.2. Step 1: Partial cone and contraction theorems 88 9.3. Step 2: Construction of flips with arbitrary coefficients 90 9.4. Step 3: Base point free theorem for nef and big line bundles 93 9.5. Step 4: MMP in the pseudo-effective case 97 9.6. Step 5: Base point freeness 99 9.7. Step 6: Cone theorem and Mori fiber spaces 102 10. Applications to moduli of stable surfaces 107 References 112 1. Introduction The Kodaira and Kawamata-Viehweg vanishing theorems are among the most important tools used in algebraic geometry in characteristic zero and are a key component of the minimal model program [BCHM10]. They are crucial to understanding linear systems as they allow the lifting of global sections of line bundles from lower dimensional subvarieties. Unfortunately, these vanishing theorems are false in general when working over fields of 1 positive characteristic (such as Fp,[Ray78]) or mixed characteristic rings (such as Z or Zp ). In characteristic p > 0, the Frobenius morphism and asymptotic Serre vanishing can be used as a replacement in some contexts. An important class of such applications of Frobenius goes back to the development of tight closure theory and the notions of F -split and F -regular varieties [HH90, MR85, RR85]. The discovery of connections between these notions and birational geometry led to a plethora of applications, for instance: [Smi97a, MS97, Har98, HW02, HY03, Tak04b, STZ12, Tak04a, Pat14, Zha14, MS14, CHMS14, Hac15, BST15, Das15, GLP+15, CTW17, CRST18, HP16, HPZ19, AP19, Eji19, Ber19]. In particu- lar, building on [Kee99] and [Sch14], Hacon and Xu proved the existence of minimal models for positive characteristic terminal threefolds over algebraically closed fields of characteristic p > 5 [HX15]; this was then extended in various directions [CTX15, Bir16, Xu15, BW17, Wal18, HNT20, GNT19, DW19, XZ19, HW19b, HW19a, HW20]. In the mixed characteristic setting, the theory of perfectoid algebras and spaces [Sch12] has led to spectacular advancements, including proofs of the direct summand conjecture and the existence of big Cohen-Macaulay algebras by Andr´e[And18] (see also [Bha18]). Building on these techniques, the second and fourth authors developed a mixed characteristic analog of F -regularity called BCM-regularity in [MS18a, MS18b], and, together with the fifth, sixth, and the seventh author, its adjoint (plt) variant (see [MST+19]). In particular, it was shown that klt surface singularities of mixed characteristic (0,p> 5) are BCM-regular and that inversion of adjunction holds for three-dimensional plt singularities; the positive 1Burt Totaro [Tot21] has pointed out to us that examples of failure of relative Kawamata-Viehweg vanishing in mixed characteristic can be obtained via methods similar to those in [Tot19]. 2 characteristic analogs of these results were key initial ingredients for the aforementioned work of Hacon and Xu. What is missing is a mixed characteristic analog of the theory of global F -regularity2, which was introduced in positive characteristic in [Smi00] (see also [SS10]). We establish such a theory, which we call +-regularity, based upon the recent work of the first author, [Bha20], who showed that the absolute integral closure R+ of an excellent domain R is Cohen-Macaulay in mixed characteristic and deduced a variant of Kodaira vanishing up to finite covers. Like in positive characteristic one may also define ++-regularity by the study of BCM-regularity of section rings (normalizations of cones); in fact, this point of view will be important in proofs of some of our results. It is reasonable to note that globally ++-regular varieties (and pairs) could also be called global splinters. We use this new terminology however since it very closely matches the terminology for global F -regularity. As our main application we develop the mixed characteristic Minimal Model Program for threefolds when the residual characteristics are zero or bigger than 5. Theorem A. Let R be a finite-dimensional excellent domain with a dualizing complex and containing Z whose closed points have residual characteristics zero or greater than 5. Let X be a klt integral scheme of dimension three which is projective and surjective over Spec(R). Then we can run a Minimal Model Program on X over Spec R which terminates with a minimal model or a Mori fiber space. In fact, our results are much stronger (see Section 1.1 for more details). They extend earlier results on the mixed characteristic case including H. Tanaka’s work on the MMP for excel- lent surfaces ([Tan18]) and the work of Y. Kawamata on the MMP for mixed characteristic semistable threefolds [Kaw94]. Other related work appears in [Lip69, Theorem 4.1], [Lic68] and [Sha66]. We also point out that some variants of this theorem were obtained indepen- dently by Takamatsu and Yoshikawa in [TY20] (see Remark 1.1 for additional discussion). From now on, (R, m) is a Noetherian complete local domain of mixed characteristic (0,p> 0) (although what follows also works when R is of characteristic p> 0). For simplicity, in the introduction, we present our initial results in the non-boundary-case (∆ = 0) and append references to full statements. First, we discuss the analog of global F -regularity. We say that a normal integral scheme X proper over R is globally +-regular if OX −→ f∗OY splits for every finite cover f : Y −→ X, and observe the following as a straightforward consequence of generalizations and reformulations (see Section 3) of the vanishing theorems of [Bha20]. Theorem B (Corollary 6.12). Suppose that X is globally +-regular and proper over Spec(R). If L is a big and semi-ample line bundle on X, then Kawamata-Viehweg vanishing holds i for L , that is H (X,ωX ⊗ L )=0 for i> 0. In positive characteristic, global F -regularity implies global ++-regularity (Lemma 6.14), but the converse is an open problem even in the affine setting. Another key notion used in applications in positive characteristic birational geometry is that of Frobenius stable sections S0(X, M ) ⊆ H0(X, M ), for a line bundle M , and its variant T 0(X, M ), introduced in [Sch14] and [BST15] respectively. These sections behave as if Kodaira vanishing was valid for them. In this article, we consider the following mixed 2A strong version of being log Fano. 3 characteristic analog thereof (see Definition 4.2): 0 0 ∗ 0 B (X, M ) := im H (Y, OY (KY/X + f M)) −→ H (X, M ) . f : Y −→X finite\ 0 M We call these global sections +-stable. We also consider an adjoint (plt-like) version BS(X,S; ) for an irreducible divisor S and a line bundle M = OX (M). Theorem C. The following holds for a normal integral scheme X proper over Spec(R): (a) Under appropriate assumptions, 0 O 0 O BS(X,S; X(KX + S + A)) −→ B (S; S(KS + A|S)) is surjective, where A is an ample Cartier divisor, see Theorem 7.2. 0 0 (b) X is globally +-regular if and only if B (X, OX )= H (X, OX ), see Proposition 6.8. (c) If X is Q-Gorenstein, then 0 0 ∗ 0 B (X, M ) := im H (Y, OY (KY/X + f M)) −→ H (X, M ) , f : Y −→X alteration\ see Corollary 4.13. 0 (d) If X = Spec R is Q-Gorenstein and affine, then B (X, OX ) = τR+ (R), where the latter term is the BCM-test ideal defined in [MS18b], see Proposition 4.17. (e) B0 transforms as expected under finite maps and alterations, see Section 4.2. L 0 L i (f) If is an ample line bundle on X, and S = i≥0 H (X, ) is the section ring, then for i> 0 we have that B0(X,ω ⊗L i) is the ith graded piece of a test submodule X L τR+,gr (ωS) on S, see Proposition 5.5.
Load more

Recommended publications
  • The Completion of a Ring with a Valuation 21
    proceedings of the american mathematical society Volume 36, Number 1, November 1972 THE COMPLETION OF A RING WITH A VALUATION HELEN E. ADAMS Abstract. This paper proves three main results : the completion of a commutative ring with respect to a Manis valuation is an integral domain; a necessary and sufficient condition is given that the completion be a field; and the completion is a field when the valuation is Harrison and the value group is archimedean ordered. 1. Introduction. In [1] we defined a generalized pseudovaluation on a ring R and found explicitly the completion of R with respect to the topology induced on R by such a pseudovaluation. Using this inverse limit character- ization of the completion of R we show, in §2, that when the codomain of a valuation on R is totally ordered, the completion of R with respect to the valuation has no (nonzero) divisors of zero and the valuation on R can be extended to a valuation on the completion. In §3, R is assumed to have an identity and so, from [1, §2], the completion has an identity: a necessary and sufficient condition is given such that each element of the completion of R has a right inverse. §§2 and 3 are immediately applicable to a Manis valuation 9?on a com- mutative ring R with identity [3], where the valuation <pis surjective and the set (p(R) is a totally ordered group. A Harrison valuation on R is a Manis valuation 9?on R such that the set {x:x e R, <p(x)> y(l)} is a finite Harrison prime [2].
    [Show full text]
  • MMP) Is One of the Cornerstones in the Clas- Sification Theory of Complex Projective Varieties
    MINIMAL MODELS FOR KÄHLER THREEFOLDS ANDREAS HÖRING AND THOMAS PETERNELL Abstract. Let X be a compact Kähler threefold that is not uniruled. We prove that X has a minimal model. 1. Introduction The minimal model program (MMP) is one of the cornerstones in the clas- sification theory of complex projective varieties. It is fully developed only in dimension 3, despite tremendous recent progress in higher dimensions, in particular by [BCHM10]. In the analytic Kähler situation the basic methods from the MMP, such as the base point free theorem, fail. Nevertheless it seems reasonable to expect that the main results should be true also in this more general context. The goal of this paper is to establish the minimal model program for Kähler threefolds X whose canonical bundle KX is pseudoeffective. To be more specific, we prove the following result: 1.1. Theorem. Let X be a normal Q-factorial compact Kähler threefold with at most terminal singularities. Suppose that KX is pseudoeffective or, equivalently, that X is not uniruled. Then X has a minimal model, i.e. there exists a MMP X 99K X′ such that KX′ is nef. In our context a complex space is said to be Q-factorial if every Weil ⊗m ∗∗ divisor is Q-Cartier and a multiple (KX ) of the canonical sheaf KX is locally free. If X is a projective threefold, Theorem 1.1 was estab- lished by the seminal work of Kawamata, Kollár, Mori, Reid and Shokurov [Mor79, Mor82, Rei83, Kaw84a, Kaw84b, Kol84, Sho85, Mor88, KM92]. Based on the deformation theory of rational curves on smooth threefolds [Kol91b, Kol96], Campana and the second-named author started to inves- tigate the existence of Mori contractions [CP97, Pet98, Pet01].
    [Show full text]
  • MINIMAL MODEL THEORY of NUMERICAL KODAIRA DIMENSION ZERO Contents 1. Introduction 1 2. Preliminaries 3 3. Log Minimal Model Prog
    MINIMAL MODEL THEORY OF NUMERICAL KODAIRA DIMENSION ZERO YOSHINORI GONGYO Abstract. We prove the existence of good minimal models of numerical Kodaira dimension 0. Contents 1. Introduction 1 2. Preliminaries 3 3. Log minimal model program with scaling 7 4. Zariski decomposition in the sense of Nakayama 9 5. Existence of minimal model in the case where º = 0 10 6. Abundance theorem in the case where º = 0 12 References 14 1. Introduction Throughout this paper, we work over C, the complex number ¯eld. We will make use of the standard notation and de¯nitions as in [KM] and [KMM]. The minimal model conjecture for smooth varieties is the following: Conjecture 1.1 (Minimal model conjecture). Let X be a smooth pro- jective variety. Then there exists a minimal model or a Mori ¯ber space of X. This conjecture is true in dimension 3 and 4 by Kawamata, Koll¶ar, Mori, Shokurov and Reid (cf. [KMM], [KM] and [Sho2]). In the case where KX is numerically equivalent to some e®ective divisor in dimen- sion 5, this conjecture is proved by Birkar (cf. [Bi1]). When X is of general type or KX is not pseudo-e®ective, Birkar, Cascini, Hacon Date: 2010/9/21, version 4.03. 2000 Mathematics Subject Classi¯cation. 14E30. Key words and phrases. minimal model, the abundance conjecture, numerical Kodaira dimension. 1 2 YOSHINORI GONGYO and McKernan prove Conjecture 1.1 for arbitrary dimension ([BCHM]). Moreover if X has maximal Albanese dimension, Conjecture 1.1 is true by [F2]. In this paper, among other things, we show Conjecture 1.1 in the case where º(KX ) = 0 (for the de¯nition of º, see De¯nition 2.6): Theorem 1.2.
    [Show full text]
  • Formal Power Series Rings, Inverse Limits, and I-Adic Completions of Rings
    Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely many variables over a ring R, and show that it is Noetherian when R is. But we begin with a definition in much greater generality. Let S be a commutative semigroup (which will have identity 1S = 1) written multi- plicatively. The semigroup ring of S with coefficients in R may be thought of as the free R-module with basis S, with multiplication defined by the rule h k X X 0 0 X X 0 ( risi)( rjsj) = ( rirj)s: i=1 j=1 s2S 0 sisj =s We next want to construct a much larger ring in which infinite sums of multiples of elements of S are allowed. In order to insure that multiplication is well-defined, from now on we assume that S has the following additional property: (#) For all s 2 S, f(s1; s2) 2 S × S : s1s2 = sg is finite. Thus, each element of S has only finitely many factorizations as a product of two k1 kn elements. For example, we may take S to be the set of all monomials fx1 ··· xn : n (k1; : : : ; kn) 2 N g in n variables. For this chocie of S, the usual semigroup ring R[S] may be identified with the polynomial ring R[x1; : : : ; xn] in n indeterminates over R. We next construct a formal semigroup ring denoted R[[S]]: we may think of this ring formally as consisting of all functions from S to R, but we shall indicate elements of the P ring notationally as (possibly infinite) formal sums s2S rss, where the function corre- sponding to this formal sum maps s to rs for all s 2 S.
    [Show full text]
  • The Minimal Model Program for B-Log Canonical Divisors and Applications
    THE MINIMAL MODEL PROGRAM FOR B-LOG CANONICAL DIVISORS AND APPLICATIONS DANIEL CHAN, KENNETH CHAN, LOUIS DE THANHOFFER DE VOLCSEY,¨ COLIN INGALLS, KELLY JABBUSCH, SANDOR´ J KOVACS,´ RAJESH KULKARNI, BORIS LERNER, BASIL NANAYAKKARA, SHINNOSUKE OKAWA, AND MICHEL VAN DEN BERGH Abstract. We discuss the minimal model program for b-log varieties, which is a pair of a variety and a b-divisor, as a natural generalization of the minimal model program for ordinary log varieties. We show that the main theorems of the log MMP work in the setting of the b-log MMP. If we assume that the log MMP terminates, then so does the b- log MMP. Furthermore, the b-log MMP includes both the log MMP and the equivariant MMP as special cases. There are various interesting b-log varieties arising from different objects, including the Brauer pairs, or “non-commutative algebraic varieties which are finite over their centres”. The case of toric Brauer pairs is discussed in further detail. Contents 1. Introduction 1 2. Minimal model theory with boundary b-divisors 4 2.A. Recap on b-divisors 4 2.B. b-discrepancy 8 3. The Minimal Model Program for b-log varieties 11 3.A. Fundamental theorems for b-log varieties 13 4. Toroidal b-log varieties 15 4.A. Snc stratifications 15 4.B. Toric b-log varieties 17 4.C. Toroidal b-log varieties 19 5. Toric Brauer Classes 21 References 24 1. Introduction arXiv:1707.00834v2 [math.AG] 5 Jul 2017 Let k be an algebraically closed field of characteristic zero. Let K be a field, finitely generated over k.
    [Show full text]
  • Mel Hochster's Lecture Notes
    MATH 614 LECTURE NOTES, FALL, 2017 by Mel Hochster Lecture of September 6 We assume familiarity with the notions of ring, ideal, module, and with the polynomial ring in one or finitely many variables over a commutative ring, as well as with homomor- phisms of rings and homomorphisms of R-modules over the ring R. As a matter of notation, N ⊆ Z ⊆ Q ⊆ R ⊆ C are the non-negative integers, the integers, the rational numbers, the real numbers, and the complex numbers, respectively, throughout this course. Unless otherwise specified, all rings are commutative, associative, and have a multiplica- tive identity 1 (when precision is needed we write 1R for the identity in the ring R). It is possible that 1 = 0, in which case the ring is f0g, since for every r 2 R, r = r ·1 = r ·0 = 0. We shall assume that a homomorphism h of rings R ! S preserves the identity, i.e., that h(1R) = 1S. We shall also assume that all given modules M over a ring R are unital, i.e., that 1R · m = m for all m 2 M. When R and S are rings we write S = R[θ1; : : : ; θn] to mean that S is generated as a ring over its subring R by the elements θ1; : : : ; θn. This means that S contains R and the elements θ1; : : : ; θn, and that no strictly smaller subring of S contains R and the θ1; : : : ; θn. It also means that every element of S can be written (not necessarily k1 kn uniquely) as an R-linear combination of the monomials θ1 ··· θn .
    [Show full text]
  • Effective Bounds for the Number of MMP-Series of a Smooth Threefold
    EFFECTIVE BOUNDS FOR THE NUMBER OF MMP-SERIES OF A SMOOTH THREEFOLD DILETTA MARTINELLI Abstract. We prove that the number of MMP-series of a smooth projective threefold of positive Kodaira dimension and of Picard number equal to three is at most two. 1. Introduction Establishing the existence of minimal models is one of the first steps towards the birational classification of smooth projective varieties. More- over, starting from dimension three, minimal models are known to be non-unique, leading to some natural questions such as: does a variety admit a finite number of minimal models? And if yes, can we fix some parameters to bound this number? We have to be specific in defining what we mean with minimal mod- els and how we count their number. A marked minimal model of a variety X is a pair (Y,φ), where φ: X 99K Y is a birational map and Y is a minimal model. The number of marked minimal models, up to isomorphism, for a variety of general type is finite [BCHM10, KM87]. When X is not of general type, this is no longer true, [Rei83, Example 6.8]. It is, however, conjectured that the number of minimal models up to isomorphism is always finite and the conjecture is known in the case of threefolds of positive Kodaira dimension [Kaw97]. In [MST16] it is proved that it is possible to bound the number of marked minimal models of a smooth variety of general type in terms of the canonical volume. Moreover, in dimension three Cascini and Tasin [CT18] bounded the volume using the Betti numbers.
    [Show full text]
  • Commutative Algebra
    Commutative Algebra Andrew Kobin Spring 2016 / 2019 Contents Contents Contents 1 Preliminaries 1 1.1 Radicals . .1 1.2 Nakayama's Lemma and Consequences . .4 1.3 Localization . .5 1.4 Transcendence Degree . 10 2 Integral Dependence 14 2.1 Integral Extensions of Rings . 14 2.2 Integrality and Field Extensions . 18 2.3 Integrality, Ideals and Localization . 21 2.4 Normalization . 28 2.5 Valuation Rings . 32 2.6 Dimension and Transcendence Degree . 33 3 Noetherian and Artinian Rings 37 3.1 Ascending and Descending Chains . 37 3.2 Composition Series . 40 3.3 Noetherian Rings . 42 3.4 Primary Decomposition . 46 3.5 Artinian Rings . 53 3.6 Associated Primes . 56 4 Discrete Valuations and Dedekind Domains 60 4.1 Discrete Valuation Rings . 60 4.2 Dedekind Domains . 64 4.3 Fractional and Invertible Ideals . 65 4.4 The Class Group . 70 4.5 Dedekind Domains in Extensions . 72 5 Completion and Filtration 76 5.1 Topological Abelian Groups and Completion . 76 5.2 Inverse Limits . 78 5.3 Topological Rings and Module Filtrations . 82 5.4 Graded Rings and Modules . 84 6 Dimension Theory 89 6.1 Hilbert Functions . 89 6.2 Local Noetherian Rings . 94 6.3 Complete Local Rings . 98 7 Singularities 106 7.1 Derived Functors . 106 7.2 Regular Sequences and the Koszul Complex . 109 7.3 Projective Dimension . 114 i Contents Contents 7.4 Depth and Cohen-Macauley Rings . 118 7.5 Gorenstein Rings . 127 8 Algebraic Geometry 133 8.1 Affine Algebraic Varieties . 133 8.2 Morphisms of Affine Varieties . 142 8.3 Sheaves of Functions .
    [Show full text]
  • Arxiv:1905.05576V3 [Math.AG] 14 Apr 2020 Oti Okadterfrefrvlal Comments
    ON THE EXISTENCE OF MINIMAL MODELS FOR LOG CANONICAL PAIRS VLADIMIR LAZIC´ AND NIKOLAOS TSAKANIKAS Abstract. We show that minimal models of log canonical pairs exist, assuming the existence of minimal models of smooth varieties. Contents 1. Introduction 1 2. Preliminaries 4 3. On weak Zariski decompositions 16 4. Proofs of the main results 22 References 24 1. Introduction The goal of this paper is to reduce the problem of the existence of minimal models for log canonical pairs to the problem of the existence of minimal models for smooth varieties. The following is our main result. Theorem A. The existence of minimal models for smooth varieties of di- mension n implies the existence of minimal models for log canonical pairs of dimension n. Note that minimal models in the above theorem are relative minimal mo- dels, that is, minimal models of quasi-projective varieties or pairs which are arXiv:1905.05576v3 [math.AG] 14 Apr 2020 projective and whose canonical class is pseudoeffective over another normal quasi-projective variety. In this paper, minimal models are meant in the usual sense and not in the sense of Birkar-Shokurov; for the differences, see §2.2. We were supported by the DFG-Emmy-Noether-Nachwuchsgruppe “Gute Strukturen in der h¨oherdimensionalen birationalen Geometrie”. We would like to thank O. Fujino for pointing out a gap in a previous proof of Theorem 2.22 and for useful comments, S. Filipazzi, Y. Gongyo, J. Han, W. Liu, F. Meng and J. Moraga for useful discussions related to this work and the referee for valuable comments.
    [Show full text]
  • Strongly Gorenstein C-Homological Modules Under Change of Rings
    Bull. Korean Math. Soc. 58 (2021), No. 4, pp. 939{958 https://doi.org/10.4134/BKMS.b200673 pISSN: 1015-8634 / eISSN: 2234-3016 STRONGLY GORENSTEIN C-HOMOLOGICAL MODULES UNDER CHANGE OF RINGS Yajuan Liu and Cuiping Zhang Abstract. Some properties of strongly Gorenstein C-projective, C-injec- tive and C-flat modules are studied, mainly considering these properties under change of rings. Specifically, the completions of rings, the localiza- tions and the polynomial rings are considered. 1. Introduction Unless stated otherwise, throughout this paper R is a commutative and noetherian ring with identity and C is a semidualizing R-module. Let R be a ring and we denote the category of left R-module by R-Mod. By PC (R), FC (R) and IC (R) denote the classes of all C-projective, C-flat and C-injective R-modules, respectively. For any R-module M, pdR(M) denotes the projective dimension of M. When R is two-sided noetherian, Auslander and Bridger [1] introduced the G-dimension, G-dimR(M) for every finitely generated R-module M. They proved the inequality G-dimR(M) ≤ pdR(M), with equality G-dimR(M) = pdR(M) when pdR(M) is finite. Several decades later, Enochs and Jenda [4,5] extended the ideas of Auslander and Bridger and introduced the Gorenstein projective, injective and flat dimensions. Bennis and Mahdou [3] studied a particular case of Gorenstein projective, injective and flat modules, which they called strongly Gorenstein projective, injective and flat modules. Yang and Liu [16] discussed some connections between strongly Gorenstein projective, injective and flat modules, and they considered these properties under change of rings.
    [Show full text]
  • Birational Positivity in Dimension 4 Tome 64, No 1 (2014), P
    R AN IE N R A U L E O S F D T E U L T I ’ I T N S ANNALES DE L’INSTITUT FOURIER Behrouz TAJI Birational positivity in dimension 4 Tome 64, no 1 (2014), p. 203-216. <http://aif.cedram.org/item?id=AIF_2014__64_1_203_0> © Association des Annales de l’institut Fourier, 2014, tous droits réservés. L’accès aux articles de la revue « Annales de l’institut Fourier » (http://aif.cedram.org/), implique l’accord avec les conditions générales d’utilisation (http://aif.cedram.org/legal/). Toute re- production en tout ou partie de cet article sous quelque forme que ce soit pour tout usage autre que l’utilisation à fin strictement per- sonnelle du copiste est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. cedram Article mis en ligne dans le cadre du Centre de diffusion des revues académiques de mathématiques http://www.cedram.org/ Ann. Inst. Fourier, Grenoble 64, 1 (2014) 203-216 BIRATIONAL POSITIVITY IN DIMENSION 4 by Behrouz TAJI With an appendix by Frédéric CAMPANA Abstract. — In this paper we prove that for a nonsingular projective variety of dimension at most 4 and with non-negative Kodaira dimension, the Kodaira dimension of coherent subsheaves of Ωp is bounded from above by the Kodaira dimension of the variety. This implies the finiteness of the fundamental group for such an X provided that X has vanishing Kodaira dimension and non-trivial holomorphic Euler characteristic. Résumé. — Dans cet article, nous montrons que pour une variété projective lisse, X, de dimension au plus 4 et de dimension de Kodaira non négative, la dimen- sion de Kodaira des sous-faisceaux cohérents de Ωp est majorée par la dimension de Kodaira de X.
    [Show full text]
  • Course Summary for Math 508, Winter Quarter 2017: Advanced Commutative Algebra
    COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA JAROD ALPER WEEK 1, JAN 4, 6: DIMENSION Lecture 1: Introduction to dimension. • Define Krull dimension of a ring A. • Discuss dimension 0 rings. Recall Artinian rings and various equiv- alences. • Prove that a PID has dimension 1. • Prove that if I ⊂ R is a nilpotent ideal, then dim R=I = dim R. Lecture 2: Conservation of dimension under integral extensions. • Prove that if R ! S is an integral ring extension, then dim R = dim S. • Define the codimension (or height) of a prime p ⊂ A, denoted as codim p, as the supremum of the lengths k of strictly descending chains p = p0 ⊃ p1 ⊃ · · · ⊃ pk of prime ideals. Note that codim p = dim Ap. • Prove: if φ: R ! S is an integral ring homomorphism, then dim I = dim φ−1(I). • Discuss codimension 0 primes (i.e. minimal primes). • Prove: if R is Noetherian and f 2 R is a non-unit, then any prime p ( (f) has codim(p) = 0. WEEK 2, JAN 9, 11 (JAN 13 CANCELLED): KRULL’S HAUPTIDEALSATZ AND CONSEQUENCES Lecture 3: Krull’s Hauptidealsatz. • State and prove Krull’s Principal Ideal Theorem (a.k.a. Krull’s Hauptidealsatz): if A is a Noetherian ring and f 2 A is not a unit, then height(f) ≤ 1; that is, for every prime ideal p containing f, height p ≤ 1. • State and prove the following generalization of Krull’s Principal Ideal Theorem: if A is a Noetherian ring and I = (x1; : : : ; xn) ⊂ A is a proper ideal.
    [Show full text]