ScalingStacks

Proof. [015U]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

By Hironaka’s version of the Chow theorem (in turn a consequence of the flattening theorem), see [Hir75, Corollary 2], there exists a complex manifold 𝒳′′{\mathcal{X}}^{\prime\prime} and a projective bimeromorphic morphism 𝒳′′→𝒳{\mathcal{X}}^{\prime\prime}\to{\mathcal{X}} such that 𝒳′′{\mathcal{X}}^{\prime\prime} dominates 𝒳′{\mathcal{X}}^{\prime}. Since 𝒳′→𝒳{\mathcal{X}}^{\prime}\to{\mathcal{X}} is an isomorphism above XX, the construction in [Hir75] further guarantees that 𝒳′′→𝒳{\mathcal{X}}^{\prime\prime}\to{\mathcal{X}} is an isomorphism above XX. Indeed, the proof proceeds by blowing up well-chosen smooth centers contained in the non-flat locus of 𝒳′→𝒳{\mathcal{X}}^{\prime}\to{\mathcal{X}}, see Définition 4.4.3 (2) in loc. cit.

We may therefore assume that 𝒳′→𝒳{\mathcal{X}}^{\prime}\to{\mathcal{X}} itself is projective, and more precisely the blowup of an ideal II cosupported on 𝒳0{\mathcal{X}}_{0}. By the principalization theorem for ideals, there exists a projective bimeromorphic morphism 𝒳′′→𝒳{\mathcal{X}}^{\prime\prime}\to{\mathcal{X}} that is a composition of simple blowups, such that the pullback of II to 𝒳′′{\mathcal{X}}^{\prime\prime} is a principal ideal, see [Kol07, Theorem 3.45] or [Wło09, Theorem 2.0.3]. In particular, 𝒳′′{\mathcal{X}}^{\prime\prime} dominates 𝒳′{\mathcal{X}}^{\prime}. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.