ScalingStacks

Lemma 6.6 . [01GH]

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 6.6.

Let μ:W→V\mu:W\to V be a surjective morphism between projective varieties over a field kk and let α∈N1​(V)\alpha\in N^{1}(V). If μ∗​α=γ+F\mu^{*}\alpha=\gamma+F where γ\gamma is nef and FF is effective then (α⋅βdimV−1)V≥0\left(\alpha\cdot\beta^{\dim V-1}\right)_{V}\geq 0 for every nef class β∈N1​(V)\beta\in N^{1}(V).

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