Functorial desingularization of quasi-excellent schemes in characteristic zero: the non-embedded case

Abstract

We prove that any noetherian quasi-excellent scheme of characteristic zero admits a strong desingularization which is functorial with respect to all regular morphisms. We show that as an easy formal consequence of this result one obtains strong functorial desingularization for many other spaces of characteristic zero including quasi-excellent stacks and formal schemes, and complex and non-archimedean analytic spaces. Moreover, these functors easily generalize to non-compact setting by use of converging blow up hyper-sequences with regular centers.

35 pages, final version, section 3.2 in the first version was seriously modified

References in corpus (3)

• Desingularization of quasi-excellent schemes in characteristic zero
• 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

Cited by in corpus (18)

• Canonical embedded and non-embedded resolution of singularities for excellent two-dimensional schemes
• Relative p-adic Hodge theory, II: Imperfect period rings
• Intrinsic Mirror Symmetry
• Functorial factorization of birational maps for qe schemes in characteristic 0
• Functorial embedded resolution via weighted blowings up
• Detection by regular schemes in degree two
• Canonical reduction of stabilizers for Artin stacks with good moduli spaces
• Interpolating Hodge-Tate and de Rham Periods
• Principalization of ideals on toroidal orbifolds
• Hodge-Tate decomposition for non-smooth spaces
• Betti realization of varieties defined by formal Laurent series
• Definable retractions over complete fields with separated power series
• Relative p-adic Hodge theory, II: (phi, Gamma)-modules
• Orbifold regularity of weak Kahler-Einstein metrics
• Characteristic cycle and the Euler number of a constructible sheaf on a surface
• Motivic Serre invariants modulo the square of $\mathbb{L}-1$
• Algebraization of a Cartier divisor
• Slopes and weights of $\ell$-adic cohomology of rigid spaces