ScalingStacks

Proof. [03AW]

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.

Since this is stated here under more general assumptions than in [GK15, Proposition 5.11], we sketch the argument. Let (๐”š,๐”)({\mathfrak{W}},{\mathfrak{L}}) be the Kโˆ˜{K^{\circ}}-model for the given formal metric on L|WL|_{W}. We may assume that ๐”š{\mathfrak{W}} is a formal open subset of a formal Kโˆ˜{K^{\circ}}-model ๐”™{\mathfrak{V}} of VV [Bos14, Lemma 8.4.5]. By the argument in [BL93a, Lemma 5.7], there is a coherent ๐’ช๐”™{\mathcal{O}}_{\mathfrak{V}}-module โ„ฑ{\mathscr{F}} on ๐”™{\mathfrak{V}} which extends ๐”{\mathfrak{L}}. This works even for paracompact VV as noted in the proof of [CD12, Proposition 6.2.13] and the argument there (or in the proof of [Gub98, Lemma 7.6]) shows that after replacing ๐”™{\mathfrak{V}} by a suitable admissible blowing-up, we may assume that โ„ฑ{\mathscr{F}} is a line bundle. Then the associated formal metric satisfies the claim. โˆŽ

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