ScalingStacks

4.2 . [03C0]

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

4.2.

We say that a function φ:Xan→ℝ\varphi:X^{\rm an}\to{\mathbb{R}} is a model function if there exists d∈ℕ>0d\in{\mathbb{N}}_{>0} and ∥⁣∥\|\ \| an algebraic metric on 𝒪Xan\mathcal{O}_{X^{\rm an}} such that φ=−1d​log⁡‖1‖\varphi=-\frac{1}{d}\log\|1\|. If we can take d=1d=1, we say that φ\varphi is a ℤ{\mathbb{Z}}-model function. The set of model functions on XX is denoted by 𝒟⁡(X)\mathcal{D}(X).

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