ScalingStacks

Lemma 1.6 . [01DZ]

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

Lemma 1.6.

Assume that ๐’ณ\mathcal{X} is vertically ๐\mathbf{Q}-factorial and let ฯ€:๐’ณโ€ฒโ†’๐’ณ\pi:\mathcal{X}^{\prime}\to\mathcal{X} be a vertical blow-up. If DโˆˆDiv0โก(๐’ณโ€ฒ)๐‘D\in\Div_{0}(\mathcal{X}^{\prime})_{\mathbf{R}} is ฯ€\pi-nef then ฯ€โˆ—โ€‹ฯ€โˆ—โ€‹Dโˆ’D\pi^{*}\pi_{*}D-D is effective.

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