Global division of cohomology classes via injectivity (Q841530)

In this short paper, the authors show that the injectivity theorems of \textit{J. Kollár} [Ann. Math. (2) 123, 11--42 (1986; Zbl 0598.14015)] and \textit{H. Esnaut} and \textit{E. Viehweg} [Lectures on vanishing theorems. Basel: Birkhäuser (1992; Zbl 0779.14003)] can be used to give a quick algebraic proof (in fact a strengthening) of the Skoda-type global division theorem, see for example [\textit{L. Ein} and \textit{R. Lazarsfeld}, Invent. Math. 137, No. 2, 427--448 (1999; Zbl 0944.14003)] and Theorem 9.6.31 in [\textit{R. Lazarsfeld}, Positivity in algebraic geometry. II. Positivity for vector bundles, and multiplier ideals. Berlin: Springer (2004; Zbl 1093.14500)]. We state their main result below, but first we fix notation. Suppose that \(f : Y \to X\) is a log resolution of an ideal sheaf \(\mathfrak{b}\) with \(F = \mathfrak{b} \mathcal{O}_Y\) and \(B\) is a line bundle on \(X\). Then we say that \(B \otimes \mathfrak{b}^{\lambda}\) is nef and abundant if \(f^* B - \lambda F\) is nef and abundant on \(Y\). Theorem 4.1. Let \(X\) be a smooth projective variety of dimension \(n\), and let \(\mathfrak{a}, \mathfrak{b} \subseteq \mathcal{O}_X\) be ideal sheaves. Consider line bundles \(L\) and \(B\) on \(X\) such that \(L \otimes \mathfrak{a}\) is globally generated and \(B \otimes \mathfrak{b}^{\lambda}\) is nef and abundant for some \(\lambda \in \mathbb{Q}_{\geq 0}\). Then for every integer \(m \geq n + 2\) and every \(i \geq 0\), the cohomology classes in \[ H^i(X, \mathcal{O}_X(K_X + mL + B) \otimes \mathcal{J}(\mathfrak{a}^{m} \cdot \mathfrak{b}^{\lambda})) \] can be written as linear combinations (with coefficients in \(H^0(L)\), via cup product) of classes in \[ H^i(X, \mathcal{O}_X(K_X + (m-1)L + B) \otimes \mathcal{J}(\mathfrak{a}^{m-1} \cdot \mathfrak{b}^{\lambda})). \] Several applications, including improvements of the Geometric effective Nullstellensatz, are also discussed.