Proposition 9.11.9.C43A6C429C4D For $u\in \mathrm{PSH}(X,\theta )$, there is a unique potential $P_\theta [u]_{\mathcal I}^{\mathrm{res}}$ on $X$ satisfying
\[ P_\theta [u]_{\mathcal I}^{\mathrm{res}}\circ \pi =P_{\pi ^*\theta }[u\circ \pi ]_{\mathcal I} \]
on every resolution $\pi :Y\to X$, where the right-hand side is the multiplier-ideal envelope of definition 18.4.1 on $Y$. It preserves the resolution-ideal class, is idempotent, has supremum zero, and is independent of the resolution.
Proof.
For a fixed resolution, the right-hand side exists by theorem 18.4.2 and descends by theorem 9.11.5. Under a further smooth modification, the competitor families of the ideal envelopes correspond by the descent theorem and lemma 5.43.24, and the regularized suprema commute by the argument of proposition 9.11.7. Thus two resolutions give the same pullback on a common refinement, and hence the same function on $X$. Idempotence, preservation of the class and the normalization follow from the corresponding assertions on $Y$ and surjectivity of $\pi $.
$\square$
Pome
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.