ScalingStacks

Proof. [01GI]

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 kak^{a} be an algebraic closure of kk and let V′V^{\prime} be an irreducible component of (the reduction of) Va:=V⊗kaV^{a}:=V\otimes k^{a}. There exists a component W′W^{\prime} of WaW^{a} dominating V′V^{\prime}. Upon replacing WW and VV by W′W^{\prime} and V′V^{\prime} we are reduced to the case where kk is algebraically closed. Upon taking successive hyperplane sections of WW not containing any component of FF and choosing an irreducible component dominating VV we may then assume that μ\mu is generically finite. In that case we have

(deg⁡μ)​(α⋅βdimV−1)V=(μ∗​α⋅μ∗​βdimV−1)W(\deg\mu)\left(\alpha\cdot\beta^{\dim V-1}\right)_{V}=\left(\mu^{*}\alpha\cdot\mu^{*}\beta^{\dim V-1}\right)_{W}

and the result is then clear since μ∗​β\mu^{*}\beta is nef. ∎

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