The improved new intersection theorem revisited
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\).
- Big Cohen-Macaulay modules, morphisms of perfect complexes, and intersection theorems in local algebra
- Bounded complexes of flat modules
- Canonical elements in local cohomology modules and the direct summand conjecture
- Cohen–Macaulay properties for balanced big Cohen–Macaulay modules
- Completion, Čech and local homology and cohomology. Interactions between them
- Depth for complexes, and intersection theorems
- scientific article; zbMATH DE number 44598 (Why is no real title available?)
- scientific article; zbMATH DE number 3533060 (Why is no real title available?)
- scientific article; zbMATH DE number 1216172 (Why is no real title available?)
- scientific article; zbMATH DE number 482758 (Why is no real title available?)
- scientific article; zbMATH DE number 2046147 (Why is no real title available?)
- scientific article; zbMATH DE number 3440540 (Why is no real title available?)
- Isomorphims between complexes with applications to the homological theory of modules.
- Local homology and cohomology on schemes
- Maximal Cohen-Macaulay complexes and their uses: a partial survey
- On the ubiquity of Gorenstein rings
- Perfectoid spaces and the homological conjectures
- The syzygy problem
This page was built for publication: The improved new intersection theorem revisited
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6970125)
