ScalingStacks

Definition 2.52 . [02K3]

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

Let (𝕂,𝔐𝕂)(\mathbb{K},\mathfrak{M}_{\mathbb{K}}) be an adelic field. Let XX be a proper variety over 𝕂\mathbb{K} and LL a line bundle on XX. For each vβˆˆπ”π•‚v\in\mathfrak{M}_{\mathbb{K}} set Xv=XΓ—Spec⁑(Kv)X_{v}=X\times\operatorname{Spec}(K_{v}) and Lv=LΓ—Spec⁑(Kv)L_{v}=L\times\operatorname{Spec}(K_{v}).

  1. (1)

    A metric on LL is a family of metrics βˆ₯β‹…βˆ₯v\|\cdot\|_{v}, vβˆˆπ”π•‚v\in\mathfrak{M}_{\mathbb{K}}, where βˆ₯β‹…βˆ₯v\|\cdot\|_{v} is a metric on LvanL_{v}^{{\text{\rm an}}}. We will denote by LΒ―=(L,(βˆ₯β‹…βˆ₯v)v){\overline{L}}=(L,(\|\cdot\|_{v})_{v}) the corresponding metrized line bundle. The metric is said to be approachable (respectively integrable) if the metrics βˆ₯β‹…βˆ₯v\|\cdot\|_{v} are approachable (respectively integrable) for all vβˆˆπ”π•‚v\in\mathfrak{M}_{\mathbb{K}}.

  2. (2)

    Suppose that (𝕂,𝔐𝕂)(\mathbb{K},\mathfrak{M}_{\mathbb{K}}) is a global field. A metric on LL is called quasi-algebraic if there exists a finite subset SβŠ‚π”π•‚S\subset\mathfrak{M}_{\mathbb{K}} containing the Archimedean places, an integer eβ‰₯1e\geq 1 and a proper model (𝒳,β„’,e)({\mathcal{X}},{\mathcal{L}},e) over 𝕂S∘\mathbb{K}^{\circ}_{S} of (X,L)(X,L) such that, for each vβˆ‰Sv\notin S, the metric βˆ₯β‹…βˆ₯v\|\cdot\|_{v} is induced by the localization of this model at vv.

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