Theorem 20.2.45.7931695F46E8 Let $\varphi \in \mathrm{QPSH}(X)$. Let $p\colon X\rightarrow \mathbb {P}^ N$ be a morphism ($N\geq 1$). Define
\[ \mathcal{G}\coloneqq \Bigl \{ H\in |\mathcal{O}_{\mathbb {P}^ N}(1)|: H'\coloneqq H\cap X \textup{ is smooth and } \mathcal{I}(\varphi |_{H'})=\operatorname{Res}_{H'}\bigl (\mathcal{I}(\varphi )\bigr )\Bigr \} . \]
Then $\mathcal{G}\subseteq |\mathcal{O}_{\mathbb {P}^ N}(1)|$ is co-pluripolar.
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.