An asymptotic vanishing theorem for the cohomology of thickenings (Q2035573): Difference between revisions

Building on their work in [Am. J. Math. 141, No. 2, 531--561 (2019; Zbl 1425.13008)], the authors present a characteristic-free asymptotic version of Kodaira vanishing for thickenings. In particular, they prove the following: Main Theorem. Let \(Y\) be smooth projective scheme over a field, equipped with an ample line bundle \(\mathcal{O}_Y(1)\). Let \(X\) be a closed equidimensional lci subscheme of \(Y\). Then there exists an integer \(c \geq 0\) such that for each \(t \geq 1\) and \(k<\dim\ X\), one has \[ H^k(X_t, \mathcal{O}_{X_t}(j))=0 \text{ for all }j<-ct, \] where, for a closed subscheme \(Z \subseteq Y\), and integer \(j\), we write \(\mathcal{O}_Z(j):=\mathcal{O}_Y(1)^{\otimes j}|_Z\). As a result of the above theorem, they positively answer two questions (7.1 and 7.2) posed by \textit{H. Dao} and \textit{J. Montaño} [Trans. Am. Math. Soc. 371, No. 5, 3483--3503 (2019; Zbl 1409.13036)] when \(R\) is standard graded with homogeneous maximal ideal \(\mathfrak{m}\), \(I\) is a homogeneous ideal such that \(R/I\) is an lci and \(\lambda(H^k_{\mathfrak{m}}(R/I^t)<\infty\). The authors conclude the paper by providing examples, which show that the inequality in the theorem above is strict and that the theorem may fail if \(X\) is not lci or if \(X\) is lci but not equidimensional.