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
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