ScalingStacks

Proof of Proposition 2.21 . [019R]

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

Proof of Proposition 2.21.

Fix a model function ff. We need to prove

I:=∫Xf​d​dc​f∧θ1∧⋯∧θn−1≤0I:=\int_{X}f\,dd^{c}f\wedge\theta_{1}\wedge\dots\wedge\theta_{n-1}\leq 0

Choose a common determination 𝒳\mathcal{X} of φ\varphi and all the θi\theta_{i}. By continuity, we may assume φ=φD\varphi=\varphi_{D} for some D∈Div0⁡(𝒳)𝐐D\in\Div_{0}(\mathcal{X})_{\mathbf{Q}}, and each form θi\theta_{i} is determined by a 𝐐\mathbf{Q}-line bundle ℒi\mathcal{L}_{i} on 𝒳\mathcal{X}. Then I=D2⋅ℒ1⋅…⋅ℒn−1I=D^{2}\cdot\mathcal{L}_{1}\cdot\ldots\cdot\mathcal{L}_{n-1} and the result follows from [YZ10, Theorem 2.1.1 (a)]. ∎

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