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 and a projective bimeromorphic morphism such that dominates . Since is an isomorphism above , the construction in [Hir75] further guarantees that is an isomorphism above . Indeed, the proof proceeds by blowing up well-chosen smooth centers contained in the non-flat locus of , see Définition 4.4.3 (2) in loc. cit.
We may therefore assume that itself is projective, and more precisely the blowup of an ideal cosupported on . By the principalization theorem for ideals, there exists a projective bimeromorphic morphism that is a composition of simple blowups, such that the pullback of to is a principal ideal, see [Kol07, Theorem 3.45] or [Wło09, Theorem 2.0.3]. In particular, dominates . ∎