A uniform treatment of Grothendieck's localization problem

DOI10.1112/S0010437X21007715MaRDI QIDQ5037282zbMATH OpenFDO

Authors Takumi Murayama

Publication date 28 February 2022

Published in Compositio Mathematica (Search for Journal in Brave)

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 418864 (Why is no real title available?)
• scientific article; zbMATH DE number 428284 (Why is no real title available?)
• scientific article; zbMATH DE number 6351356 (Why is no real title available?)
• scientific article; zbMATH DE number 3886026 (Why is no real title available?)
• scientific article; zbMATH DE number 5080025 (Why is no real title available?)
• scientific article; zbMATH DE number 3916436 (Why is no real title available?)
• scientific article; zbMATH DE number 4097525 (Why is no real title available?)
• scientific article; zbMATH DE number 1194481 (Why is no real title available?)
• scientific article; zbMATH DE number 3785032 (Why is no real title available?)
• scientific article; zbMATH DE number 43569 (Why is no real title available?)
• scientific article; zbMATH DE number 3522102 (Why is no real title available?)
• scientific article; zbMATH DE number 3639757 (Why is no real title available?)
• scientific article; zbMATH DE number 4125529 (Why is no real title available?)
• scientific article; zbMATH DE number 589373 (Why is no real title available?)
• scientific article; zbMATH DE number 809186 (Why is no real title available?)
• scientific article; zbMATH DE number 3322751 (Why is no real title available?)
• scientific article; zbMATH DE number 3370554 (Why is no real title available?)
• scientific article; zbMATH DE number 3377373 (Why is no real title available?)
• scientific article; zbMATH DE number 3389135 (Why is no real title available?)
• scientific article; zbMATH DE number 3389136 (Why is no real title available?)
• A note on universally catenary rings
• Cohen-Macaulay \(F\)-injective homomorphisms.
• Coherence of local and global hulls
• Commutative $n$-Gorenstein Rings.
• Corrigendum to ``On the localization theorem for \(F\)-pure rings
• Deformations of canonical singularities
• Desingularization of quasi-excellent schemes in characteristic zero
• Desingularization of two-dimensional schemes
• Dualizing complexes and flat homomorphisms of commutative Noetherian rings
• Eine Bemerkung über Ringe mit geometrisch normalen formalen Fasern
• F-Purity and Rational Singularity
• F-Regularity, Test Elements, and Smooth Base Change
• F-rational rings have rational singularities
• Formal fibers and openness of loci
• Homology of local flat extensions and complete intersection defects
• Homology of schemes
• Ideal-adic completion of quasi-excellent rings (after Gabber)
• Introduction
• Introduction to singularities
• Komplettierung semilokaler quasiausgezeichneter Ringe
• Lifting seminormality
• Local cohomology and F-stability
• Localisation de la lissite formelle
• Méthode simpliciale en algèbre homologique et algèbre commutative
• Nagata's criterion and openness of loci for Gorenstein and complete intersection
• On arithmetic Macaulayfication of Noetherian rings
• On ideal-adic completion of Noetherian rings
• On the behavior of F-rational rings under flat base change
• On the closedness of singular loci
• On the localization theorem for \(F\)-pure rings
• On the semicontinuity problem of fibers and global \(F\)-regularity
• Openness of loci, P-excellent rings and modules
• Openness of the F-rational locus and smooth base change
• P-rings and P-homomorphisms
• Pseudo-rational local rings and a theorem of Briancon-Skoda about integral closures of ideals
• 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
• Resolution of singularities of an algebraic variety over a field of characteristic zero. I
• Resolution of singularities of arithmetical threefolds
• Singularities in mixed characteristic via perfectoid big Cohen-Macaulay algebras
• Singularités rationnelles et déformations
• Singularités rationnelles et quotients par les groupes réductifs. (Rational singularities and quotients by reductive groups)
• Smoothness, semi-stability and alterations
• Some properties of weakly normal varieties
• Structure of local homomorphisms
• Sur les anneaux universellement japonais
• Toroidal embeddings. I
• Variants of normality for Noetherian schemes
• Zariski-decomposition and abundance
• \(F\)-pure homomorphisms, strong \(F\)-regularity, and \(F\)-injectivity
• \(F\)-singularities in families
• É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é
• É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é
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Séconde partie)
• É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é

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
• scientific article; zbMATH DE number 6351356 (Why is no real title available?)
• scientific article; zbMATH DE number 428284 (Why is no real title available?)
• scientific article; zbMATH DE number 589373 (Why is no real title available?)
• 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)