On a generalized Auslander-Reiten conjecture (Q6587246)

From MaRDI portal





scientific article; zbMATH DE number 7896662
Language Label Description Also known as
default for all languages
No label defined
    English
    On a generalized Auslander-Reiten conjecture
    scientific article; zbMATH DE number 7896662

      Statements

      On a generalized Auslander-Reiten conjecture (English)
      0 references
      0 references
      0 references
      0 references
      13 August 2024
      0 references
      \textit{M. Auslander} and \textit{I. Reiten} conjectured in [Proc. Am. Math. Soc. 52, 69--74 (1975; Zbl 0337.16004)] that every Artin algebra \(R\) satisfies the condition (ARC) below; the conjecture is still open. Around 20 years ago, this conjecture along with several other related conjectures made their way into commutative algebra (where they also make sense). The present paper is a contribution to this line of research. More precisely, for a commutative Noetherian ring \(R\), the authors study the behavior of the following conditions under standard operations in commutative algebra.\N\begin{itemize}\N\item[(ARC)] For each finitely generated \(R\)-module \(M\), if \(\text{Ext}^{>0}_R(M,M\oplus R)=0\), then \(M\) is projective.\N\item[(GARC)] For each finitely generated \(R\)-module \(M\), if \(\text{Ext}^{\gg 0}_R(M,M\oplus R)=0\), then \(\text{pd}_R\,M\) is finite.\N\item[(SAC)] For each finitely generated \(R\)-module \(M\), if \(\text{Ext}^{>0}_R(M,R) = 0 = \text{Ext}^{\gg 0}_R(M,M)\), then \(\text{Ext}^{>0}_R(M,M)=0\).\N\item[(SACC)] For each finitely generated \(R\)-module \(M\) with constant rank, if \(\text{Ext}^{>0}_R(M,R) = 0 = \text{Ext}^{\gg 0}_R(M,M)\), then \(\text{Ext}^{>0}_R(M,M)=0\).\N\end{itemize}\N\N\textit{O. Celikbas} and \textit{R. Takahashi} [J. Algebra 382, 100--114 (2013; Zbl 1342.13022)] have shown that conditions (GARC) and (SAC) are equivalent. In the paper under review, the authors prove for example the following results.\N\N\begin{itemize}\N\item Suppose that \(R\) is local with positive depth and let \(x\) be a non-zerodivisor on \(R\). If \(R\) satisfies (SACC), then \(R/(x)\) satisfies (SAC).\N\N\item Suppose that \(R\) is local with positive depth. Then \(R\) satisfies (SAC) if and only if \(R\) satisfies (SACC).\N\N\item Let \(R \to S\) be a homomorphism of local rings such that \(\text{fd}_R\,S\) is finite. If \(S\) satisfies (SAC)/(ARC), then \(R\) satisfies (SAC)/(ARC).\N\end{itemize}
      0 references
      0 references
      generalized Auslander-Reiten condition
      0 references
      flat dimension
      0 references
      derived category
      0 references
      derived functor
      0 references
      Ulrich ideal
      0 references
      extension degree
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

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