Homological invariants of modules over contracting endomorphisms (Q425160)

From MaRDI portal
Revision as of 07:06, 5 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Homological invariants of modules over contracting endomorphisms
scientific article

    Statements

    Homological invariants of modules over contracting endomorphisms (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    7 June 2012
    0 references
    Let \(\varphi :R\to R\) be an endomorphism of a commutative Noetherian local ring. For each \(R\)-module \(M\) one can define a module \(^{\varphi}M\) as follows: it has the same underlying additive group as \(M\), and \(R\) acts on it by the rule \(r.m=\varphi(r)m\). The endomorphism \(\varphi\) is called contracting if for each \(r\) in the maximal ideal \(\mathfrak{m}\) of \(R\) the sequence \((\varphi^i(r))_{i\geq 1}\) converges to \(0\) in the \(\mathfrak{m}\)-adic topology. The main result in the paper under review is the following one: Theorem A. Let \(R\) be a local ring and \(\varphi :R\to R\) a contracting endomorphism. If there exists a finite non-zero \(R\)-module \(M\) and an integer \(i\geq 1\), such that \(^{\varphi^i}M\) has finite flat dimension or finite injective dimension, then \(R\) is regular. When \(R\) has positive characteristic \(p\) and \(\varphi\) is the Frobenius map, \(r\mapsto r^p\), the above theorem implies that if \(^{\varphi}M\) is flat, then \(R\) is regular. In addition, the authors give a version of there main theorem which is stated as follows: Theorem B. Let \((R,\mathfrak{m})\) be a local ring and let \(\varphi :R\to R\) be a contracting endomorphism. If \(R/\varphi(\mathfrak{m})R\) is Artinian, then every finitely generated non-zero \(R\)-module \(M\) satisfies \[ \limsup_n\sqrt[n]{\ell_R Tor^R_n(k, ^{\varphi}M)}= curv_Rk= \limsup_n\sqrt[n]{\ell_R Ext^n_R(k, ^{\varphi}M)}. \] This is a well-written paper which contains some interesting results.
    0 references
    regular ring
    0 references
    homological dimension
    0 references
    contracting endomorphisms
    0 references

    Identifiers

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