PomeDefinition 9.10.18.3BD14AE7D7C8 Given $\varphi \in \mathrm{PSH}(X,\theta )$, we define $P_{\theta }[\varphi ]_{\mathcal{I}}\in \mathrm{PSH}(X,\theta )$ as the unique element with the following property: If $\pi \colon Y\rightarrow X$ is a proper bimeromorphic morphism from a compact Kähler manifold $Y$, then
\[ \pi ^*P_{\theta }[\varphi ]_{\mathcal{I}}=P_{\pi ^*\theta }[\pi ^*\varphi ]_{\mathcal{I}}. \]
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.