ScalingStacks

Proof. [01EA]

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

Proof.

Pick φ∈C0​(X)\varphi\in C^{0}(X) vanishing on XdivX^{\mathrm{div}} and ε>0\varepsilon>0 rational. By Corollary 2.3 there exists a model 𝒳\mathcal{X} and a divisor D∈Div0⁡(𝒳)𝐐D\in\Div_{0}(\mathcal{X})_{\mathbf{Q}} such that |φ−φD|≤ε|\varphi-\varphi_{D}|\leq\varepsilon on XX. The divisor ε​𝒳0±D∈Div0⁡(𝒳)𝐐\varepsilon\mathcal{X}_{0}\pm D\in\Div_{0}(\mathcal{X})_{\mathbf{Q}} is then effective, proving |φD|≤ε|\varphi_{D}|\leq\varepsilon and hence |φ|≤2​ε|\varphi|\leq 2\varepsilon on XX. ∎

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