ScalingStacks

Proof. [03BP]

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.

For each iโˆˆIi\in I, let ๐’ณi{\mathscr{X}}_{i} be the closed subscheme of ๐’ณ{\mathscr{X}} defined as the topological closure of XiX_{i} in ๐’ณ{\mathscr{X}} equipped with the reduced structure. We then get for each iโˆˆIi\in I a cartesian diagram

Xi\textstyle{X_{i}\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}X\textstyle{\ignorespaces\ignorespaces\ignorespaces\ignorespaces X}๐’ณi\textstyle{{\mathscr{X}}_{i}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}๐’ณ\textstyle{\mathscr{X}}

Since the morphism โˆiโˆˆI๐’ณiโ†’๐’ณ\coprod_{i\in I}{\mathscr{X}}_{i}\to{\mathscr{X}} is finite surjective, the projection formula shows that โ„’{\mathscr{L}} is nef on ๐’ณ{\mathscr{X}} if and only if โ„’|๐’ณi{\mathscr{L}}_{|{\mathscr{X}}_{i}} is nef on ๐’ณi{\mathscr{X}}_{i} for all ii. โˆŽ

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