Canonical complexes associated to a matrix (Q296650)

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.