Local cohomology and pure morphisms (Q2382946)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Local cohomology and pure morphisms
scientific article

    Statements

    Local cohomology and pure morphisms (English)
    0 references
    0 references
    0 references
    5 October 2007
    0 references
    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)].
    0 references
    local cohomology
    0 references
    pure morphisms
    0 references
    F-pure rings
    0 references

    Identifiers