Ideals of minors in free resolutions
type: Item
instance of: scholarly article
title: Ideals of minors in free resolutions
zbMATH Open document ID: 0822.13004
DOI: 10.1215/S0012-7094-94-07510-8
author: David Eisenbud
author: Mark Green
published in: Duke Mathematical Journal
publication date: 1995-10-15T00:00:00Z
review text: Let \(R\) be a commutative noetherian ring, \(M\) a finitely generated \(R\)- module, \(J = \text{Ann} M\), \(g = \text{grade} M\), and let \[ : \cdots \to F_ i @>\varphi_ i>> F_{i - 1} \to \cdots \to F_ 1 @>\varphi_ 1>> F_ 0 \to M \to 0 \] be a free resolution of \(M\). Let \(r_ i = \text{rank} \varphi_ i\). It is well-known that \(J^{r_ 1} \subseteq I_{r_ 1} (\varphi_ 1) \subseteq J\). The paper studies the extensions of these inclusions. Since the left-hand one can be sharpened to \(JI_ j (\varphi_ 1) \subseteq I_{j + 1} (\varphi_ 1)\), for all \(j < r_ 1\), it was conjectured by \textit{C. Huneke} that \(JI_ j (\varphi_ i) \subseteq I_{j + 1} (\varphi_ i)\), for all \(j < r_ i\). The authors prove that for all \(i,j \geq 0\), \((r_ i - j) JI_ j (\varphi_ i) \subseteq I_{j + 1} (\varphi_ i)\), which, in characteristic zero, gives the positive answer. Concerning the right-hand inclusion, the authors are proposing the ``idealistic syzygy conjecture'', which asserts that, if \(n_ i = \left( \begin{smallmatrix} g - 1 \\ i - 1 \end{smallmatrix} \right) - 1\), we have \(I_{r_ i - n_ i} (\varphi_ i) \subseteq J\), for \(g \geq i\). They discuss this conjecture and prove it for the special case \(R\) a regular ring and \(M = R/P\), with \(P \in \text{Spec} R\). -- In the final part, several properties and questions about the annihilators of exterior powers of syzygy modules and their connection with Huneke's conjecture are discussed.
reviewed by: Cristodor-Paul Ionescu
Mathematics Subject Classification ID: 13C40
Mathematics Subject Classification ID: 14M12
Mathematics Subject Classification ID: 13D02
zbMATH DE Number: 706691
zbMATH Keywords: determinantal ideals
zbMATH Keywords: idealistic syzygy conjecture
zbMATH Keywords: free resolution
zbMATH Keywords: syzygy modules
MaRDI profile type: Publication
cites work: The buchsbaum-eisenbud structure theorems and alternating syzygies
cites work: Length formulas for the local cohomology of exterior powers
cites work: What makes a complex exact?
cites work: Some structure theorems for finite free resolutions
cites work: Algebra Structures for Finite Free Resolutions, and Some Structure Theorems for Ideals of Codimension 3
cites work: What annihilates a module?
cites work: Q3240881
cites work: Q4026068
cites work: Algebraic vector bundles on projective spaces: A problem list
cites work: Vector Bundles on the Punctured Spectrum of a Local Ring
description: scientific article; zbMATH DE number 706691