ScalingStacks

6.1. Residually metrized models [017D]

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

6.1. Residually metrized models

As explained above, to any model β„’{\mathcal{L}} of a line bundle LL on XX, defined on a proper dlt model 𝒳{\mathcal{X}} of XX, we can associate a skeleton Sk⁑(β„’)βŠ‚Sk⁑(𝒳)βŠ‚Xan\operatorname{Sk}({\mathcal{L}})\subset\operatorname{Sk}({\mathcal{X}})\subset X^{\mathrm{an}}. To produce a measure on Sk⁑(β„’)\operatorname{Sk}({\mathcal{L}}) we need additional data.

Definition 6.1.

Let LL be a line bundle on XX. A residually metrized model of LL is a pair β„’#=(β„’,ψ0){\mathcal{L}}^{\#}=({\mathcal{L}},\psi_{0}) where β„’{\mathcal{L}} is a model of LL, determined on a proper dlt model 𝒳{\mathcal{X}} of XX, and ψ0\psi_{0} is a continuous Hermitian metric on β„’0:=β„’|𝒳0{\mathcal{L}}_{0}:={\mathcal{L}}|_{{\mathcal{X}}_{0}}, viewed as a holomorphic line bundle over the complex space 𝒳0{\mathcal{X}}_{0}. A residually metrized model metric ψ#\psi^{\#} on LL is an equivalence class of such pairs, modulo pull-back to a higher model.

Example 6.2.

If LL is trivial, then any choice of trivialization s∈H0​(X,L)s\in H^{0}(X,L) defines a residually metrized model metric ψ#\psi^{\#} on LL, determined on any model 𝒳{\mathcal{X}} by β„’=π’ͺ𝒳{\mathcal{L}}={\mathcal{O}}_{{\mathcal{X}}} and ψ0\psi_{0} the trivial metric on π’ͺ𝒳0{\mathcal{O}}_{{\mathcal{X}}_{0}}.

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