ScalingStacks

Definition 2.31 . [02JD]

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

Definition 2.31.

Let L¯=(L,∥⋅∥){\overline{L}}=(L,\|\cdot\|) be a metrized line bundle on XX. The metric ∥⋅∥\|\cdot\| is approachable if there exists a sequence of semipositive smooth (in the Archimedean case) or semipositive algebraic (in the non-Archimedean case) metrics (∥⋅∥l)l≥0(\|\cdot\|_{l})_{l\geq 0} on LanL^{{\text{\rm an}}} such that

liml→∞dist(∥⋅∥,∥⋅∥l)=0.\lim_{l\to\infty}\operatorname{dist}(\|\cdot\|,\|\cdot\|_{l})=0.

If this is the case, we say that L¯{\overline{L}} is approachable. This metrized line bundle is integrable if there are approachable line bundles M¯{\overline{M}}, N¯{\overline{N}} such that L¯=M¯⊗N¯−1{\overline{L}}={\overline{M}}\otimes{\overline{N}}^{-1}.

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