On the vanishing of self extensions over algebras (Q2216783)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 7286873
Language Label Description Also known as
default for all languages
No label defined
    English
    On the vanishing of self extensions over algebras
    scientific article; zbMATH DE number 7286873

      Statements

      On the vanishing of self extensions over algebras (English)
      0 references
      0 references
      17 December 2020
      0 references
      The Auslander-Reiten conjecture, proposed in [\textit{M. Auslander} and \textit{I. Reiten}, Proc. Am. Math. Soc. 52, 69--74 (1975; Zbl 0337.16004)], states that a finitely generated module \(M\) over an Artin algebra \(\Lambda\) satisfying \(\mathrm{Ext}_{\Lambda}^i(M,\Lambda)=\mathrm{Ext}_{\Lambda}^i(M,M)=0\) for all \(i>0\) must be projective. Investigating this conjecture, Araya, Celikbas, Sadeghi and Takahashi recently provided some sufficient conditions for a module over a Cohen-Macaulay local ring to be projective [\textit{T. Araya} et al., Proc. Am. Math. Soc. 146, No. 11, 4563--4570 (2018; Zbl 1401.13043)]. In the present paper the author generalizes their result to algebras over Cohen-Macaulay local rings. More precislely, the main result of the paper reads as follows: Let \(R\) be a Cohen-Macaulay local ring of dimension \(d\), and let \(\Lambda\) be an \(n\)-canonical \(R\)-order. If \(m\) is an integer such that \(1\leq m\leq d-1\), and \(M\) is a finitely generated \(\Lambda\)-module satisfying the following three conditions: \begin{itemize} \item[(i)] \(M\) is locally projective on \(X^m(R)\) (meaning that the localization \(M_{\mathfrak p}\) is a projective \(R_{\mathfrak p}\)-module for each \(\mathfrak p\in\mathrm{Spec}(R)\) such that \(\mathrm{ht}(\mathfrak p)\leq m\)); \item[(ii)] \(M\) is a Gorenstein projective \(\Lambda\)-module; \item[(iii)] \(\mathrm{Ext}_{\Lambda}^i(M,M)=0\) for all \(i\) such that \(m\leq i\leq n+d-1\); \end{itemize} then \(M\) is projective.
      0 references
      Auslander-Reiten conjecture
      0 references
      orders
      0 references
      \(n\)-canonical orders
      0 references

      Identifiers

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