ScalingStacks

Proof. [01I4]

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.

Let Ο€:𝒳′→𝒳\pi:\mathcal{X}^{\prime}\to\mathcal{X} be an SNC model dominating the blow-up of 𝒳\mathcal{X} along π”žm\mathfrak{a}_{m}, so that we have π”žmβ‹…π’ͺ𝒳′=π’ͺ𝒳′​(βˆ’D)\mathfrak{a}_{m}\cdot\mathcal{O}_{\mathcal{X}^{\prime}}=\mathcal{O}_{\mathcal{X}^{\prime}}(-D) for some effective divisor D∈Div0⁑(𝒳′)D\in\Div_{0}(\mathcal{X}^{\prime}). By the projection formula we have

Ο‰π’³βŠ—β„’βŠ—π’₯⁑(π”žc)=Ο€βˆ—β€‹(Ο‰π’³β€²βŠ—Ο€βˆ—β€‹β„’β€‹(βˆ’βŒŠc​DβŒ‹)).\omega_{\mathcal{X}}\otimes\mathcal{L}\otimes\mathcal{J}(\mathfrak{a}^{c})=\pi_{*}\left(\omega_{\mathcal{X}^{\prime}}\otimes\pi^{*}\mathcal{L}(-\lfloor c\,D\rfloor)\right).

Now Ο€βˆ—β€‹β„’βˆ’1m​D\pi^{*}\mathcal{L}-\tfrac{1}{m}D is nef and c​Dβˆ’βŒŠc​DβŒ‹c\,D-\lfloor c\,D\rfloor has coefficients in [0,1[[0,1[. LemmaΒ B.6 below together with the projection formula yields

Rqβ€‹Ο€βˆ—β€‹(Ο‰π’³β€²βŠ—Ο€βˆ—β€‹β„’β€‹(βˆ’βŒŠc​DβŒ‹))=0​ for all ​qβ‰₯1.R^{q}\pi_{*}\left(\omega_{\mathcal{X}^{\prime}}\otimes\pi^{*}\mathcal{L}\left(-\lfloor c\,D\rfloor\right)\right)=0\,\,\text{ for all }q\geq 1.

The Leray spectral sequence is thus degenerate and we conclude using Theorem B.3. ∎

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