Canonical complexes associated to a matrix

Buchsbaum-Rim complex depth-sensitivity determinantal ring duality Eagon-Northcott complex hooks Koszul complex maximal Cohen-Macaulay module perfect module Schur module Weyl module

Mathematics Subject Classification ID

Linkage, complete intersections and determinantal ideals (13C40) Syzygies, resolutions, complexes and commutative rings (13D02)

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).

Review text

Let \(\Phi\) be an \(f \times g\) matrix whose entries are elements of a commutative Noetherian ring \(R\), and assume \(g \leq f\). Associated to \(\Phi\) is a family of generalized Eagon-Northcott complexes \(\{ \mathcal C^i_\Phi \}\), where for each \(i\), \(\mathcal C^i_\Phi\) is a complex of free \(R\)-modules. These include the standard Eagon-Northcott (corresponding to \(i=0\)) and the Buchsbaum-Rim complex (corresponding to \(i=1\)). If \(-1 \leq i \leq f-g+1\) then \(\mathcal C^i_\Phi\) has length \(f-g+1\), and if \(f-g+1 \leq \text{grade} I_g(\Phi)\) then \(\mathcal C^i_\Phi\) is acyclic for \(-1 \leq i \leq f-g+1\). If \(\Phi\) is sufficiently general then each \(\mathcal C^i_\Phi\) (for \(i \geq -1\)) is acyclic, and if \(\Phi\) is generic then these complexes resolve half of the divisor class group of \(R/I_g(\Phi)\). These complexes \(\mathcal C^i_\Phi\) exhibit many important algebraic properties. See Eisenbud's book ``Commutative Algebra with a view toward Algebraic Geometry for details. The current paper expands the family \(\{ \mathcal C^i_\Phi \}\) to a family of complexes \(\{\mathcal C^{i,a}_\Phi \}\) for integers \(i\) and \(a\) with \(-1 \leq i \leq f-g\) and \(1 \leq a \leq g\). This also extends previous work of the author with \textit{B. Ulrich} [Mem. Am. Math. Soc. 461, 94 p. (1992; Zbl 0753.13005)]. The complexes \(\{\mathcal C^i_\Phi \}\) are equal to \(\{ \mathcal C^{i,1}_\Phi \}\) and \(\{ \mathcal C^{i,g}_\Phi \}\), and for all \(a\) they exhibit all of the algebraic properties of \(\{ \mathcal C^i_\Phi \}\). The construction of \(\mathcal C^{i,a}_\Phi\) is done in a canonical manner, coordinate-free. The main result of the paper states that if \(\Phi\) is sufficiently general, \(-1 \leq i\) and \(1 \leq a \leq g\), then \(\mathcal C^{i,a}_\Phi\) is an acyclic complex of free \(R\)-modules and \(H_0(\mathcal C^{i,a}_\Phi)\) is a torsion-free \(R/I_g(\Phi)\)-module of rank \(\binom{g-1}{a-1}\). The author also gives applications of this result.

Recommendations

Cites work

Cited in

(10)

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)