Koszul and local cohomology, and a question of Dutta (Q2031733)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Koszul and local cohomology, and a question of Dutta
scientific article

    Statements

    Koszul and local cohomology, and a question of Dutta (English)
    0 references
    0 references
    0 references
    0 references
    10 June 2021
    0 references
    Let \((A,\mathfrak{m})\) denote a local ring with \(n = \dim A\). For an \(\mathfrak{m}\)-primary ideal \(\mathfrak{a}\) let \(K^{\bullet}(\mathfrak{a};A)\) denote the Koszul complex with respect to a minimal generating set of \(\mathfrak{a}\). Let \(H^{\bullet}(\mathfrak{a};A)\) denote its cohomology. The authors study the injectivity, non-vanishing and kernel of the natural map \(\phi^n(\mathfrak{a}) : H^n(\mathfrak{a};A) \to H^n_{\mathfrak{a}}(A)\), where \(H^{\bullet}_{\mathfrak{a}}(A)\) denotes the local cohomology modules. Among others the following Cohen-Macaulay criterion is shown: (1) \(A\) is a Cohen-Macaulay ring. (2) \(\phi^n(\mathfrak{a})\) is injective for all \(\mathfrak{m}\)-primary \(\mathfrak{a}\). (3) \(\phi^n(\mathfrak{a})\) is injective for some \(\mathfrak{m}\)-primary \(\mathfrak{a}\). -- Let \(A\) denote a complete normal local domain with a surjective homomorphism \(R \to A\) of a Gorenstein local ring \((R,\mathfrak{m})\) with \(n = \dim R = \dim A\). Then there is a natural map \(\psi(A): \operatorname{Ext}^n_R(R/\mathfrak{m}, A) \to H^n_{\mathfrak{m}}(A)\). In his paper \textit{S. P. Dutta} [J. Lond. Math. Soc., II. Ser. 56, No. 1, 49--63 (1997; Zbl 0892.13004)] asked whether this map is non-zero. Let \({\mathbf{z}} = z_1,\ldots,z_t\) denote a system of elements of \(R\) such that \(R/{\mathbf{z}}R\) is of finite length. Then there is a map \(\operatorname{Ext}^n_R(R/\mathfrak{m},A) \to H^n({\mathbf{z}};A)\) so that \(\psi(A)\) factors through \(\phi^n({\mathbf{z}}R)\). The authors construct normal graded rings \(A\) such that \(\phi^n({\mathbf{z}}A) = 0\). That is, there is a negative answer to Dutta's question.
    0 references
    local cohomology
    0 references
    Koszul cohomology
    0 references
    monomial conjecture
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references