The improved new intersection theorem revisited (Q6970125)

Let \((R,{\mathfrak m})\) be a commutative Noetherian local ring, and let \N\[\N{\mathbf F}:0\rightarrow F_n\rightarrow F_{n-1} \rightarrow \cdots \rightarrow F_1\rightarrow F_0\rightarrow 0\N\]\Nbe a non-exact complex of finitely generated free \(R\)-modules. The new intersection theorem asserts that if each homology module \(\text{H}_i({\mathbf F})\) has finite length, then \(n\geq \dim R\). An improvement of this result, known as the improved new intersection theorem, states that if \(\text{H}_i({\mathbf F})\) has finite length for all \(i> 0\), and a nonzero minimal generator of \(\text{H}_0({\mathbf F})\) generates a submodule of finite length, then \(n\geq \dim R\).\N\NTwo generalizations of the improved new intersection theorem are as follows:\N\begin{itemize}\N\item[(a)] (Iyengar, 1991) Suppose that \(\text{H}_i({\mathbf F})\) has finite length for all \(i> 0\), and an ideal \(I\) annihilates a nonzero minimal generator of \(\text{H}_0({\mathbf F})\). Then \(n\geq \dim R-\dim R/I\).\N\item[(b)] (Avramov, Iyengar and Neeman 2018) Suppose that an ideal \(I\) annihilates \(\text{H}_i({\mathbf F})\) for all \(i> 0\), as well as a nonzero minimal generator of \(\text{H}_0({\mathbf F})\). Then \(n\geq \text{ht}\ I\).\N\end{itemize}\NThe main objective of this paper is to present the following common generalization of the latter two results:\N\N{Theorem:} Let \(R\) and \({\mathbf F}\) be as above. Assume that an ideal \(I\) annihilates the homology modules \(\text{H}_i({\mathbf F})\) for all \(i> 0\), as well as a nonzero minimal generator of \(\text{H}_0({\mathbf F})\). Then \(n\geq \dim R-\dim R/I\).