ScalingStacks

Definition 2.1 . [02IH]

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

A metric on LanL^{{\text{\rm an}}} is an assignment that, to each local section ss of LanL^{{\text{\rm an}}} on an open subset U⊂XanU\subset X^{{\text{\rm an}}}, associates a continuous function

‖s⁡(⋅)‖:U⟶ℝ≥0\|s(\cdot)\|\colon U\longrightarrow\mathbb{R}_{\geq 0}

such that, for all p∈Up\in U,

  1. (1)

    ‖s⁡(p)‖=0\|s(p)\|=0 if and only if s⁡(p)=0s(p)=0;

  2. (2)

    for any λ∈𝒪Xan​(U)\lambda\in\mathcal{O}_{X^{{\text{\rm an}}}}(U), it holds ‖(λ​s)​(p)‖=|λ⁡(p)|​‖s⁡(p)‖.\|(\lambda s)(p)\|=|\lambda(p)|\,\|s(p)\|.

The pair L¯:=(L,∥⋅∥){\overline{L}}:=(L,\|\cdot\|) is called a metrized line bundle.The metric ∥⋅∥\|\cdot\| is smooth if for every local section ss of LanL^{{\text{\rm an}}}, the function ‖s⁡(⋅)‖2\|s(\cdot)\|^{2} is smooth.

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