Uniform Artin-Rees bounds for syzygies (Q887311)

Let \(R\) be a Noetherian commutative ring. Let \(M\) be a finitely generated \(R\)-module and let \[ \dots\longrightarrow F_{i+1}\overset{\partial_{i+1}}\longrightarrow F_i\dots\longrightarrow F_1\overset{\partial_1}\longrightarrow M\longrightarrow 0 \] be a free resolution of \(M\) by finitely generated free modules. The authors define a module \(M\) to be \textit{syzygetically Artin-Rees} with respect to a family of ideals \(\mathcal{I}\), if there exist a uniform integer \(h\) such that for every \(n\geq h\), for every \(i\geq0\), and for every \(I\in \mathcal{I}\), \[ I^nF_i\cap\text{Im }\:\partial_{i+1}\subseteq I^{n-h}\text{Im }\:\partial_{i+1}. \] The authors say that a family of modules \(\mathcal{M}\) is syzygetically Artin-Rees with respect to a family of ideals \(\mathcal{I}\) if there exist an \(h\) such that the last inclusion holds for every module of \(\mathcal{M}\) and every ideal of \(\mathcal{I}\). The main result of the paper is the following theorem: Theorem. Let \((R, \mathfrak{m})\) be a local Noetherian ring of dimension \(d\). Then, the family of finitely generated \(d\)th syzygy modules is syzygetically Artin-Rees with respect to the family of all ideals.