Contracting endomorphisms and Gorenstein modules (Q1016490)

From MaRDI portal
scientific article
Language Label Description Also known as
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