Pome

Proposition 13.13.4365687A6A087

Proposition 13.13.4.365687A6A087 Let $\pi \colon Y\rightarrow X$ be a proper bimeromorphic morphism from a Kähler manifold $Y$ and $T_1,\ldots ,T_ n$ be closed positive $(1,1)$-currents on $X$. Then

\[ \int _ Y (\pi ^*T_1)\wedge \cdots \wedge (\pi ^*T_ n)=\int _ X T_1\wedge \cdots \wedge T_ n. \]

Similarly, if $S_1,\ldots ,S_ n$ are closed positive $(1,1)$-currents on $Y$, then

\[ \int _ Y S_1\wedge \cdots \wedge S_ n=\int _ X \left(\pi _*S_1\right)\wedge \cdots \wedge \left(\pi _*S_ n\right). \]

Proof. The assertions follow from proposition 13.11.4 1 on the Zariski open set where $\pi $ is an isomorphism. The exceptional locus is pluripolar, and the relevant non-pluripolar products put no mass on pluripolar sets by proposition 13.11.4 4. $\square$

Cite this page

Comments

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