A uniform treatment of Grothendieck's localization problem

DOI10.1112/S0010437X21007715zbMATH Open1485.14005arXiv2004.06737MaRDI QIDQ5037282FDOQ5037282

Authors: Takumi Murayama 

Publication date: 28 February 2022

Published in: Compositio Mathematica (Search for Journal in Brave)

Abstract: Let $fcolonYoX$ be a proper flat morphism of locally noetherian schemes. Then, the locus in $X$ over which $f$ is smooth is stable under generization. We prove that under suitable assumptions on the formal fibers of $X$, the same property holds for other local properties of morphisms, even if $f$ is only closed and flat. Our proof of this statement reduces to a purely local question known as Grothendieck's localization problem. To answer Grothendieck's problem, we provide a general framework that gives a uniform treatment of previously known cases of this problem, and also solves this problem in new cases, namely for weak normality, seminormality, $F$-rationality, and the property "Cohen-Macaulay and $F$-injective." For the weak normality statement, we prove that weak normality always lifts from Cartier divisors. We also solve Grothendieck's localization problem for terminal, canonical, and rational singularities in equal characteristic zero.

Full work available at URL: https://arxiv.org/abs/2004.06737

Recommendations

• scientific article; zbMATH DE number 589373
• Reduction of local uniformization to the case of rank one valuations for rings with zero divisors
• On the localization theorem for \(F\)-pure rings
• scientific article; zbMATH DE number 428284
• scientific article; zbMATH DE number 4097525

zbMATH Keywords

weak normalityseminormalityformal fiberslocalization problem

Mathematics Subject Classification ID

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Local structure of morphisms in algebraic geometry: étale, flat, etc. (14B25) Deformations of singularities (14B07)

Cites Work

• Singularités rationnelles et quotients par les groupes réductifs. (Rational singularities and quotients by reductive groups)
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Séconde partie)
• Resolution of singularities of an algebraic variety over a field of characteristic zero. I
• Toroidal embeddings. I
• Smoothness, semi-stability and alterations
• Zariski-decomposition and abundance
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné
• F-Purity and Rational Singularity
• Title not available (Why is that?)
• Title not available (Why is that?)
• On ideal-adic completion of Noetherian rings
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Troisième partie). Rédigé avec la colloboration de J. Dieudonné
• Residues and duality. Lecture notes of a seminar on the work of A. Grothendieck, given at Havard 1963/64. Appendix: Cohomology with supports and the construction of the \(f^!\) functor by P. Deligne
• Singularités rationnelles et déformations
• Title not available (Why is that?)
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Première partie). Rédigé avec la colloboration de J. Dieudonné
• On arithmetic Macaulayfication of Noetherian rings
• Introduction
• Title not available (Why is that?)
• Title not available (Why is that?)
• F-Regularity, Test Elements, and Smooth Base Change
• Variants of normality for Noetherian schemes
• \(F\)-singularities in families
• Local cohomology and F-stability
• F-rational rings have rational singularities
• Title not available (Why is that?)
• Pseudo-rational local rings and a theorem of Briancon-Skoda about integral closures of ideals
• Desingularization of two-dimensional schemes
• P-rings and P-homomorphisms
• Cohen-Macaulay \(F\)-injective homomorphisms.
• Corrigendum to ``On the localization theorem for \(F\)-pure rings
• Title not available (Why is that?)
• Méthode simpliciale en algèbre homologique et algèbre commutative
• Localisation de la lissite formelle
• Title not available (Why is that?)
• Desingularization of quasi-excellent schemes in characteristic zero
• \(F\)-pure homomorphisms, strong \(F\)-regularity, and \(F\)-injectivity
• Structure of local homomorphisms
• Deformations of canonical singularities
• Homology of schemes
• Title not available (Why is that?)
• Sur les anneaux universellement japonais
• Komplettierung semilokaler quasiausgezeichneter Ringe
• Eine Bemerkung über Ringe mit geometrisch normalen formalen Fasern
• Title not available (Why is that?)
• Openness of the F-rational locus and smooth base change
• Nagata's criterion and openness of loci for Gorenstein and complete intersection
• Resolution of singularities of arithmetical threefolds
• Homology of local flat extensions and complete intersection defects
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dualizing complexes and flat homomorphisms of commutative Noetherian rings
• Ideal-adic completion of quasi-excellent rings (after Gabber)
• Lifting seminormality
• Title not available (Why is that?)
• On the localization theorem for \(F\)-pure rings
• On the behavior of F-rational rings under flat base change
• Some properties of weakly normal varieties
• Openness of loci, P-excellent rings and modules
• Formal fibers and openness of loci
• On the closedness of singular loci
• Commutative $n$-Gorenstein Rings.
• Title not available (Why is that?)
• A note on universally catenary rings
• Coherence of local and global hulls
• Title not available (Why is that?)
• Title not available (Why is that?)
• Introduction to singularities
• Singularities in mixed characteristic via perfectoid big Cohen-Macaulay algebras
• On the semicontinuity problem of fibers and global \(F\)-regularity
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (10)

• Weak normality and seminormality in the mixed characteristic case
• Dévissage and localization for the Grothendieck spectrum of varieties
• Approximate liftings in local algebra and a theorem of Grothendieck
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the semicontinuity problem of fibers and global \(F\)-regularity
• Stability and deformation of \(F\)-singularities
• Local uniformization of Abhyankar valuations
• On a local analogue of the Grothendieck conjecture.

This page was built for publication: A uniform treatment of Grothendieck's localization problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5037282)