ScalingStacks

Proof. [03CB]

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.

Every Kโˆ˜{K^{\circ}}-model of a projective variety XX is dominated by a projective Kโˆ˜{K^{\circ}}-model [Gub03, Proposition 10.5]. Hence we may assume that ๐’ณ0{\mathscr{X}}_{0} is projective. There is m1โˆˆโ„•m_{1}\in{\mathbb{N}} and a closed immersion of XX into โ„™KN{\mathbb{P}}_{K}^{N} such that LโŠ—m1=๐’ชโ„™KNโ€‹(1)|XL^{\otimes m_{1}}={\mathcal{O}}_{{\mathbb{P}}_{K}^{N}}(1)|_{X}. Then the closure of XX in โ„™Kโˆ˜N{\mathbb{P}}_{K^{\circ}}^{N} is a Kโˆ˜{K^{\circ}}-model ๐’ณ1{\mathscr{X}}_{1} of XX which has an ample line bundle โ„’1{\mathscr{L}}_{1} such that โ„’1|X=LโŠ—m1{\mathscr{L}}_{1}|_{X}=L^{\otimes m_{1}}. Then the closure of the diagonal in ๐’ณ0ร—Kโˆ˜๐’ณ1{\mathscr{X}}_{0}\times_{K^{\circ}}{\mathscr{X}}_{1} is a projective Kโˆ˜{K^{\circ}}-model ๐’ณ{\mathscr{X}} of XX and the canonical projection p1:๐’ณโ†’๐’ณ1p_{1}:{\mathscr{X}}\to{\mathscr{X}}_{1} is a projective morphism, hence there is a closed immersion of ๐’ณ{\mathscr{X}} into a projective space โ„™๐’ณ1k{\mathbb{P}}_{{\mathscr{X}}_{1}}^{k} over ๐’ณ1{\mathscr{X}}_{1}. Let โ„ฐ{\mathscr{E}} be the restriction of ๐’ชโ„™๐’ณ1kโ€‹(1){\mathcal{O}}_{{\mathbb{P}}_{{\mathscr{X}}_{1}}^{k}}(1) to ๐’ณ{\mathscr{X}}. Since โ„ฐ{\mathscr{E}} is relatively ample with respect to p1p_{1} and since โ„’1{\mathscr{L}}_{1} is an ample line bundle on ๐’ณ1{\mathscr{X}}_{1}, there is m2โˆˆโ„•m_{2}\in{\mathbb{N}} such that โ„’:=p1โˆ—โ€‹(โ„’1)โŠ—m2โŠ—โ„ฐ{\mathscr{L}}:=p_{1}^{*}({\mathscr{L}}_{1})^{\otimes m_{2}}\otimes{\mathscr{E}} is ample on ๐’ณ{\mathscr{X}}. Then โ„’{\mathscr{L}} is a Kโˆ˜{K^{\circ}}-model of LโŠ—mL^{\otimes m} for m:=m1โ€‹m2m:=m_{1}m_{2}. โˆŽ

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