ScalingStacks

Proof. [01AF]

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.

The second statement follows from the first since divisorial points are dense in XX, see §2.1. To prove the first statement, pick an SNC model 𝒳\mathcal{X} of XX such that x=xEx=x_{E} is associated to an irreducible component EωE_{\omega} of the special fiber. By [BFJ11, Proposition 5.2] there exists u∈𝒟⁡(X)u\in\mathcal{D}(X) determined on 𝒳\mathcal{X} such that −1≤u≤0-1\leq u\leq 0 and ω+d​dc​u\omega+dd^{c}u is determined by an ample class in N1​(𝒳/S)N^{1}(\mathcal{X}/S). Then Capω⁡{x}≥MA⁡(u)​{x}=bE​((ω+d​dc​u)|E)n>0\Capa_{\omega}\{x\}\geq\MA(u)\{x\}=b_{E}((\omega+dd^{c}u)|_{E})^{n}>0, see §2.7. ∎

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