Theorem 18.44.11.154EDD25787A For all large $m$, $\varphi _ m\in \mathrm{PSH}(X,\omega _ X)$ and $\mathcal I_ m=\mathfrak m_ p^{k_ m}$. Neither $\varphi _ m$ nor $\mathcal I_ m$ is pulled back from $Y$, but pullback gives an isometry of Hilbert spaces and an identity of densities
\[ H^0(X,E^ m\otimes \mathcal I_ m)=\pi ^*V_ m,\qquad B_{X,m}=B_ m\circ \pi . \]
Thus the local laws above hold for every sequence of points of $X$ whose projections satisfy their hypotheses. Moreover $\log N_ m/\log m\to q<\dim X$, and
1D6E0EF28851
18.44.12
\begin{equation} m^{-q}B_{X,m}\nu _ X\longrightarrow \left(\frac{\theta ^ q/q!}{\nu _ Y}\circ \pi \right)\nu _ X \quad \hbox{in total variation}. \end{equation}
Normalizing by $N_ m$ instead gives the limit divided by $D$, a probability measure.
Proof.
The function $\chi _ p$ satisfies $\mathrm{dd}^{\mathrm{c}}\chi _ p\geq -C\omega _ X$, because it is plurisubharmonic near its pole and smooth elsewhere. Since its coefficient $(k_ m+N-1)/m$ tends to zero, $\varphi _ m$ is $\omega _ X$-plurisubharmonic for large $m$. A germ of order $\ell $ at $p$ has a nonzero initial homogeneous term, so the integral of its squared modulus over the sphere of radius $s$ is $cs^{2\ell }(1+o(1))$ with $c>0$. Local integrability is therefore equivalent to
\[ \int _0^{s_0}s^{2\ell -2(k_ m+N-1)+2N-1}\, \mathrm ds =\int _0^{s_0}s^{2\ell -2k_ m+1}\, \mathrm ds<\infty , \]
that is, to $\ell \geq k_ m$. Away from $p$ the ideal is the unit ideal. This proves $\mathcal I_ m=\mathfrak m_ p^{k_ m}$. The ideal is proper at $p$ but trivial at the other points of the same fiber, which is impossible for an ideal pulled back from $Y$; likewise, the pole of $\varphi _ m$ occurs only at $p$.
By the maximum modulus principle, every section of $\pi ^*L^ m$, written in a trivialization pulled back from the base, is constant on each compact connected fiber. Local holomorphic sections of the submersion show that the resulting coefficient on the base is holomorphic, and constancy along the fibers makes these coefficients glue. In the submersion coordinates, a pulled-back coefficient depends only on $z$, so its order at $p$ equals its order at $x$. This proves the identity of the selected spaces. Fiber integration and (18.44.10) give
\[ \int _ X|\pi ^*s|_{h_ E^ m}^2\nu _ X=\int _ Y|s|_{h^ m}^2\nu _ Y. \]
Pulling back an orthonormal basis proves the identity of densities. If $b_ m$ and $b$ are the densities, with respect to $\nu _ Y$, of the measures in the total-variation limit of theorem 18.44.2, then the corresponding densities on $X$ are $b_ m\circ \pi $ and $b\circ \pi $, and their $L^1(\nu _ X)$ distance equals $\int _ Y|b_ m-b|\nu _ Y$. This proves (18.44.12). The dimension formula (18.44.4) gives $\log N_ m/\log m\to q$ and the final normalization.
$\square$
Pome
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.