Duality for Koszul homology over Gorenstein rings (Q2636953)

Let \(R\) be a Gorenstein local ring (as it is in the paper under review) and \(I\) an ideal of \(R\). \(I\) is said to be \textit{Strongly Cohen-Macaulay}, SCM, if all of the Koszul homology module of \(R\) with respect to one and hence any generating set of \(I\) are Cohen-Macaulay, it is said to satisfy \textit{\(h\)-sliding depth}, SD\(_h\), if \(\text{depth }(H_i)\geq \min\{d-g, d-l+i+h\}\) where \(d=\text{dim(R)}\), \(g=\text{ht}(I)\) and \(l=\mu(I)\) the minimum number of the generators of \(I\). \(I\) satisfies \(G_{\infty}\) if \(\mu(I_{\mathfrak{p}})\leq \text{ht}(\mathfrak{p})\) for all \(\mathfrak{p}\supseteq I\). In one of the interesting theorems [Theorem 4.4] of this paper it is shown that in the presence of a slighter condition than \(G_{\infty}\), SD\(_h\) and Koszul homology \(S_2\) are equivalent to SCM. Two proofs are presented for this fact, in one of which the authors use properties of spectral sequences arisen from the double complex \(\text{Hom}_R(K_{\bullet}, J_{\bullet})\) where \(J_{\bullet}\) is an injective resolution of \(R\). By further analysis of these spectral sequences the authors extend a result of \textit{R. Hartshorne} and \textit{A. Ogus} [Commun. Algebra 1, 415--437 (1974; Zbl 0286.13013)] to all of the Koszul homology modules. More precisely it is shown in Theorem 3.7 that if Koszul homologies satisfy Serres's condition \(S_h\) for \(h\geq \max\{2,\frac{1}{2}\text{dim}(R/I)\}\) then \(I\) is SCM. As well these spectral sequences lead to the following general duality \[ \text{Hom}_R(\text{Hom}_R(H_i,H_{l-g}),H_{l-g})\simeq \text{Hom}_R(H_{l-g-i},H_{l-g}). \] Reviewer's remark: It should be mentioned that, using a slightly different spectral sequence, this duality was already shown by \textit{M. Chardin} in his published or online works such as [Regularity of ideals and their powers, Institut Mathematiques de Jussieu, Prepublication 364 (2004)]. However an interesting duality fact in the paper under review is that if a single Koszul homology \(H_i\) satisfies \(S_2\) then \[ H_i\simeq \text{Hom}_R(H_{l-g-i},H_{l-g}). \] In Proposition 3.3, in order to have the same conclusion, the Koszul homology \(H_i\) must satisfy Serre's condition \(S_2\) as an \(R/(x)\)- module where \((x)\) is a regular sequence of length \(g\) inside \((y)\), or else one has to suppose that \((y)\) is unmixed. The same kind of hypothesis is needed in Theorems 3.7 and 4.4.