Extension closedness of syzygies and local Gorensteinness of commutative rings (Q295888)

Let \(R\) be a commutative Noetherian local ring satisfying Serre's condition (\(S_n\)). The main result of the paper proves the equivalence of the following statements: (1) The full subcategory \(\Omega^n(\text{mod }R)\), of \(n\)th syzygies, of the category of finitely generated \(R\)-modules is extension closed; (2) \(\Omega^n(\text{mod }R) = S_n(R)\), where \(S_n(R)\) is the full subcategory of finitely generated \(R\)-modules satisfying Serre's condition (\(S_n\)); and (3) \(R_{\mathfrak{p}}\) is Gorenstein for all \(\mathfrak{p} \in \text{Spec }R\) with \(\text{height } \mathfrak{p} < n\). This result gives the converse to a celebrated theorem of \textit{E. G. Evans} and \textit{P. Griffith} [Syzygies. Cambridge etc.: Cambridge University Press (1985; Zbl 0569.13005)]. This results also generalizes a recent work of \textit{T. Araya} and \textit{K.-i. Iima} [``Locally Gorensteinness over Cohen-Macaulay rings'', Preprint, \url{arXiv:1408.3796}]. To achieve this purpose, the authors extend a previous work of \textit{M. Auslander} and \textit{I. Reiten} [J. Algebra 183, No. 1, 167--185 (1996; Zbl 0857.16006)] and establish the following theorem: Let \(\Lambda\) be a Noether algebra such that \(\Omega^n(\text{mod }\Lambda)\) is extension closed. Let \(M\) be a finitely generated \(\Lambda^{\text{op}}\)-module with \(\text{grade}_{\Lambda} \text{Ext}^i_{\Lambda^{\text{op}}}(M,\Lambda) \geq i-1\) for all \(1 \leq i \leq n\). Then, \(\text{grade}_{\Lambda} \text{Ext}^n_{\Lambda^{\text{op}}}(M,\Lambda) \geq n.\)