Pome

Lemma 15.16.5DA20F7BB0188

Lemma 15.16.5.DA20F7BB0188 Under the hypotheses of theorem 15.16.2, let $u_\lambda $ be the solution given there, and put

\[ v_\lambda =u_\lambda -\sup _ Xu_\lambda , \qquad c_\lambda =\mathrm{e}^{\lambda \sup _ Xu_\lambda }. \]

There are constants $B,C,m>0$, independent of $0<\lambda \leq 1$, such that

27B45CD3E8B0 15.16.6
\begin{equation} V_\theta -B\leq v_\lambda \leq V_\theta , \qquad m\leq c_\lambda \leq C. \end{equation}

Proof. The normalized potential satisfies

\[ \mathrm{MA}_\theta (v_\lambda )=c_\lambda \mathrm{e}^{\lambda v_\lambda } f\, \mathrm{d}V. \]

Fix a Gauduchon metric $\gamma $ and write $\gamma ^ n=G\, \mathrm{d}V$. Since $v_\lambda \leq 0$ and $0<\lambda \leq 1$, (15.14.3) gives

\[ c_\lambda ^{1/n} \int _ X\mathrm{e}^{v_\lambda /n}f^{1/n}G^{1-1/n}\, \mathrm{d}V \leq \int _ X\theta \wedge \gamma ^{n-1}. \]

The integrals on the left have a positive lower bound independent of $\lambda $. Otherwise, the compactness of normalized quasi-plurisubharmonic functions would give an almost everywhere convergent sequence of the normalized $v_\lambda $ whose integrals tend to zero, with a $\theta $-plurisubharmonic limit; since $f$ is nonzero, dominated convergence would give a positive limit integral. Thus $c_\lambda \leq C$.

To control the singularity type, we use uniform exponential integrability (lemma 5.26.2) and Hölder's inequality to choose $\varepsilon >0$ and $1<q<p$ such that $\| \mathrm{e}^{-\varepsilon v_\lambda }f\| _ q$ is uniformly bounded. Lemma 15.14.1, applied with the reference $V_\theta -1$ and the barrier $\rho -1$, gives $\eta _\lambda \in \mathrm{PSH}(X,\theta )$ with

\[ V_\theta -1\leq \eta _\lambda \leq V_\theta , \qquad \mathrm{MA}_\theta (\eta _\lambda )\geq m\mathrm{e}^{-\varepsilon v_\lambda }f\, \mathrm{d}V \geq mf\, \mathrm{d}V \]

for a fixed $m>0$. The scalar order in corollary 15.13.3, together with $\mathrm{MA}_\theta (v_\lambda )\leq c_\lambda f\, \mathrm{d}V$, gives $c_\lambda \geq m$. Set $D=\varepsilon ^{-1}\max \{ 0,\log (C/m)\} $ and $w_\lambda =\eta _\lambda -D$. Then

\[ \mathrm{e}^{\varepsilon (w_\lambda -v_\lambda )}\mathrm{MA}_\theta (v_\lambda ) \leq m\mathrm{e}^{-\varepsilon v_\lambda }f\, \mathrm{d}V \leq \mathrm{MA}_\theta (w_\lambda ), \]

since $\lambda v_\lambda \leq 0$ and $\eta _\lambda \leq 0$. The exponential order in corollary 15.13.3 gives $v_\lambda \geq w_\lambda $, which proves the uniform bounds with $B=1+D$. $\square$

Cite this page

Comments

Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.