Contracting endomorphisms and Gorenstein modules (Q1016490)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Contracting endomorphisms and Gorenstein modules
    scientific article

      Statements

      Contracting endomorphisms and Gorenstein modules (English)
      0 references
      0 references
      6 May 2009
      0 references
      Let \((R, \mathfrak m)\) denote a local noetherian ring. An endomorphism \(\phi : R \to R\) is called contracting provided \(\phi^i(\mathfrak m) \subset \mathfrak m\) for some non-negative integer \(i.\) The Frobenius endomorphism of a ring of positive characteristic is a typical example of a contracting endomorphism. A finitely generated \(R\)-module \(M\) is called Gorenstein, if it is maximal Cohen-Macaulay and has finite injective dimension. The main result of the paper is the equivalence of the following conditions: (a) \(R\) is Cohen-Macaulay and \(M\) is Gorenstein. (b) \(M \simeq \text{Hom}_R({}^{\phi}R, M)\) and \(\text{Ext}_R^i({}^{\phi} R, M) = 0\) for all \(i \geq 1.\) (c) \(M\) is isomorphic to a direct summand of \(\text{Hom}_R({}^{\phi}R , M)\) and \(\text{Ext}_R^i({}^{\phi}R, M) = 0\) for \(1 \leq i \leq \text{depth} M.\) -- Here \({}^{\phi}R\) is \(R\) viewed as a module over itself via \(\phi.\) In the case of \(\phi\) the Frobenius endomorphism and \(M = R\) this result was shown by \textit{S. Goto} [Proc. Am. Math. Soc. 64, 199--205 (1977; Zbl 0408.13008)]. For his proof the author needs a different method. As another application there is a short proof of a special case of a recent result of \textit{S. Iyengar} and \textit{S. Sather-Wagstaff} [Ill. J. Math. 48, No. 1, 241--272 (2004; Zbl 1103.13009)]: Let \(\phi : R \to R\) be a finite contracting homomorphism. Then \(R\) is a Gorenstein ring if and only if \(\text{G-dim}_R({}^{\phi}R)\) is finite.
      0 references
      Frobenius endomorphism
      0 references
      Gorenstein ring
      0 references
      homological dimension
      0 references

      Identifiers