Desingularization of quasi-excellent schemes in characteristic zero

Abstract

Grothendieck proved in EGA IV that if any integral scheme of finite type over a locally noetherian scheme X admits a desingularization, then X is quasi-excellent, and conjectured that the converse is probably true. We prove this conjecture for noetherian schemes of characteristic zero. Namely, starting with the resolution of singularities for algebraic varieties of characteristic zero, we prove the resolution of singularities for noetherian quasi-excellent Q-schemes.

35 pages, revised version

References in corpus (1)

• A trace formula for rigid varieties, and motivic Weil generating series for formal schemes

Cited by in corpus (54)

• Shokurov's ACC Conjecture for log canonical thresholds on smooth varieties
• A trace formula for rigid varieties, and motivic Weil generating series for formal schemes
• Functorial desingularization of quasi-excellent schemes in characteristic zero: the non-embedded case
• Which powers of holomorphic functions are integrable?
• Perfectoid multiplier/test ideals in regular rings and bounds on symbolic powers
• Algebraic K-theory and descent for blow-ups
• Proofs of the integral identity conjecture over algebraically closed fields
• Index of varieties over Henselian fields and Euler characteristic of coherent sheaves
• The six-functor formalism for rigid analytic motives
• Singular semipositive metrics in non-Archimedean geometry
• Functorial factorization of birational maps for qe schemes in characteristic 0
• Pro cdh-descent for cyclic homology and $K$-theory
• A uniform treatment of Grothendieck's localization problem
• Shokurov's conjecture on conic bundles with canonical singularities
• Motivic Milnor fiber of cyclic L-infinity algebras
• Detection by regular schemes in degree two
• Factorization for stacks and boundary complexes
• Towards a non-archimedean analytic analog of the Bass-Quillen conjecture
• From weight structures to (orthogonal) $t$-structures and back
• On motivic Joyce-Song formula for the Behrend function identities
• Tropicalization of the moduli space of stable maps
• Relative MMP without Q-factoriality
• Axiomatizing the existential theory of Fq((t))
• Limits of log canonical thresholds
• The motivic Thom-Sebastiani theorem for regular and formal functions
• The Thom-Sebastiani theorem for the Euler characteristic of cyclic L-infinity algebras
• Semi-stable extensions over 1-dimensional bases
• Sur une conjecture de Kato et Kuzumaki concernant les hypersurfaces de Fano
• The moduli space of stable coherent sheaves via non-archimedean geometry
• Blowups and Resolution
• Descent conditions for generation in derived categories
• On relative birational geometry and Nagata's compactification
• Discreteness of log discrepancies over log canonical triples on a fixed pair
• Log canonical thresholds on smooth varieties: the Ascending Chain Condition
• Uniformisation locale des schémas quasi-excellents de caractéristique nulle
• Continuous K-Theory and Cohomology of Rigid Spaces
• A connectedness theorem over the spectrum of a formal power series ring
• Q-universal desingularization
• On the semicontinuity problem of fibers and global $F$-regularity
• K-theory of admissible Zariski-Riemann spaces
• Motivic zeta functions of abelian varieties, and the monodromy conjecture
• K-theory of non-archimedean rings I
• Uniformly rigid spaces and Néron models of formally finite type
• A proof of the $\ell$-adic version of the integral identity conjecture for polynomials
• Dimensional homotopy t-structure in motivic homotopy theory
• Geometric approach to the explicit local Langlands correspondence
• Negative $K$-theory and Chow group of monoid algebras
• Uniformly rigid spaces
• Some natural properties of constructive resolution of singularities
• Motivic Serre invariants modulo the square of $\mathbb{L}-1$
• Étale cohomology of algebraic varieties over Stein compacta
• The Ascending Chain Condition for log canonical thresholds on l.c.i. varieties
• On the Berkovich double residue fields and birational models
• Algebraization of a Cartier divisor