ScalingStacks

Lemma 2.2.2 . [01JC]

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

Lemma 2.2.2.

Let L¯=𝒪⁡(D+f)¯𝔛\overline{L}=\overline{\mathscr{O}(D+f)}_{\mathfrak{X}} be a metrized line bundle on X\mathrm{X} associated to a divisor DD on X\mathrm{X} and a continuous function ff on the graph R⁡(𝔛)R(\mathfrak{X}). If it is semi-positive, resp. admissible in the sense of [57] then it is semi-positive, resp. admissible in the sense of this article, and one has

c1​(L¯)=ι∗​curv⁡(𝒪⁡(D+f)¯)​log​|π|−1.c_{1}(\overline{L})=\iota_{*}{\operatorname{curv}}(\overline{\mathscr{O}(D+f)})\log\left|{\pi}\right|^{-1}.

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