ScalingStacks

Proposition 2.19 . [02J0]

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 2.19.

Let φ:X1→X2\varphi\colon X_{1}\to X_{2} be a morphism of proper algebraic varieties over KK and L¯2{\overline{L}}_{2} a line bundle on X2X_{2} equipped with an algebraic metric. Assume that X1X_{1} admits a proper model. Then φ∗​L¯2\varphi^{*}{\overline{L}}_{2}, the inverse image under φ\varphi of L¯2{\overline{L}}_{2}, is a line bundle on X1X_{1} equipped with an algebraic metric.

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