ScalingStacks

Theorem B.5 (Nadel Vanishing) . [01I3]

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

Theorem B.5 (Nadel Vanishing).

Let 𝒳\mathcal{X} be a regular model of XX and β„’βˆˆPic⁑(𝒳)\mathcal{L}\in\Pic(\mathcal{X}) a line bundle whose restriction to XX is ample. If π”ž\mathfrak{a} is a vertical coherent ideal sheaf on 𝒳\mathcal{X} and c>0c>0 is a rational number such that β„’βŠ—π”žc\mathcal{L}\otimes\mathfrak{a}^{c} is nef, then we have

Hq​(𝒳,Ο‰π’³βŠ—β„’βŠ—π’₯⁑(π”žc))=0​ for all ​qβ‰₯1.H^{q}\left(\mathcal{X},\omega_{\mathcal{X}}\otimes\mathcal{L}\otimes\mathcal{J}(\mathfrak{a}^{c})\right)=0\,\,\text{ for all }q\geq 1.

In particular, if π”žβˆ™\mathfrak{a}_{\bullet} is a graded sequence of vertical coherent ideal sheaves on 𝒳\mathcal{X} such that β„’mβŠ—π”žm\mathcal{L}^{m}\otimes\mathfrak{a}_{m} is globally generated for all sufficiently divisible mm, then

Hq​(𝒳,Ο‰π’³βŠ—β„’βŠ—π’₯⁑(π”žβˆ™))=0​ for all ​qβ‰₯1.H^{q}\left(\mathcal{X},\omega_{\mathcal{X}}\otimes\mathcal{L}\otimes\mathcal{J}(\mathfrak{a}_{\bullet})\right)=0\,\,\text{ for all }q\geq 1.

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