Lemma 13.14.10.7051A18CAB21 Let $\theta $ be a smooth semipositive $(1,1)$-form and let $f,g\geq 0$ be measurable functions on $X$. Suppose $u,v\in \mathrm{PSH}(X,\theta )$ satisfy
\[ \mathrm{MA}^{\mathrm{ext}}_\theta (u)\geq f\, \mathrm{d}V, \qquad \mathrm{MA}^{\mathrm{ext}}_\theta (v)\geq g\, \mathrm{d}V. \]
Then, for $0\leq t\leq 1$,
DA998466C80C
13.14.11
\begin{equation} \mathrm{MA}^{\mathrm{ext}}_\theta (tu+(1-t)v) \geq \bigl (tf^{1/n}+(1-t)g^{1/n}\bigr )^ n\, \mathrm{d}V. \end{equation}
Proof.
The cases $t=0$ and $t=1$ are the hypotheses. Let $0<t<1$, translate $u,v$ to be nonpositive, and put $u_ k=\max (u,-k)$ and $v_ k=\max (v,-k)$. Since $\theta $ is semipositive, these are bounded $\theta $-plurisubharmonic functions, and by locality
\[ \mathrm{MA}_\theta (u_ k)\geq \mathbf1_{\{ u>-k\} }f\, \mathrm{d}V, \qquad \mathrm{MA}_\theta (v_ k)\geq \mathbf1_{\{ v>-k\} }g\, \mathrm{d}V. \]
Apply lemma 5.28.7 to each mixed term in the positive expansion of $\theta _{tu_ k+(1-t)v_ k}^{n}$. On $E_ k=\{ u>-k\} \cap \{ v>-k\} $ this gives the density on the right of (13.14.11). On the same set, plurifine locality identifies the left-hand side with the extended measure of $tu+(1-t)v$. As $k\to \infty $, the sets $E_ k$ exhaust the complement of the two pole sets, which have zero smooth volume. Monotone convergence on Borel sets proves the inequality.
$\square$
Pome
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.