Extensions of a dualizing complex by its ring: Commutative versions of a conjecture of Tachikawa (Q2570673): Difference between revisions

Let \((R,\mathfrak m,k)\) be a commutative noetherian local ring with dualizing complex \(D^R\), normalized by \(\text{Ext}_R^{\text{depth}(R)}(k,D^R)\cong k\). The conjecture that \(R\) is Gorenstein provided \(\text{Ext}_R^i(D^R,R)=0\) for all \(i>0\) is proved in several special cases. Some sufficient conditions are the following: The ring is generically Gorenstein (\(R_{\mathfrak p}\) is Gorenstein for all \(\mathfrak p\in\text{Ass}R\)) and \(\text{Ext}^i_R(D^R,R)=0\) for all \(i\in[1,\text{dim}\,R\)] (theorem 2.1); \(R\) is a quotient of a generically Gorenstein ring modulo a regular set and \(\text{Ext}^i_R(D^R,R)=0\) for all \(i\in[1,\text{dim}\,R+1\)] (theorem 3.1); \(R\) is a Cohen-Macaulay local ring of the form \(Q/\mathfrak a\), where \(Q\) is a Gorenstein local ring and \(\mathfrak a\) is an ideal for which there is a sequence \(\mathfrak a \sim\mathfrak b_1\sim \cdots \sim \mathfrak b_s \sim\mathfrak b\) with \(\mathfrak b\) a generically complete intersection ideal and \(\text{Ext}^i_R(D^R,R)=0\) for all \(i\in[1,\text{dim}\,R+1\)] (theorem 4.1); \(R\) contains a regular sequence \(f\) with the property that \(\mathfrak m^3\subseteq (f)\) and \(\text{Ext}^i_R(D^R,R)=0\) for all \(i\in[1, \text{dim}\,R+1\)] (theorem 5.1); \(R\) is a special fiber of a finite flat local homomorphism that possesses a Gorenstein fiber and \(\text{Ext}^1_R(D^R,R)=0\) (theorem 6.1); \(\text{codepth}\,R\leq 3\) and \(\text{Ext}^i_R(D^R,R)=0\) for all \(i\gg 0\) (theorem 7.1); \(R\) is a Golod local ring and \(\text{Ext}^i_R(D^R,R)=0\) for all \(i\gg 0\) (theorem 8.1).