ScalingStacks

Definition 3.1 . [059U]

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

Let XX be a strictly KK-analytic space and LL a line bundle on XX, i.e. a locally free sheaf of rank 1 on the G-topology. A continuous metric ∥⋅∥\|\cdot\| on LL is a function which asserts to any admissible open subset U⊆XU\subseteq X and any section s∈Γ⁡(U,L)s\in\Gamma(U,L) a continuous (with respect to the Berkovich topology) function ‖s⁡(⋅)‖:U→ℝ≥0\|s(\cdot)\|:U\rightarrow\mathbb{R}_{\geq 0} such that:

  1. i)

    For an admissible open subset V⊆UV\subseteq U we have ‖s|V​(⋅)‖=‖s⁡(⋅)‖|V\left\|s\Big|_{V}(\cdot)\right\|=\|s(\cdot)\|\Big|_{V},

  2. ii)

    for f∈Γ⁡(U,𝒪X)f\in\Gamma(U,\mathcal{O}_{X}) we have ‖f​s​(⋅)‖=|f⁡(⋅)|​‖s⁡(⋅)‖\|fs(\cdot)\|=|f(\cdot)|\|s(\cdot)\|,

  3. iii)

    for p∈Up\in U we have ‖s⁡(p)‖=0\|s(p)\|=0 if and only if s⁡(p)=0s(p)=0.

Given a formal model (𝔛,𝔏)(\mathfrak{X},\mathfrak{L}) of (X,L)(X,L) one can define an associated so called formal metric ∥⋅∥𝔏\|\cdot\|_{\mathfrak{L}} on LL in the following way: If ss is a local frame of 𝔏\mathfrak{L} on a formal open subset 𝔘⊆𝔛\mathfrak{U}\subseteq\mathfrak{X} we define ‖f​s​(⋅)‖𝔏=|f⁡(⋅)|\|fs(\cdot)\|_{\mathfrak{L}}=|f(\cdot)| on 𝔘an\mathfrak{U}^{\textup{an}} for any f∈Γ⁡(𝔘an,𝒪𝔛an)f\in\Gamma(\mathfrak{U}^{\textup{an}},\mathcal{O}_{\mathfrak{X}}^{\textup{an}}). As this is independent of the choice of ss and 𝔛an\mathfrak{X}^{\textup{an}} is covered by such sets, this gives a well-defined metric on LL.

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