ScalingStacks

2.2. Model functions [018W]

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

2.2. Model functions

Let 𝒳\mathcal{X} be a model of XX. A vertical fractional ideal sheaf π”ž\mathfrak{a} is a finitely generated π’ͺ𝒳\mathcal{O}_{\mathcal{X}}-submodule of the function field of 𝒳\mathcal{X} such that π”ž|X=π’ͺX\mathfrak{a}|_{X}=\mathcal{O}_{X}. Then π”ž\mathfrak{a} defines a continuous function log⁑|π”ž|∈C0​(X)\log|\mathfrak{a}|\in C^{0}(X) by setting

log|π”ž|(x):=max⁑{log⁑|f|x∣fβˆˆπ”žc𝒳​(x)}.\log|\mathfrak{a}|(x):=\max\left\{\log|f|_{x}\mid f\in\mathfrak{a}_{c_{\mathcal{X}}(x)}\right\}.

Note that each vertical Cartier divisor D∈Div0⁑(𝒳)D\in\Div_{0}(\mathcal{X}) defines a vertical fractional ideal sheaf π’ͺ𝒳​(D)\mathcal{O}_{\mathcal{X}}(D), hence a continuous function fD:=log⁑|π’ͺ𝒳​(D)|f_{D}:=\log|\mathcal{O}_{\mathcal{X}}(D)|. Note that f𝒳0f_{\mathcal{X}_{0}} is the constant function 11 since log⁑|t|βˆ’1=1\log|t|^{-1}=1. The map D↦fDD\mapsto f_{D} extends by linearity to Div0⁑(𝒳)𝐑→C0​(X)\Div_{0}(\mathcal{X})_{\mathbf{R}}\to C^{0}(X).

Definition 2.1.

A function ff on XX is a model function if there exists a model 𝒳\mathcal{X} and a 𝐐\mathbf{Q}-divisor D∈Div0⁑(𝒳)𝐐D\in\Div_{0}(\mathcal{X})_{\mathbf{Q}} such that f=fDf=f_{D}. We then call 𝒳\mathcal{X} a determination of ff. We let π’Ÿβ‘(X)=π’Ÿβ€‹(X)𝐐\mathcal{D}(X)=\mathcal{D}(X)_{\mathbf{Q}} be the space of model functions on XX.

Proposition 2.2.

[BFJ11, PropositionΒ 2.2] The 𝐐\mathbf{Q}-vector space π’Ÿβ‘(X)\mathcal{D}(X) of model functions is stable under max. If ff is a model function and 𝒳\mathcal{X} is a determination then ff is affine on each face of Δ𝒳\Delta_{\mathcal{X}}.

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