ScalingStacks

Proposition 4.11 . [03CA]

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

Proposition 4.11.

Let LL be an ample line bundle on the projective variety XX over KK and let ๐’ณ0{\mathscr{X}}_{0} be any Kโˆ˜{K^{\circ}}-model of XX. Then there is a Kโˆ˜{K^{\circ}}-model ๐’ณ{\mathscr{X}} of XX dominating ๐’ณ0{\mathscr{X}}_{0} and an ample line bundle โ„’{\mathscr{L}} on ๐’ณ{\mathscr{X}} which is a Kโˆ˜{K^{\circ}}-model of LโŠ—mL^{\otimes m} for a suitable mโˆˆโ„•m\in{\mathbb{N}}.

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