Pome

Proposition 16.8.172E8F613E7CBE

Proposition 16.8.17.2E8F613E7CBE Let $\theta $ be a closed real smooth $(1,1)$-form on $X$ and $\varphi ,\psi \in \mathrm{PSH}(X,\theta )$. Then the following are equivalent:

  1. 42227A6623F5

    $\varphi \preceq _{\mathcal{I}}\psi $;

  2. 6B5F8E56CB73

    $P_{\theta }[\varphi ]_{\mathcal{I}}\leq P_{\theta }[\psi ]_{\mathcal{I}}$.

Proof. 1 $\implies $ 2. This follows immediately from corollary 16.8.16.

2 $\implies $ 1. It follows from proposition 16.6.11 that

\[ \varphi \sim _{\mathcal{I}} P_{\theta }[\varphi ]_{\mathcal{I}}\leq P_{\theta }[\psi ]_{\mathcal{I}} \sim _{\mathcal{I}} \psi . \]

We conclude 1. $\square$

Cite this page

Comments

Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.