Theorem 18.35.5.B187DFAF6D97 Suppose that $X$ admits a modification from a compact Kähler manifold. Let $L\to X$ be a holomorphic line bundle with a smooth Hermitian metric $h$, put $\theta =c_1(L,h)$, and let $\varphi \in \mathrm{PSH}(X,\theta )$ satisfy
\[ \mathrm{MA}_\theta (\varphi )(X)>0. \]
Then, for every $v\in C(X)$ and every smooth positive probability volume $\nu _ X$, the partial kernel measures on $X$ satisfy
\[ \frac{n!}{m^ n}B_{m,v,\varphi ,\nu _ X}\, \nu _ X \rightharpoonup \mathrm{MA}_\theta (E_ X(v)). \]
The limit measure is finite and nonzero. Its total mass is
\[ M=\lim _{m\to \infty }\frac{n!}{m^ n} h^0(X,L^ m\otimes \mathcal I(m\varphi )), \]
which does not depend on $v$ or $\nu _ X$. The limit does not depend on the choice of Kähler modification.
Proof.
Choose a modification $\pi :Y\to X$ from a compact Kähler manifold $Y$, and a smooth positive probability volume $\nu _ Y$ on $Y$. The pullback $\varphi \circ \pi $ belongs to $\mathrm{PSH}(Y,\pi ^*\theta )$, and by proposition 18.35.1 its non-pluripolar mass equals the given positive mass of $\varphi $. This mass is finite, by the theory of closed classes on compact Kähler manifolds.
Apply [Theorem 14.3.1, SGPT] on $Y$, with the line bundle $\pi ^*L$, the auxiliary twisting line bundle $R_\pi $, the continuous obstacle $v\circ \pi $ on $Y$ and the probability volume $\nu _ Y$. Its Bernstein–Markov hypothesis follows from the proof of proposition 18.31.1, since a fixed smooth auxiliary bundle only changes the local constants. The multiplier ideals and the continuous weighted norms in that theorem agree exactly with those of proposition 18.35.3. The theorem gives
\[ \beta _{Y,m}^{(n)}\rightharpoonup \mathrm{MA}_{\pi ^*\theta } \bigl (E_{\pi ^*\theta ,Y}[\varphi \circ \pi ]_{\mathcal I}(v\circ \pi )\bigr ), \]
and the limit measure has finite positive mass.
Now push this convergence forward to $X$, testing against continuous functions on $X$. By the kernel identity of proposition 18.35.3 and the envelope and pushforward identities of proposition 18.35.1, this gives the asserted limit on $X$. Testing the constant function one shows that $n!N_ m/m^ n$ converges to the total mass of the limit, which proves the formula for $M$; the dimensions $N_ m$ involve neither $v$ nor the volumes. Finally, the limit is expressed entirely on $X$, so it does not depend on the modification.
$\square$
Pome
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.