ScalingStacks

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.

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)↦∫Xf​d​dc​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 ff, gg, the following Cauchy-Schwarz inequality holds:

(2.4) |∫Xf​d​dc​g∧θ1∧⋯∧θn−1|≤(−∫Xfddcf∧θ1∧⋯∧θn−1)1/2(−∫Xgddcg∧θ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}.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.