CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

arXiv:1509.04367v1 [] 15 Sep 2015

ANDREW R. KUSTIN
A BSTRACT. Let Φ be an f × g matrix with entries from a commutative Noetherian ring R,
with g ≤ f. Recall the family of generalized Eagon-Northcott complexes {CΦi } associated to
Φ. (See, for example, Appendix A2 in “Commutative Algebra with a view toward Algebraic
Geometry” by D. 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 R/Ig(Φ) defined by ideal generated by the maximal order minors of Φ; and CΦ1 is the
“Buchsbaum-Rim” complex with zero-th homology equal to the cokernel of the transpose of
Φ. If Φ is sufficiently general, then each CΦi , with −1 ≤ i, is acyclic; and, if Φ is generic,
then these complexes resolve half of the divisor class group of R/Ig (Φ). The family {CΦi }
exhibits duality; and, if −1 ≤ i ≤ f − g + 1, then the complex CΦi exhibits depth-sensitivity
with respect to the ideal Ig (Φ) in the sense that the tail of CΦi of length equal to grade(Ig (Φ))
is acyclic. The entries in the differentials of CΦi are linear in the entries of Φ at every position
except at one, where the entries of the differential are g × g minors of Φ.
This paper expands the family {CΦi } to a family of complexes {CΦi,a } for integers i and a
with 1 ≤ a ≤ g. The entries in the differentials of {CΦi,a } are linear in the entries of Φ at every
position except at two consecutive positions. At one of the exceptional positions the entries
are a × a minors of Φ, at the other exceptional position the entries are (g− a + 1)× (g− a + 1)
minors of Φ.
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 −1 ≤ i ≤ f − g and 1 ≤ a ≤ g, then CΦi,a exhibits
depth-sensitivity with respect to the ideal Ig (Φ).

C ONTENTS
1. Introduction.
2. Notation, conventions, and preliminary results.
2.A. Ground rules.
2.B. Grade and perfection.
2.C. Multilinear algebra.
3. The classical generalized Eagon-Northcott complexes.
4. Schur and Weyl modules which correspond to hooks.
5. The complexes KΦ , and LΦ associated to a homomorphism Φ.

2
5
5
6
7
9
10
12

Date: September 16, 2015.
AMS 2010 Mathematics Subject Classification. Primary 13D02; Secondary 13C40.
The author was partially supported by the the Simons Foundation grant number 233597.
Keywords: Buchsbaum-Rim complex, depth-sensitivity, determinantal ring, duality, Eagon-Northcott complex, hooks, Koszul complex, maximal Cohen-Macaulay module, perfect module, Schur module, Weyl module.
1

2

ANDREW R. KUSTIN

6. The complexes KΦ and LΦ when Φ is a direct sum of homomorphisms.
i,a
7. The definition and elementary properties of the complexes CΦ .
i,a
8. The acyclicity of CΦ .
References

14
21
29
37

1. I NTRODUCTION .
Let R be a commutative Noetherian ring and F and G be free R-modules of rank f and g,
respectively, with g ≤ f. Recall that, for each R-module homomorphism
Φ : G∗ → F

(1.0.1)

there is a family of generalized Eagon-Northcott complexes {CΦi }. (See, for example, Definition 3.1, [13, Appendix A.2], [3, 2.16], or [20]. A more complete history of these complexes
may be found in the comments on page 26 in [3].) If
− 1 ≤ i ≤ f − g + 1,

(1.0.2)

then CΦi has length f − g + 1; and, if f − g + 1 ≤ grade Ig (Φ), then CΦi is acyclic for i satisfying
(1.0.2). Furthermore, the complexes CΦi , for i satisfying (1.0.2), exhibit depth-sensitivity. In
particular, if s ≤ grade Ig (Φ) for some integer s with 0 ≤ s ≤ f − g + 1, then H j (CΦi ) = 0 for
i , with
f − g + 2 − s ≤ j and i satisfying (1.0.2). In the generic situation, the complexes CΦ
i satisfying (1.0.2), resolve the Cohen-Macaulay elements of the divisor class group of the
determinantal ring R/Ig (Φ). The complexes CΦi , with i in the range (1.0.2), exhibit duality:
j
CΦi ∼
= a shift of HomR (CΦ , R) in homological degree,

for i + j = f − g. Also, if R is a graded ring, and a matrix representation of Φ is a matrix
of linear forms, then the Betti tables for the complexes {CΦi } are pleasing to the eye. The
maps are linear, except at, at most one position where the maps have degree g. Moreover, the
position of non-linearity slides, along a line of slope 1, from the beginning of the complex to
the end as i varies from 0 to f − g.
We expand the list of canonical complexes which are associated to the R-module homomorphism (1.0.1). For each pair (i, a) with
(1.0.3)

−1 ≤ i ≤ f−g

and 1 ≤ a ≤ g,

we consider a complex CΦi,a . The classical generalized Eagon-Northcott complexes
(1.0.4)

{CΦi |(1.0.2) holds}

are included in the set
(1.0.5)

i,a

{CΦ |(1.0.3) holds}

CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

3

with CΦi = CΦi,1 for −1 ≤ i ≤ f − g and CΦi = CΦi−1,g for 0 ≤ i ≤ f − g + 1. The complexes
of (1.0.5) exhibit many of the properties as the listed properties for the generalized EagonNorthcott complexes (1.0.4). Each complex of (1.0.5) has length f − g + 1; and,
if f − g + 1 ≤ grade Ig (Φ), then each CΦi,a is acyclic.
i,a

The complexes of (1.0.5) exhibit depth-sensitivity. In the generic situation, the complex CΦ
of (1.0.5)

g−1
(1.0.6) resolves a maximal Cohen-Macaulay module over the ring R/Ig (Φ) of rank a−1
.
The complexes of (1.0.5) exhibit duality:
j,b
C i,a ∼
= a shift of HomR (C , R) in homological degree,
Φ

Φ

for i + j = f − g − 1 and a + b = g + 1. Also, if R is a graded ring, and Φ is a map of degree
i,a
1, then the maps of CΦ
are linear, except at, at most two adjacent positions where the maps
have degree a and g + 1 − a. Moreover, the position of non-linearity slides, along a line
of slope 1, from the beginning of the complex to the end as i varies from −1 to f − g; see
Example 7.6.
The Eagon-Northcott [11] complex CΦ0 and the Buchsbaum-Rim complex [6, 7, 8] CΦ1
are very important objects in Commutative Algebra and Algebraic Geometry. (For example,
[1, 15, 16, 21, 29] is a small sampling of the recent papers about Buchsbaum-Rim multiplicity
and its application to equisingularity.) We expect that the rest of the family (1.0.5) will prove
to be valuable tools in these fields.
i,a
The complexes CΦ arise in the study of the homological properties of the primary components of the content ideal c( f gh) of the product of three generic polynomials f , g, and
h. These components have been identified [9, Thm. 4.2] and all but one of the components
is known to be Gorenstein [9, Thm. 4.1 and Rem. 4.3]. The complexes CΦi,a also arise in
the study of the resolutions of the symmetric algebra Sym(I) and the Rees algebra R (I) of
a grade three Gorenstein ideal I = (g1 , . . ., gn ) in a polynomial ring over a field k; see, for
example, [23] and [24, Cor. 6.3], where the special fiber ring F (I) = k[g1 , . . . , gn ] of I is
resolved.
The complexes CΦi,a are straightforward and they are built in a canonical manner. That is,
i,a
there are no choices; everything is coordinate-free. The modules in CΦ are Schur modules
i,a
and Weyl modules corresponding to hooks. In other words, the modules in CΦ all are kernels
of Koszul complex maps or Eagon-Northcott complex maps; see 4.1 and 4.3. The complex
CΦi,a is obtained by concatenating three finite complexes:
K→

^

→ L,

V

where K and L are standard complexes of Weyl and Schur modules, respectively, and
consists of a single exterior power concentrated in one position; see Definition 7.2 for the
details. The complexes K and L are introduced in Section 5.

4

ANDREW R. KUSTIN

The main result of this paper is Theorem 8.4 which states that if Φ is sufficiently geni,a
i,a
eral, −1 ≤ i, and 1 ≤ a ≤ g, then CΦ is an acyclic complex of free R-modules and H0 (CΦ )

g−1
is a torsion-free R/Ig (Φ)-module of rank a−1
. The most important applications occur
when i also satisfies i ≤ f − g. Indeed, in this situation, CΦi,a has length f − g + 1 and,
if f − g + 1 ≤ grade Ig (Φ), then H0 (CΦi,a ) is a perfect R-module of projective dimension
i,a
i,a
f−g+1
f − g + 1 resolved by CΦ and ExtR
(H0 (CΦ ), R) is a perfect R-module resolved by
CΦf−g−i−1,g+1−a ; furthermore, even if grade Ig (Φ) < f − g +1, the complex CΦi,a exhibits depthsensitivity with respect to the ideal Ig (Φ) in the sense that
i,a

(1.0.7) H j (CΦ ) = 0 for f − g + 2 − grade Ig (Φ) ≤ j, when −1 ≤ i ≤ f − g and 1 ≤ a ≤ g.
The depth-sensitivity (1.0.7) allows one to use truncations of various CΦi,a as acyclic strands
in resolutions even when Ig (Φ) is known to be less than f − g + 1.
There is a basic similarity between the present paper and and the paper [25], which proq
duces a family of complexes {Dρ } for each almost alternating homomorphism ρ. The famq
ily {Dρ } shares many properties with the family of generalized Eagon-Northcott complexes
{CΦi }. The main difference between [25] and the present paper is that the homomorphism
ρ of [25] is special, in the sense that it is an almost alternating homomorphism; whereas,
i,a
the complexes {CΦ } of the present paper and the generalized Eagon-Northcott complexes
{CΦi } are both constructed from an arbitrary homomorphism Φ. Nonetheless, the statement
of Theorem 8.4 and some steps in its proof are modeled on [25, Thm. 8.3], although [25]
does not contain any analogue to Lemma 8.1, which is the key calculation in the present
paper. In place of a result like Lemma 8.1, [25] first treats the generic case and then specializes to the non-generic case. In the present paper, Lemma 8.1 shows that if the image of Φ
contains a basis element of F, then

CΦi,a and CΦi,a′ ⊕ CΦi,a−1
′
have isomorphic homology for some (“smaller”) R-module homomorphism Φ′ . To prove
Theorem 8.4, we iterate Lemma 8.1 and apply the acyclicity lemma. The representation
theory that is used in the proof of Lemma 8.1 is begun in (6.3.4) and (6.3.5) and carried out
in Proposition 6.4.
i,a
The complexes CΦ are defined in 7.2; examples are given in 7.6 and 7.7; the duality is
treated in 7.9; and the zero-th homology
 Vf−g+a
F

Va
Vf−g ,
if i = −1,


im(
Φ)∧
F


Vg−a+1 ∗
Φ ), if i = 0, and
H0 (CΦi,a ) = coker(


g
−a


 ∗ Li+1 G
,
if 1 ≤ i.
Φ (F)·Lg−a G
i

is calculated in 7.11. The Schur module

p
Lq G

is described in 4.1 and 4.3.

CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

2. N OTATION ,

5

CONVENTIONS , AND PRELIMINARY RESULTS .

There are three subsections: Ground rules, Grade and perfection, and Multilinear algebra.

2.A. Ground rules.
2.1. Unless otherwise noted, R is a commutative Noetherian ring and all functors are functors
V
of R-modules; that is, ⊗, Hom, ( )∗ , Symi , Di , and i mean ⊗R , HomR , HomR ( , R), SymRi ,
V
DRi , and iR , respectively.
2.2. A complex C : · · · → C2 → C1 → C0 → 0 of R-modules is called acyclic if H j (C ) = 0
for 1 ≤ j.
2.3. If a complex C has the form
0 → Cℓ → Cℓ−1 → · · · → C1 → C0 → 0,
with C0 6= 0 and Cℓ 6= 0, then we say that the length of C is ℓ and we write length(C ) = ℓ.


2.4. If A is a complex and n is an integer, then A[n] is a new complex with A[n] j = An+ j .
θ

2.5. If (A, a) −
→ (B, b) is a map of complexes, then the total complex (or mapping cone)
of θ, denoted Tot(θ), is the complex (T,t) with T = A[−1] ⊕ B as a graded module. The
differential in T is given by
A j−2
A j−1 t
j
T j = ⊕ −−−−→ ⊕ = T j−1 ,
B j−1
Bj
with



a j−1 0
tj =
.
θ j−1 −b j
2.6. If Φ is a matrix (or a homomorphism of free R-modules), then Ir (Φ) is the ideal generated by the r × r minors of Φ (or any matrix representation of Φ).
2.7. If S is a statement then
χ(S) =

(
1, if S is true,

0, if S is false.

6

ANDREW R. KUSTIN

2.B. Grade and perfection.
2.8. The grade of a proper ideal I in a Noetherian ring R is the length of a maximal R-regular
sequence in I. The unit ideal R of R is regarded as an ideal of infinite grade.
2.9. Let M be a non-zero finitely generated module over a Noetherian ring R and let ann(M)
be the annihilator of M and pdR M be the projective dimension of M. It is well-known that
j

grade ann(M) = min{ j | ExtR (M, R) 6= 0};
therefore, it follows that
(2.9.1)

grade ann(M) ≤ pdR M.

If equality holds in (2.9.1), then M is called a perfect R-module. Recall, for example, that
if R is Cohen-Macaulay and M is perfect, then M is Cohen-Macaulay. (This is not the full
story. For more information, see, for example, [3, Prop. 16.19] or [2, Thm. 2.1.5].)
The ideal I in R is called a perfect ideal if R/I is a perfect R-module.
2.10. Let M be a finitely generated R-module. The R-module M has rank r if Mp is a free
Rp -module of rank r for all associated primes p of Ass R. If every non-zero-divisor in R is
regular on M, then M is called torsion-free. A proof of the following result may be found in
[25, Prop. 1.25].
Proposition 2.10.1. Let M be a non-zero finitely generated R-module with finite projective
dimension. Suppose that I is a perfect ideal of R with IM = 0. For each integer w, with
1 ≤ w ≤ pdR M, let Fw be the ideal of R generated by
{x ∈ R | pdRx Mx < w}.
If w + 1 ≤ grade Fw for all w with grade I + 1 ≤ w ≤ pdR M, then M is a torsion-free R/I
module. In particular, if pdR M ≤ grade I, then M is a torsion-free (R/I)-module.

2.11. The following statement is well-known; see, for example, [19, Cor. 6.10]. It follows
from the fact that the if M is a perfect module, then the ideals Fw for M (in the sense 2.10.1)
and the annihilator of M all have the same radical.
Proposition 2.11.1. Let A → R be a homomorphism of Noetherian rings and M be a non-zero
finitely generated perfect A-module. If M ⊗A R 6= 0, then
grade((ann M)R) = pdA M − max{i | TorAi (M, R) 6= 0}. 
In our favorite applications of 2.11.1, we focus on the complex F ⊗A R, where F is a
resolution of M by projective A-modules. We are satisfied with an inequality; and therefore,
there is no need for us to assume that M ⊗A R 6= 0. Furthermore, in practice, A is usually
a polynomial ring over the ring of integers. We refer to the following statement as depthsensitivity. Of course, these ideas were first worked out in [12, 27, 28, 17], and especially
[18, Cor. 3.1].

CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

7

Proposition 2.11.2. Let A → R be a homomorphism of Noetherian rings, M be a non-zero
finitely generated perfect A-module, and F be a resolution of M by projective A-modules
with the length of F equal to the projective dimension of M. Then
H j (F ⊗A R) = 0 for pdA M − grade((ann M)R) + 1 ≤ j. 
It is worth observing that if ann M is replaced by any sub-ideal, then the inequality of
2.11.2 continues to hold.

2.C. Multilinear algebra.
2.12. Our complexes are described in a coordinate-free manner. Let V be a free module of
finite rank d over R. We make much use of the symmetric algebra Sym• V , the divided power
V
V
algebra D• (V ∗ ), and the exterior algebras • V and • (V ∗ ). We use the fact that D• (V ∗ ) is
V
V
a module over Sym• V and the fact that • V and • (V ∗ ) are modules over one another. We
also use the fact that these module actions give rise to natural perfect pairings
ev : Symi V ⊗ Di (V ∗ ) → R and

ev :

Vi

V⊗

for each integer i. The duals
ev∗ : R → Di (V ∗ ) ⊗ Symi V

and

ev∗ : R →

Vi

Vi

(V ∗ ) → R,

(V ∗ ) ⊗

Vi

V

of the above evaluation maps are completely independent of coordinates. It follows that, if
V
{mℓ } is a basis for Symi V (or i V ) and {m∗ℓ } is the corresponding dual basis for Di (V ∗ ) (or
Vi ∗
(V )), then the element
(2.12.1)

ev∗ (1) = ∑ m∗ℓ ⊗ mℓ ∈ Di (V ∗ ) ⊗ Symi V
ℓ

(or

Vi

(V ∗ ) ⊗

Vi

V)

is completely independent of coordinates. These elements will also be used extensively in
our calculations.
V

2.12.2. We emphasize a special case of (2.12.1). If ωV ∗ is a basis for d (V ∗ ) and ωV is
V
the corresponding dual basis for d V , then the element ωV ∗ ⊗ ωV is a canonical element of
Vd ∗
V
(V ) ⊗ d V . This element is also used in our calculations.
V

V

The following facts about the interaction of the module structures of • V on • (V ∗ ) and
V• ∗
V
(V ) on • V are well known; see [4, section 1], [5, Appendix], and [22, section 1].
Proposition 2.13. Let V be a free module of rank d over a commutative Noetherian ring R
V
V
V
and let br ∈ r V , c p ∈ p V , and αq ∈ q (V ∗ ).
(a) If r = 1, then (br (αq ))(c p) = br ∧ (αq (c p )) + (−1)1+q αq (br ∧ c p ).
(b) If q = d, then (br (αq ))(c p) = (−1)(d−r)(d−p) (c p (αq ))(br ).
(c) If p = d, then [br (αq )](c p) = br ∧ αq (c p ).

8

ANDREW R. KUSTIN

(d) If Ψ : V → V ′ is a homomorphism of free R-modules and δs+r ∈
(

Vs

Ψ∗ )[((

Vr

Ψ)(br ))(δs+r )] = br [(

Vs+r

Vs+r

(V ′ ∗ ), then

Ψ∗ )(δs+r )]. 

The next result is an application of Proposition 2.13 and the ideas of 2.12. The result is
used in the proof of Observation 7.12.
Proposition 2.14. Let V be a free module of rank d over a commutative Noetherian ring R
V
V
V
and let br ∈ r V , c p ∈ p V , and αq ∈ q (V ∗ ). Then br ∧ (αq (c p )) is equal to a sum of
elements of the form b′r′ ∧ (α′q′ (c p )) where
b′r′ ∈

Vr′

V,

α′q′ ∈

Vq′

(V ∗ ),

r′ − q′ = r − q,

and

q′ ≤ q + d − r − p.

Remark. The element c p has not been changed; but an upper bound has been imposed on
V
the degree of the • (V ∗ ) contribution to the expression. Of course, the assertion is only
interesting when d < r + p
Proof. Let ev∗ (1) = ∑ℓ m∗ℓ ⊗ mℓ ∈

Vd−p

(V ∗ ) ⊗

Vd−p

V , as described in (2.12.1). Notice that

∑ m∗ℓ (mℓ ∧ c p ) = c p .

(2.14.1)

ℓ

To establish (2.14.1), it suffices to test the proposed equation after multiplying both sides on
V
the left by an arbitrary element xd−p of d−p F. The left side becomes

∑ xd−p ∧ m∗ℓ (mℓ ∧ c p ) = ∑[xd−p (m∗ℓ )](mℓ ∧ c p)
ℓ

by 2.13.c

ℓ

=



∑

[xd−p (m∗ℓ )] · mℓ

ℓ

= xd−p ∧ c p ,



∧ cp

as desired. Apply (2.14.1) and 2.13.c to see that
br ∧ αq (c p ) = ∑ br ∧ (αq ∧ m∗ℓ )(mℓ ∧ c p ) = ∑[br (αq ∧ m∗ℓ )](mℓ ∧ c p ).
ℓ

ℓ

Each mℓ is a sum of elements of the form v1 ∧ · · · ∧ vd−p with vi ∈ V . Apply 2.13.a numerous
times to write
(
±v1 ∧ [br (αq ∧ m∗ℓ )](v2 ∧ · · · ∧ vd−p ∧ c p )
[br (αq ∧ m∗ℓ )](v1 ∧ · · · ∧ vd−p ∧ c p ) =
±[(v1 ∧ br )(αq ∧ m∗ℓ )](v2 ∧ · · · ∧ vd−p ∧ c p )

±v2 ∧ v1 ∧ [br (αq ∧ m∗ℓ )](v3 ∧ · · · ∧ vd−p ∧ c p )



±v ∧ [(v ∧ b )(α ∧ m∗ )](v ∧ · · · ∧ v
1
2
r
q
3
d−p ∧ c p )
ℓ
=
∗

±v2 ∧ [(v1 ∧ br )(αq ∧ mℓ )](v3 ∧ · · · ∧ vd−p ∧ c p )



±[(v2 ∧ v1 ∧ br )(αq ∧ m∗ℓ )](v3 ∧ · · · ∧ vd−p ∧ c p )
= ··· .

CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

9

We continue is this manner and express br ∧ αq (c p ) as a sum of elements of the form
x ∧ [(x′ ∧ br )(αq ∧ m∗ℓ )](c p),
where x and x′ are homogeneous elements of
complete because

V•

F and deg x + deg x′ = d − p. The proof is

deg[(x′ ∧ br )(αq ∧ m∗ℓ )] = q + d − p − deg x′ − r ≤ q + d − p − r.

3. T HE

CLASSICAL GENERALIZED

E AGON -N ORTHCOTT



COMPLEXES .

We recall the classical generalized Eagon-Northcott complexes {CΦi | i ∈ Z} which were
introduced at (1.0.1).
Definition 3.1. Let R be a commutative Noetherian ring, F and G be free R-modules of rank
f and g, respectively, with g ≤ f, Φ : G∗ → F be an R-module homomorphism, and i be an
integer.
(a) The complex CΦi is
(3.1.1)

ηΦ Vf−g−i−2

· · · −→

Vg

Φ Vf−i

−−−→
V

ηΦ Vf−g−i−1

F ⊗ D2 (G∗ ) −→

F⊗

Vg

Kos

Φ
G ⊗ Sym0 G −−−→

ηΦ Vf−g−i

F ⊗ D1 (G∗ ) −→

Vf−i+1

F⊗

Vg

F ⊗ D0 (G∗ )
Kos

Φ
G ⊗ Sym1 G −−−→
··· ,

with f−g−i F ⊗ D0 (G∗ ) in position i + 1. In particular, if j is an integer, then the module
(CΦi ) j is
(V
V
f− j
F ⊗ g G ⊗ Symi− j G, if j ≤ i, and
i
(3.1.2)
(CΦ ) j = Vf−g− j+1
F ⊗ D j−i−1 (G∗ ), if i + 1 ≤ j.
(b) The maps ηΦ and KosΦ may
be found in Definition 5.2.a.
V
(c) The map

Va

g

Φ Va+g

F ⊗ D0 (G∗ ) −−−→

F⊗

fa 7→ fa ∧ (

Vg

Vg

G ⊗ Sym0 G is

Φ)(ωG∗ ) ⊗ ωG ,

where ωG∗ ⊗ ωG is the canonical element of

Vg

(G∗ ) ⊗

Vg

G from (2.12.2).

Example 3.2. Adopt the notation of 3.1. We record the classical generalized Eagon Northcott complexes CΦi which have the form:
0 → (CΦi )f−g+1 → (CΦi )f−g → · · · → (CΦi )2 → (CΦi )1 → (CΦi )0 → 0.
Of course, these complexes have length f − g + 1. The corresponding indices i are given in
(1.0.4):

CΦ−1 : 0 →

V0

→ 0,

ηΦ V1

F ⊗ Df−g+1 (G∗ ) −→

ηΦ

ηΦ Vf−g+1

F ⊗ Df−g (G∗ ) −→ . . . −→

F ⊗ D0 (G∗ )

10

ANDREW R. KUSTIN

CΦ0 : 0 →
Vg

V0

Φ Vf

−−−→

CΦ1 : 0 →
Vg

V0

F⊗

Φ Vf−1

Vg

V0

F⊗

Φ Vf−2

Kos

CΦf−g−1 : 0 →
Vg

Vf

V0

F⊗

F⊗

Φ Vg+1

Kos

F⊗

Kos

Φ
Φ
−−−→
. . . −−−→

CΦf−g : 0 →
Vg

F⊗

Kos

Kos

V1

η

Kos

ηΦ V1

η

Φ
Φ
F ⊗ Df−g−2 (G∗ ) −→
. . . −→

Φ
G ⊗ Sym0 G −−−→

Vg

Vf

F⊗

Vg

F ⊗ D0 (G∗ )

Vf−g−1

Kos

Vf−1

F⊗

F ⊗ D0 (G∗ )

G ⊗ Sym1 G → 0,

ηΦ Vf−g−2

ηΦ

F ⊗ Df−g−3 (G∗ ) −→ . . . −→

Φ
G ⊗ Sym0 G −−−→

Vg

F ⊗ D0 (G∗ )

G ⊗ Sym1 G

G ⊗ Sym2 G → 0,
..
.
ηΦ V1

Vg

Vf

Vg

Kos

Φ
Φ
−−−→
. . . −−−→

CΦf−g+1 : 0 →

Vf−g

F ⊗ D0 (G∗ )
Kos

Φ
G ⊗ Sym0 G −−−→

F⊗

Vg

Vf−g−2

F⊗

Vg

G ⊗ Sym1 G

G ⊗ Symf−g−1 G → 0,

(F ∗ ) ⊗ D0 (G∗ )

Φ Vg

−−−→

η

Vg

Vg

η

G ⊗ Sym0 G → 0,

F ⊗ D1 (G∗ ) −→

−−−→

V0

η

Φ
Φ
F ⊗ Df−g−1 (G∗ ) −→
. . . −→

F ⊗ Df−g−2 (G∗ ) −→

−−−→

Φ
−−−→

Vg

Φ
F ⊗ Df−g−1 (G∗ ) −→

−−−→

CΦ2 : 0 →

V1

η

Φ
F ⊗ Df−g (G∗ ) −→

Vg−1

F⊗

Vf

Vg

Kos

Φ
Φ
−−−→
. . . −−−→

Kos

Φ
G ⊗ Sym0 G −−−→

F⊗

Vg

Vg+1

Kos

F⊗

Vg

Vg

G ⊗ Sym1 G

G ⊗ Symf−g G → 0, and

Φ
G ⊗ Sym0 G −−−→

Vf

F⊗

Vg

F⊗

Vg

G ⊗ Sym1 G

G ⊗ Symf−g+1 G → 0.

The maps ηΦ and KosΦ may be found in Definition 5.2.a.

4. S CHUR

AND

W EYL

MODULES WHICH CORRESPOND TO HOOKS .

The modules which comprise the complexes {CΦi,a } are Schur and Weyl modules which
correspond to hooks. We recall some of the elementary properties of these modules.
4.1. Let V be a non-zero free module of rank d over the commutative Noetherian ring R and
let a and b be integers. Define the R-module homomorphisms
κab :
ηab :

Va

V ⊗ Symb V →

Va

V ⊗ DbV →

Va−1

Va+1

V ⊗ Symb+1 V

V ⊗ Db−1V

and

CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

11

to be the compositions
(4.1.1)

Va

ev∗ (1)

V ⊗ Symb V −−−→(V ∗ ⊗V ) ⊗
rearrange

−−−−−→(V ∗ ⊗
ModAct ⊗mult Va−1

−−−−−−−−→
(4.1.2)

Va

Va

Va

V ⊗ Symb V

V ) ⊗ (V ⊗ Symb V )

V ⊗ Symb+1 V

and

ev∗ (1) Va

V ⊗ DbV −−−→

V ⊗ (V ⊗V ∗ ) ⊗ DbV

regroup Va

−−−−→(

V ⊗V ) ⊗ (V ∗ ⊗ DbV )

mult ⊗ ModAct Va+1

−−−−−−−−→

V ⊗ Db−1V,

respectively. The map ev∗ (1) is discussed in (2.12.1), “mult” is multiplication in the symV
metric algebra or the exterior algebra, and “ModAct” is the module action of • (V ∗ ) on
V•
V or Sym• (V ∗ ) on D•V . Define the R-modules
LabV = ker κab

and

KbaV = ker ηab .

In the future, we will often write κ and η in place of κab and ηab .
4.2. The R-modules LabV and KbaV have been used by many authors in many contexts. In
particular, they are studied extensively in [4]; although our indexing conventions are different
than the conventions of [4]; that is,
the module we call LabV is called Lb a+1V in [4].
4.3. The modules LabV and KbaV may also be thought of as the Schur modules LλV and Weyl
modules KλV which correspond to certain hooks λ. We use the notation of Examples 2.1.3.h
and 2.1.17.h in Weyman [30] to see that the module we call LabV is also the Schur module
L(a+1,1b−1 )V and the module we call KbaV is also the Weyl module K(b+1,1a−1 )V .
4.4. The complex
(4.4.1)

0→

Vd

κ Vd−1

V ⊗ Symc−d V −
→

κ V1

··· −
→

κ

V ⊗ Symc−d+1 V −
→

κ V0

V ⊗ Symc−1 V −
→

V ⊗ Symc V → 0,

which is a homogeneous strand of an acyclic Koszul complex, is split exact for all non-zero
integers c; hence, LabV is a projective R-module. In fact, LabV is a free R-module of rank



d +b−1 a+b−1
a
;
rank LbV =
a
a+b
see [4, Prop. 2.5]. Similarly, KbaV is a free R-module of rank



d +b a+b−1
a
.
rank Kb V =
b
a+b

12

ANDREW R. KUSTIN

The perfect pairing
V

induces a perfect pairing

 V

a ∗
V ⊗ Symb V ⊗
(V ) ⊗ Db (V ∗ ) → R,

a

a+1 ∗
LabV ⊗ Kb−1
(V ) → R,

(4.4.2)

provided (a, b) 6= (0, 0) or (−1, 1).

Each assertion in Observation 4.5 is obvious; but it is very convenient to have all of these
facts gathered in one place.
Observation 4.5. Let R be a commutative Noetherian ring, V be a free R-module of rank d,
and ℓ be an integer. Then the following modules are canonically isomorphic:
(a)
(b)
(c)
(d)
(e)
(f)
(g)
(h)
(i)

L0ℓ V = Symℓ V ,
V
Lℓd−1V ∼
= d V ⊗ Symℓ−1 V , provided ℓ + d 6= 1,
Ldℓ V = 0, provided ℓ + d 6= 0,
Lℓ0V = 0, provided ℓ 6= 0,
V
Lℓ1V ∼
= ℓ+1 V , provided ℓ 6= −1,
Kℓ0V = 0, provided ℓ 6= 0,
Kℓ1V ∼
= Dℓ+1V , provided ℓ 6= −1,
V
d
Kℓ V = d V ⊗ DℓV , and
V
K0ℓV = ℓ V .

Proof. Assertions (a), (h), and (i) follow from the definitions, and assertions (b), (c), (d), and
(e) are immediate consequences of split exact complex (4.4.1). If c is non-zero, then we may
apply Hom(−, R) to the split exact complex (4.4.1) to obtain the split exact complex
0→

V0

η V1

(V ∗ ) ⊗ Dc (V ∗ ) −
→

η Vd

η

(V ∗ ) ⊗ Dc−1 (V ∗ ) −
→ ... −
→

(V ∗ ) ⊗ Dc−d (V ∗ ) → 0.

Replace V ∗ with V in order to see that
(4.5.1)

0→

V0

η V1

V ⊗ DcV −
→

η

η Vd

V ⊗ Dc−1V −
→ ... −
→

V ⊗ Dc−dV → 0


is also split exact. Assertions (f) and (g) are consequence of (4.5.1).

5. T HE

COMPLEXES

KΦ ,

AND

LΦ

ASSOCIATED TO A HOMOMORPHISM

Φ.

The complexes K and L contain Weyl modules Kba (G∗ ) and Schur modules Lab G, respectively. The complex CΦi,a , which is the focal point of the present paper, is obtained by conV
catenating the complexes K → → L; see Definition 7.2.
Data 5.1. Let R be a commutative Noetherian ring, F and G be free R-modules of finite rank
f and g, respectively, and Φ : G∗ → F be an R-module homomorphism.

CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

13

Definition 5.2. Adopt Data 5.1.
(a) If r and q are integers, then define the R-module homomorphisms
ηΦ :
KosΦ :

Vr

Vr

F ⊗ Dq (G∗ ) →
F ⊗ Symq G →

Vr+1

Vr+1

F ⊗ Dq−1 (G∗ )

and

F ⊗ Symq+1 G

to be the compositions
Vr

1⊗ev∗ (1)⊗1 Vr

F ⊗ Dq (G∗ ) −−−−−−−→

1⊗Φ⊗ModAct Vr

−−−−−−−−→

F ⊗ G∗ ⊗ G ⊗ Dq (G∗ )
F⊗

V1

mult ⊗1 Vr+1

F ⊗ Dq−1 (G∗ )

mult ⊗1 Vr+1

F ⊗ Symq+1 G,

F ⊗ Dq−1 (G∗ ) −−−−→

and
Vr

1⊗ev∗ (1)⊗1 Vr

F ⊗ G∗ ⊗ G ⊗ Symq G

−−−−−−→

F⊗

F ⊗ Symq G −−−−−−−→

1⊗Φ⊗mult Vr

V1

F ⊗ Symq+1 G −−−−→

respectively, where ev∗ (1) is described in (2.12.1), ModAct is the module action of
V
Sym• G on D• (G∗ ) and mult is multiplication in the exterior algebra • F or the symmetric algebra Sym• G.
N,p
(b) If N and p are integers, then define KΦ to be the maps and modules
N,p

KΦ : 0 →

V0

N,p

with [KΦ ] j =
0→

VN+1

η

Φ
F ⊗ KN (G∗ ) −→

p

VN− j

V1

η

η

Φ
Φ
F ⊗ KN−1 (G∗ ) −→
. . . −→

p

p

VN

p

F ⊗ K0 (G∗ ) → 0

N,p

F ⊗ K j (G∗ ); and define LΦ to be the maps and modules
Kos

Φ
F ⊗ L1 G −−−→

p

VN+2

Kos

Kos

Φ
Φ
F ⊗ L2 G −−−→
· · · −−−→

p

Vf

p

F ⊗ Lf−N G → 0,

with
(5.2.1)

N,p

[LΦ ] j =

(
0

Vf− j

p
F ⊗ Lf−N− j G,

if (p, j) = (0, f − N), and
otherwise,

where the maps are induced by the homomorphisms ηΦ and KosΦ of (a) and the modules
p
p
Kq (G∗ ) and Lq G are defined in (4.1.2) and (4.1.1).
Remarks 5.3. (a) The map
ηab :

Va

(G∗ ) ⊗ Db (G∗ ) →

Va+1

(G∗ ) ⊗ Db−1 (G∗ )

of (4.1.2) is equal to the map
ηidG∗ :
of 5.2.a.

Va

(G∗ ) ⊗ Db (G∗ ) →

Va+1

(G∗ ) ⊗ Db−1 (G∗ )

14

ANDREW R. KUSTIN

(b) The map
κab :

Va

G ⊗ Syma G →

Va−1

G ⊗ Symb+1 G

of (4.1.1) is related to the map KosidG∗ of 5.2.a by way of the following commutative
diagram:
(−1)g−a KosidG∗

Vg−a ∗
V
G ⊗ Symb G ⊗ g G

/

Vg−a+1 ∗
V
G ⊗ Symb+1 G ⊗ g G
∼
= ModAct

ModAct ∼
=

Va

κab



G ⊗ Symb G
N,p

/

Va−1



G ⊗ Symb+1 G.

N,p

(c) The maps and modules of KΦ and LΦ form complexes because the diagrams
Vr

/ Vr F ⊗ V p (G∗ ) ⊗ Dq (G∗ )

p

F ⊗ Kq (G∗ )
✤
✤η
✤ Φ


Vr+1
p
0→
F ⊗ Kq−1
(G∗ ) 

0→

ηid ∗
G

/ Vr F ⊗ V p+1 (G∗ ) ⊗ Dq−1(G∗ )
ηΦ

ηΦ



ηid
/ Vr+1 F ⊗ V p (G∗ ) ⊗ Dq−1(G∗ ) G∗ / Vr+1 F ⊗ V p+1 (G∗ ) ⊗ Dq−2(G∗ )

and
Vr

/ Vr F ⊗ V p G ⊗ Sym G
q

p 
F ⊗ Lq G
✤
✤ Kos
✤ Φ


V
p
0 → r+1 F ⊗ Lq+1
G

0→

/ Vr F ⊗ V p−1 G ⊗ Sym G
q+1

κ

KosΦ

KosΦ


/ Vr+1 F ⊗ V p G ⊗ Symq+1 G



/ Vr+1 F ⊗ V p−1 G ⊗ Symq+2 G

κ

commute.

6. T HE

COMPLEXES

KΦ

AND

LΦ

WHEN

Φ IS

A DIRECT SUM OF HOMOMORPHISMS .

In this section we assume that the homomorphism Φ : G∗ → F is a direct sum of homoN,p
N,p
morphisms. In Proposition 6.4 we relate the complexes KΦ and LΦ of Definition 5.2.b to
similar complexes built from smaller data. This result plays a prominent role in the proof of
the acyclicity of the complexes CΦi,a ; see Theorem 8.4, which is the main result of the paper.
Data 6.1. Let R be a commutative Noetherian ring, F and G be free R-modules of rank f and
g, respectively, and Φ : G∗ → F be an R-module homomorphism. Decompose F and G as
F = F ′ ⊕ F ′′

and

G = G′ ⊕ G′′ ,

where F ′ , F ′′ , G′ and G′′ are free R-modules and rank F ′′ = rank G′′ = 1 and let
∗

F ∗ = F ′ ⊕ F ′′

∗

and

∗

G∗ = G′ ⊕ G′′

∗

CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

15

be the corresponding decompositions of F ∗ and G∗ . Assume that
 ′

Φ 0
Φ=
,
0 Φ′′
where Φ′ : G′ ∗ → F ′ and Φ′′ : G′′ ∗ → F ′′ are R-module homomorphisms.
Notation 6.2. Adopt Data 6.1.
(a) Let A(Φ′′ ) and B(Φ′′ ) represent the complexes
Kos

′′

A(Φ′′ ) : 0 → R −−−Φ→ F ′′ ⊗ G′′ → 0
and
∗ Φ′′

B(Φ′′ ) : 0 → G′′ −→ F ′′ → 0.
(b) Let π′ : F → F ′ be the projection map which corresponds to the direct sum decomposition
F = F ′ ⊕ F ′′ .
(c) If a, b, c, d, and e are integers, then let
incl† :

Va ′ Vb
V
V
V
F ⊗ G ⊗ Symc G ⊗ d F ′′ ⊗ Syme G′′ → a+d F ⊗ b G ⊗ Symc+e G

be the R-module homomorphism given by
(multiplication in

V•

F) ⊗ (the identity map in

V•

G) ⊗ (multiplication in Sym• G).

(d) If a, b, c, d, and e are integers, then let
quot† :

Va+d

F⊗

Vb+e

G ⊗ Symc G →

Va ′ Vb ′
V
V
F ⊗ G ⊗ Symc G′ ⊗ d F ′′ ⊗ e G′′

be the R-module homomorphism given by


 
 

the projection map
the projection map
the quotient map
Va+d F → Va F ′ ⊗ Vd F ′′  ⊗ Vb+e G → Vb G′ ⊗ Ve G′′  ⊗  Sym• G → Sym• G′  .
induced by G/G′′ = G′
induced by F = F ′ ⊕ F ′′
induced by G = G′ ⊕ G′′

(e) If a, b, c, and d are integers, then let
incl‡ :

Va ′ Vb ′ ∗
V
V
V
F ⊗ (G ) ⊗ Dc (G′ ∗ ) ⊗ d (G′′ ∗ ) → a F ⊗ b+d (G∗ ) ⊗ Dc (G∗ )

be the R-module homomorphism given by
(inclusion) ⊗ (multiplication) ⊗ (inclusion).
(f) If a, b, c, d, and e are integers, then let
quot‡ :

Va+d

F⊗

Vb

(G∗ ) ⊗ Dc+e (G∗ ) →

Va ′ Vb ′ ∗
V
F ⊗ (G ) ⊗ Dc (G∗ ) ⊗ d F ′′ ⊗ De (G′′ ∗ )

16

ANDREW R. KUSTIN

be the R-module homomorphism given by


ev∗ (1)⊗1

Dc+e (G∗ ) −−−−−→



  D (G′′ ∗ ) ⊗ Sym G′′ ⊗ D (G∗ )

the projection map
 e
c+e
e
map
Va+d F → Va F ′ ⊗ Vd F ′′  ⊗ the identity
V• ∗
⊗

1⊗ModAct
on (G )
 −−−−−−→ De (G′′ ∗ ) ⊗ Dc (G∗ )
induced by F = F ′ ⊕ F ′′



exchange

−−−−−→ Dc (G∗ ) ⊗ De (G′′ ∗ )






,




where ev∗ (1) is described in (2.12.1) and ModAct is the module action of Sym• G on
D• (G∗ ).

Proposition 6.4 asserts that (6.4.1) and (6.4.3) are short exact sequences of complexes. Observation 6.3 considers the modules in (6.4.1) and (6.4.3) in the arbitrary position j. Recall
the function χ from 2.7.
Observation 6.3. Adopt Data 6.1 and Notation 6.2.
(a) If p, q, r are integers, then
0→V

Vr ′
F ⊗ Lqp G

incl†

⊕

r−1

p
F ′ ⊗ Lq−1
G ⊗ F ′′ ⊗ G′′

−−→

Vr

F ⊗ Lqp G −−−→

is an exact sequence of R-modules.
(b) If p, q, r are integers, then
0→

Vr ′
p
F ⊗ Kq (G′ ∗ )

⊕

incl‡

Vr ′
p−1
F ⊗ Kq (G′ ∗ ) ⊗ G′′∗

−−→

Vr

quot†

Vr−1 ′
p
F ⊗ Lq G′ ⊗ F ′′

⊕


V
p−1
χ((p, q) 6= (1, 0)) r−1 F ′ ⊗ Lq G′ ⊗ F ′′ ⊗ G′′

→0

 Vr ′

p
χ (p, q) 6= (0, 1)
F ⊗ Kq−1
(G∗ ) ⊗ G′′∗
F ⊗ Kqp (G∗ ) −−−→
→0
⊕
Vr−1 ′
p
F ⊗ Kq (G∗ ) ⊗ F ′′
quot‡

is an exact sequence of R-modules.
Remark 6.3.3. If r = 1 and F ′ = 0, then F = F ′′ has rank one and no harm occurs if we set
F = F ′′ equal to R (that is, apply − ⊗ F ∗ ). In this case, 6.3.a is


quot†
incl†
p
(6.3.4) 0 → Lq−1 G ⊗ G′′ −−→ Lqp G −−−→ Lqp G′ ⊕ χ (p, q) 6= (1, 0) Lqp−1 G′ ⊗ G′′ → 0.

If r = 0, then 6.3.b is
(6.3.5)

Kqp (G′ ∗ )
 p

quot‡
incl‡
p
∗) −
∗ ) ⊗ G′′ ∗ → 0.
⊕
0→
−
−
→
χ
(p,
q)
=
6
(0,
1)
K
−
−
→
K
(G
(G
q
q−1

Kqp−1 (G′ ∗ ) ⊗ G′′ ∗

The exact sequences (6.3.4) and (6.3.5) are results from representation theory; see, for example, [30,
2.3.1] or [14, Exercise 6.11]. The versions we give are stated explicitly, require no assumptions about
characteristic, and are precisely the results that we use in the proof of Lemma 8.1. In fact, our proof
of Proposition 6.4 was created by starting with proofs of (6.3.4) and (6.3.5).

Proof. (a). If p < 0 or q < 0, then all of the modules in 6.3.a are zero. If q = 0, then 6.3.a is
0 → χ(p = 0)

V
Vr ′ incl†
V
quot†
F −−→ χ(p = 0) r F −−−→ χ(p = 0) r−1 F ′ ⊗ F ′′ → 0,

CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

0

0

0





Vr ′
p
F ⊗ Lq G

0→

Vr−1 ′
F ⊗ Lp

⊕

incl†

Vr

/

′′
′′
q−1 G ⊗ F ⊗ G


p

F ⊗ Lq G

/

_

⊕

/

Vr

F⊗


V

p

κ

G ⊗ Sq G

quot†

/

Vr−1 ′ V p ′
F ⊗
G ⊗ Sq G′ ⊗ F ′′

⊕

⊕

Vr−1 ′ V p−1 ′
F ⊗
G ⊗ Sq G′ ⊗ F ′′ ⊗ G′′



incl†

Vr−1 ′ V p−1
F ⊗
G ⊗ Sq G ⊗ F ′′ ⊗ G′′

/

Vr



F⊗

V p−1

κ

G ⊗ Sq+1 G

quot†

/

Vr−1 ′ V p−1 ′
F ⊗
G ⊗ Sq+1 G′ ⊗ F ′′

⊕

Vr−1 ′ V p−2 ′
F ⊗
G ⊗ Sq+1 G′ ⊗ F ′′ ⊗ G′′

κ

0→

⊕

→0

κ



Vr ′
p−2
F ⊗ Lq+2
G

→0

κ

κ



0→

→0

_



incl†

Vr−1 ′ V p
F ⊗
G ⊗ Sq−1 G ⊗ F ′′ ⊗ G′′

Vr ′ V p−1
F ⊗
G ⊗ Sq+1 G

⊕

Vr−1 ′
F ⊗ L p−1 G′ ⊗ F ′′ ⊗ G′′
q



Vr ′ V p
F ⊗
G ⊗ Sq G

Vr−1 ′
p
F ⊗ L G′ ⊗ F ′′
q

quot†

_

0→

17



incl†

/

Vr−1 ′
p−2
F ⊗ Lq+1
G ⊗ F ′′ ⊗ G′′

Vr


p−2
F ⊗ Lq+2
G

quot†

/

Vr−1 ′
p−2 ′
F ⊗ Lq+2
G ⊗ F ′′

⊕

Vr−1 ′
p−3 ′
F ⊗ Lq+2
G ⊗ F ′′ ⊗ G′′







0

0

0

→0

F IGURE 6.3.1. This picture is a commutative diagram which is used in the
proof of Observation 6.3.a. The middle two rows are exact. The columns are
exact provided 2 ≤ p + q. We use “S” as an abbreviation for “Sym”.
which is exact for all p. (Notice that we used the factor χ((p, q) 6= (0, 0)) in our proof that
6.3.a is exact for all p when q = 0.) If p = 0, then 6.3.a is
0→

Vr ′
F ⊗ Symq G

incl†

⊕
−−→
Vr−1 ′
F ⊗ Symq−1 G ⊗ F ′′ ⊗ G′′

Vr

quot†

F ⊗ Symq G −−−→

Vr−1 ′
F ⊗ Symq G′ ⊗ F ′′ → 0,

which is exact for all q. Henceforth, we assume 2 ≤ p + q. Observe that Figure 6.3.1 is a
commutative diagram; each column is split exact; and the middle two rows are split exact.
The assertion follows from the snake lemma and the fact that the bottom incl† in Figure 6.3.1
is automatically an injection.
(b). If p < 0 or q < 0, then all of the modules in 6.3.b are zero. If q = 0, then 6.3.b is
0→

Vr ′ V p ′ ∗
F ⊗ (G )

incl‡ Vr

⊕
−−→
Vr ′ V p−1 ′ ∗
F ⊗
(G ) ⊗ G′′ ∗

F⊗

Vp

quot‡ Vr−1

(G∗ ) −−−→

F′ ⊗

Vp

(G∗ ) ⊗ F ′′ → 0,

18

ANDREW R. KUSTIN

0

0

0





Vr ′
F ⊗ Kqp (G′ ∗ )

0→

incl‡

⊕

/

Vr ′
F ⊗ K p−1 (G′ ∗ ) ⊗ G′′ ∗
q

Vr


p

F ⊗ K q (G∗ )

quot‡

/

_



⊕

0→

/

Vr

F⊗

Vp


(G∗ ) ⊗ Dq (G∗ )

ηid ∗
G

quot‡

/

Vr ′ V p ∗
F ⊗ (G ) ⊗ Dq−1 (G∗ ) ⊗ G′′ ∗

⊕

Vr−1 ′ V p ∗
F ⊗ (G ) ⊗ Dq (G∗ ) ⊗ F ′′

ηid ∗
G

⊕
Vr ′ V p ′ ∗
F ⊗ (G ) ⊗ Dq−1 (G′ ∗ ) ⊗ G′′ ∗

ηid ∗
G

incl‡

/

Vr

F⊗

V p+1


(G∗ ) ⊗ Dq−1 (G∗ )

ηid ∗
G

quot‡

/

Vr ′ V p+1 ∗
F ⊗
(G ) ⊗ Dq−2 (G∗ ) ⊗ G′′ ∗

⊕

Vr−1 ′ V p+1 ∗
F ⊗
(G ) ⊗ Dq−1 (G∗ ) ⊗ F ′′

ηid ∗
G

→0

ηid ∗
G





Vr ′
F ⊗ K p+2 (G′ ∗ )
q−2

0→

→0





Vr ′ V p+1 ′ ∗
F ⊗
(G ) ⊗ Dq−1 (G′ ∗ )

→0

_



incl‡

Vr ′ V p−1 ′ ∗
F ⊗
(G ) ⊗ Dq (G′ ∗ ) ⊗ G′′ ∗

0→

⊕

Vr−1 ′
F ⊗ K p (G∗ ) ⊗ F ′′
q

_

Vr ′ V p ′ ∗
F ⊗ (G ) ⊗ Dq (G′ ∗ )

Vr ′
p
F ⊗ Kq−1
(G∗ ) ⊗ G′′ ∗

⊕
Vr ′
p+1
F ⊗ Kq−2
(G′ ∗ ) ⊗ G′′ ∗

incl‡

/

Vr


p+2
F ⊗ Kq−2 (G∗ )

quot‡

/

Vr ′
F ⊗ K p+2 (G∗ ) ⊗ G′′ ∗
q−3

⊕

Vr−1 ′
p+2
F ⊗ Kq−2
(G∗ ) ⊗ F ′′







0

0

0

→0

F IGURE 6.3.2. This picture is a commutative diagram which is used in the
proof of Observation 6.3.b. The middle two rows are exact. The columns are
exact provided 2 ≤ p + q.
which is exact for all integers p. If p = 0, then 6.3.b is
0 → χ(q = 0)

V
Vr ′ incl‡
V
quot‡
F −−→ χ(q = 0) r F −−−→ χ(q = 0) r−1 F ′ ⊗ F ′′ → 0,

which is exact for all integers q. Henceforth, we assume 2 ≤ p + q. Observe that (6.3.2) is
a commutative diagram; each column is split exact; and the middle two rows are split exact.
Once again, the assertion follows from the snake lemma and the fact that the bottom incl‡ in
Figure 6.3.2 is automatically an injection.

N,p

N,p

The complexes LΦ and KΦ may be found in Definition 5.2.b; the complexes A(Φ′′ )
and B(Φ′′ ) are defined in Notation 6.2; and some comments about the total complex (or
mapping cone) of a map of complexes is in 2.5.
Proposition 6.4. Adopt Data 6.1 and Notation 6.2. Let p and N be integers. The following
statements hold.

CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

19

(a) Assume that p 6= 0. Then there is a canonical short exact sequence of complexes
N−1,p



†
incl†
N,p
N,p quot
′′
0 → Tot Lπ′ ◦Φ ⊗ A(Φ ) −−→ LΦ −−−→

(6.4.1)

LΦ′

⊗ F ′′

⊕

→ 0.

N−1,p−1
LΦ′
⊗ F ′′ ⊗ G′′

In particular, if Φ′′ is an isomorphism, then quot† induces an isomorphism
N−1,p

H j (LΦ′

(6.4.2)

N−1,p−1

) ⊕ H j (LΦ′

)∼
= H j (LΦ ),
N,p

for all j.
(b) Assume that p 6= 0. Then there is a canonical short exact sequence of complexes
N,p

KΦ′


‡
incl‡
N−1,p
N,p quot
⊕
0→
−−→ KΦ −−−→ Tot Kπ′ ◦Φ ⊗ B(Φ′′ ) → 0.
N,p−1
(KΦ′
⊗ G′′ ∗ )

(6.4.3)

In particular, if Φ′′ is an isomorphism, then incl‡ induces an isomorphism
N,p

N,p−1

H j (KΦ′ ) ⊕ H j (KΦ′

(6.4.4)

)∼
= H j (KΦ ),
N,p

for all j.
Remark 6.4.5. The conclusion of Proposition 6.4.b does not hold when p = 0 and 1 ≤ N ≤ f.
V
V
N,p
N,p
In this case, KΦ′ and KΦ are 0 → N F ′ → 0 and 0 → N F → 0, respectively, with each
N,p−1
non-zero module in position zero, and KΦ′
is the zero complex. Thus, (6.4.4) does not
hold.
The conclusion of Proposition 6.4.a also does not hold when p = 0. In particular, LN,0
Φ is
the complex
0→

VN+1

Kos

Φ
F ⊗ Sym1 G −−−→

VN+2

Kos

Kos

Φ
Φ
F ⊗ Sym2 G −−−→
. . . −−−→

Vf

F ⊗ Symf−N G → 0.

In the typical situation
N,0

Hf−N−1 (LΦ ) =

VN

F,

N−1,0

Hf−N−1 (LΦ′

)=

VN−1 ′
F,

and (6.4.2) fails to hold.
Proof. (a). There is nothing to prove if p ≤ 0; so we assume that 1 ≤ p. Notice that (6.4.1)
in position j is
Vf− j ′
p
F ⊗ Lf− j−N G

0→

⊕

Vf− j−1 ′
p
F ⊗ Lf− j−N−1 G ⊗ F ′′ ⊗ G′′

V
quot†
−−−→ f− j F ⊗ Lfp− j−N G −−−→
incl†

Vf− j−1 ′
p
F ⊗ Lf− j−N G′ ⊗ F ′′

⊕
→ 0,
V
p−1
χ((p, j) 6= (1, f − N)) f− j−1 F ′ ⊗ Lf− j−N G′ ⊗ F ′′ ⊗ G′′

which is 6.3.a with r replaced by f − j and q replaced by f − j − N; hence, each row of (6.4.1)
is a short exact sequence. To see that that (6.4.1) is a map of complexes, one verifies that
Figure 6.4.6 is a commutative diagram, and this is straightforward. Thus, (6.4.1) is a short
exact sequence of complexes.

20

ANDREW R. KUSTIN
Vr ′
F ⊗ Lqp G

/ Vr F ⊗ Lqp G

incl†

⊕

Vr−1 ′
p
F ⊗ Lq−1
G ⊗ F ′′ ⊗ G′′







⊕

Vr−1 ′
p−1
F ⊗ L G′ ⊗ F ′′ ⊗ G′′


KosΦ

incl†

⊕
Vr ′
F ⊗ Lqp G ⊗ F ′′ ⊗ G′′

/

Vr−1 ′
p
F ⊗ Lq G′ ⊗ F ′′
q

Kosπ′ ◦Φ
0
KosΦ′′ −Kosπ′ ◦Φ

Vr+1 ′
p
F ⊗ Lq+1G

quot†


/ Vr+1 F ⊗ L p G
q+1

0
−KosΦ′
0
−KosΦ′


Vr ′
p
F ⊗ Lq+1
G′ ⊗ F ′′

quot†

/



⊕

Vr ′
p−1
F ⊗ Lq+1 G′ ⊗ F ′′ ⊗ G′′

F IGURE 6.4.6. In the proof of Proposition 6.4.a one verifies that this diagram
(with p and q both positive) commutes in order to see that that (6.4.1) is a map
of complexes.
Vr ′
F ⊗ Kqp(G′ ∗ )

incl‡

⊕

Vr ′
p−1
F ⊗ K (G′ ∗ ) ⊗ G′′ ∗

/ Vr F ⊗ Kqp(G∗ )

quot‡

q





ηπ′ ◦Φ 0
0 ηπ′ ◦Φ

Vr+1 ′
p
F ⊗ Kq−1(G∗ )



/

Vr ′
p
F ⊗ Kq−1(G∗ ) ⊗ G′′ ∗

⊕

Vr−1 ′
F ⊗ K p(G∗ ) ⊗ F ′′

ηΦ



⊕
Vr+1 ′
p−1
F ⊗ Kq−1 (G∗ ) ⊗ F ′′ ⊗ G′′ ∗

incl‡ /

Vr+1


quot‡
p
/
F ⊗ Kq−1 (G∗ )

q


ηΦ′ 0
Φ′′ −ηΦ′



Vr+1 ′
p
F ⊗ Kq−2
(G∗ ) ⊗ G′′ ∗

⊕

Vr ′
p
F ⊗ Kq−1 (G∗ ) ⊗ F ′′

F IGURE 6.4.7. In the proof of Proposition 6.4.b one verifies that this diagram
commutes in order to see that that (6.4.3) is a map of complexes.
′′
The assertion (6.4.2) is now
 the hypotheses that Φ is an isomorphism
 obvious. Indeed,
N,p
ensures that the complex Tot Lπ′ ◦Φ ⊗ A(Φ′′ ) on the left side of (6.4.1) has homology zero
and the long exact sequence of homology associated to the short exact sequence of complexes
(6.4.1) yields (6.4.2).

(b). Assume that 1 ≤ p. Notice that (6.4.3) in position j is
VN− j ′
p
F ⊗ K j (G′ ∗ )

0→

⊕

VN− j ′
F ⊗ K jp−1(G′ ∗ ) ⊗ G′′∗

incl‡

−−→

VN− j

quot‡
p
F ⊗ K j (G∗ ) −−−→

VN− j ′
p
F ⊗ K j−1 (G∗ ) ⊗ G′′∗

⊕

VN− j−1 ′
F ⊗ K jp(G∗ ) ⊗ F ′′

→ 0,

which is 6.3.b with r replaced by N − j and q replaced by j. The parameter p is is not zero
by hypothesis; hence, Observation 6.3.b ensures that each row of (6.4.3) is a short exact
sequence. To see that that (6.4.3) is a map of complexes, one verifies that Figure 6.4.7 is a
commutative diagram, and this is straightforward. Thus, (6.4.3) is a short exact sequence of
complexes. The assertion (6.4.4) is now obvious, as in the proof of (6.4.2).


CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

7. T HE

21

DEFINITION AND ELEMENTARY PROPERTIES OF THE COMPLEXES

CΦi,a .

The maps and modules of CΦi,a are introduced in 7.2. It is shown in 7.4 that each CΦi,a
is a complex. Examples are given in 7.6 and 7.7. The relationship between the classical
i,a
generalized Eagon-Northcott complexes {CΦi } and the complexes {CΦ } is examined in 7.8.
The duality in the family {CΦi,a } is studied in 7.9. Information about the length of CΦi,a is
recorded in 7.10. The zero-th homology of CΦi,a , for −1 ≤ i, may be found in 7.11. The fact
i,a
that Ig (Φ) annihilates H0 (CΦ ), for −1 ≤ i, is established in 7.12.
Data 7.1. Let R be a commutative Noetherian ring, F and G be free R-modules of rank f and
g, respectively, with g ≤ f, Φ : G∗ → F be an R-module homomorphism.
N,p

N,p

Definition 7.2. Adopt Data 7.1. Recall the complexes KΦ and LΦ of Definition 5.2.b and
Remark 5.3.c and the homomorphism κ of 4.1. Let i and a be integers with 1 ≤ a ≤ g. Define
i,a
the maps and modules (CΦ , d) to be
d Vf−g+a−i−1

0 → KfΦ−g−i−1,a [−i − 2] −
→

(7.2.1)

with [CΦi,a ]i+1 =

V f −g+a−i−1

d

F−
→ LfΦ−i−1,g−a → 0,

F. The differentials
i,a

di+2

]0 =

Vf−g−i−1

di+i

i,a

i,a

[CΦ ]i+2 −−→ [CΦ ]i+1 −−→ [CΦ ]i
are
f−g−i−1,a

i,a

[CΦ ]i+2 = [KΦ
Va

1⊗

Φ Vf−g−i−1

−−−−→

F⊗

Va

F ⊗ K0a (G∗ ) =

Vf−g−i−1

mult Vf−g+a−i−1

F −−→

F⊗

Va

(G∗ )

i,a

F = [CΦ ]i+1

and
i,a

[CΦ ]i+1 =

Vf−g+a−i−1
Vg+1−a

1⊗

1⊗ev∗ (1) Vf−g+a−i−1

F −−−−−→

Φ⊗κ Vf−g+a−i−1

−−−−−−−−−→
mult ⊗1 Vf−i

−−−−→

F⊗

F⊗

Vg+1−a

Vg+1−a

(G∗ ) ⊗

Vg+1−a

G

F ⊗ L1g−a G

F ⊗ L1g−a G = [LfΦ−i−1,g−a ]i = [CΦi,a ]i .

Remark 7.3. We give two other descriptions of the modules in CΦi,a :
V
g−a
f− j

if j ≤ i,
V F ⊗ Li+1− j G,
i,a
f−g+a−i−1
(7.3.1)
[CΦ ] j =
F,
if j = i + 1, and

Vf−g+1− j F ⊗ K a
∗
j−i−2 (G ), if i + 2 ≤ j,
i,a

and CΦ looks like
(7.3.2)

ηΦ Vf−g−i−2

· · · −→

ηΦ Vf−g−i−1

F ⊗ K1a (G∗ ) −→

Vg+1−a

Φ Vf−i

−−−−−→

Va

Φ Vf−g+a−i−1

F ⊗ K0a (G∗ ) −−−→

Kos

Φ
F ⊗ L1g−a G −−−→

Vf−i+1

Kos

F

Φ
F ⊗ L2g−a G −−−→
··· ,

22

ANDREW R. KUSTIN

with

Vf−g+a−i−1

F in position i + 1.

Observation 7.4. Adopt Data 7.1. Let and i and a be integers with 1 ≤ a ≤ g. Then the maps
and modules (CΦi,a , d) of Definition 7.2 form a complex.
Proof. One obtains CΦi,a by pasting together two well-known complexes; hence it suffices to
show that
di+3

di+2

di+1

d

i
→
(CΦi,a )i−1
(CΦi,a )i+3 −−→ (CΦi,a )i+2 −−→ (CΦi,a )i+1 −−→ (CΦi,a )i −

is a complex; furthermore, by the duality of Observation 7.9, it suffices to show that
di+2

di+1

d

i
→
(CΦi,a )i−1
(CΦi,a )i+2 −−→ (CΦi,a )i+1 −−→ (CΦi,a )i −

Vf−g+a−i−1

is a complex. Take f ∈



(di ◦ di+1 )( f ) = di ∑ℓ f ∧ (
= ∑ℓ ∑ℓ′ f ∧ (
∈

Vf−i+1

i,a

F = (CΦ )i+1 . We compute

Vg+1−a

Vg+1−a

V
Φ)(m∗ℓ ) ⊗ κ(mℓ) ∈ f−i F ⊗ L1g−a G

i,a
= (CΦ )i

Φ)(m∗ℓ ) ∧ Φ(n∗ℓ′ ) ⊗ κ(mℓ ) · (1 ⊗ nℓ′ )



F ⊗ L2g−a G = (CΦ )i−1
i,a

= ∑ℓ ∑ℓ′ ∑ℓ′′ f ∧ (

Vg+2−a

= ∑L ∑ℓ′ ∑ℓ′′ f ∧ (

Vg+2−a

Φ)(m∗ℓ ∧ n∗ℓ′ ) ⊗ n∗ℓ′′ (mℓ ) ⊗ nℓ′′ · nℓ′
Φ)(ML∗ ) ⊗ n∗ℓ′′ (n∗ℓ′ (M)) ⊗ nℓ′′ · nℓ′

= 0,
where
Vg+1−a ∗ Vg+1−a
G ⊗
G,

ev∗ (1) = ∑ℓ m∗ℓ ⊗ mℓ

∈

ev∗ (1) = ∑ℓ′ n∗ℓ′ ⊗ nℓ′ = ∑ℓ′′ n∗ℓ′′ ⊗ nℓ′′

∈ G∗ ⊗ G, and

ev∗ (1) = ∑L ML∗ ⊗ ML

∈

Vg+2−a ∗ Vg+2−a
G ⊗
G

are the canonical elements of (2.12.1). One easily verifies that
Vg+2−a ∗ Vg+1−a
G ⊗
G ⊗ G.
Vg+2−a
Vg+1−a ∗
(Merely evaluate both sides at a typical element of
G⊗
G ⊗ G∗ .) It is obvi-

∑ℓ ∑ℓ′ m∗ℓ ∧ n∗ℓ′ ⊗ mℓ ⊗ nℓ′ = ∑L ∑ℓ′ ML∗ ⊗ n∗ℓ′ (ML ) ⊗ nℓ′ ∈

ous that
∑ℓ′ ∑ℓ′′ n∗ℓ′ ∧ n∗ℓ′′ ⊗ nℓ′ · nℓ′′ = 0 ∈

Take f ∈
compute

Vf−g−i−1

F and γ ∈

Va

V2 ∗
G ⊗ Sym2 G.

(G∗ ) = K0a (G∗ ), see 4.5.i. So, f ⊗ γ is in (CΦi,a )i+2 . We



V
V
(di+1 ◦ di+2 )( f ⊗ γ) = di+1 f ∧ ( a Φ)(γ) ∈ f−g+a−i−1 F = (CΦi,a )i+1
= ∑ℓ f ∧ (
∈

Va

Vf−i

= ∑ℓ f ∧ (

Φ)(γ) ∧ (

Vg−a+1

Φ)(m∗ℓ ) ⊗ κ(mℓ)

F ⊗ L1g−a G = (CΦ )i

Vg+1

i,a

Φ)(γ ∧ m∗ℓ ) ⊗ κ(mℓ)

CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

23

= 0.


i,a

Remark 7.5. If a is equal to 0 or g + 1, then it is possible to construct a complex CΦ using
the recipe of Remark 7.3. These complexes are

CΦi,0 :

Vf−g−i−1

0→

identity map Vf−g−i−1

F −−−−−−−→

F → 0,

with the non-zero modules appearing in positions i + 2 and i + 1; and

CΦi,g+1 :

0→

Vf−i

F → 0,

with the non-zero module appearing in position i + 1.
i,a

Example 7.6. Adopt Data 7.1 with (g, f) = (5, 9). We record the complexes CΦ of Definition 7.2 and Observation 7.4 which have the form:
i,a

i,a

i,a

i,a

i,a

i,a

0 → (CΦ )5 → (CΦ )4 → (CΦ )3 → (CΦ )2 → (CΦ )1 → (CΦ )0 → 0.
Of course, these complexes have length f − g + 1 = 5.
η

η

η

V1

η

Φ

Φ V
Φ V
Φ V
Φ V
V
−1,1
CΦ
: 0→ 0 F⊗K41 (G∗ )−→ 1 F⊗K31 (G∗ )−→ 2 F⊗K21 (G∗ )−→ 3 F⊗K11 (G∗ )−→ 4 F⊗K01 (G∗ )−
−−→V5 F→0
V1

η

η

η

η

η

V1

η

V1

V5

Φ

Φ

Φ V
Φ V
Φ V
V
0,1
CΦ
: 0→ 0 F⊗K31 (G∗ )−→ 1 F⊗K21 (G∗ )−→ 2 F⊗K11 (G∗ )−→ 3 F⊗K01 (G∗ )−
−−→V4 F −−−→V9 F⊗L41 G→0
V5

Φ

Φ

Φ V
Φ V
Φ V9
V
1,1
CΦ
: 0→ 0 F⊗K21 (G∗ )−→ 1 F⊗K11 (G∗ )−→ 2 F⊗K01 (G∗ )−
−−→V3 F −−−→V8 F⊗L41 G−−−→
F⊗L42 G→0
V5

Φ

Φ

Kos

Φ V
Φ V8
Φ V9
V
2,1
CΦ
: 0→ 0 F⊗K11 (G∗ )−→ 1 F⊗K01 (G∗ )−
−−→V2 F −−−→V7 F⊗L41 G−−−→
F⊗L42 G−
−−→
F⊗L43 G→0
V1

Φ

V5

Φ

Kos

Kos

Φ V7
Φ V8
Φ V9
V
3,1
CΦ
: 0→ 0 F⊗K01 (G∗ )−
−−→V1 F −−−→V6 F⊗L41 G−−−→
F⊗L42 G−
−−→
F⊗L43 G−
−−→
F⊗L44 G→0
V5

Φ

Kos

Kos

Kos

Φ V6
Φ V7
Φ V8
Φ V9
V
4,1
CΦ
: 0→ 0 F −
−−→V5 F⊗L41 G−−−→
F⊗L42 G−
−−→
F⊗L43 G−
−−→
F⊗L44 G−
−−→
F⊗L45 G→0
Kos

Kos

Kos

Kos

Φ V5
Φ V6
Φ V7
Φ V8
Φ V9
V
5,1
CΦ
: 0→ 4 F⊗L4
−−→
F⊗L4
−−→
F⊗L43 G−
−−→
F⊗L44 G−
−−→
F⊗L45 G−
−−→
F⊗L46 G→0
1 G−
2 G−
Kos

Kos

Kos

η

Kos

η

η

Kos

V2

η

Φ

Φ V
Φ V
Φ V
Φ V
V
−1,2
CΦ
: 0→ 0 F⊗K42 (G∗ )−→ 1 F⊗K32 (G∗ )−→ 2 F⊗K22 (G∗ )−→ 3 F⊗K12 (G∗ )−→ 4 F⊗K02 (G∗ )−
−−→V6 F→0
V2

η

η

η

η

η

V2

η

V2

V4

Φ

Φ

Φ V
Φ V
Φ V
V
0,2
CΦ
: 0→ 0 F⊗K32 (G∗ )−→ 1 F⊗K22 (G∗ )−→ 2 F⊗K12 (G∗ )−→ 3 F⊗K02 (G∗ )−
−−→V5 F −−−→V9 F⊗L31 G→0
V4

Φ

Φ

Φ V
Φ V
Φ V9
V
1,2
CΦ
: 0→ 0 F⊗K22 (G∗ )−→ 1 F⊗K12 (G∗ )−→ 2 F⊗K02 (G∗ )−
−−→V4 F −−−→V8 F⊗L31 G−−−→
F⊗L32 G→0
V4

Φ

Φ

Kos

Φ V
Φ V8
Φ V9
V
2,2
CΦ
: 0→ 0 F⊗K12 (G∗ )−→ 1 F⊗K02 (G∗ )−
−−→V3 F −−−→V7 F⊗L31 G−−−→
F⊗L32 G−
−−→
F⊗L33 G→0
V2

Φ

V4

Φ

Kos

Kos

Φ V7
Φ V8
Φ V9
V
3,2
CΦ
: 0→ 0 F⊗K02 (G∗ )−
−−→V2 F −−−→V6 F⊗L31 G−−−→
F⊗L32 G−
−−→
F⊗L33 G−
−−→
F⊗L34 G→0
V4

Φ

Kos

Kos

Kos

Φ V6
Φ V7
Φ V8
Φ V9
V
4,2
CΦ
: 0→ 1 F −
−−→V5 F⊗L31 G−−−→
F⊗L32 G−
−−→
F⊗L33 G−
−−→
F⊗L34 G−
−−→
F⊗L35 G→0
Kos

Kos

η

Kos

η

Kos

η

V3

η

Φ

Φ V
Φ V
Φ V
Φ V
V
−1,3
CΦ
: 0→ 0 F⊗K43 (G∗ )−→ 1 F⊗K33 (G∗ )−→ 2 F⊗K23 (G∗ )−→ 3 F⊗K13 (G∗ )−→ 4 F⊗K03 (G∗ )−
−−→V7 F→0
η

η

η

η

η

V3

V3

Φ

V3

Φ

Φ V
Φ V
Φ V
V
0,3
CΦ
: 0→ 0 F⊗K33 (G∗ )−→ 1 F⊗K23 (G∗ )−→ 2 F⊗K13 (G∗ )−→ 3 F⊗K03 (G∗ )−
−−→V6 F −−−→V9 F⊗L21 G→0
Φ

V3

Φ

Φ V9
Φ V
Φ V
V
1,3
F⊗L22 G→0
CΦ
: 0→ 0 F⊗K23 (G∗ )−→ 1 F⊗K13 (G∗ )−→ 2 F⊗K03 (G∗ )−
−−→V5 F −−−→V8 F⊗L21 G−−−→
Kos

24

ANDREW R. KUSTIN
V3

η

V3

Φ

Φ

Φ V
Φ V8
Φ V9
V
2,3
CΦ
: 0→ 0 F⊗K13 (G∗ )−→ 1 F⊗K03 (G∗ )−
−−→V4 F −−−→V7 F⊗L21 G−−−→
F⊗L22 G−
−−→
F⊗L23 G→0
V3

Φ

V3

Φ

Kos

Kos

Φ V7
Φ V8
Φ V9
V
3,3
CΦ
: 0→ 0 F⊗K03 (G∗ )−
−−→V3 F −−−→V6 F⊗L21 G−−−→
F⊗L22 G−
−−→
F⊗L23 G−
−−→
F⊗L24 G→0
V3

Φ

Kos

Kos

Kos

Φ V6
Φ V7
Φ V8
Φ V9
V
4,3
CΦ
: 0→ 2 F −
−−→V5 F⊗L21 G−−−→
F⊗L22 G−
−−→
F⊗L23 G−
−−→
F⊗L24 G−
−−→
F⊗L25 G→0
Kos

Kos

η

Kos

η

Kos

η

V4

η

Φ

Φ V
Φ V
Φ V
Φ V
V
−1,4
CΦ
: 0→ 0 F⊗K44 (G∗ )−→ 1 F⊗K34 (G∗ )−→ 2 F⊗K24 (G∗ )−→ 3 F⊗K14 (G∗ )−→ 4 F⊗K04 (G∗ )−
−−→V8 F→0
V4

η

η

η

η

η

V4

η

V4

V2

Φ

Φ

Φ V
Φ V
Φ V
V
0,4
CΦ
: 0→ 0 F⊗K34 (G∗ )−→ 1 F⊗K24 (G∗ )−→ 2 F⊗K14 (G∗ )−→ 3 F⊗K04 (G∗ )−
−−→V7 F −−−→V9 F⊗L11 G→0
V2

Φ

Φ

Φ V
Φ V
Φ V9
V
1,4
CΦ
: 0→ 0 F⊗K24 (G∗ )−→ 1 F⊗K14 (G∗ )−→ 2 F⊗K04 (G∗ )−
−−→V6 F −−−→V8 F⊗L11 G−−−→
F⊗L12 G→0
V2

Φ

Φ

Kos

Φ V
Φ V8
Φ V9
V
2,4
CΦ
: 0→ 0 F⊗K14 (G∗ )−→ 1 F⊗K04 (G∗ )−
−−→V5 F −−−→V7 F⊗L11 G−−−→
F⊗L12 G−
−−→
F⊗L13 G→0
V4

Φ

V2

Φ

Kos

Kos

Φ V7
Φ V8
Φ V9
V
3,4
CΦ
: 0→ 0 F⊗K04 (G∗ )−
−−→V4 F −−−→V6 F⊗L11 G−−−→
F⊗L12 G−
−−→
F⊗L13 G−
−−→
F⊗L14 G→0
V2

Φ

Kos

Kos

Kos

Φ V6
Φ V7
Φ V8
Φ V9
V
4,4
CΦ
: 0→ 3 F −
−−→V5 F⊗L11 G−−−→
F⊗L12 G−
−−→
F⊗L13 G−
−−→
F⊗L14 G−
−−→
F⊗L15 G→0
Kos

Kos

Kos

Kos

η

η

η

η

η

η

η

η

η

V5

Φ V
Φ V
Φ V
Φ V
Φ V
V
−2,5
CΦ
: 0→ 1 F⊗K55 (G∗ )−→ 2 F⊗K45 (G∗ )−→ 3 F⊗K35 (G∗ )−→ 4 F⊗K25 (G∗ )−→ 5 F⊗K15 (G∗ )−→ 6 F⊗K05 (G∗ )→0
Φ

Φ V
Φ V
Φ V
Φ V
V
−1,5
CΦ
: 0→ 0 F⊗K45 (G∗ )−→ 1 F⊗K35 (G∗ )−→ 2 F⊗K25 (G∗ )−→ 3 F⊗K15 (G∗ )−→ 4 F⊗K05 (G∗ )−
−−→V9 F→0
η

η

η

η

η

V5

η

V5

V5

V1

Φ

Φ

Φ V
Φ V
Φ V
V
0,5
CΦ
: 0→ 0 F⊗K35 (G∗ )−→ 1 F⊗K25 (G∗ )−→ 2 F⊗K15 (G∗ )−→ 3 F⊗K05 (G∗ )−
−−→V8 F −−−→V9 F⊗L01 G→0
V1

Φ

Φ

Φ V
Φ V
Φ V9
V
1,5
CΦ
: 0→ 0 F⊗K25 (G∗ )−→ 1 F⊗K15 (G∗ )−→ 2 F⊗K05 (G∗ )−
−−→V7 F −−−→V8 F⊗L01 G−−−→
F⊗L02 G→0
V1

Φ

Φ

Kos

Φ V
Φ V8
Φ V9
V
2,5
CΦ
: 0→ 0 F⊗K15 (G∗ )−→ 1 F⊗K05 (G∗ )−
−−→V6 F −−−→V7 F⊗L01 G−−−→
F⊗L02 G−
−−→
F⊗L03 G→0
V5

Φ

V1

Φ

Kos

Kos

Φ V7
Φ V8
Φ V9
V
3,5
CΦ
: 0→ 0 F⊗K05 (G∗ )−
−−→V5 F −−−→V6 F⊗L01 G−−−→
F⊗L02 G−
−−→
F⊗L03 G−
−−→
F⊗L04 G→0
V1

Φ

Kos

Kos

Kos

Φ V6
Φ V7
Φ V8
Φ V9
V
4,5
CΦ
: 0→ 4 F −
−−→V5 F⊗L01 G−−−→
F⊗L02 G−
−−→
F⊗L03 G−
−−→
F⊗L04 G−
−−→
F⊗L05 G→0
Kos

Kos

Kos

0,a

Example 7.7. If f = g + 1 and i = 0, then CΦ ⊗
0→

V0

Kos

Vf ∗
F is
V

V

g+1−a
a
V
V
V
Φ V
Φ V
F ⊗ f F ∗ ⊗ K0a (G∗ ) −−−→ a F ⊗ f F ∗ −−−−−→ f F ⊗ f F ∗ ⊗ L1g−a G → 0,

which is naturally isomorphic to
Vf ∗ Va ∗ d2 Vf−a ∗ d1 Vf−a
G → 0,
F ⊗ (G ) −→
F −→
Va
Vf−a ∗
V
with d2 (ωF ∗ ⊗ γa ) = [( Φ)(γa )](ωF ∗ ) and d1 (φf−a ) = (
Φ )(φf−a ), for ωF ∗ ∈ f F ∗ ,
Va ∗
Vf−a

(7.7.1)

0→

γa ∈ (G ), and φf−a ∈
F. In particular, if f = 4, g = 3, a = 2, and Φ = (Φi, j ) is given
by a 4 × 3 matrix, then (7.7.1) is
d

d

2
1
0 → R3 −→
R6 −→
R3 → 0

with


∆(1, 2; 1, 2) ∆(1, 3; 1, 2) ∆(1, 4; 1, 2) ∆(3, 4; 1, 2) ∆(2, 4; 1, 2) ∆(2, 3; 1, 2)
d1 = ∆(1, 2; 1, 3) ∆(1, 3; 1, 3) ∆(1, 4; 1, 3) ∆(3, 4; 1, 3) ∆(2, 4; 1, 3) ∆(2, 3; 1, 3)
∆(1, 2; 2, 3) ∆(1, 3; 2, 3) ∆(1, 4; 2, 3) ∆(3, 4; 2, 3) ∆(2, 4; 2, 3) ∆(2, 3; 2, 3)

CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

and

25


∆(3, 4; 1, 2)
∆(3, 4; 1, 3)
∆(3, 4; 2, 3)
−∆(2, 4; 1, 2) −∆(2, 4; 1, 3) −∆(2, 4; 2, 3)


∆(2, 3; 1, 3)
∆(2, 3; 2, 3) 
 ∆(2, 3; 1, 2)
d2 = 
,
∆(1, 2; 1, 3)
∆(1, 2; 2, 3) 
 ∆(1, 2; 1, 2)
−∆(1, 3; 1, 2) −∆(1, 3; 1, 3) −∆(1, 3; 2, 3)
∆(1, 4; 1, 2)
∆(1, 4; 1, 3)
∆(1, 4; 2, 3)


where


Φi,k Φi,ℓ
∆(i, j; k, ℓ) = det
.
Φ j,k Φ j,ℓ


Observation 7.8. Adopt Data 7.1. Recall the complexes {CΦi } of Definition 3.1 and the complexes {CΦi,a } of Definition 7.2 and Observation 7.4. Then, for each integer i, the complexes

CΦi , CΦi,1 , and CΦi−1,g ⊗

Vg

G

are canonically isomorphic.
Proof. Use the formulas (3.1.2) and (7.3.1), Observation 4.5, and the fact that
is canonically isomorphic to R to see that the modules
(CΦi ) j ,

(CΦi,1 ) j ,

(CΦi−1,g ) j ⊗

and

Vg

Vg

G⊗

Vg ∗
G

G

are canonically isomorphic for all j. These canonical isomorphisms induce the required
canonical isomorphisms of complexes.

Observation 7.9. Adopt Data 7.1. Let and i and a be integers with 1 ≤ a ≤ g. Then the
complexes
V
CΦi,a ⊗ f(F ∗ ) and (CΦf−g−i−1,g+1−a )∗ [−(f − g + 1)]
of Definition 7.2 and Observation 7.4 are canonically isomorphic.
Remark. The symbol “[−(f − g + 1)]” refers to a shift in homological degree, see 2.4. In
particular, for each integer j,
f−g−i−1,g+1−a ∗
f−g−i−1,g+1−a
((CΦ
) [−(f − g + 1)]) j = ((CΦ
)f−g+1− j )∗ .

V

Proof. Use the formula (7.3.1), Observation 4.5, and the fact that ℓ F ∗ is canonically isoV
V
morphic to f−ℓ F ⊗ f (F ∗ ), for all integers ℓ to see that the modules
i,a

(CΦ ) j ⊗

Vf

(F ∗ ) and

f−g−i−1,g+1−a

((CΦ

are canonically isomorphic for all j. Indeed,
f−g−i−1,g+1−a
((CΦ
)f−g+1− j )∗
V
g−1+ j
∗

F ⊗ La−1
if i + 2 ≤ j,
(V
j−i−1 G)
g+i+1−a
= (
F)∗ ,
if i + 1 = j, and

(V j F ⊗ K g+1−a (G∗ ))∗ , if j ≤ i
i− j

)f−g+1− j )∗

26

ANDREW R. KUSTIN

V
g−1+ j

(F ∗ ) ⊗ K aj−i−2 (G∗ ), if i + 2 ≤ j,
V
g+i+1−a
∼
(F ∗ ),
if i + 1 = j, and
=

V j (F ∗ ) ⊗ Lg−a G,
if j ≤ i
i− j+1
V
V
f−g+1− j

F ⊗ K aj−i−2 (G∗ ) ⊗ f (F ∗ ), if i + 2 ≤ j,
V
V
f−g−i−1+a
∼
F ⊗ f (F ∗ ),
if i + 1 = j, and
=

Vf− j F ⊗ Lg−a G ⊗ Vf (F ∗ ),
if j ≤ i
i− j+1
=(CΦi,a ) j ⊗

Vf

by (4.4.2)

(F ∗ ).

The complex CΦi,a is obtained by patching together two well-known complexes. The duality
among the pieces is well understood. We focus on the duality at the patch:
(CΦi,a )i+2 ⊗

Vf

(F ∗ )



((CΦf−g−i−1,g+1−a )f−g−1−i)∗

d

/ (C i,a )i+1 ⊗ Vf (F ∗ )
Φ

d

/ (C i,a )i ⊗ Vf (F ∗ )
Φ

d∗


/ ((C f−g−i−1,g+1−a )f−g−i )∗
Φ

d∗


/ ((C f−g−i−1,g+1−a )f−g+1−i )∗ ,
Φ

which is the same as
Vf−g−i−1

(

F⊗K0a (G∗ )⊗

Vg+1+i

Vf


∗
F⊗La−1
1 G)

(F ∗ )

d

d∗

/

Vf−g+a−i−1

F⊗

Vf

(F ∗ )



/

(

Vg+i+1−a

d

d∗

F)∗

/

Vf−i

/

(

Vi

F⊗Lg1 −a G⊗

Vf

(F ∗ )


F⊗K0g+1−a (G∗ ))∗ .

V
V
V
The vertical maps are comprised of the canonical isomorphisms ℓ F ⊗ f F ∗ ∼
= f−ℓ F ∗ and the
isomorphisms induced by the perfect pairing of 4.4.2. There is no difficulty in checking that the
diagram commutes up to sign.


Our conventions concerning the length of a complex are given in 2.3.
Observation 7.10. Adopt Data 7.1. Let and i and a be integers with 1 ≤ a ≤ g. Recall the
i,a
complexes {CΦ } of Definition 7.2 and Observation 7.4.
i,a

i,a

(a) If −1 ≤ i, then (CΦ ) j = 0 for j ≤ −1 and length(CΦ ) ≤ f.
(b) If i ≤ f − g and f − g + 2 ≤ j, then (CΦi,a ) j = 0.
(c) Assume
−1 ≤ i ≤ f − g, or (i, a) = (f − g + 1, 1), or (i, a) = (−2, g).
i,a

i,a

Then (CΦ ) j = 0 for j ≤ −1 and for f − g + 2 ≤ j; in particular, CΦ is a complex of
length at most f − g + 1.
V

V

Proof. Use (7.3.1). If j ≤ −1 ≤ i, then the the • F contribution to (CΦi,a ) j is f− j F = 0. If
V
V
i,a
i ≤ f − g and f − g + 2 ≤ j, then the • F contribution to (CΦ ) j is f−g+1− j F = 0. The other
assertions are checked in a similar manner.


CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

27

Observation 7.11. Adopt Data 7.1. Let and i and a be integers with 1 ≤ a ≤ g. Recall the
i,a
complexes {CΦ } of Definition 7.2 and Observation 7.4. Then
 Vf−g+a
F

Va
Vf−g ,
if i = −1,


im(
Φ)∧
F


Vg−a+1 ∗
Φ ), if i = 0, and
H0 (CΦi,a ) = coker(


g
−a

 Li+1 G ,

if 1 ≤ i.
Φ∗ (F)·Lg−a G
i

V
V
V
Proof. Fix a basis element ωF ∗ of f F ∗ and, for each j, let σ : j F → f− j F ∗ be the

non-canonical isomorphism which sends f j to f j (ωF ∗ ).
For i = 0, consider the commutative square
(7.11.1)

0,a

(CΦ )1 =

Vf−g+a−1

∼
= σ



Vg+1−a ∗
F

F

d1

Vg+1−a

Vf

0,a

(CΦ )0 =
/

F ⊗ L1g−a G
/

0,a

H0 (CΦ )
/

0

∼
= σ⊗(4.5.e)



Φ∗

/

Vg−a+1

G.

For 1 ≤ i, consider the commutative square
(7.11.2)

i,a

(CΦ )1 =

Vf−1

F ⊗ Lig−a G

d1

/

i,a

(CΦ )0 =

∼
= σ1 ⊗1



F ∗ ⊗ Lig−a G

Vf

g−a
F ⊗ Li+1
G

/

i,a

H0 (CΦ )
/

0

∼
= σ0 ⊗1



δ

/

g−a

Li+1 G,

where δ(φ ⊗ ∑ℓ Aℓ ⊗ Bℓ ) = ∑ℓ Aℓ ⊗ Φ∗ (φ) · Bℓ for φ ∈ F ∗ , Aℓ ∈
g−a

∑ℓ Aℓ ⊗ Bℓ ∈ Li

G⊆

Vg−a

Vg−a

G, Bℓ ∈ Symi G and

G ⊗ Symi G.

In both diagrams, (7.11.1) and (7.11.2), the top line is exact by 7.10.a. For i = −1, the
sequence
−1,a
(CΦ
)1 =

Vf−g

F⊗

Va ∗ d1
V
−1,a
−1,a
G −→ (CΦ
)0 = f−g+a F → H0 (CΦ
)→0
Va

is exact and d1 sends ff−g ⊗ γa to ff−g ∧ (

Φ)(γa).



Observation 7.12. Adopt Data 7.1. Let and i and a be integers with 1 ≤ a ≤ g. Recall the
complexes {CΦi,a } of Definition 7.2 and Observation 7.4. Then Ig (Φ) annihilates H0 (CΦi,a ) for
all i with −1 ≤ i.
Proof. We show that Ig (Φ)·(CΦi,a )0 ⊆ im d1 for each relevant i. Consider the arbitrary element
V
V
V
r = [( g Φ)(ωG∗ )](φg) of Ig (Φ), where ωG∗ ∈ g G∗ and φg ∈ g F ∗ .
V
V
V
We prove the assertion for i = −1 by showing that r · f−g+a F ⊆ im( a Φ) ∧ f−g F. Let
V
ff−g+a ∈ f−g+a F. Apply Proposition 2.14 in order to write r · ff−g+a , which is equal to
V

ff−g+a ∧ φg ( g Φ)(ωG∗ ) ,

28

ANDREW R. KUSTIN

as a sum of elements of the form

for homogeneous elements f ∈

V•

V

f ∧ φ ( g Φ)(ωG∗ ) ,

F and φ ∈

V•

F with

deg φ ≤ g + f − (f − g + a) − g = g − a.
Apply Proposition 2.13.d to see that
V

i

Vg−deg φ h Vdeg φ ∗
g
f ∧ φ ( Φ)(ωG∗ ) = f ∧ (
Φ) (
Φ )(φ) (ωG∗ ) .

This completes the proof when i = −1 because a ≤ g − deg φ.
Consider i = 0. In light of (7.11.1), it suffices to show that
(7.12.1)

r(

Vg+1−a

Let gg+1−a be an element of

G) ⊆ (

Vg+1−a

Vg+1−a

Φ∗ )(

Vg+1−a ∗
F ).

G. Observe that
 Va−1

Φ)[gg+1−a (ωG∗ )] (φg )
(

Vg+1−a ∗
V
F and g+1−a Φ∗ carries this element to


Vg+1−a ∗  Va−1

is an element of

Φ )

(
Φ)[gg+1−a (ωG∗ )] (φg )
V

=[gg+1−a (ωG∗ )] ( g Φ∗ )(φg)
V

=gg+1−a ∧ ωG∗ ( g Φ∗ )(φg )
(

by 2.13.d
by 2.13.c

=r · gg+1−a .

The claim (7.12.1) has been established. This completes the proof when i = 0.
One further consequence of (7.12.1) is that rG ⊆ Φ∗ (F ∗ ). (Take a to be g to obtain this
conclusion.)
We prove the assertion for 1 ≤ i by showing that
g−a
rLi+1
G ⊆ δ(F ∗ ⊗ Lig−a G),

in the notation of (7.11.2). Observe that the exact sequence (4.4.1) yields
g−a
Li+1
G = κ(

Vg−a+1

G ⊗ Symi G)

since 0 < g − a + i + 1. On the other hand,
κ(
It follows that

Vg−a+1

G ⊗ Symi−1 G) ⊆ Lig−a G.

 V



g−a
rLi+1
G ⊆ rG · κ( g−a+1 G ⊗ Symi−1 G) ⊆ rG · Lig−a G
⊆ Φ∗ (F ∗ ) · Lig−a G = δ(F ∗ ⊗ Lig−a G),

where the multiplication “·” means multiply into the the symmetric algebra factor. The proof
is complete for 1 ≤ i.


CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

8. T HE

ACYCLICITY OF

29

CΦi,a .

Theorem 8.4 is the main result of the paper. It asserts if Φ is sufficiently general, then CΦi,a
is a resolution of H0 (CΦi,a ) and H0 (CΦi,a ) is a torsion-free (R/Ig(Φ))-module, for −1 ≤ i and
1 ≤ a ≤ g. The depth-sensitivity assertion, Corollary 8.5, was promised in (1.0.7), and is in
fact our main motivation for writing the paper. Corollary 8.6 records the fact, promised in
i,a
(1.0.6), that in the generic situation, with −1 ≤ i ≤ f − g, then H0 (CΦ ) is a maximal Cohen
g−1
Macaulay module of rank a−1
over the determinantal ring R/Ig (Φ). Recall, from 7.11,
that
 Vf−g+a
F

V
V
,
if i = −1,


im( a Φ)∧ f−g F


Vg−a+1 ∗
Φ ), if i = 0, and
H0 (CΦi,a ) = coker(


g−a


 ∗ Li+1 G
,
if 1 ≤ i.
Φ (F)·Lg−a G
i

Theorem 8.4 follows readily from Lemma 8.1 by way of the acyclicity lemma. If I1 (Φ) = R,
then it is shown in Lemma 8.1 that

CΦi,a and CΦi,a′ ⊕ CΦi,a−1
′
have isomorphic homology for some smaller R-module homomorphism Φ′ .
Lemma 8.1. Adopt Data 6.1 and Notation 6.2 with g ≤ f and Φ′′ an isomorphism. Let a and i
i,a
be integers with 1 ≤ a ≤ g −1. Recall the complex CΦ of Definition 7.2 and Observation 7.4.
Then there there exists a canonical complex D of free R-modules and canonical short exact
sequences


†
incl†
g−a
i,a quot
′′
(8.1.1)
0 → Tot Lfπ−i−1,
⊗
A(Φ
)
−
−
−
→
D →0
−
−
→
C
′ ◦Φ
Φ

and

(8.1.2) 0 → CΦi,a′ ⊕ CΦi,a−1
⊗ G′′
′



quot‡
g−i−2,a
[−i − 2] ⊗ B(Φ′′ ) → 0.
−−→ D −−−→ Tot Kfπ−′ ◦Φ

∗  incl‡

In particular, there are canonical isomorphisms


i,a
i,a ∼
i,a−1
′′ ∗
(8.1.3)
H j (CΦ ) = H j (CΦ′ ) ⊕ H j (CΦ′ ) ⊗ G

for all integers j.

using
Remarks 8.1.4. (a) Lemma 8.1 does apply when a = 1 provided one interprets CΦi,a−1
′
i,0
Remark 7.5. The complex CΦ′ of Remark 7.5 is split exact; so the ultimate conclusion
of Lemma 8.1 when a = 1 is
i,1
H j (CΦi,1 ) ∼
= H j (CΦ′ ),

for all integers j. In light of Observation 7.8, this conclusion is well-known.

30

ANDREW R. KUSTIN
i,g

(b) Lemma 8.1 is false when a = g, even if one interprets CΦ′ using Remark 7.5. The correct
statement is that
i,g−1
H j (CΦi,g ) ∼
= H j (CΦ′ ) and

H j (CΦi,g ) ∼
6 H j (CΦi,g′ ) ⊕ H j (CΦi,g′ −1 ).
=

Indeed,
i+1,1
H j (CΦi,g ) ∼
= H j (CΦ )
i+1,1
∼
= H j (C ′ )

by Observation 7.8
by (a)

Φ
i,g−1
∼
= H j (CΦ′ )

by Observation 7.8.
i,g

On the other hand, the complex CΦ′ has non-zero homology because the complex is
non-zero in exactly one position; see Remark 7.5.
Proof of Lemma 8.1. We know from Definition 7.2 that CΦi,a is the complex
d Vf−g+a−i−1

0 → KfΦ−g−i−1,a [−i − 2] −
→
with [CΦi,a ]i+1 =
tion 6.4.a that

V f −g+a−i−1

d

F−
→ LfΦ−i−1,g−a → 0,

F. The parameter g − a is positive; so, we know from Proposi-



quot†
incl†
f−i−1,g−a
′′
0 → Tot Lπ′ ◦Φ
⊗ A(Φ ) −−→ LfΦ−i−1,g−a −−−→

g−a
LfΦ−i−2,
⊗ F ′′
′
⊕
→0
f−i−2,g−a−1
′′
′′
LΦ′
⊗F ⊗G

is a short exact sequence of complexes. It follows that


incl†
g−a
′′
(8.1.5)
Tot Lfπ−i−1,
⊗
A(Φ
)
−−→ CΦi,a
′ ◦Φ

is an injection of complexes. Let D be the cokernel of (8.1.5). Observe that (8.1.1) is a short
exact sequence of complexes and that D is isomorphic to
f−g−i−1,a

0 → KΦ

d Vf−g+a−i−1

[−i − 2] −
→

f−i−2,g−a

LΦ′

quot† ◦d

F −−−−→

⊗ F ′′

⊕

f−i−2,g−a−1
Φ′

L

→ 0.
⊗ F ′′ ⊗ G′′

The parameter a is positive; and therefore, we also know from Proposition 6.4.b that
KfΦ−′ g−i−1,a


quot‡
incl‡
g−i−2,a
⊕
0→
−−→ KfΦ−g−i−1,a −−−→ Tot Kfπ−′ ◦Φ
⊗ B(Φ′′ ) → 0
(KfΦ−′ g−i−1,a−1 ⊗ G′′ ∗ )
is a short exact sequence of complexes. It follows that


quot‡
g−i−2,a
D −−−→ Tot Kfπ−′ ◦Φ
⊗ B(Φ′′ ) [−i − 2]

CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

31

is a surjection of complexes with kernel isomorphic to the complex:
f−i−2,g−a
f−g−i−1,a
LΦ
⊗ F ′′
KΦ
[−i − 2]
′
′
quot† ◦d
d◦incl‡ Vf−g+a−i−1
⊕
⊕
→ 0.
−−−−→
F −−−−→
0→
g−a−1
⊗ F ′′ ⊗ G′′
LfΦ−i−2,
KfΦ−′ g−i−1,a−1[−i − 2] ⊗ G′′∗
′

(8.1.6)

Thus,


quot‡
incl‡
f−g−i−2,a
0 → (8.1.6) −−→ D −−−→ Tot Kπ′ ◦Φ
⊗ B(Φ′′ ) [−i − 2] → 0

(8.1.7)

is a short exact sequence of complexes. Observe that

CΦi,a′ ⊕ (CΦi,a−1
⊗ G′′ ∗ )
′

(8.1.8)



(8.1.6),
given by
f−g−i−1,a
KΦ
[−i − 2]
′
⊕
0→
f−g−i−1,a−1
KΦ
[−i − 2] ⊗ G′′ ∗
′



h

id 0
0 id

f−g−i−1,a

KΦ′

0→

h

d 0
0 d

/

Vf−g+a−i−1 ′
F

⊕

Vf−g+a−i−2 ′
F ⊗ G′′ ∗

i

h

d 0
0 d

f−i−2,g−a−1
LΦ
′
/
⊕
→0
f−i−2,g−a
′′ ∗
LΦ
⊗
G
′

i

[ incl incl† ◦(1⊗Φ′′ ) ]


[−i − 2]

⊕
[−i − 2] ⊗ G′′ ∗

d◦incl ‡

f−g−i−1,a−1

KΦ′

i


/ Vf−g+a−i−1 F

f−i−2,g−a

quot† ◦d

L Φ′
/

0
1⊗Φ′′
1⊗KosΦ′′
0



⊗ F ′′

⊕

f−i−2,g−a−1

L Φ′



→ 0,
⊗ F ′′ ⊗ G′′

is an isomorphism of complexes. (The complexes CΦi,a′ and CΦi,a−1
have been read from
′
Definition 7.2.) Combine (8.1.7) and (8.1.8) in order to see that (8.1.2) is a short exact
sequence of complexes. The isomorphisms of (8.1.3) follow immediately from the short
exact sequences (8.1.1) and (8.1.2) because the two total complexes have all homology equal
to zero since Φ′′ is an isomorphism.

In Lemma 8.3 we iterate Lemma 8.1. The basic set-up is similar to, but not the same as,
the set-up of Data 6.1.
Data 8.2. Let R be a commutative Noetherian ring, F and G be free R-modules of rank f and
g, respectively, with g ≤ f, and Φ : G∗ → F be an R-module homomorphism. Decompose F
and G as
F = F ′ ⊕ F ′′

and

G = G′ ⊕ G′′ ,

where F ′ , F ′′ , G′ and G′′ are free R-modules and rank F ′′ = rank G′′ = r for some integer r
with 1 ≤ r ≤ g − 1 and and let
∗

F ∗ = F ′ ⊕ F ′′

∗

and

∗

G∗ = G′ ⊕ G′′

∗

32

ANDREW R. KUSTIN

be the corresponding decompositions of F ∗ and G∗ . Assume that
 ′

Φr 0
(8.2.1)
Φ=
,
0 Φ′′r

where Φ′r : G′ ∗ → F ′ is an R-module homomorphism and Φ′′r : G′′ ∗ → F ′′ is an R-module
isomorphism.
Lemma 8.3. Adopt Data 8.2. Let i and a be integers with 1 ≤ a ≤ g. Recall the complex CΦi,a
of Definition 7.2 and Observation 7.4.
(a) If 1 ≤ r ≤ g − 1, then
i,a
H j (CΦ ) ∼
=

(8.3.1)

g−r
M

β=1

r

H j (CΦ′ )(a−β) .
i,β
r

(b) If r = g − 1, then the following statements hold:
g−1
i,1
(i) H j (CΦi,a ) ∼
= H j (CΦ′ )(a−1) ,
g−1

i,a

(ii) if Ig (Φ) = R, then the complex CΦ is split exact; and,
(iii) if Ig (Φ) is a proper ideal of grade at least f − g + 1, then CΦi,a is a resolution of
g−1
(R/I (Φ))(a−1) .
g

Proof. (a). We are given

Φ′r 0
Φ=
,
0 Φ′′r


where Φ′′r is an isomorphism of free modules of rank r. We may rearrange the data so that

 ′
Φr 0
0
Φ =  0 Φ′′′ 0  ,
0
0 Φ′′

where Φ′′ is an isomorphism of free modules of rank one and Φ′′′ is an isomorphism of free
modules of rank r − 1. Let

 ′
Φr 0
′
.
Φ =
0 Φ′′′
Apply Lemma 8.1 and Remarks 8.1.4.a and 8.1.4.b to obtain
(8.3.2)

i,a
i,a−1
H j (CΦi,a ) ∼
= χ(a ≤ g − 1) H j (CΦ′ ) ⊕ χ(2 ≤ a) H j (CΦ′ ),

where χ is described in 2.7. Notice that (8.3.2) agrees with (8.3.1) when r = 1 because

 

1, if β = a and 1 ≤ a ≤ g − 1,
1
= 1, if β = a − 1 and 2 ≤ a ≤ g,

a−β
0, if β 6∈ {a − 1, a} and 1 ≤ β ≤ g − 1.

CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

33

Induction on r applied to (8.3.2) now yields
(g−1)−(r−1)

H j (CΦi,a ) ∼
= χ(a ≤ g − 1)

M
β=1

i,β r−1
H j (CΦ′ )(a−β) ⊕ χ(2 ≤ a)
r

(g−1)−(r−1)

M

r−1

H j (CΦ′ )(a−1−β) .
i,β
r

β=1

The constraints χ(a ≤ g − 1) and χ(2 ≤ a) are redundant. Indeed, if g ≤ a, then
r−1 
β ≤ g − r =⇒ r ≤ g − β ≤ a − β =⇒ a−β
= 0,
and if a ≤ 1, then

1 ≤ β =⇒ a − 1 − β ≤ −1 =⇒
Thus,

r−1 
a−1−β = 0.

g−r
M
r−1
r−1
i,β
i,β (a−β
)
H j (CΦ′ )(a−1−β)
⊕
H j (CΦ′ )
r
r
β=1
β=1

i,a
H j (CΦ ) ∼
=

g−r
M

∼
=

g−r
M

β=1

r

H j (CΦ′ )(a−β) .
i,β
r

(b). Assertion (bi) is a special case of (a). Recall that Φ′g−1 : G′ ∗ → F ′ is a homomorphism,
G′ is a free module of rank one, and F ′ is a free module of rank f − g + 1. The complex
CΦi,1′ is the Koszul complex on a generating set for I1 (Φ′g−1 ) = Ig (Φ). If Ig (Φ) = R, then
g−1

CΦi,1′ is split exact. This is (bii). Otherwise, the hypothesis f − g + 1 ≤ grade Ig (Φ) ensures
g−1

i,1

that grade Ig (Φ) is generated by a regular sequence and therefore CΦ′

is a resolution of

g−1

i,1

H0 (CΦ′ ) = R/Ig (Φ). This is (biii).
g−1



Theorem 8.4 is the main result of the paper.
Theorem 8.4. Adopt Data 7.1. Let i and a be integers with 1 ≤ a ≤ g. Recall the complex
CΦi,a from Definition 7.2 and Observation 7.4. Assume that Ig (Φ) is a proper ideal of R with
f − g + 1 ≤ grade Ig (Φ).
(a) If length(CΦi,a ) = f − g + 1 and (CΦi,a ) j = 0 for j ≤ −1, then the following statements hold.
(i) The complex CΦi,a is acyclic.
(ii) The R-module H0 (CΦi,a ) is perfect of projective dimension f − g + 1.
i,a
(iii) The (R/Ig(Φ))-module H0 (CΦ ) is torsion-free.

i,a
g−1
(iv) If f − g + 2 ≤ grade Ig−1 (Φ), then the (R/Ig(Φ))-module H0 (CΦ ) has rank a−1
.
i,a
(b) If −1 ≤ i and f − t + 1 ≤ grade It (Φ) for all t with f + 1 − length(CΦ ) ≤ t ≤ g − 1, then
(i) the complex CΦi,a is acyclic,
f−g+1− j
(ii) H j (CΦf−g−i−1,g+1−a ) = ExtR
(H0 (CΦi,a ), R) for all j, and
f−g−i−1,g+1−a
(iii) H j (CΦ
) = 0 for 1 ≤ j.

34

ANDREW R. KUSTIN
i,a

(c) If −1 ≤ i, f − g + 2 ≤ length(CΦ ), and
i,a

for all t with f + 1 − length(CΦ ) ≤ t ≤ g − 1,

g−1
then H0 (CΦi,a ) is a torsion-free (R/Ig(Φ))-module of rank a−1
.

(8.4.1)

f − t + 2 ≤ grade It (Φ),

Remarks 8.4.2. (a) Recall from Lemma 8.3.bii that if Ig(Φ) = R, then CΦi,a is split exact.
(b) Observation 7.10 contains elementary facts about the length of the complexes CΦi,a . In
particular, the hypotheses of (a) are satisfied when
−1 ≤ i ≤ f − g,

or (i, a) = (f − g + 1, 1),

or

(i, a) = (−2, g).

(c) In the generic case (when Φ can be represented by a matrix of variables) all of the grade
hypotheses of Theorem 8.4 are automatically satisfied because
f − t + 2 ≤ (g − t + 1)(f − t + 1),

(d) The modules

i,a
H0 (CΦ )

whenever 1 ≤ t ≤ g − 1.

are recorded in Observation 7.11.

Proof. Throughout this proof, let C represent CΦi,a and ℓ and represent length(C ).
(ai). The complex C has the form
0 → Cf−g+1 → · · · → C1 → C0 → 0;
see Observation 7.10. Let p be a prime ideal of R with grade p ≤ f − g. Observe that
grade p ≤ f − g < f − g + 1 ≤ grade Ig(Φ) ≤ grade Ig−1 (Φ).
Thus, there is a (g − 1) × (g − 1) minor of Φ which is a unit in Rp and we may apply
Lemma 8.3.biii in order to conclude that Cp is acyclic. The acyclicity criterion (see, for
example, [2, 1.4.13]) now guarantees that C is acyclic.
(aii). We know from Observation 7.12 that Ig (Φ) ⊆ ann(H0 (C )); and therefore,
pdR H0 (C ) ≤ f − g + 1
≤ grade Ig (Φ)

by ai
by hypothesis

≤ grade ann(H0 (C ))
≤ pdR H0 (C )

by (2.9.1).

The proof of (aii) is complete; see 2.9, if necessary.
Assertion (aiii) is a consequence of Proposition 2.10.1.
(aiv). The R-module R/Ig (Φ) is perfect of projective dimension f − g + 1. (See, for example,
[10, Cor. 5.2], [26, Thm. 1]. or [3, 2.7].) Let p ∈ Spec R be an associated prime of R/Ig (Φ).
It follows that grade p = f − g +1 and Ig−1 (Φ) 6⊆ p. Thus, Corollary 8.3.biii may be applied to
(g−1)
i,a
Φp in order to conclude that H0 (C )p ∼
= H0 (R/Ig(Φ))pa−1 . The proof of (aiv) is complete;
Φ

see 2.10.

CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

35

(bi). We induct on ℓ. The base case, ℓ = f − g + 1, is established in (ai). We now study the
case with f − g + 2 ≤ ℓ. As in the proof of (ai) we apply the acyclicity criterion and prove
that Cp is acyclic for all prime ideals p of R with grade p < ℓ. Fix such a p. The hypotheses
of (b) with t = f + 1 − ℓ now ensure that
grade p < ℓ ≤ grade If+1−ℓ (Φ).
Thus, there is an (f + 1 − ℓ) × (f + 1 − ℓ) minor of Φ which is a unit in in Rp and, after
rearrangement,

 ′
Φf+1−ℓ
0
,
Φp =
0
Φ′′f+1−ℓ
as described in (8.2.1). Apply Corollary 8.3.a in order to conclude that

H j (C )p is a direct of suitably many copies of modules from the set
i,β
) | 1 ≤ β ≤ g − (f + 1 − ℓ)}.
{H j (CΦ′

(8.4.3)

f+1−ℓ

Observe that
f − t + 1 ≤ grade It (Φ) ≤ grade It (Φp ) = grade It−(f+1−ℓ) (Φ′f+1−ℓ )

for all t with f + 1 − ℓ ≤ t ≤ g − 1. Let
f′

g′

= f − (f + 1 − ℓ),

= g − (f + 1 − ℓ),

and t ′ = t − (f + 1 − ℓ).

We have shown that
f′ − t ′ + 1 ≤ grade It ′ (Φ′f+1−ℓ )

for all t ′ with 0 ≤ t ′ ≤ g′ − 1.
i,β

for each β with 1 ≤ β ≤ g′ . On the other
It follows that the hypotheses of (b) apply to CΦ′
f+1−ℓ
hand,
i,β

length(CΦ′

f+1−ℓ

) ≤ rank(the target of Φ′f+1−ℓ ) = f′ = f − (f + 1 − ℓ) = ℓ − 1.
i,β

By induction on ℓ, each CΦ′

f+1−ℓ

is acyclic; and therefore Cp is also acyclic by (8.4.3).

(bii) and (biii). Now that we know that C is a resolution of H0 (C ), assertion (bii) can be read
from Observation 7.9; and (biii) follows from (bii) because the grade f − g + 1 ideal Ig (Φ) is
contained in the annihilator of H0 (C ).
(c). We already know from (bi) that
(8.4.4)

C is a free resolution of H0 (C ) of length ℓ.

For each integer w, let Fw be the ideal in R generated by:
i,a

{x ∈ R | pdRx H0 (CΦ )x < w}.
Claim 8.4.5. If f + 1 − ℓ ≤ t ≤ g − 1, then It (Φ) ⊆ Ff−t+1 .

36

ANDREW R. KUSTIN

Proof of Claim 8.4.5. If ∆ is a t × t minor of Φ, then one can arrange the data so that

 ′
Φt 0
,
Φ∆ =
0 Φt′′

where Φt′′ is an isomorphism of free R∆ -modules of rank t as is described in Data 8.2. Apply
Corollary 8.3.a to see that
(8.4.6)

H j (C )∆ ∼
=

g−t
M

β=1

t

H j (CΦ′ )(a−β) ,
i,β
t

for all j.

i,β

Apply (8.4.4) to see that each CΦ′ which actually appears in (8.4.6) (that is, with
t
is also acyclic. Thus,

t 
a−β 6= 0)

i,β

pdR∆ H0 (C )∆ ≤ max{length(CΦ′ ) | 1 ≤ β ≤ g − t} ≤ rank(the target of Φt′ ) = f − t.
t

This completes the proof of Claim 8.4.5.
Combine hypothesis (8.4.1) and Claim 8.4.5 to see that
f+1−ℓ ≤ t

≤ g − 1 =⇒ (f − t + 1) + 1 = f − t + 2 ≤ grade It (Φ) ≤ grade Ff−t+1 .

Let w = f − t + 1. We have shown that
f−g+2 ≤ w ≤ ℓ

=⇒ w + 1 ≤ grade Fw .

Apply Proposition 2.10.1 to conclude that the R/Ig (Φ) module H0 (C ) is torsion-free.
We re-use the rank calculation of (aiv). If p ∈ AssR (R/Ig(Φ)), then
grade p = f − g + 1 < f − g + 3 ≤ grade Ig−1 (Φ);
hence, Corollary 8.3.biii may be applied to Φp , as was done in (aiv), to conclude that

g−1
rank H0 (C ) = a−1
.

The next result was promised in (1.0.7), and is our main motivation for writing the paper.

Corollary 8.5. Adopt Data 7.1. Let and i and a be integers with 1 ≤ a ≤ g. Recall the
complex CΦi,a from Definition 7.2 and Observation 7.4. If −1 ≤ i ≤ f − g, then
H j (CΦi,a ) = 0 for f − g + 2 − grade Ig (Φ) ≤ j.
Proof. Assertion 8.4.a may be applied in the generic case with the ring equal to the polynomial ring Z[{xi, j }] and the homomorphism given by a matrix of indeterminates. The present
assertion is a consequence of Proposition 2.11.2.

The next result was promised in (1.0.6).
Corollary 8.6. If k is a field, g ≤ f are positive integers, R is the polynomial ring
R = k[{xi, j | 1 ≤ j ≤ g, 1 ≤ i ≤ f}],

CANONICAL COMPLEXES ASSOCIATED TO A MATRIX

37

Φ : Rg → Rf is the generic map given by


x1,1 . . . x1,g
..  ,
 ...
.
xf,1 . . . xf,g
i,a

and M = H0 (CΦ ) for some i and a with −1 ≤ i ≤ f − g and 1 ≤ a ≤ g, then annR (M) = Ig (Φ)

g−1
and M is a maximal Cohen-Macaulay (R/Ig(Φ))-module of rank a−1
.

Proof. The ring R is Cohen-Macaulay and the R-module M is perfect (by Theorem 8.4.a);
hence M is a Cohen-Macaulay R-module. If p is in AssR M, then Ig (Φ) ⊆ ann(M) ⊆ p (see
Observation 7.12) and f − g + 1 = grade p (by [2, 1.4.15]). On the other hand, Ig (Φ) is
already a prime ideal of R of grade f − g + 1. It follows that Ig(Φ) = p, Ig (Φ) = annR M,
SuppR (M) = SuppR (R/Ig (Φ)), and AssR M = {Ig (Φ)}.

Remark 8.7. A module over a local Artinian ring has rank only if it is free. Example 7.7
shows that the hypothesis f − g + 2 ≤ grade Ig−1 (Φ) is needed in Theorem 8.4.aiv. Indeed, if
R = k[x, y], for some field k, and


x 0 0
 y x 0

Φ=
0 y x  ,
0 0 y

then H0 (CΦ0,2 ) is an R/I3 (Φ)-module which does not have any rank. It is easy to see that the
0,2
0,2
length of H0 (CΦ ) is twice the length of R/I3 (Φ) = k[x, y]/(x, y)3 ; however, H0 (CΦ ) has
the wrong Betti numbers, as a module over R, to be a free R/I3 (Φ)-module.
R EFERENCES
[1] C. Bivià-Ausina, The integral closure of modules, Buchsbaum-Rim multiplicities and Newton polyhedra,
J. London Math. Soc. (2) 69 (2004), 407–427.
[2] W. Bruns and J. Herzog, Cohen-Macaulay Rings, Cambridge Studies in Advanced Mathematics 39, Cambridge University Press, Cambridge, 1993.
[3] W. Bruns and U. Vetter, Determinantal rings, Lecture Notes in Mathematics, 1327 Springer-Verlag,
Berlin, 1988.
[4] D. Buchsbaum and D. Eisenbud, Generic free resolutions and a family of generically perfect ideals,
Advances in Math 18 (1975), 245–301.
[5] D. Buchsbaum and D. Eisenbud, Algebra structures for finite free resolutions, and some structure theorems for ideals of codimension 3, Amer. J. Math. 99 (1977), 447–485.
[6] D. Buchsbaum and D. Rim, A generalized Koszul complex, Bull. Amer. Math. Soc. 69 (1963), 382–385.
[7] D. Buchsbaum and D. Rim, A generalized Koszul complex. II. Depth and multiplicity, Trans. Amer. Math.
Soc. 111 (1964), 197–224.
[8] D. Buchsbaum and D. Rim, A generalized Koszul complex. III. A remark on generic acyclicity, Proc.
Amer. Math. Soc. 16 (1965), 555–558.
[9] A. Corso, W. Vasconcelos, and R. Villarreal, Generic Gaussian ideals, J. Pure Appl. Algebra 125 (1998),
117–127.
[10] J. Eagon, Ideals generated by the subdeterminants of a matrix, Thesis, The University of Chicago, 1961.

38

ANDREW R. KUSTIN

[11] J. Eagon and D. G. Northcott, Ideals defined by matrices and a certain complex associated with them,
Proc. Roy. Soc. Ser. A 269 (1962) 188–204.
[12] J. Eagon and D. G. Northcott, Generically acyclic complexes and generically perfect ideals, Proc. Roy.
Soc. Ser. A 299 (1967), 147-172.
[13] D. Eisenbud Commutative algebra with a view toward algebraic geometry, Graduate Texts in Mathematics 150, Springer-Verlag, New York, 1995.
[14] W. Fulton and J. Harris, Representation theory. A first course, Graduate Texts in Mathematics, 129
Springer-Verlag, New York, 1991.
[15] T. Gaffney, Multiplicities and equisingularity of ICIS germs, Invent. Math. 123 (1996), 209–220.
[16] F. Hayasaka and E. Hyry, On the Buchsbaum-Rim function of a parameter module, J. Algebra 327 (2011),
307–315.
[17] M. Hochster, Generically perfect modules are strongly generically perfect, Proc. London Math. Soc. (3)
23 (1971), 477–488.
[18] M. Hochster, Grade-sensitive modules and perfect modules, Proc. London Math. Soc. (3) 29 (1974),
55–76.
[19] M. Hochster, Topics in the homological theory of modules over commutative rings, CBMS Regional Conf.
Ser. in Math., no. 24, Amer. Math. Soc., Providence, RI, 1975.
[20] D. Kirby, A sequence of complexes associated with a matrix, J. London Math. Soc. (2) 7 (1974), 523–530.
[21] S. Kleiman and A. Thorup, A geometric theory of the Buchsbaum-Rim multiplicity, J. Algebra 167 (1994),
168–231.
[22] A. Kustin, Ideals associated to two sequences and a matrix, Comm. Algebra 23 (1995), 1047–1083.
[23] A. Kustin, C. Polini, and B. Ulrich, A matrix of linear forms which is annihilated by a vector of indeterminates, arXiv.
[24] A. Kustin, C. Polini, and B. Ulrich, The equations defining blowup algebras of height three Gorenstein
ideals, arXiv.
[25] A. Kustin and B. Ulrich, A family of complexes associated to an almost alternating map, with applications
to residual intersections, Mem. Amer. Math. Soc. 95 (1992), no. 461.
[26] D. G. Northcott, Some remarks on the theory of ideals defined by matrices Quart. J. Math. Oxford Ser. (2)
14 (1963) 193–204.
[27] D. G. Northcott, Additional properties of generically acyclic projective complexes, Quart. J. Math. Oxford
Ser. (2) 20 (1969), 65–80.
[28] D. G. Northcott, Grade sensitivity and generic perfection, Proc. London Math. Soc. (3) 20 (1970), 597–
618.
[29] B. Ulrich and J. Validashti, A criterion for integral dependence of modules, Math. Res. Lett. 15 (2008),
149–162.
[30] J. Weyman Cohomology of vector bundles and syzygies. Cambridge Tracts in Mathematics 149, Cambridge University Press, Cambridge, 2003.
D EPARTMENT OF M ATHEMATICS , U NIVERSITY
E-mail address: kustin@math.sc.edu

OF

S OUTH C AROLINA , C OLUMBIA , SC 29208

