ScalingStacks

Proof. [04VK]

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.

For the definition of an elementary collapse in a simplicial topological space, we refer to Definition 18 in [dFKX12]. By Corollary 3.2.7, we can assume that the good minimal dโ€‹lโ€‹tdlt-model ๐’ณ\mathscr{X} is the result of running MMP for (๐’ด,(๐’ดs)red)(\mathscr{Y},(\mathscr{Y}_{s})_{\mathrm{red}}). Now the statement follows from Corollary 22 in [dFKX12]. When kk is not algebraically closed, see also ยง31 in [dFKX12]. โˆŽ

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