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. \]
3B0A8DD950ADLemma 11.1.2.3B0A8DD950AD For a smooth real function $f$ and a smooth form $T$ of bidegree $(n-1,n-1)$,
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
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$
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.