arXiv:1411.0151v2 [math.AC] 16 Jan 2016

THE SYZYGIES OF SOME THICKENINGS OF DETERMINANTAL VARIETIES
CLAUDIU RAICU AND JERZY WEYMAN
Abstract. The vector space of m × n complex matrices (m ≥ n) admits a natural action of the group
GL = GLm × GLn via row and column operations. For positive integers a, b, we consider the ideal Ia×b
defined as the smallest GL–equivariant ideal containing the b-th powers of the a × a minors of the generic
m × n matrix. We compute the syzygies of the ideals Ia×b for all a, b, together with their GL–equivariant
structure, generalizing earlier results of Lascoux for the ideals of minors (b = 1), and of Akin–Buchsbaum–
Weyman for the powers of the ideals of maximal minors (a = n). Our methods rely on a nice connection
between commutative algebra and the representation theory of the superalgebra gl(m|n), as well as on our
previous calculation of Ext modules done in the context of describing local cohomology with determinantal
support. Our results constitute an important ingredient in the proof by Nagpal–Sam–Snowden of the first
non-trivial Noetherianity results for twisted commutative algebras which are not generated in degree one.

1. Introduction
For positive integers m ≥ n, we consider the ring S = Sym(Cm ⊗ Cn )(= C[zij ]) of polynomial functions
on the vector space of m × n matrices with entries in the complex numbers. The ring S admits an action
of the group GL = GLm (C) × GLn (C), and it decomposes into irreducible GL–representations according to
Cauchy’s formula:
M
S=
Sλ C m ⊗ Sλ C n ,
λ=(λ1 ≥λ2 ≥···≥λn ≥0)

where Sλ denotes the Schur functor associated to a partition λ. For each λ, we let Iλ denote the ideal in
S generated by the irreducible representation Sλ Cm ⊗ Sλ Cn . Every ideal I ⊂ S which is preserved by the
GL-action is a sum of ideals Iλ : such ideals I have been classified and their geometry has been studied by
De Concini, Eisenbud and Procesi in the 80s [dCEP80]. Nevertheless, their syzygies are still mysterious,
and in particular the following problem remains unsolved:
Problem 1.1. Describe the syzygies of the ideals Iλ , together with their GL-equivariant structure.
We expect that a complete solution to this problem will be intimately related to the representation theory
of the superalgebra gl(m|n) [Kac77]. The connection is explained
V as follows: the universal enveloping algebra
of gl(m|n) contains as a subalgebra the exterior algebra Λ = (Cm ⊗ Cn ). Every gl(m|n) module P can
then be thought of as a Λ-module, which by the BGG correspondence [Eis05, Chapter 7] gives rise to a linear
complex over the polynomial ring S. When P is a Kac module, the corresponding complex is just a Koszul
complex, and it is exact. The composition factors of Kac modules however give rise to complexes which are
typically no longer exact, and in many cases their homology groups are closely related to the ideals Iλ . There
is a significant literature related to the character theory of gl(m|n)-modules [Ser96, Bru03], and in particular
to Kac modules [HKVdJ92,SHK00,Su06], and it is our hope that this paper will provide sufficient motivation
Date: January 19, 2016.
2010 Mathematics Subject Classification. Primary 13D02, 14M12, 17B10.
Key words and phrases. Syzygies, determinantal varieties, permanents, general linear superalgebra.
1

2

CLAUDIU RAICU AND JERZY WEYMAN

for a more systematic study of the corresponding complexes from a commutative algebra perspective. The
connection with commutative algebra was introduced in work of Akin and Weyman [AW97, AW07]. We will
use their work together with our previous calculation of Ext modules [RW14] in order to answer Problem 1.1
for a large class of ideals Iλ . This class is large enough to provide an interesting application to the study of
Noetherianity properties for twisted commutative algebras [NSS].
The goal of our paper is to give a quick solution to Problem 1.1 in the case when λ is a rectangular
partition, which means that there exist positive integers a, b such that λ1 = · · · = λa = b and λi = 0 for i > a
(alternatively, the Young diagram associated to λ is the a × b rectangle). In this case we write λ = a × b
and Iλ = Ia×b . One can think of Ia×b as the smallest GL-equivariant ideal which contains the b-th powers
of the a × a minors of the generic matrix of indeterminates Z = (zij ). What distinguishes the ideals Ia×b
among all the Iλ ’s is that they define a scheme without embedded components, so from a geometric point
of view they form the simplest class of GL-equivariant ideals after the reduced (and prime) ideals of minors.
Examples of ideals Ia×b include:
• Ia×1 = Ia , the ideal generated by the a × a minors of Z.
• In×b = Inb , the b-th power of the ideal In of maximal minors of Z.
• I1×b , the ideal of b × b permanents of Z: here by a b × b permanent of Z we mean the permanent of
a b × b matrix obtained by selecting b rows and b columns of Z, not necessarily distinct; for instance,
when m = n = 2 we have:
2
2
2
2
I1×2 = (z11
, z12
, z21
, z22
, z11 z12 , z11 z21 , z12 z22 , z21 z22 , z11 z22 + z12 z21 ).

(1.1)

To state our main result, we need to introduce some notation. We write RepGL for the representation
ring of the group GL, and for a given GL-representation M , we let [M ] ∈ RepGL denote its class in the
representation ring. We let
Bi,j (Ia×b ) = TorSi (Ia×b , C)j
(1.2)
denote the vector space of i-syzygies of degree j of Ia×b . We encode the syzygies of Ia×b into the equivariant
Betti polynomial
X
[Bi,j (Ia×b )] · wi · z j ∈ RepGL [z, w],
(1.3)
Ba×b (z, w) =
i,j∈Z

so the variable z keeps track of the internal degree, while w keeps track of the homological degree.
If r, s are positive integers, α is a partition with at most r parts (αi = 0 for i > r) and β is a partition
with parts of size at most s (β1 ≤ s), we construct the partition
λ(r, s; α, β) = (s + α1 , · · · , s + αr , β1 , β2 , · · · ).

(1.4)

This is easiest to visualize in terms of Young diagrams: one starts with an r × s rectangle, and attach α to
the right and β to the bottom of the rectangle. If r = 4, s = 5, α = (4, 2, 1), β = (3, 2), then

λ(r, s; α, β) =

(1.5)

We write µ′ for the conjugate partition to µ (obtained by transposing the Young diagram of µ) and consider
the polynomials hr×s ∈ RepGL [z, w] given by
X
hr×s (z, w) =
[Sλ(r,s;α,β) Cm ⊗ Sλ(r,s;β ′ ,α′ ) Cn ] · z r·s+|α|+|β| · w|α|+|β| ,
(1.6)
α,β

THE SYZYGIES OF SOME THICKENINGS OF DETERMINANTAL VARIETIES

3

where the sum is taken over partitions α, β such that α is contained in the min(r, s) × (n − r) rectangle
min(r, s) rectangle (β1 ≤ min(r, s) and
(α1 ≤ n − r, α′1 ≤ min(r, s)) and β is contained in the (m − r) ×
r+s
′
β1 ≤ m − r). We also need to introduce the Gauss polynomial r w ∈ Z[w],


X
r+s
=
wt1 +···+tr ,
(1.7)
r
w
s≥t1 ≥···≥tr ≥0

which is the generating function for partitions contained inside the r × s rectangle. Note that r+s
r w 2 is the
Poincaré polynomial of the Grassmannian
of
r-dimensional
subspaces
of
an
(r
+
s)-dimensional
vector
space,

r+s
and also that r+s
=
is
the
usual
binomial
coefficient.
Our
main
result
is:
r 1
r
Theorem on Syzygies of Rectangular Ideals (Theorem 3.1). The equivariant Betti polynomial of the
ideal Ia×b is


n−a
X
q + min(a, b) − 1
q 2 +2q
h(a+q)×(b+q) · w
·
Ba×b (z, w) =
q
w2
q=0

When b = 1, this recovers the result of Lascoux on syzygies of determinantal varieties [Las78]. When
a = n, we obtain the syzygies of the powers of the ideals of maximal minors, as originally computed by
Akin–Buchsbaum–Weyman [ABW81].
Example 1.2. When m = n = 2, the ideal I1×2 from (1.1) has the equivariant Betti polynomial
B1×2 (z, w) = h1×2 + h2×3 · w3 ,
where
h1×2 = [Sym2 C2 ⊗ Sym2 C2 ] · z 2 + ([Sym3 C2 ⊗ S2,1 C2 ] + [S2,1 C2 ⊗ Sym3 C2 ]) · z 3 · w + [S3,1 C2 ⊗ S3,1 C2 ] · z 4 · w2 ,
and
h2×3 = [S3,3 C2 ⊗ S3,3 C2 ] · z 6 .
The equivariant Betti table (where the (i, j)-entry is [Bi,i+j (I1×2 )] ∈ RepGL , represented pictorially in terms
of Young diagrams; as in (1.5) we use empty boxes for the r ×s rectangle inside λ(r, s; α, β) and λ(r, s; β ′ , α′ ),
green boxes for the partitions α, α′ and blue boxes for the partition β, β ′ ) then looks like

⊗

−

⊗

+

⊗

−

⊗

−

−

⊗

Taking dimensions of representations (dim(Symr C2 ) = r + 1, dim(Sr,1 C2 ) = r, dim(Sr,r C2 ) = 1), we get the
usual Betti table, which can be verified for instance using Macaulay2 [GS]:
9 16 9 −
− − − 1

4

CLAUDIU RAICU AND JERZY WEYMAN

An immediate corollary of Theorem 3.1 is a uniform boundedness result for the syzygies of the ideals
Ia×b : it is easy to see that for fixed i, the coefficient of wi z j in Ba×b (z, w) is zero when j is large enough,
independent on the size m × n of our matrices. This is translated in [NSS] into the fact that over the
bivariate twisted commutative algebra S = Sym(C∞ ⊗ C∞ ), the syzygy modules TorSi (Ia×b , C) have finite
length, which is then used to derive a similar conclusion for the syzygy modules of any finitely generated
S-module. In the slightly different setup of ∆-modules, a similar boundedness result for the syzygies of
Segre embeddings [Sno13, Prop. 5.1] has been used by Snowden to prove more refined finiteness properties
for the said syzygies.
The proof of Theorem 3.1 is based on the following two ingredients:
• Joint work of the second author with Akin [AW97, AW07]: they introduce and study a family
of linear complexes X•r×s , arising via the BGG correspondence from certain simple modules over
the superalgebra gl(m|n). The homology of these linear complexes consists entirely of direct sums
of ideals I(r+q)×(s+q) . The polynomials hr×s (z, w) introduced in (1.6) precisely encode the terms
of these linear complexes, or equivalently they encode the characters of the corresponding simple
gl(m|n)-modules.
• The recent work of the authors on computing local cohomology with support in determinantal ideals:
in [RW14] we compute all the modules Ext•S (Ia×b , S), together with their GL-equivariant structure.
Based on these two ingredients, our strategy is as follows. We obtain a non-minimal resolution of Ia×b
via an iterated mapping cone construction involving the linear complexes X (a+q)×(b+q) , q ≥ 0. We then
use the GL-equivariance to conclude that whenever cancellations occur for some of the terms of an X r×s ,
they must in fact occur for all the terms of X r×s . This implies that the minimal resolution of Ia×b is
also built out of copies of X (a+q)×(b+q) , and it remains to determine the number of such copies, as well as
their homological shifts. This is done by dualizing the minimal resolution and using the GL-equivariant
description of Ext•S (Ia×b , S). We elaborate on this argument in Section 3, after we establish some notational
conventions in Section 2, and collect some preliminary results on functoriality of syzygies, on the complexes
X r×s , and on the computation of Ext modules.
2. Preliminaries
2.1. Representation Theory [FH91], [Wey03, Ch. 2]. If W is a complex vector space of dimension
dim(W ) = n, a choice of basis determines an isomorphism between GL(W ) and the group GLn (C) of
n × n invertible matrices. We will refer to n–tuples λ = (λ1 , · · · , λn ) ∈ Zn as weights of the corresponding
maximal torus of diagonal matrices. We say that λ is a dominant weight if λ1 ≥ λ2 ≥ · · · ≥ λn . Irreducible
representations of GL(W ) are in one-to-one correspondence with dominant weights λ. We denote by Sλ W
the irreducible representation associated to λ. We write |λ| for the total size λ1 + · · · + λn of λ.
When λ is a dominant weight with λn ≥ 0, we say that λ is a partition of r = |λ|. We will often represent
a partition via its associated Young diagram which consists of left–justified rows of boxes, with λi boxes in
the i–th row: for example, the Young diagram associated to λ = (5, 2, 1) is

Note that when we’re dealing with partitions we often omit the trailing zeros. We define the length of a
partition λ to be the number of its non-zero parts, and denote it by l(λ). If l(λ) > dim(W ) then Sλ W = 0.
The transpose λ′ of a partition λ is obtained by transposing the corresponding Young diagram. For the

THE SYZYGIES OF SOME THICKENINGS OF DETERMINANTAL VARIETIES

5

example above, λ′ = (3, 2, 1, 1, 1), l(λ) = 3 and l(λ′ ) = 5. If µ is another partition, we write µ ⊂ λ to
indicate that µi ≤ λi for all i, and say that µ is contained in λ.
For a pair of finite dimensional vector spaces F, G, we write GL(F, G) (or simply GL when F, G are
understood) for the group GL(F ) × GL(G). If M is a GL(F, G)-representation, we write
hSλ F ⊗ Sµ G, M i
for the multiplicity of the irreducible GL-representation Sλ F ⊗ Sµ G inside M . If M • is a cohomologically
graded module, then we record the occurrences of Sλ F ⊗ Sµ G inside the graded components of M • by
X
Sλ F ⊗ Sµ G, M i · wi ,
(2.1)
hSλ F ⊗ Sµ G, M • i =
i∈Z

where the variable w encodes the cohomological degree (note a slight difference from (1.3), where w was
used for homological degree).
2.2. Functoriality of syzygies. It will be useful to think of the polynomial ring S = Sym(Cm ⊗ Cn ) as a
functor S which assigns to a pair (F, G) of finite dimensional vector spaces the polynomial ring S(F, G) =
Sym(F ⊗G). For each a, b we obtain functors Ia×b which assign to (F, G) the corresponding ideal Ia×b (F, G) ⊂
a×b
S(F, G). The syzygy modules in (1.2) become functors Bi,j
(−, −), defined by
S(F,G)

a×b
Bi,j
(F, G) = Tori

(Ia×b (F, G), C)j .

a×b
In fact, each Bi,j
is a polynomial functor in the sense of [Mac95, Ch. I, Appendix A]. As such they decompose
into a (usually infinite) direct sum indexed by pairs of partitions
L
M
a×b
(2.2)
Bi,j
(−, −) =
(Sλ (−) ⊗ Sµ (−)) mλ,µ .
|λ|=|µ|=j

a×b
When evaluating Bi,j
on a pair of vector spaces (F, G), the only terms on the right hand side of (2.2) that
survive are the ones for which l(λ) ≤ dim(F ) and l(µ) ≤ dim(G). The multiplicities mλ,µ for such pairs
a×b
(λ, µ) are then determined by the GL(F, G)-equivariant structure of Bi,j
(F, G). In particular, knowing the
m
n
GL-equivariant structure for the syzygies of Ia×b (C , C ) determines the syzygies of Ia×b (F, G) for all pairs
of vector spaces (F, G) with dim(F ) ≤ m, dim(G) ≤ n.

2.3. The linear complexes X r×s of Akin and Weyman. In [AW97,AW07], Akin and the second author
construct linear complexes X r×s = X•r×s (F, G) which depend functorially on a pair of finite dimensional
vector spaces (F, G). The terms in the complex are given (using notation (1.4)) by




Xir×s (F, G) = 


M

|α|+|β|=i
α′1 ,β1 ≤min(r,s)



Sλ(r,s;α,β) F ⊗ Sλ(r,s;β ′ ,α′ ) G ⊗ S(F, G).


(2.3)

Note that since Sλ W = 0 when l(λ) > dim(W ), only finitely many of the terms Xir×s (F, G) in (2.3) are
non-zero for a given pair (F, G). More precisely, we must have α1 ≤ dim(G) − r, β1′ ≤ dim(F ) − r, so

6

CLAUDIU RAICU AND JERZY WEYMAN

|α| ≤ min(r, s) · (dim(G) − r), |β| ≤ min(r, s) · (dim(F ) − r), i ≤ min(r, s) · (dim(F ) + dim(G) − 2r). We can
rewrite (1.6) as
min(r,s)·(m+n−2·r)
X
hr×s (z, w) =
[Xir×s (Cm , Cn )r·s+i ] · z r·s+i · wi ,
i=0

where Xir×s (Cm , Cn )r·s+i is the vector space of minimal generators of the free module Xir×s (Cm , Cn ). The
(a+q)×(1+q)
(Cm , Cn ) can be identified with the q-th linear strand of the Lascoux resolution of the
complex X•
ideal of a × a minors of the generic m × n matrix. In this paper we’ll see that more generally, the complexes
X (a+q)×(b+q) , q ≥ 0, form the building blocks of the minimal resolutions of the ideals Ia×b .
The complex X r×s = X•r×s (Cm , Cn ) corresponds via BGG to the irreducible gl(m|n)-module of lowest
weight (sr , 0m−r |sr , 0n−r ) (thought of as a module over the exterior algebra). In [AW07] the homology of
the complexes X r×s is shown to consist of direct sums of the rectangular ideals I(r+q)×(s+q) . To state this
more precisely, we need to introduce some notation. We denote by P (r, s; i) the number of partitions of i
contained in the r × s rectangle. The Gauss polynomial defined in (1.7) is then


r·s
X
r+s
P (r, s; i)wi .
=
r
w
i=0

Theorem 2.1 ([AW07, Thm. 2]). With the above notation, the homology groups of X•r×s are
(1) H2j+1 (X•r×s ) = 0;
j
M
⊕P (q,min(r,s)−1;j−q)
r×s
.
I(r+q)×(s+q)
(2) H2j (X• ) =
q=0

In [AW07] the projective dimension of the ideals Ia×b is calculated. The calculation of Ext modules in
[RW14, Thm. 4.3] in fact allows one to compute the projective dimension and regularity for all the ideals Iλ ,
i.e the shape of their minimal resolution. More work is however necessary in order to completely determine
the syzygies.
2.4. The Ext modules Ext•S (Ia×b , S). In [RW14, Theorem 4.3] we determined the decomposition into
irreducible GL-representations for all the modules Ext•S (Iλ , S). In the case when λ is a rectangular partition,
we obtain the following consequence which will be useful for our calculation of syzygies.
Theorem 2.2. Assume that m = n and write q = n − a, S = S(Cn , Cn ), Ia×b = Ia×b (Cn , Cn ), GL =
GL(Cn , Cn ). The occurrences of the irreducible GL–representation S(−b−q)n Cn ⊗ S(−b−q)n Cn inside
Ext•S (Ia×b , S) (see (2.1)) are encoded as


q + min(a, b) − 1
2
S(−b−q)n Cn ⊗ S(−b−q)n Cn , Ext•S (Ia×b , S) = wq +2q ·
.
q
w2
3. The syzygies of the ideals Ia×b
We now proceed to state and prove the main result of our paper:
Theorem 3.1. The equivariant Betti polynomial of Ia×b ⊂ Sym(Cm ⊗ Cn ), m ≥ n, is


n−a
X
q + min(a, b) − 1
q 2 +2q
h(a+q)×(b+q) · w
·
,
Ba×b (z, w) =
q
w2
q=0
where hr×s = hr×s (z, w) is as defined in (1.6).

THE SYZYGIES OF SOME THICKENINGS OF DETERMINANTAL VARIETIES

7

We prove Theorem 3.1 in a few stages. We first note that by functoriality (Section 2.2) it is enough to
prove the theorem in the case m = n, which we assume for the remainder of this section. For brevity, we will
say that a complex Y is filtered by the linear complexes X i if Y admits a filtration by subcomplexes in such
a way that the subquotients are isomorphic to X i . Equivalently, Y can be built out of X i via an iterated
mapping cone construction. We have
Proposition 3.2. The ideal Ia×b has a (not necessarily minimal) free GL-equivariant resolution over S,
denoted Y a×b , which is filtered by the complexes X (a+q)×(b+q) .
Proof. We prove by descending induction on q that I(a+q)×(b+q) admits a (not necessarily minimal) resolution
′
′
Y (a+q)×(b+q) which is filtered by complexes X (a+q )×(b+q ) with q ′ ≥ q. If q = n − a then I(a+q)×(b+q) =
In×(b+n−a) coincides with X n×(b+n−a) : they are both isomorphic to a free module of rank one, generated
by the (b + n − a)-th power of the determinant of the generic n × n matrix. Assuming now that the result
is true for the ideals I(a+q)×(b+q) with q > q0 , we’ll prove it for q = q0 to finish the inductive argument.
By Theorem 2.1 the higher homology of the linear complex X (a+q0 )×(b+q0 ) consists of direct sums of ideals
I(a+q)×(b+q) , q > q0 , and H0 (X (a+q0 )×(b+q0 ) ) = I(a+q0 )×(b+q0 ) . We can therefore construct a resolution
Y (a+q0 )×(b+q0 ) of I(a+q0 )×(b+q0 ) as a mapping cone of the maps from the complexes Y (a+q)×(b+q) , q > q0 , to
the complex X (a+q0 )×(b+q0 ) that cancel its higher homology.

Let Y a×b be a non-minimal GL-equivariant resolution of the ideal Ia×b as in Proposition 3.2. We can
minimize Y a×b by making appropriate cancellations. Notice that since the generators of the free modules
′
′
appearing in X (a+q)×(b+q) and X (a+q )×(b+q ) don’t share isomorphic irreducible GL-subrepresentations for
q 6= q ′ , the only cancellations that can occur are between the terms in various copies of the same X (a+q)×(b+q) .
Lemma 3.3. Any GL(F, G)-equivariant endomorphism of X•r×s (F, G) is a multiple of the identity.
Proof. Let ψ denote a GL-equivariant endomorphism of X r×s , and write ψi for its component
in homological
L
degree i. By GL-equivariance and using the decomposition (2.3), we have ψi = α,β ψα,β , where ψα,β is
r×s
generated by the irreducible representation Sλ(r,s;α,β)F ⊗
the restriction of ψi to the free submodule Xα,β
Sλ(r,s;β ′ ,α′ ) G. Such an endomorphism is necessarily a multiple of the identity. Writing ψα,β = ·cα,β , it suffices
to show that all cα,β are the same. We prove this by induction on i = |α| + |β|.
Consider (α, β) with i = |α| + |β| > 0, and consider a pair (α, β) with |α| + |β| = i − 1, such that the
r×s
restriction of the differential ∂i : Xir×s → Xi−1
to
∂

i
r×s
r×s
Xα,β
−→
Xα,β

is non-zero: such a pair exists since otherwise Sλ(r,s;α,β)F ⊗ Sλ(r,s;β ′ ,α′ ) G would contribute to the homology of
X•r×s (note that this representation is not a coboundary, since the complex X•r×s is minimal), which would
contradict Theorem 2.1. Since ψ commutes with the differentials, we have a commutative diagram
r×s
Xα,β

∂i

/ X r×s
α,β

·cα,β

·cα,β


r×s
Xα,β

∂i


/ X r×s
α,β

Since ∂i 6= 0, it follows that cα,β = cα,β , and we conclude by induction.



8

CLAUDIU RAICU AND JERZY WEYMAN

The preceding discussion implies the following
Corollary 3.4. The minimal resolution of Ia×b is filtered by the complexes X (a+q)×(b+q) , q ≥ 0. In particq
ular, there exist polynomials Ma×b
(w) which account for the multiplicities of the complexes X (a+q)×(b+q) in
the minimal resolution of Ia×b , as well as for their homological shifts, i.e.
Ba×b (z, w) =

n−a
X

q
h(a+q)×(b+q) · Ma×b
(w).

q=0

Proof. By Proposition 3.2, Ia×b admits a non-minimal resolution Y a×b , filtered by the complexes X (a+q)×(b+q) .
To get to the minimal resolution of Ia×b , one must perform appropriate cancellations, which can only occur
between copies of the same X (a+q)×(b+q) . By Lemma 3.3, such cancellations occur either for all the terms
in X (a+q)×(b+q) , or for none. This shows that the minimal resolution of Ia×b is filtered by (possibly fewer)
copies of X (a+q)×(b+q) , from which the remaining part of the conclusion follows formally.

We are now ready to prove the main result of the paper:
q
Proof of Theorem 3.1. It remains to calculate the polynomials Ma×b
(w). We fix q and shrink n if necessary
(a+q)×(b+q)
n×(b+q)
to assume that n = a + q (see Section 2.2), so X
=X
consists of a single free module,
generated by the irreducible GL-representation S(b+q)n Cn ⊗ S(b+q)n Cn . Dualizing the minimal resolution Y
of Ia×b and computing the cohomology Ext•S (Ia×b , S) of the resulting complex Y ∨ , we get

(a) each occurrence of X n×(b+q) in Y yields a copy of S(−b−q)n Cn ⊗ S(−b−q)n Cn in Ext•S (Ia×b , S);
(b) the only occurrences of S(−b−q)n Cn ⊗ S(−b−q)n Cn inside Ext•S (Ia×b , S) arise in this way.
To prove (a), note that there are no non-zero maps going into the free module X n×(b+q) , so its dual
HomS (X n×(b+q) , S) will consists entirely of cocycles in Y ∨ . Since Y ∨ is minimal, the space S(−b−q)n Cn ⊗
S(−b−q)n Cn of minimal generators of (X n×(b+q) )∨ = HomS (X n×(b+q) , S) contains no coboundaries, so (a)
follows. If (b) failed, one could find a free submodule M ∗ ⊗ S in Y ∨ , containing S(−b−q)n Cn ⊗ S(−b−q)n Cn ,
where M is an irreducible GL-representation appearing as a subspace of minimal generators in some com′
′
plex X (a+q )×(b+q ) , q ′ < q. The condition S(−b−q)n Cn ⊗ S(−b−q)n Cn ⊂ M ∗ ⊗ S implies that M appears as
a subrepresentation of S(b+q)n Cn ⊗ S(b+q)n Cn ⊗ S. This can only happen if M = Sλ Cn ⊗ Sµ Cn , where λ, µ
are partitions containing the n × (b + q) rectangle. By (1.4), M can only occur inside X n×(b+q) .
It follows from (a) and (b) that there is a one-to-one correspondence between occurrences of X n×(b+q)
inside Y and those of S(−b−q)n Cn ⊗ S(−b−q)n Cn inside Ext•S (Ia×b , S), and moreover this correspondence
replaces homological shifts with cohomological shifts. We get (see (2.1) and the remark following it) that


q + min(a, b) − 1
T hm. 2.2 q 2 +2q
q
n
n
•
=
w
·
Ma×b (w) = S(−b−q)n C ⊗ S(−b−q)n C , ExtS (Ia×b , S)
.
q
w2
This concludes the proof of Theorem 3.1.


Acknowledgments

This work was initiated while we were visiting the Mathematical Sciences Research Institute, for whose
hospitality we are grateful. Experiments with the computer algebra software Macaulay2 [GS] have provided numerous valuable insights. Raicu acknowledges the support of NSF grant DMS-1458715. Weyman
acknowledges the support of the Alexander von Humboldt Foundation and of NSF grant DMS-1400740.

THE SYZYGIES OF SOME THICKENINGS OF DETERMINANTAL VARIETIES

9

References
[ABW81] Kaan Akin, David A. Buchsbaum, and Jerzy Weyman, Resolutions of determinantal ideals: the submaximal minors,
Adv. in Math. 39 (1981), no. 1, 1–30, DOI 10.1016/0001-8708(81)90055-4. MR605350 (82h:13011)
[AW97] Kaan Akin and Jerzy Weyman, Minimal Free Resolutions of Determinantal Ideals and Irreducible Representations
of the Lie Superalgebra gl(m|n), J. of Algebra 197 (1997), 559-583.
[AW07]
, Primary ideals associated to liear strands of Lascoux’s resolution and syzygies of the corresponding irreducible representations of the Superalgebra gl(m|n), J. of Algebra 310 (2007), 461-490.
[Bru03] Jonathan Brundan, Kazhdan-Lusztig polynomials and character formulae for the Lie superalgebra gl(m|n), J. Amer.
Math. Soc. 16 (2003), no. 1, 185–231, DOI 10.1090/S0894-0347-02-00408-3. MR1937204 (2003k:17007)
[dCEP80] C. de Concini, David Eisenbud, and C. Procesi, Young diagrams and determinantal varieties, Invent. Math. 56
(1980), no. 2, 129–165, DOI 10.1007/BF01392548. MR558865 (81m:14034)
[Eis05] David Eisenbud, The geometry of syzygies, Graduate Texts in Mathematics, vol. 229, Springer-Verlag, New York,
2005. A second course in commutative algebra and algebraic geometry. MR2103875 (2005h:13021)
[FH91] William Fulton and Joe Harris, Representation theory, Graduate Texts in Mathematics, vol. 129, Springer-Verlag,
New York, 1991. A first course; Readings in Mathematics. MR1153249 (93a:20069)
[HKVdJ92] J. W. B. Hughes, R. C. King, and J. Van der Jeugt, On the composition factors of Kac modules for the Lie
superalgebras sl(m/n), J. Math. Phys. 33 (1992), no. 2, 470–491, DOI 10.1063/1.529782. MR1145343 (93a:17003)
[GS] Daniel R. Grayson and Michael E. Stillman, Macaulay 2, a software system for research in algebraic geometry,
Available at http://www.math.uiuc.edu/Macaulay2/.
[Kac77] V. G. Kac, Lie superalgebras, Advances in Math. 26 (1977), no. 1, 8–96. MR0486011 (58 #5803)
[Las78] Alain Lascoux, Syzygies des variétés déterminantales, Adv. in Math. 30 (1978), no. 3, 202–237, DOI 10.1016/00018708(78)90037-3 (French). MR520233 (80j:14043)
[Mac95] I. G. Macdonald, Symmetric functions and Hall polynomials, 2nd ed., Oxford Mathematical Monographs, The
Clarendon Press Oxford University Press, New York, 1995. With contributions by A. Zelevinsky; Oxford Science
Publications. MR1354144 (96h:05207)
[NSS] Rohit Nagpal, Steven Sam, and Andrew Snowden, Notherianity of some degree two TCA’s, Selecta Math. (N.S.),
DOI 10.1007/s00029-015-0205-y, (to appear in print). Available at arXiv:1501.06925.
[RW14] Claudiu Raicu and Jerzy Weyman, Local cohomology with support in generic determinantal ideals, Algebra Number
Theory 8 (2014), no. 5, 1231–1257, DOI 10.2140/ant.2014.8.1231. MR3263142
[Ser96] Vera Serganova, Kazhdan-Lusztig polynomials and character formula for the Lie superalgebra gl(m|n), Selecta Math.
(N.S.) 2 (1996), no. 4, 607–651, DOI 10.1007/PL00001385. MR1443186 (98f:17007)
[Sno13] Andrew Snowden, Syzygies of Segre embeddings and ∆-modules, Duke Math. J. 162 (2013), no. 2, 225–277, DOI
10.1215/00127094-1962767. MR3018955
[SHK00] Yucai Su, J. W. B. Hughes, and R. C. King, Primitive vectors of Kac-modules of the Lie superalgebras sl(m|n), J.
Math. Phys. 41 (2000), no. 7, 5064–5087, DOI 10.1063/1.533392. MR1765833 (2001f:17013)
[Su06] Yucai Su, Composition factors of Kac modules for the general linear Lie superalgebras, Math. Z. 252 (2006), no. 4,
731–754, DOI 10.1007/s00209-005-0874-x. MR2206623 (2007b:17006)
[Wey03] Jerzy Weyman, Cohomology of vector bundles and syzygies, Cambridge Tracts in Mathematics, vol. 149, Cambridge
University Press, Cambridge, 2003. MR1988690 (2004d:13020)
Department of Mathematics, University of Notre Dame, 255 Hurley Hall, Notre Dame, IN 46556
Institute of Mathematics “Simion Stoilow” of the Romanian Academy
E-mail address: craicu@nd.edu
Department of Mathematics, University of Connecticut, Storrs, CT 06269
E-mail address: jerzy.weyman@uconn.edu

