On a generalized Auslander-Reiten conjecture (Q6587246)

From MaRDI portal





scientific article; zbMATH DE number 7896662
Language Label Description Also known as
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