ScalingStacks

Proof. [01HA]

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.

The inequality P~θ​(u)≤Pθ​(u)\widetilde{P}_{\theta}(u)\leq P_{\theta}(u) is trivial. To prove that equality holds on XqmX^{\mathrm{qm}}, pick ε>0\varepsilon>0 and x∈emb𝒳⁡(Δ𝒳)x\in\emb_{\mathcal{X}}(\Delta_{\mathcal{X}}) for some SNC model 𝒳\mathcal{X} on which θ\theta is determined. By construction, there exists ψ∈PSH⁡(X,θ)\psi\in\PSH(X,\theta) such that ψ≤0\psi\leq 0 and ψ⁡(x)≥Pθ​(u)​(x)−ε\psi(x)\geq P_{\theta}(u)(x)-\varepsilon. By the definition of PSH⁡(X,θ)\PSH(X,\theta), there then exists a θ\theta-psh model function φ\varphi such that |φ−(ψ−ε)|≤ε|\varphi-(\psi-\varepsilon)|\leq\varepsilon on emb𝒳⁡(Δ𝒳)\emb_{\mathcal{X}}(\Delta_{\mathcal{X}}). Thus φ≤φ∘p𝒳≤ψ∘p𝒳≤0\varphi\leq\varphi\circ p_{\mathcal{X}}\leq\psi\circ p_{\mathcal{X}}\leq 0 on XX and φ⁡(x)≥ψ⁡(x)−2​ε≥Pθ​(u)​(x)−3​ε\varphi(x)\geq\psi(x)-2\varepsilon\geq P_{\theta}(u)(x)-3\varepsilon. We conclude that P~θ​(u)=Pθ​(u)\widetilde{P}_{\theta}(u)=P_{\theta}(u) on XqmX^{\mathrm{qm}}. ∎

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