ScalingStacks

Lemma 2.3 . [028E]

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

Lemma 2.3.

Let ε≥0\varepsilon\geq 0 and uu be a continuous (1+ε)​ω(1+\varepsilon)\omega-psh function on ℙn{\mathbb{P}}^{n} so that u⁡(z)≤0u(z)\leq 0 for all z∈ℙnz\in{\mathbb{P}}^{n}. If c>1c>1 and φ\varphi is an ω\omega-psh function on XX so that φ<u\varphi<u, then there exists a c​ωc\omega-psh function ψ\psi on ℙn{\mathbb{P}}^{n} so that

1c​ψ​(z)≤11+ε​u​(z),∀z∈ℙn,\frac{1}{c}\,\psi(z)\leq\frac{1}{1+\varepsilon}\,u(z),\;\forall z\in{\mathbb{P}}^{n},

and

ψ⁡(z)=φ⁡(z)+(c−1)​θ​(z)+(c−1)​minζ∈ℙn⁡u⁡(ζ),∀z∈X.\psi(z)=\varphi(z)+(c-1)\theta(z)+(c-1)\min_{\zeta\in{\mathbb{P}}^{n}}u(\zeta),\;\forall z\in X.

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