ScalingStacks

Proof. [028B]

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.

Let Ο†βˆˆπ’žβˆžβ€‹(X,ℝ)\varphi\in{\mathcal{C}}^{\infty}(X,\mathbb{R}) be such that (1βˆ’Ξ΅)Ο‰|X+ddcΟ†β‰₯0(1-\varepsilon)\omega\,|_{{}_{X}}+dd^{c}\varphi\geq 0 on XX, for some Ξ΅>0\varepsilon>0. We first choose Ο†~\tilde{\varphi} to be any smooth extension of Ο†\varphi to VV. Consider

ψ:=Ο†~+A​χ​dist​(β‹…,X)2,\psi:=\tilde{\varphi}+A\chi\,\text{dist}(\cdot,X)^{2},

where Ο‡\chi is a test function supported in a small neighborhood of XX and such that χ≑1\chi\equiv 1 near XX. Here d​i​s​t{dist} is any Riemannian distance on VV, for instance the distance associated to the KΓ€hler metric Ο‰\omega. Then ψ\psi is yet another smooth extension of Ο†\varphi to VV, which now satisfies (1βˆ’Ξ΅/2)​ω+d​dcβ€‹Οˆβ‰₯0(1-\varepsilon/2)\omega+dd^{c}\psi\geq 0 near XX, if AA is chosen large enough.

The function log⁑(dist​(β‹…,X)2)\log(\text{dist}(\cdot,X)^{2}) is well defined and qpsh in a neighborhood of XX. Let Ο‡\chi be a test function supported in this neighborhood so that χ≑1\chi\equiv 1 near XX. The function u=χ​log⁑(dist​(β‹…,X)2)u=\chi\log(\text{dist}(\cdot,X)^{2}) is N​ωN\omega-psh on VV for a large integer NN. Moreover, exp⁑(u)\exp(u) is smooth and X={u=βˆ’βˆž}X=\{u=-\infty\}. Replacing Ο‰\omega by N​ωN\omega, Ο†\varphi by N​φN\varphi, and ψ\psi by Nβ€‹ΟˆN\psi, we may assume that N=1N=1. Set now

ψC:=12​log⁑[e2β€‹Οˆ+eu+C].\psi_{C}:=\frac{1}{2}\,\log\left[e^{2\psi}+e^{u+C}\right].

This again is a smooth extension of Ο†\varphi, and a straightforward computation yields

d​dcβ€‹ΟˆCβ‰₯2​e2β€‹Οˆβ€‹d​dcβ€‹Οˆ+eu+C​d​dc​u2​(e2β€‹Οˆ+eu+C).dd^{c}\psi_{C}\geq\frac{2e^{2\psi}dd^{c}\psi+e^{u+C}dd^{c}u}{2(e^{2\psi}+e^{u+C})}\;.

Hence

(1βˆ’Ξ΅2)​ω+d​dcβ€‹ΟˆCβ‰₯2​e2β€‹Οˆβ€‹[(1βˆ’Ξ΅2)​ω+d​dcβ€‹Οˆ]+(1βˆ’Ξ΅)​eu+C​ω2​(e2β€‹Οˆ+eu+C)β‰₯0,\left(1-\frac{\varepsilon}{2}\right)\omega+dd^{c}\psi_{C}\geq\frac{2e^{2\psi}\left[\left(1-\frac{\varepsilon}{2}\right)\omega+dd^{c}\psi\right]+(1-\varepsilon)e^{u+C}\omega}{2(e^{2\psi}+e^{u+C})}\geq 0,

if CC is chosen large enough. ∎

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