Canonical complexes associated to a matrix
From MaRDI portal
Abstract: Let Phi be an f by g matrix with entries from a commutative Noetherian ring R, with g at most f. Recall the family of generalized Eagon-Northcott complexes {C^{i}} associated to Phi. (See, for example, Appendix A2 in "Commutative Algebra with a view toward Algebraic Geometry" by David Eisenbud.) For each integer i, C^i is a complex of free R-modules. For example, C^{0} is the original "Eagon-Northcott" complex with zero-th homology equal to the ring defined by the maximal order minors of Phi; and C^{1} is the "Buchsbaum-Rim" complex with zero-th homology equal to the cokernel of the transpose of Phi. If Phi is sufficiently general, then each C^{i}, with i at least -1, is acyclic; and, if Phi is generic, then these complexes resolve half of the divisor class group of R/I_g(Phi). The family {C^{i}} exhibits duality; and, if -1le ile f-g+1, then the complex C^{i} exhibits depth-sensitivity with respect to the ideal I_g(Phi) in the sense that the tail of C^{i} of length equal to grade(I_g(Phi)) is acyclic. The entries in the differentials of C^i are linear in the entries of Phi at every position except at one, where the entries of the differential are g by g minors of Phi. This paper expands the family {C^i} to a family of complexes {C^{i,a}} for integers i and a with 1le ale g. The entries in the differentials of C^{i,a} are linear in the entries of Phi at every position except at two consecutive positions. At one of the exceptional positions the entries are a by a minors of Phi, at the other exceptional position the entries are g-a+1 by g-a+1 minors of Phi. The complexes {C^i} are equal to {C^{i,1}} and {C^{i,g}}. The complexes {C^{i,a}} exhibit all of the properties of {C^{i}}. In particular, if -1le ile f-g and 1le ale g, then C^{i,a} exhibits depth-sensitivity with respect to the ideal I_g(Phi).
Recommendations
- scientific article; zbMATH DE number 4021296
- scientific article; zbMATH DE number 5076902
- Complexes associated to two vectors and a rectangular matrix
- A family of complexes associated to an almost alternating map, with applications to residual intersections
- THE VANISHING OF HOMOLOGY MODULES OF A KOSZUL COMPLEX
Cites work
- scientific article; zbMATH DE number 51906 (Why is no real title available?)
- scientific article; zbMATH DE number 3472197 (Why is no real title available?)
- scientific article; zbMATH DE number 482758 (Why is no real title available?)
- scientific article; zbMATH DE number 704831 (Why is no real title available?)
- scientific article; zbMATH DE number 1983902 (Why is no real title available?)
- A Generalized Koszul Complex. II. Depth and Multiplicity
- A Generalized Koszul Complex. III. A Remark on Generic Acyclicity
- A Sequence of Complexes Associated with a Matrix
- A criterion for integral dependence of modules
- A family of complexes associated to an almost alternating map, with applications to residual intersections
- A generalized Koszul complex
- A geometric theory of the Buchsbaum-Rim multiplicity
- A matrix of linear forms which is annihilated by a vector of indeterminates
- ADDITIONAL PROPERTIES OF GENERICALLY ACYCLIC PROJECTIVE COMPLEXES
- Algebra Structures for Finite Free Resolutions, and Some Structure Theorems for Ideals of Codimension 3
- Determinantal rings
- Generic Gaussian ideals
- Generic free resolutions and a family of generically perfect ideals
- Generically Perfect Modules are Strongly Generically Perfect
- Generically acyclic complexes and generically perfect ideals
- Grade Sensitivity and Generic Perfection
- Grade-Sensitive Modules and Perfect Modules
- Ideals associated to two sequences and a matrix
- Ideals defined by matrices and a certain complex associated with them
- Multiplicities and equisingularity of ICIS germs
- On the Buchsbaum-Rim function of a parameter module
- SOME REMARKS ON THE THEORY OF IDEALS DEFINED BY MATRICES
- THE INTEGRAL CLOSURE OF MODULES, BUCHSBAUM–RIM MULTIPLICITIES AND NEWTON POLYHEDRA
- The equations defining blowup algebras of height three Gorenstein ideals
Cited in
(10)- Algebra structures on some canonical resolutions
- Complexes associated to two vectors and a rectangular matrix
- Hodge filtration on local cohomology, Du Bois complex and local cohomological dimension
- Virtual criterion for generalized Eagon-Northcott complexes
- Complexes which arise from a matrix and a vector: Resolutions of divisors on certain varieties of complexes
- THE VANISHING OF HOMOLOGY MODULES OF A KOSZUL COMPLEX
- Equivariant resolutions over Veronese rings
- New construction of the Eagon-Northcott complex
- scientific article; zbMATH DE number 4021296 (Why is no real title available?)
- scientific article; zbMATH DE number 5532738 (Why is no real title available?)
This page was built for publication: Canonical complexes associated to a matrix
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q296650)
