ScalingStacks

Lemma 6.5 . [01GE]

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

If ℒ∈Pic⁡(𝒳′)\mathcal{L}\in\Pic(\mathcal{X}^{\prime}) is nef then EJ′⋅(ρ∗​θ𝒳+μ∗​G)⋅ℒn−p−1≥0E^{\prime}_{J}\cdot\left(\rho^{*}\theta_{\mathcal{X}}+\mu_{*}G\right)\cdot\mathcal{L}^{n-p-1}\geq 0.

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