ScalingStacks

Proof. [03BK]

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 ๐”™red{\mathfrak{V}}_{\rm red} be the induced reduced structure on ๐”™{\mathfrak{V}}. Since ๐”™redโ†’๐”™{\mathfrak{V}}_{\rm red}\to{\mathfrak{V}} is finite (in fact an immersion), we deduce that the induced map (๐”™red)sโ†’๐”™s({\mathfrak{V}}_{\rm red})_{s}\to{\mathfrak{V}}_{s} between the special fibers is finite. By projection formula, we conclude that ๐”{\mathfrak{L}} is nef if and only if ๐”red{\mathfrak{L}}_{\rm red} is nef. โˆŽ

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