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

formal fiberslocalization problemseminormalityweak normality

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) Deformations of singularities (14B07) Local structure of morphisms in algebraic geometry: étale, flat, etc. (14B25)

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

• \(F\)-pure homomorphisms, strong \(F\)-regularity, and \(F\)-injectivity
• \(F\)-singularities in families
• 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-rational rings have rational singularities
• F-Regularity, Test Elements, and Smooth Base Change
• Formal fibers and openness of loci
• Homology of local flat extensions and complete intersection defects
• Homology of schemes
• 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?)
• 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
• É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

(15)

• Approximate liftings in local algebra and a theorem of Grothendieck
• Local uniformization of Abhyankar valuations
• Dévissage and localization for the Grothendieck spectrum of varieties
• Weak normality and seminormality in the mixed characteristic case
• On a local analogue of the Grothendieck conjecture.
• On the semicontinuity problem of fibers and global F-regularity
• 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 589373 (Why is no real title available?)
• Stability and deformation of \(F\)-singularities
• On the completed tensor product of two preadic algebras over a field
• Formal lifting of dualizing complexes and consequences
• Variants of normality and steadfastness deform
• Local log-regular rings vs. toric rings
• Some ring-theoretic properties via Frobenius and monoidal maps

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)