Local cohomology and pure morphisms (Q2382946)

Let \(\mathfrak{a}\) be an ideal in a commutative noetherian ring \(R\). Assume that \(\{ \mathfrak{a}_t \}\) is a decreasing chain of ideals cofinal with the powers of \(\mathfrak{a}\). The local cohomology modules \(H^i_{\mathfrak{a}} (R)\) can be obtained as \(\injlim_{t} \text{ Ext}^i( R/\mathfrak{a}_t, R)\), for \(i \geq 0\). The paper under review addresses two questions raised by \textit{D. Eisenbud, M. Mustata} and \textit{M. Stillman} regarding the injectivity of the natural maps \(\text{Ext}^i( R/\mathfrak{a}_t, R) \to H^i_{\mathfrak{a}} (R)\) and \(\text{Ext}^i( R/\mathfrak{a}, R) \to H^i_{\mathfrak{a}} (R)\) [J. Symb. Comput. 29, 583--600 (2000; Zbl 1044.14028)]. One of the theorems of the paper shows in particular that when \(R\) is a regular local ring containing a field of positive characteristic \(p\) and \(\mathfrak{a}\) is an ideal such that \(R/\mathfrak{a}\) is F-pure then \(\text{Ext}^i( R/\mathfrak{a}^{[p^t]}, R) \to H^i_{\mathfrak{a}} (R)\) are injective for all \(t\geq 0\), \(i \geq0\). Here \(\mathfrak{a}^{[p^t]} = ( a^{p^t} : a \in \mathfrak{a})\). The paper contains various examples relevant to the questions mentioned earlier, among which we note a module \(M\) over a regular local ring \((R, m)\) such that \(H^i_m(M) =0\) but \(\text{Ext}^i(R/\mathfrak{a}, R) \neq0\) for all \(m\)-primary ideals of \(R\). A vanishing criterion for local cohomology is also provided which extends an earlier result by \textit{G. Lyubeznik}, Theorem 1.1 (iii) [in: Complete intersections, Lect. 1st Sess. C.I.M.E., Acireale/Italy 1983, Lect. Notes Math. 1092, 214--220 (1984; Zbl 0578.13012)].