ScalingStacks

5.2. Model metrics [016J]

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

5.2. Model metrics

If LL is a line bundle on XX, a model ℒ{\mathcal{L}} of LL is a ℚ{\mathbb{Q}}-line bundle ℒ{\mathcal{L}} on a proper model 𝒳{\mathcal{X}}, together with an identification ℒ|X=L{\mathcal{L}}|_{X}=L. It defines a model metric ϕℒ\phi_{\mathcal{L}} on the Berkovich analytification LanL^{\mathrm{an}} of LL. If ℒ′{\mathcal{L}}^{\prime} is another model of LL, determined on a proper model 𝒳′{\mathcal{X}}^{\prime} of XX, then ϕℒ=ϕℒ′\phi_{\mathcal{L}}=\phi_{{\mathcal{L}}^{\prime}} if and only if the pull-backs of ℒ{\mathcal{L}} and ℒ′{\mathcal{L}}^{\prime} to some higher model 𝒳′′{\mathcal{X}}^{\prime\prime} coincide.

A model of 𝒪X{\mathcal{O}}_{X} is given by a ℚ{\mathbb{Q}}-Cartier divisor DD supported on the central fiber of a proper model 𝒳{\mathcal{X}}; the corresponding model metric will then be identified with the model function ϕD:Xan→ℝ\phi_{D}\colon X^{\mathrm{an}}\to{\mathbb{R}} defined by ϕD​(v)=v​(D)\phi_{D}(v)=v(D). It satisfies

infXanϕD=minE⁡ϕD​(vE)\inf_{X^{\mathrm{an}}}\phi_{D}=\min_{E}\phi_{D}(v_{E}) (5.1)

where EE runs over the irreducible components of 𝒳0{\mathcal{X}}_{0}.

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