Homological invariants of modules over contracting endomorphisms (Q425160): Difference between revisions

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.