ScalingStacks

Lemma 5.6 . [01FN]

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

Let ℒ∈Pic⁡(𝒳)\mathcal{L}\in\Pic(\mathcal{X}) and let ∥⋅∥\|\cdot\| be the corresponding metric on L:=ℒ|XL:=\mathcal{L}|_{X}. If 𝔞\mathfrak{a} is a vertical fractional ideal sheaf on 𝒳\mathcal{X} such that ℒ⊗𝔞\mathcal{L}\otimes\mathfrak{a} is generated by its global sections, then log⁡|𝔞|\log|\mathfrak{a}| is a model c1(L,∥⋅∥)c_{1}(L,\|\cdot\|)-psh function.

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