ScalingStacks

Proof. [01FP]

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.

Let ฯ€:๐’ณโ€ฒโ†’๐’ณ\pi:\mathcal{X}^{\prime}\to\mathcal{X} be the normalization of the blow-up of ๐’ณ\mathcal{X} along ๐”ž\mathfrak{a} and let DโˆˆDiv0โก(๐’ณโ€ฒ)D\in\Div_{0}(\mathcal{X}^{\prime}) be the vertical Cartier divisor such that ๐”žโ‹…๐’ช๐’ณโ€ฒ=๐’ช๐’ณโ€ฒโ€‹(D)\mathfrak{a}\cdot\mathcal{O}_{\mathcal{X}^{\prime}}=\mathcal{O}_{\mathcal{X}^{\prime}}(D). The assumption implies that ฯ€โˆ—โ€‹โ„’โŠ—๐’ช๐’ณโ€ฒโ€‹(D)\pi^{*}\mathcal{L}\otimes\mathcal{O}_{\mathcal{X}^{\prime}}(D) is also generated by its global sections, so that โ„’+D\mathcal{L}+D is nef. The result follows since the model function logโก|๐”ž|\log|\mathfrak{a}| is determined on ๐’ณโ€ฒ\mathcal{X}^{\prime} by DD. โˆŽ

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