Proposition 2.21 . [019Q] 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
Proposition 2.21 .
Suppose θ 1 , … , θ n − 1 \theta_{1},\dots,\theta_{n-1} are semipositive closed ( 1 , 1 ) (1,1) -forms.
Then the symmetric bilinear form
( f , g ) ↦ ∫ X f d d c g ∧ θ 1 ∧ ⋯ ∧ θ n − 1 (f,g)\mapsto\int_{X}f\,dd^{c}g\wedge\theta_{1}\wedge\dots\wedge\theta_{n-1}
on 𝒟 ( X ) \mathcal{D}(X) is negative semidefinite. In particular, for any two model functions f f , g g , the following Cauchy-Schwarz inequality holds:
(2.4)
| ∫ X f d d c g ∧ θ 1 ∧ ⋯ ∧ θ n − 1 | ≤ ( − ∫ X f d d c f ∧ θ 1 ∧ ⋯ ∧ θ n − 1 ) 1 / 2 ( − ∫ X g d d c g ∧ θ 1 ∧ ⋯ ∧ θ n − 1 ) 1 / 2 . \left|\int_{X}f\,dd^{c}g\wedge\theta_{1}\wedge\dots\wedge\theta_{n-1}\right|\leq\\
\left(-\int_{X}f\,dd^{c}f\wedge\theta_{1}\wedge\dots\wedge\theta_{n-1}\right)^{1/2}\,\left(-\int_{X}g\,dd^{c}g\wedge\theta_{1}\wedge\dots\wedge\theta_{n-1}\right)^{1/2}.