Remark 2.22 . [019S] Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 1 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context · Original author HTML
Remark 2.22 .
In the complex case we have by Stokes’ theorem
∫ f d d c g ∧ θ 1 ∧ … ∧ θ n − 1 = − ∫ d f ∧ d c g ∧ θ 1 ∧ … ∧ θ n − 1 , \int f\,dd^{c}g\wedge\theta_{1}\wedge...\wedge\theta_{n-1}=-\int df\wedge d^{c}g\wedge\theta_{1}\wedge...\wedge\theta_{n-1},
and negativity comes from that of the ( 1 , 1 ) (1,1) -form d f ∧ d c f df\wedge d^{c}f . Recall also that
d f ∧ d c f ∧ ω n − 1 = | d f | ω 2 ω n df\wedge d^{c}f\wedge\omega^{n-1}=|df|_{\omega}^{2}\,\omega^{n}
when ω \omega is a Kähler form, so that ( − ∫ f d d c f ∧ ω n − 1 ) 1 / 2 \left(-\int f\,dd^{c}f\wedge\omega^{n-1}\right)^{1/2} is the L 2 L^{2} -norm of the gradient of f f .