PomeLemma 11.46.2.3CE4F16CE935 The canonical $u_\alpha $ is $\kappa $-plurisubharmonic and smooth off $o$. Its non-pluripolar measure has a positive density $q_\alpha $ of mass one, in $L^1$ and in no $L^ p$, $p>1$. Distinct $\alpha $ give distinct ordinary types, although all their multiplier ideals are trivial.
Lemma 11.46.23CE4F16CE935
Proof. Plurisubharmonicity, smoothness off the pole, unit mass and the $L^ p$ assertions are those of lemma 15.30.1. To fix the profile used in the inverse below, put
81B05A10FA0A
11.46.3
\begin{equation} \Phi _\alpha =\log (1+r)+u_\alpha ,\qquad Q_\alpha =r\Phi _\alpha '=P+\alpha (1-P)T^{\alpha -1}. \end{equation}
The tangential and radial eigenvalues are $Q_\alpha /r$ and $Q_\alpha '$, both positive. Radial determinant integration, with the constant fixed by $\Phi =\log (1+r)$, gives
DE57A4B5C703
11.46.4
\begin{equation} \int _{a<|z|^2<b}(\mathrm{dd}^{\mathrm{c}}\Phi )^ k=Q(b)^ k-Q(a)^ k, \qquad Q=r\Phi '. \end{equation}
Since $Q_\alpha (0)=0$ and $Q_\alpha (\infty )=1$, the density is
Smoothness on the hyperplane and the exclusion of the canonical pole in the product leave no further measure. Near $r=0$, with $L=1-\log r$, direct differentiation gives
44CC5DC8E895
11.46.6
\begin{align} Q_\alpha & \sim \alpha L^{\alpha -1},& Q_\alpha '& \sim \frac{\alpha (1-\alpha )}rL^{\alpha -2},\\ (Q_\alpha ^ k)'& \sim \frac{k\alpha ^ k(1-\alpha )}rL^{-1-k(1-\alpha )}.\nonumber \end{align}
In particular $q_\alpha \sim \alpha ^ k(1-\alpha )r^{-k}L^{-1-b_\alpha }$; the radial volume has order $r^{k-1}\, \mathrm{d}r$, recovering these integrability assertions.
The types for different $\alpha $ are ordinarily distinct, since their difference is unbounded at $o$. Yet every $\mathcal I(tu_\alpha )$ is trivial for finite $t>0$: integrability of the constant function reduces near $o$ to $\int ^\infty \mathrm{e}^{-kL+tL^\alpha }\, \mathrm{d}L<\infty $. Ordinary type information here is strictly finer than this ideal information. $\square$
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.