Pome

Lemma 11.1.23B0A8DD950AD

Lemma 11.1.2.3B0A8DD950AD For a smooth real function $f$ and a smooth form $T$ of bidegree $(n-1,n-1)$,

\[ \int _ X\mathrm{dd}^{\mathrm{c}}f\wedge T=\int _ X f\mathrm{dd}^{\mathrm{c}}T. \]

Proof. Since $\mathrm d^{\mathrm c}f$ is a one-form, $\mathrm{d}(\mathrm d^{\mathrm c}f\wedge T)=\mathrm{dd}^{\mathrm{c}}f\wedge T-\mathrm d^{\mathrm c}f\wedge \mathrm{d}T$, and Stokes' theorem gives the first equality in

\[ \int _ X\mathrm{dd}^{\mathrm{c}}f\wedge T =\int _ X\mathrm d^{\mathrm c}f\wedge \mathrm{d}T =\int _ X f\mathrm{dd}^{\mathrm{c}}T. \]

For the second, recall that the integral of $\mathrm d^{\mathrm c}\sigma $ vanishes for every form $\sigma $ of total degree $2n-1$, by Stokes' theorem for $\partial $ and $\bar\partial $. We apply this to $\sigma =f\, \mathrm{d}T$ and use $\mathrm d^{\mathrm c}\mathrm{d}=-\mathrm{d}\mathrm d^{\mathrm c}$. $\square$

Cite this page

Comments

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