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 be the -model for the given formal metric on . We may assume that is a formal open subset of a formal -model of [Bos14, Lemma 8.4.5]. By the argument in [BL93a, Lemma 5.7], there is a coherent -module on which extends . This works even for paracompact 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 by a suitable admissible blowing-up, we may assume that is a line bundle. Then the associated formal metric satisfies the claim. โ