ScalingStacks

Proof. [03BI]

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.

We remark that 𝔙sβŠ—K~L~≃(π”™β€‹βŠ—^Kβˆ˜β€‹L∘)s{\mathfrak{V}}_{s}\otimes_{\tilde{K}}\tilde{L}\simeq({\mathfrak{V}}\hat{\otimes}_{{K^{\circ}}}L^{\circ})_{s}. Hence the result follows from the fact that a nef line bundle β„’\mathcal{L} on a proper variety over K~\tilde{K} remains nef after pull back to F~\tilde{F}. This is proven in the projective case in [EFM, Remark 1.3.25] and the proper case follows from Chow’s lemma and the projection formula. ∎

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