ScalingStacks

Theorem 9 [03XQ]

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

Theorem 9

(Weak factorization) Assume that c​h​a​r​k=0char\,k=0. Then for any two snc models 𝒳,𝒳′{\cal X},\,{\cal X}^{\prime} there exists a finite alternating sequence of simple blow-ups

𝒳<𝒳1>𝒳2<⋯<𝒳2​m+1>𝒳′.{\cal X}<{\cal X}_{1}>{\cal X}_{2}<\dots<{\cal X}_{2m+1}>{\cal X}^{\prime}\,\,.

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