Complexes associated to two vectors and a rectangular matrix
Let \(u_{1\times f}\), \(X_{f\times f}\) and \(v_{f\times 1}\) be matrices of indeterminates over a commutative noetherian ring \(R_0\), and let \(H(f)\) be the ideal \(I_1(uX)+ I_1(Xv)+(vu-\text{Adj} X)\) of the polynomial ring \(R=R_0 [u,X,v]\). Vasconcelos conjectured that the ideal \(H(f)\) is a perfect Gorenstein ideal of grade \(2f\). The author [\textit{A. Kustin} Commun. Alg. 23, No. 3, 1047-1083 (1995; Zbl 0826.13010), found the minimal homogeneous resolution of \(R/H(f)\) by free \(R\)-modules, thereby establishing Vasconcelos' conjecture. The paper under review considers the situation when the matrix \(X\) is not square. In this case, the corresponding ideal, \(K\), is equal to \(I_1(uX)+ I_1(Xv) +I_f(X)\), where \(X\) is a \(g\times f\) matrix with \(f\leq g\). The author resolves the ideal \(K\). It is perfect of grade \(f+g-1\); the Cohen-Macaulay type of \(R/K\) is \({g-1\choose f-1}\), and the last twist in the minimal resolution of \(R/K\) is \(g+3f-3\). -- The author also resolves half of the divisor class group of \(R/K\). Section 1 is devoted to collect the relevant facts. In section 2, the author defines complexes \(II^{(z)}\), and establishes the duality between \(II^{(z)}\) and \(II^{(g-f-2)}\). In section 3, the author identifies the zero-th homology of the complex \(II^{(z)}\). In section 4 he splits off a split exact summand of \(II^{(z)}\) in order to produce the complex \(M^{(z)}\), which is minimal whenever the data is local or homogeneous of positive degree. Modules \(M(p,q,r)\), which comprise the complex \(M^{(z)}\), are defined and shown to be free in section 5. Section 6 is a calculation about binomial coefficients which is used to find the rank of \(M(p,q,r)\). In section 7, the author proves the results which are stated in section 4. In section 8 and 9 he proves that the complex \(II^{(z)}\) is acyclic.
- Complexes which arise from a matrix and a vector: Resolutions of divisors on certain varieties of complexes
- A criterion for exactness of a complex of length two.
- Canonical complexes associated to a matrix
- A Class of Gorenstein Artin Algebras of Embedding Dimension Four
- Constructing homogeneous Gorenstein ideals
- Finite free resolutions of length two and koszul generalized complex
- Ideals associated to two sequences and a matrix
- scientific article; zbMATH DE number 4120303 (Why is no real title available?)
- New construction of the Eagon-Northcott complex
- The resolution of the universal ring for modules of rank zero and projective dimension two
This page was built for publication: Complexes associated to two vectors and a rectangular matrix
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4520064)
