ScalingStacks

Proof of Theorem 8.3 . [01HB]

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 Theorem 8.3.

We shall reduce the statement to a geometric assertion that can be proved using asymptotic multiplier ideals.

First, we may assume that u∈𝒟⁡(X)u\in\mathcal{D}(X), thanks to Corollary 2.3 and (vi) of Proposition 8.2.

Second, we can reduce to the case when θ∈N1​(𝒳/S)𝐐\theta\in N^{1}(\mathcal{X}/S)_{\mathbf{Q}} is a rational class, using (vii) of Proposition 8.2.

Third, we may further reduce to the case u=0u=0, after replacing θ\theta with θ+d​dc​u\theta+dd^{c}u, using (v) of Proposition 8.2.

After scaling, we may finally assume that θ\theta is the curvature form of a model metric determined by a line bunle ℒ\mathcal{L} on some model 𝒳\mathcal{X}. Now we conclude the proof using the following result. ∎

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