arXiv:1609.06396v2 [math.AC] 24 Oct 2017

ON THE IDEAL GENERATED BY ALL SQUAREFREE
MONOMIALS OF A GIVEN DEGREE
FEDERICO GALETTO
Abstract. An explicit construction is given of a minimal free resolution of the ideal generated by all squarefree monomials of a given degree.
The construction relies upon and exhibits the natural action of the symmetric group on the syzygy modules. The resolution is obtained over
an arbitrary coefficient ring; in particular, it is characteristic free. Two
applications are given: an equivariant resolution of De Concini-Procesi
rings indexed by hook partitions, and a resolution of FI-modules.

Contents
1. Introduction
2. Betti numbers
3. Representations
4. Equivariant resolution
4.1. Modules
4.2. Differentials
4.3. Exactness
5. Applications
5.1. De Concini-Procesi rings
5.2. A resolution of FI-modules
References

1
3
4
7
7
8
10
13
13
16
18

1. Introduction
Let A be an associative, commutative ring with unit. Let Rn denote
A[x1 , . . . , xn ], the polynomial ring in n variables with coefficients in A.
Definition 1.1. Let Id,n be the ideal of Rn generated by all squarefree
monomials of degree d in x1 , . . . , xn .
The symmetric group Sn acts on Rn by permuting the variables. This
action is A-linear, and is compatible with grading and multiplication in Rn .
Date: October 26, 2017.
2000 Mathematics Subject Classification. Primary 13D02; Secondary 13A50.
Key words and phrases. squarefree monomial ideal, equivariant resolution,
characteristic-free, De Concini-Procesi, FI-module.
1

2

FEDERICO GALETTO

Observe that the ideal Id,n is stable under the action of Sn . Therefore Sn
acts on the minimal free resolutions of Id,n . The main goal of this paper is
to construct an Sn -equivariant minimal free resolution of Id,n that describes
this action explicitly. Our main theorem (Theorem 4.11) can be stated as
follows.
Theorem. Let n, d, and i be integers. For 1 6 d 6 n and 0 6 i 6 n − d,
we define the A[Sn ]-module
i

(d,1 )
n
Uid,n := IndS
⊗A S (n−d−i) ),
Sd+i ×Sn−d−i (S

For all other values of n, d, and i, we set Uid,n := 0. The ideal Id,n admits
an Sn -equivariant minimal free resolution F•d,n with
Fid,n := Uid,n ⊗A Rn (−d − i).
Our construction has some desirable features:
• the differentials are described explicitly (see Definition 4.3);
• the resolution is realized over an arbitrary coefficient ring, in particular
it is characteristic free;
• the representation theory leads to an easy combinatorial interpretation
of Betti numbers in terms of Young tableaux (Corollary 4.12).
The ideals Id,n appear in the study of De Concini-Procesi rings. Introduced in [De Concini and Procesi, 1981], De Concini-Procesi rings are quotients of a polynomial ring that give a presentation for the cohomology ring
of Springer fibers (in type A). These rings also appear in the study of nilpotent orbits [Kraft, 1981]. In general, the Betti numbers and minimal free
resolutions of De Concini-Procesi are not known. In the case of De ConciniProcesi rings indexed by hook partitions, the Betti numbers were described
in [Biagioli et al., 2007]. The proof, which holds over a field, recognizes Id,n
as a monomial ideal with linear quotients to compute its Betti numbers,
and then uses an iterated mapping cone to obtain the Betti numbers of a
certain De Concini-Procesi ring. Using the same mapping cone procedure,
we give an application of our main result and describe the modules in an
Sn -equivariant minimal free resolution of a De Concini-Procesi ring indexed
by a hook partition (see Theorem 5.7). We believe that an approach using
equivariant resolutions could facilitate the task of finding Betti numbers for
other De Concini-Procesi rings as well.
The resolutions F•d,n of our main theorem have another interesting property. Namely, for a fixed d, there are natural Sn -equivariant maps of complexes F•d,n → F•d,n+1 . These maps allow us to assemble the complexes F•d,n
to obtain a resolution of FI-modules in the sense of [Church et al., 2015] (see
Theorem 5.14).
We also note that Id,n is the defining ideal of a star configuration of n hyperplanes in projective (n−1)-space (see [Geramita et al., 2013]). The Betti
numbers of these ideals were computed (over a field) in [Park and Shin, 2015,
Corollary 3.5]. Despite being a special case of star configurations, it was

3

shown in [Geramita et al., 2015] that the ideals Id,n actually govern the theory of arbitrary star configurations and their symbolic powers. For this
reason we believe it would be particularly interesting to extend the main
result of this paper to describe Sn -equivariant minimal free resolutions of
the symbolic powers of Id,n .
I am grateful to J. Weyman for introducing me to De Concini-Procesi
rings, which ultimately lead to this project. I am particularly indebted to
A. Hoefel and D. Wehlau for many useful discussions in the early stages
of this work. Special thanks go to H. Abe for providing a reference that
shortened the proof of the main theorem. While working on this project, I
was partially supported by an NSERC grant.
2. Betti numbers
As explained in the introduction, the Betti numbers of Id,n were previously
computed, over a field, by several authors using various techniques. In
addition, the Betti numbers of Id,n can be recovered, over various coefficient
rings, using Stanley-Reisner theory [Bruns and Herzog, 1993, §5], properties
of squarefree stable ideals [Aramova et al., 1998], or the generic perfection of
the Eagon-Northcott complex [Bruns and Vetter, 1988, Theorem 3.5]. Since
we will be using these Betti numbers later, we show a different way to
compute them over an arbitrary coefficient ring using mapping cones.
Theorem 2.1. Let n and d be integers with 1 6 d 6 n. The Betti numbers
of Id,n are
(
 d+i−1
n
, if 0 6 i 6 n − d and j = d + i,
d+i
i
βi,j (Id,n ) =
0,
otherwise.
Proof. The proof is by double induction on n and d.
For n = d = 1, we have I1,1 = (x1 ), for which the result clearly holds.
For n > 1, d = 1, the ideal I1,n = (x1 , . . . , xn ) is minimally resolved by a
Koszul complex, whose Betti numbers match those in the statement.
Consider the case n > 1, d > 1. There is a short exact sequence
(1)

0 → Id,n−1 ,→ Id−1,n−1 → Id−1,n−1 /Id,n−1 → 0

of Rn−1 -modules, the second arrow being an inclusion. Let F•d,n−1 and
F•d−1,n−1 be minimal free resolutions of the left and middle modules in (1).
The inclusion Id,n−1 ,→ Id−1,n−1 extends to a map of complexes F•d,n−1 →
F•d−1,n−1 , whose mapping cone C• is a free resolution of Id−1,n−1 /Id,n−1 .
d,n−1
By the inductive hypothesis, Ci = Fi−1
⊕ Fid−1,n−1 is generated in degree
d + i − 1. It follows that C• is linear and hence minimal.
The squarefree monomials generating Id,n are of two kinds: the ones that
are not divisible by xn , and the ones that are. The former coincide with the
generators of Id,n−1 , the latter are the generators of Id−1,n−1 multiplied by

4

FEDERICO GALETTO

xn . This leads to the short exact sequence
·x

n
(2) 0 → (Id−1,n−1 /Id,n−1 ) ⊗Rn−1 Rn (−1) −−→

(Rn−1 /Id,n−1 ) ⊗Rn−1 Rn → Rn /Id,n → 0
of Rn -modules, where the second arrow is multiplication by xn .
Since Rn is a free Rn−1 -module, it is flat. Thus F•d,n−1 ⊗Rn−1 Rn is an
exact complex. In fact, if we augment it with the obvious map F0d,n−1 ⊗Rn−1
Rn → Rn , we obtain a minimal free resolution of the middle term in (2).
Similarly, C• ⊗Rn−1 Rn (−1) is a minimal free resolution of the left term.
The second map of sequence (2) extends to a map of complexes between the
two resolutions just described. The mapping cone D• of this map is a free
resolution of Rn /Id,n . Note D0 = Rn and, for i > 0, we have
(3)

d,n−1
Di = (Ci−1 ⊗Rn−1 Rn (−1)) ⊕ (Fi−1
⊗Rn−1 Rn ),

so Di is generated in degree d + i − 1. Therefore D• is minimal.
If F•d,n is a minimal free resolution of Id,n , then Fid,n ∼
= Di+1 is generated
in degree d + i. Moreover, equation (3) gives
(4)

d,n−1
d−1,n−1
Fid,n ∼
) ⊗Rn−1 Rn (−1)) ⊕ (Fid,n−1 ⊗Rn−1 Rn ).
= ((Fi−1 ⊕ Fi

We deduce that
βi,d+i (Id,n ) =
=
=

d+i−2
n−1
i−1
d+i−1
 d+i−1
n−1
i
d+i−1
 d+i−1
n
d+i
i





+
+

d+i−2
n−1
+ n−1
d+i
i
d+i−1


n−1 d+i−1
=
i
d+i







d+i−1
i



=

as desired. Clearly all other Betti numbers are zero.



Example 2.2 (n = 4, d = 2). The nonzero Betti numbers of I2,4 are
β0,2 (I2,4 ) = 6,

β1,3 (I2,4 ) = 8,

β2,4 (I2,4 ) = 3.

3. Representations
Specht modules are representations of the symmetric group. Their construction and properties are discussed in detail in [James, 1978]. We briefly
recall a presentation for Specht modules following [Fulton, 1997, §7.4].
Let A[Sn ] be the group algebra of the symmetric group Sn over A. Let
λ be a partition of n. A (Young) tableau of shape λ is a filling of the
Young diagram associated to λ (we use the English notation for diagrams,
cf. [Macdonald, 1995, p. 2]). The Specht module S λ is the A[Sn ]-module
generated by the equivalence classes [T ] of tableaux of shape λ with entries
in [n] = {1, . . . , n} modulo the following relations.
Alternating columns: σ[T ] = sgn(σ)[T ] for all σ ∈ Sn preserving the
columns of T (sgn(σ) denotes the sign of σ).

5

P
Shuffling relations: [T ] = [T 0 ], where the sum is over all T 0 obtained
from T by exchanging the top k elements of the (j + 1)-st column of T with
k elements in the j-th column of T , preserving the vertical order of each set
of k elements.
We are primarily interested in hook partitions, i.e., partitions of the form
(d, 1i ). We illustrate the relations above with an example using a hook
partition.
Example 3.1. Consider the hook partition (3, 1, 1) of 5. Since columns are
alternating in S (3,1,1) , we have
"
#
"
# "
#
2 1 5
3
4

=−

3 1 5
2
4

=

3 1 5
4
2

.

Using the shuffling relation involving the first two columns, we get
"
# "
# "
# "
#
2 1 5
3
4

=

1 2 5
3
4

+

2 3 5
1
4

+

2 4 5
3
1

,

whereas the one involving the second and third columns gives
"
# "
#
2 1 5
3
4

=

2 5 1
3
4

.

Let us recall some facts from the theory of Specht modules.
• For all λ, S λ is a free A-module. Its rank can be computed with the
hook length formula (cf. [James, 1978, Theorem 20.1]). In particular, in the
case of a hook, we have

i
(d+i)!
.
(5)
rank(S (d,1 ) ) = (d+i)(d−1)!i!
= d+i−1
i
• A standard tableau is one whose rows are strictly increasing from left
to right, and whose columns are strictly increasing from top to bottom. If
λ is a partition of n, then the equivalence classes of standard tableaux of
shape λ with entries in [n] form an A-basis of S λ .
We will denote by SYT(λ, [n]) the set of standard tableaux of shape λ with
entries in [n]. Note that SYT(λ, [n]) is defined even when λ is a partition of
some non negative integer m 6= n.
Definition 3.2. Let n, d, and i be integers. For 1 6 d 6 n and 0 6 i 6 n−d,
we define an A[Sn ]-module by setting
i

(d,1 )
n
Uid,n := IndS
⊗A S (n−d−i) ),
Sd+i ×Sn−d−i (S

where the right hand side of the assignment is the A[Sn ]-module induced by
i
the A[Sd+i × Sn−d−i ]-module S (d,1 ) ⊗A S (n−d−i) . The group Sd+i × Sn−d−i
is realized as the subgroup of permutations of Sn that preserve the subsets
{1, . . . , d + i} and {d + i + 1, . . . , n}. If any of the inequalities involving n,
d, and i are violated, we set Uid,n := 0.

6

FEDERICO GALETTO

The modules Uid,n will play a central role in the rest of this paper. We
record some properties of the modules Uid,n .
Proposition 3.3. Let n, d, and i be integers with 1 6 d 6 n, and 0 6 i 6
n − d.
(a) The module Uid,n is a free A-module and
 d+i−1
n
rank(Uid,n ) = d+i
.
i
(b) The module Uid,n is isomorphic to the A[Sn ]-module generated by
the equivalence classes of tableaux of shape (d, 1i ) with entries in [n] modulo alternating columns and shuffling relations. The equivalence classes of
standard tableaux form an A-basis of Uid,n .
(c) The module Uid,n is a principal A[Sn ]-module generated by the equivalence class of any tableau of shape (d, 1i ) with entries in [n].
Proof.
(6)

(a) By definition of induced module, we have
M
i
Uid,n ∼
σ(S (d,1 ) ⊗A S (n−d−i) ),
=

where the direct sum is over a set of representatives for the cosets of Sd+i ×
Sn−d−i in Sn . Each summand is a free A-module, therefore so is Uid,n . Note
that rank(S (n−d−i) ) = 1, hence
 d+i−1

|Sn |
n
d+i−1
.
= d+i
rank(Uid,n ) = |Sd+i ×S
i
i
n−d−i |
i

(b) Consider the module S (d,1 ) ⊗A S (n−d−i) . The factor S (n−d−i) has
i
rank one, hence it does not play a role in what follows. The factor S (d,1 ) is
generated by the equivalence classes of tableaux of shape (d, 1i ) with entries
in [d + i] modulo alternating columns and shuffling relations. Moreover,
i
S (d,1 ) has a basis given by the equivalence classes of standard tableaux.
For each coset of Sd+i × Sn−d−i in Sn there is a unique representative σ
which is an increasing function on {1, . . . , d + i} and on {d + i + 1, . . . , n}.
Denote by C the collection of all coset representatives with this property.
Given a representative σ ∈ C and a tableau T of shape (d, 1i ) with entries
in [d + i], we can apply σ to all entries of T to obtain a tableau σT of shape
(d, 1i ) with entries in {σ(1), . . . , σ(d + i)}. Moreover, if T is standard, then
σT is again standard because σ is increasing on {1, . . . , d + i}.
i
Therefore we can identify the direct summand σ(S (d,1 ) ⊗A S (n−d−i) )
in (6) with the A-module generated by equivalence classes of tableaux of
shape (d, 1i ) with entries in {σ(1), . . . , σ(d + i)} modulo alternating columns
and shuffling relations. In particular, the equivalence classes of standard
tableaux form an A-basis. As σ runs over C, we get the desired result.
(c) Fix a tableau T of shape (d, 1i ) with entries in [n]. Given any other
tableau T 0 of shape (d, 1i ) with entries in [n], there is a permutation σ ∈ Sn
such that T 0 = σT . Thus we have [T 0 ] = σ[T ] in Uid,n . Now the statement
follows from part (b).

7


Remark 3.4. If A is a field, then the Littlewood-Richardson rule (see
[James, 1978, §16]) implies that the module Uid,n admits a filtration whose
L λ
associated graded object is
S , where the direct sum is over all partitions
λ = (λ1 , λ2 , . . .) of n such that λ1 > d, λ2 6 d, and λi = 1 for all i with
3 6 i 6 n + 2 − λ1 − λ2 . In particular, note that this is a multiplicity-free
decomposition in terms of Specht modules. The same description can also
be obtained using the simpler Pieri rule (cf. [Fulton, 1997, §2.2]). If A is a
field of characteristic zero, then the same rules give a decomposition of Uid,n
as a direct sum of simple A[Sn ]-modules.
Remark 3.5. The restriction of Uid,n to Sn−1 has the following interesting
property:
d,n ∼ d,n−1
n
ResS
⊕ Uid−1,n−1 ⊕ Uid,n−1 .
Sn−1 (Ui ) = Ui−1
This is easy to prove using Proposition 3.3 (b). Notice also that this property
matches the isomorphism in equation (4).
4. Equivariant resolution
In the section, we describe an Sn -equivariant minimal free resolution
of Id,n . The free modules and the differentials are constructed using the
representations Uid,n introduced in §3. As the definitions are very explicit,
this allows for a direct proof of exactness, which is the content of our main
theorem. We conclude this section with different interpretations of the Betti
numbers of Id,n .
4.1. Modules.
Definition 4.1. Let n, d, and i be integers, with n > 0. We define an
Rn [Sn ]-module by setting
Fid,n := Uid,n ⊗A Rn (−d − i).
We write p[T ] for the simple tensor [T ] ⊗ p ∈ Fid,n , where p ∈ Rn and T
is a tableau of shape (d, 1i ) with entries in [n].
Proposition 4.2. Let n, d, and i be integers, with 1 6 d 6 n and 0 6 i 6
n − d.
(a) The module Fid,n is a free Rn -module and
 d+i−1
n
rank(Fid,n ) = d+i
.
i
(b) The module Fid,n is isomorphic to the Rn [Sn ]-module generated by
the equivalence classes of tableaux of shape (d, 1i ) with entries in [n] modulo alternating columns and shuffling relations. The equivalence classes of
standard tableaux form an Rn -basis of Fid,n .
(c) The module Fid,n is a principal Rn [Sn ]-module generated by the equivalence class of any tableau of shape (d, 1i ) with entries in [n].

8

FEDERICO GALETTO

Proof. Everything follows from the corresponding statements in Proposition
3.3.

4.2. Differentials. Consider the tableau
a0
T =

b1

. . . bd−1

a1
..
.
ai

of shape (d, 1i ) with entries in [n]. For 0 6 j 6 i, define T \ aj as the tableau
of shape (d, 1i−1 ) with entries in [n] obtained from T by removing the box
containing aj and sliding upward the boxes below it. For clarity, we have
a0

b1

. . . bd−1

a1
..
.

a1

T \ aj = aj−1

T \ a0 =

aj+1
..
.

b1

. . . bd−1

a2
..
.
ai

ai
respectively when 1 6 j 6 i and when j = 0.
Definition 4.3. Let n, d, and i be integers, with 1 6 d 6 n and 1 6 i 6
n − d. Fix a tableau T of shape (d, 1i ) with entries a0 , . . . , ai , b1 , . . . , bd−1 in
[n] as above. Since Fid,n is a principal Rn [Sn ]-module generated by [T ], we
d,n
define a map ∂id,n : Fid,n → Fi−1
of Rn [Sn ]-modules by setting
∂id,n ([T ])

i
X
:=
(−1)i−j xaj [T \ aj ]
j=0

and extending by Rn [Sn ]-linearity.
Note that the same formula for ∂id,n holds for any other tableau T 0 of
shape (d, 1i ) with entries in [n].
Example 4.4 (n = 4, d = 2, i = 2). We have, for example,
"
#!
h
i
h
i
h
i
1 2
3 2
1 2
1 2
2,4
3
= x1 4
− x3 4
+ x4 3
.
∂2
4

9

Expressing this in terms of standard tableaux, we get
"
#!
h
i h
i
h
i
h
1 2
2 3
3 4
1 2
1
2,4
3
∂2
= x1
+
−
x
+
x
3
4
4
2
4
3

2

i

=

4

= x1

h

2 3
4

i

− x1

h

2 4
3

i

− x3

h

1 2
4

i

+ x4

h

1 2
3

i
.

In fact, the matrix of ∂22,4 in the bases of standard tableaux is

i
h
2 3
x
x
0
1
1
4


i
h

1 3 

0
−x
0


2
4


i
h

1 2 
0
0 
4
 −x3


h
i

2 4 
−x
0
x


1
1
3

h
i


1 4 

0
0
−x
2


3


h
i

1 4 

0
0
x3 
2


h
i

1 2 
0
0 
 x4

3

h
i
1 3
0
x
0
4
2
"
# "
# "
#
1 2
3
4

1 3
2
4

1 4
2
3

Proposition 4.5. Let n and d be integers with 1 6 d 6 n. The sequence
of maps ∂id,n forms a minimal complex of free Rn -modules.
d,n
Proof. The computation showing that ∂id,n ∂i+1
= 0 is essentially the same
as the one for differentials in a Koszul complex. Minimality is obvious from
the definition of ∂id,n .


Definition 4.6. Let n and d be integers with 1 6 d 6 n. We denote by
F•d,n the complex defined by the sequence of maps ∂id,n .
Example 4.7 (n = 4, d = 2). As R4 -modules, we have F02,4 ∼
= R4 (−2)6 ,
2,4 ∼
2,4
2,4
F1 = R4 (−3)8 , and F2 ∼
= R4 (−4)3 . The complex F• looks as follows.
 −x −x
0 −x2 −x1 0
0
0 
2
1
0
0
−x
x
0
−x
0
0 
1
3
1

 0
0
0
0
x3 x2
0
0 
 x
0
0
0
0
0 −x1 −x1 
 4

0
x4
0
0
0
0
0
x2
0
0
x4
0
0
0
x3
0
2,4
F0 ←−−−−−−−−−−−−−−−−−−−−−−−−−−

 x
x1
0 
1
 0 −x2 0 
0 
 −x3 0
 −x
0
x1 
1


 0
0 −x2 


0
x3 
 0
x4
0
0
0
x4
0
F12,4 ←−−−−−−
−−−−−

F22,4

Remark 4.8. By Theorem 2.1, the complex F•d,n has the same Betti numbers as a minimal free resolution of Id,n .

10

FEDERICO GALETTO

4.3. Exactness.
d,n
Lemma 4.9. Let ϕd,n
denote (∂id,n )d+i : (Fid,n )d+i → (Fi−1
)d+i , i.e., the
i
d,n
d,n
restriction of ∂i to degree d + i. Then ϕi admits a left inverse.

Before proving the lemma, we illustrate ϕd,n
with an example.
i
Example 4.10 (n = 3, d = 2, i = 1). We write an explicit matrix for ϕ2,3
1 .
2,3
2,3
Note that the domain of ϕ1 is isomorphic to U1 . On the other hand, the
2,3
codomain of ϕ2,3
1 is isomorphic to U0 ⊗A (R3 )1 . For the domain, we choose
the A-basis given by [T ], where T ∈ SYT((2, 1), [3]). For the codomain, we
choose the A-basis given by elements xj [T 0 ], where xj is a variable in Rn
and T 0 ∈ SYT((2), [3]).


x1 [ 2 3 ]
−1
−1


0 
x2 [ 2 3 ] 
 0




0 
x3 [ 2 3 ]  0




x1 [ 1 3 ]  0
0 




x2 [ 1 3 ]  0
1 




0 
x3 [ 1 3 ]  0




x1 [ 1 2 ]  0
0 




x2 [ 1 2 ]  0
0 

x3 [ 1

2

]

1
h

1 2
3

0
i h

1 3
2

i

Note that the submatrix on the fifth and ninth row from the top is a permutation matrix, hence invertible over A. Therefore ϕ2,3
1 admits a left inverse.
d,n
d,n
Proof. Observe that (Fid,n )d+i ∼
= Ui . By Proposition 3.3, Ui is a free
A-module with a basis B consisting of equivalence classes [T ] for T ∈
d,n
d,n
SYT((d, 1i ), [n]). Similarly, (Fi−1
)d+i ∼
= Ui−1 ⊗A (Rn )1 is a free A-module
with a basis C consisting of elements xj [T 0 ], where xj is a variable in Rn and
T 0 ∈ SYT((d, 1i−1 ), [n]). Let M be the matrix of ϕd,n
relative to the bases
i
B and C. We will show that M admits a left inverse by selecting some rows
giving a submatrix of M which is invertible over A.
Define the set

C 0 := {xai [T \ ai ] ∈ C | T ∈ SYT((d, 1i ), [n])}.
The elements C 0 are obtained from tableaux on (d, 1i ) by removing the bottom box of the first column and multiplying by the variable with index the
entry of the removed box. The cardinalities of B, C, and C 0 are related by

11

the formula |B| = |C 0 | < |C|. In particular, this shows that M always has
more rows than columns. Let N be the square submatrix of M on the rows
corresponding to elements of C 0 .
Given [T ] ∈ B, we have
∂id,n ([T ]) =

i
X

(−1)i−j xaj [T \ aj ].

j=0

For 1 6 j 6 i, the elements xaj [T \ aj ] are in C. The only one belonging to
C 0 is xai [T \ ai ], which appears with coefficient 1. If T \ a0 is standard, then
xa0 [T \ a0 ] is in C but not in C 0 . If T \ a0 is not standard, then xa0 [T \ a0 ]
can be expanded into an A-linear combination of basis elements xa0 [T 0 ] for
certain tableaux T 0 ∈ SYT((d, 1i−1 ), [n]). Note that the entries of any such
T 0 form a subset of {a1 , . . . , ai , b1 , . . . , bd−1 }; in particular, all entries of T 0
are bigger than a0 . This implies that xa0 [T 0 ] is not in C 0 . We deduce that
the column of N corresponding to [T ] has a single nonzero entry, and this
entry is is equal to 1. Therefore N is a permutation matrix, hence it is
invertible over A.

Theorem 4.11. Let n and d be integers with 1 6 d 6 n. The complex F•d,n
is an Sn -equivariant minimal free resolution of the Rn -module Id,n .
Proof. The module F0d,n has an Rn -basis [T ] with T ∈ SYT((d), [n]). Define
a map of Rn -modules ∂0d,n : F0d,n → Id,n by sending the equivalence class of
the tableau
b1 . . . bd
to xb1 · · · xbd ∈ Id,n . The map ∂0d,n is clearly Sn -equivariant. Moreover, ∂0d,n
is surjective because Id,n is generated by the squarefree monomials of degree
d in Rn .
Next we show that ∂0d,n ∂1d,n = 0. Consider the tableau
a0

b1

. . . bd−1

T =
a1
of shape (d, 1) with entries in [n]. We have
∂0d,n ∂1d,n ([T ]) = ∂0d,n (−xa0 [T \ a0 ] + xa1 [T \ a1 ]) =
= −xa0 xa1 xb1 · · · xbd−1 + xa1 xa0 xb1 · · · xbd−1 = 0.
Therefore F•d,n can be extended, via the map ∂0d,n , to an Sn -equivariant
complex of Rn -modules 0 ← Id,n ← F•d,n , which is exact at Id,n . If we can
show this complex is exact everywhere else, then the theorem will follow.
We will prove the complex is exact at Fid,n proceeding by induction on i.
For the base case, let i = 0. We need to show ker(∂0d,n ) = im(∂1d,n ). Cond,n
d,n
sider ϕd,n
1 , the restriction of ∂1 to degree d+1. By Lemma 4.9, ϕ1 admits

12

FEDERICO GALETTO

a left inverse, which is a map of A-modules from (F0d,n )d+1 to (F1d,n )d+1 .
Denote by ψ1d,n : (ker(∂0d,n ))d+1 → (F1d,n )d+1 the A-module map obtained by
d,n
restricting the left inverse of ϕd,n
1 to the degree d + 1 component of ker(∂0 )
(see the diagram below).
(F0d,n )d+1

ϕd,n
1

(F1d,n )d+1
ψ1d,n

(ker(∂0d,n ))d+1

d,n
Since im(∂1d,n ) ⊆ ker(∂0d,n ), we have im(ϕd,n
1 ) ⊆ (ker(∂0 ))d+1 . Then we
d,n d,n
can consider the composition ψ1 ϕ1 , which is, by construction, the identity map of (F1d,n )d+1 . It follows that ψ1d,n is surjective. Since ∂0d,n surjects onto Id,n , Remark 4.8 implies that ker(∂0d,n ) is generated in degree
 d
n
d + 1 and that (ker(∂0d,n ))d+1 is a free A-module of rank d+1
1 . At the
 d
d,n
d,n
n
same time, (F1 )d+1 is also free of rank d+1 1 . Since ψ1 is a surjection between free modules of the same rank, it is an isomorphism (see
[Atiyah and Macdonald, 1969, Chapter 3, Exercise 15]). Now ϕd,n
is the
1
d,n
right inverse of ψ1 , hence it gives an isomorphism of A-modules between
(F1d,n )d+1 and (ker(∂0d,n ))d+1 . We deduce that (ker(∂0d,n ))d+1 = im(ϕd,n
1 ) =
(im(∂1d,n ))d+1 . Given that ker(∂0d,n ) is generated in degree d+1, we conclude
that ker(∂0d,n ) = im(∂1d,n ) as desired.
For the inductive step, let i > 0. The proof is essentially the same as for
d,n
the base step. We need to show ker(∂id,n ) = im(∂i+1
). The map ϕd,n
i+1 , the
d,n
restriction of ∂i+1 to degree d+i+1, admits a left inverse by Lemma 4.9. Ded,n
d,n
note by ψi+1
: (ker(∂id,n ))d+i+1 → (Fi+1
)d+i+1 the A-module map obtained
d,n
by restricting the left inverse of ϕi+1 to the degree d + i + 1 component of
ker(∂id,n ) (see the diagram below).

(Fid,n )d+i+1

(ker(∂id,n ))d+i+1

ϕd,n
i+1

d,n
(Fi+1
)d+i+1

d,n
ψi+1

d,n
d,n d,n
Since im(ϕd,n
i+1 ) ⊆ (ker(∂i ))d+i+1 , the composition ψi+1 ϕi+1 is the idend,n
d,n
tity map of (Fi+1
)d+i+1 . It follows that ψi+1
is surjective. By induction,
d,n
d,n
im(∂i ) = ker(∂i−1 ). Hence Remark 4.8 implies that ker(∂id,n ) is generated
in degree d + i + 1 and that (ker(∂id,n ))d+i+1 is a free A-module of rank

13
n
d+i+1



d+i
i+1



d,n
. Note that (Fi+1
)d+i+1 is also free of rank

n
d+i+1



d+i
i+1



. Being

d,n
ψi+1

a surjection between free modules of the same rank,
is an isomorphism.
d,n
d,n
Thus ϕi+1 gives an isomorphism between (Fi+1 )d+i+1 and (ker(∂id,n ))d+i+1 .
d,n
It follows that (ker(∂id,n ))d+i+1 = im(ϕd,n
i+1 ) = (im(∂i+1 ))d+i+1 . Given that
ker(∂id,n ) is generated in degree d + i + 1, we conclude that ker(∂id,n ) =
d,n
im(∂i+1
) as desired.

The following corollary gives a representation theoretic description of the
syzygy modules, and a combinatorial interpretation of the Betti numbers of
Id,n . The proof follows directly from Theorem 4.11.
Corollary 4.12. Let n and d be integers with 1 6 d 6 n.
(a) There are isomorphisms of A[Sn ]-modules
(
Uid,n , if j = d + i,
n
∼
(I
,
A)
TorR
=
j
d,n
i
0,
otherwise.
(b) The Betti numbers of Id,n are given by the formula
(
| SYT((d, 1i ), [n])|, if j = d + i,
βi,j (Id,n ) =
0,
otherwise.
5. Applications
5.1. De Concini-Procesi rings. Let n be a fixed positive integer. For each
partition µ of n, there is a De Concini-Procesi ideal Iµ ⊂ Rn = A[x1 , . . . , xn ],
and a corresponding De Concini-Procesi ring Rn /Iµ . Historically, these
ideals and quotients have been studied in the case when the coefficient ring
A is a field, although they can be defined more generally. The original
definition is in [De Concini and Procesi, 1981], along with an explicit set
of generators. Over the years, other generating sets have been described
that are simpler and/or smaller than the original one; see for example
[Biagioli et al., 2008, Tanisaki, 1982]. Since we are only interested in the
case of hook partitions, we describe the De Concini-Procesi ideal in this
case following [Biagioli et al., 2007, Proposition 3.4].
Proposition 5.1. Let µ = (n − d + 1, 1d−1 ), with 1 6 d 6 n. Then we have
Iµ = (e1 , . . . , ed−1 ) + Id,n ,
where ei is the i-th symmetric polynomial.
In Proposition 5.1, we recognize our monomial ideal Id,n . The elementary
symmetric polynomials making up the rest of the ideal have another useful
property first presented in [Biagioli et al., 2007, Proposition 4.3].
Proposition 5.2. Let n and d be integers with 1 6 d 6 n. The residue
classes of e1 , . . . , ed−1 in Rn /Id,n form a regular sequence.

14

FEDERICO GALETTO

Using this property, R. Biagioli, S. Faridi, and M. Rosas observed that
a free resolution of Rn /Iµ can be obtained from one of Rn /Id,n via iterated mapping cones. Moreover, Proposition 5.2, guarantees that the mapping cones are minimal. The details of the procedure are discussed in
[Biagioli et al., 2007].
This mapping cone construction extends immediately to the equivariant
case. In fact, we have an Sn -equivariant resolution of Id,n from Theorem 4.11
and the mapping cones are induced from multiplication by an elementary
symmetric polynomial, which is an Sn -invariant. We illustrate with an
example.
Example 5.3 (n = 4, d = 2). Based on Proposition 5.1, we have I(3,1) =
(e1 ) + I2,4 . From Proposition 5.2, we know that e1 is regular on R4 /I2,4 .
Therefore we have a short exact sequence
·e

1
0 → R4 /I2,4 −−→
R4 /I2,4 → R4 /I(3,1) → 0

where the second map is multiplication by e1 .
From Example 4.7, we have the following resolution of R4 /I2,4 .
∂ 4,2

∂ 4,2

∂ 4,2

2
1
0
− F22,4 ← 0
− F12,4 ←−
R4 ←−
− F02,4 ←−

The map ∂04,2 was defined in the proof of Theorem 4.11. Multiplication by
e1 in the short exact sequence above extends to a map between two copies
of the resolution of R4 /I2,4 . The mapping cone of this map of complexes
looks as follows.
"

∂12,4 e1
0 −∂02,4

#

[ ∂02,4 e1 ]
R4 ←−−−−−− F02,4 ⊕ R4 (−1) ←−−−−−−−− F12,4 ⊕ F02,4 (−1) ←
"

∂22,4 e1
0 −∂12,4

#



e1
−∂22,4



←−−−−−−−− F22,4 ⊕ F12,4 (−1) ←−−−−− F22,4 (−1) ← 0
By the general theory, this complex is an Sn -equivariant minimal free resolution of R4 /I(3,1) .
A complete description of the differentials in the iterated mapping cone
complex resolving Iµ would be notationally cumbersome. Instead we focus
on a description of the modules. Following the example of Biagioli, Faridi,
and Rosas, we will use a bigraded Poincaré series. We start by recalling
some terminology.
The Grothendieck ring of A[Sn ] is the free abelian group generated by isomorphism classes [P ] of finitely generated projective A[Sn ]-modules modulo
the relations [P 0 ] − [P ] + [P 00 ] = 0 for every short exact sequence
0 → P 0 → P → P 00 → 0.
Addition is defined by [P1 ] + [P2 ] := [P1 ⊕ P2 ], while multiplication is defined
by [P1 ][P2 ] := [P1 ⊗ P2 ]. Note that the class [S (n) ] of the rank one trivial

15

A[Sn ]-module is the identity element for multiplication; thus we will simply
write 1 for [S (n) ].
Remark 5.4. The A[Sn ]-module Uid,n is projective. To see this, consider
the following diagram of A[Sn ]-modules with exact rows.
Uid,n
ρ

ϕ
ψ

M

N

0

Let T be a tableau of shape (d, 1i ) with entries in [n], so that [T ] generates
Uid,n . Since ψ is surjective, there exists m ∈ M such that ψ(m) = ϕ([T ]).
The A-submodule of Uid,n generated by [T ] is free. Therefore we can define
ρ : Uid,n → M by setting ρ([T ]) := m, and extending by A[Sn ]-linearity.
This guarantees that ρ is a map of A[Sn ]-modules. Moreover, the equality
ρ([T ]) = m, implies that ϕ = ψρ.
Since Uid,n is a finitely generate projective A[Sn ]-module, we can consider
its class [Uid,n ] in the Grothendieck ring of A[Sn ].
Definition 5.5. Let M be a finitely generated graded Rn [Sn ]-module. Supn
pose that, for all integers i, j, TorR
i (M, A)j is a finitely generated projective
A[Sn ]-module. The Sn -equivariant bigraded Poincaré series of M is the
power series
X
i j
n
n
(q,
t)
:=
PS
[TorR
i (M, A)j ]q t
M
i,j

in the variables q, t with coefficients in the Grothendieck ring of A[Sn ].
This equivariant Poincaré series is simply a compact device to keep track
of the representations appearing in an equivariant resolution.
Example 5.6. Comparing with Example 5.3, we have the equality
2,4
2,4 2 3
2,4 3 4
2
n
PS
R4 /I2,4 (q, t) = 1 + [U0 ]qt + [U1 ]q t + [U2 ]q t ,

and also
n
PS
R4 /I

(3,1)

(q, t) = 1 + [U02,4 ]qt2 + qt + ([U12,4 ] + [U02,4 ])q 2 t3 +
+ ([U22,4 ] + [U12,4 ])q 3 t4 + [U22,4 ]q 4 t5 =
= (1 + qt)(1 + [U02,4 ]qt2 + [U12,4 ]q 2 t3 + [U22,4 ]q 3 t4 ).

Finally, we are in a position to state the main result for De ConciniProcesi rings indexed by hook partitions. This theorem is an immediate
consequence of Theorem 4.11 and the discussion of this section.

16

FEDERICO GALETTO

Theorem 5.7. Let µ = (n − d + 1, 1d−1 ), with 1 6 d 6 n. Then we have
n
PS
Rn /Iµ (q, t) =

d−1
Y

(1 + qtk ) 1 +

k=1

n−d
X

[Uid,n ]q i+1 td+i

!
.

i=0

5.2. A resolution of FI-modules. The framework of FI-modules, developed by T. Church, J.S. Ellenberg, and B. Farb, allows us to assemble all the
complexes F•d,n , for a fixed d, into a single comprehensive structure. For all
details on FI-modules, we refer the reader to [Church et al., 2015]. Our base
ring will be A, and it should replace any instance of k occurring in the reference mentioned. We do not appeal to any deep result about FI-modules,
as we are merely interested in the language they provide. Explicitly, we
will use the notions of FI-module (Definition 1.1), morphism of FI-modules
(Definition 2.1.1), graded FI-module (Remark 2.1.5), and exactness in the
category of FI-modules (which follows from Remark 2.1.2).
Remark 5.8. The notation in [Church et al., 2015] uses a capital letter,
say V , for an FI-module, and Vn for the object that V associates to the
set [n]. To distinguish FI-modules from other entities, we will use a capital
calligraphic letter, say V, for an FI-module. Moreover, our FI-modules will
carry subscripts for homological dimension and graded components. To
avoid using another subscript, we will write V(n) for the object that V
associates to the set [n].
Definition 5.9. For a positive integer d, define Id to be the graded FImodule that associates:
• to the set [n] the graded A-module Id,n ;
• to an injection ε : [n] → [m] the map Id (ε) : Id,n → Id,m of graded
A-modules defined by p(x1 , . . . , xn ) 7→ p(xε(1) , . . . , xε(n) ).
Let T be a tableau of shape (d, 1i ) with entries in [n]. If ε : [n] → [m] is
an injection, then denote by ε(T ) the tableau of shape (d, 1i ) with entries in
[m] obtained by replacing each entry i of T by ε(i).
Definition 5.10. For integers d and i, with d > 0 and i > 0, define Fid to
be the FI-module that associates:
• to the set [n] the graded A-module Fid,n ;
• to an injection ε : [n] → [m] the map Fid (ε) : Fid,n → Fid,m of graded
A-modules given by p(x1 , . . . , xn )[T ] 7→ p(xε(1) , . . . , xε(n) )[ε(T )], where T is
a tableau of shape (d, 1i ) with entries in [n].
Proposition 5.11. Let d and i be positive integers. For all integers m, n,
with m > n > 0, and all injections ε : [n] → [m], the diagrams of graded
A-modules and maps

17

Id,m

∂0d,m

F0d,m
F0d (ε)

Id (ε)

Id,n

d,m
Fi−1

∂0d,n

∂id,m

d (ε)
Fi−1

F0d,n

d,n
Fi−1

Fid,m
Fid (ε)

∂id,n

Fid,n

are commutative.
Proof. The proof of commutativity of the two diagrams is similar. We write
a proof for the diagram on the right.
If Fid,n = 0, then the diagram is obviously commutative. Hence we assume
that Fid,n 6= 0. It follows that all other modules appearing in the diagram
are also nonzero.
d,m
d,n
The group Sm acts on Fi−1
and Fid,m , while Sn acts on Fi−1
and Fid,n .
By construction, the map ∂id,m is Sm -equivariant and ∂id,n is Sn -equivariant.
Fix an injection ε : [n] → [m]. The choice of ε gives rise to a natural identification of Sn with a subgroup of Sm . With this convention, all maps in
the diagram are Sn -equivariant.
Let T be a tableau of shape (d, 1i ) with entries in [n]. By Proposition 4.2,
Fid,n is generated, as an Rn [Sn ]-module, by [T ]. Therefore it is enough to
prove commutativity of the diagram holds for [T ]. On one hand we have


i
X
d
d
Fi−1
(ε)∂id,n ([T ]) = Fi−1
(ε)  (−1)i−j xaj [T \ aj ] =
j=0

=

i
X

(−1)i−j xε(aj ) [ε(T \ aj )] =

j=0

=

i
X

(−1)i−j xε(aj ) [ε(T ) \ ε(aj )].

j=0

On the other hand
∂id,m Fid (ε)([T ])

=

∂id,m ([ε(T )])

=

i
X

(−1)i−j xε(aj ) [ε(T ) \ ε(aj )].

j=0
d (ε)∂ d,n ([T ]) = ∂ d,m F d (ε)([T ]). Therefore the diagram
This shows that Fi−1
i
i
i
commutes.


As a consequence of Proposition 5.11, we are allowed to make the following
definitions.
Definition 5.12. For a positive integer d, let ∂0d : F0d → Id be the morphism
of graded FI-modules defined by setting ∂0d ([n]) := ∂0d,n for all integers n.

18

FEDERICO GALETTO

d
Definition 5.13. For positive integers d and i, let ∂id : Fid → Fi−1
be the
d,n
d
morphism of graded FI-modules defined by setting ∂i ([n]) := ∂i for all
integers n.

Theorem 5.14. For each positive integer d, there is a resolution of graded
FI-modules
∂d

∂d

∂d

∂d

0
1
2
i
d
0 ← Id ←−
F0d ←−
F1d ←−
F2d ← . . . ← Fi−1
←−
Fid ← . . .

Proof. The sequence of graded FI-modules and morphisms in the statement
of the theorem is functorial on the category of finite sets with injections.
Thus, given a nonnegative integer n, the sequence applies to the set [n] to
produce a complex of Rn -modules, namely the complex F•d,n . By definition,
the sequence in the statement of the theorem is exact if and only if F•d,n is
exact for all n ∈ N. The latter is true by virtue of Theorem 4.11.

Remark 5.15. All graded FI-modules appearing in this section are of finite
type in the sense of [Church et al., 2015, Definition 4.2.1].
Remark 5.16. One can write an analogue of Theorem 5.14 for De ConciniProcesi rings indexed by partitions µ = (n − d + 1, 1d−1 ).
References
[Aramova et al., 1998] Aramova, A., Herzog, J., and Hibi, T. (1998). Squarefree lexsegment ideals. Math. Z., 228(2):353–378.
[Atiyah and Macdonald, 1969] Atiyah, M. F. and Macdonald, I. G. (1969). Introduction
to commutative algebra. Addison-Wesley Publishing Co., Reading, Mass.-London-Don
Mills, Ont.
[Biagioli et al., 2007] Biagioli, R., Faridi, S., and Rosas, M. (2007). Resolutions of De
Concini-Procesi ideals of hooks. Comm. Algebra, 35(12):3875–3891.
[Biagioli et al., 2008] Biagioli, R., Faridi, S., and Rosas, M. (2008). The defining ideals
of conjugacy classes of nilpotent matrices and a conjecture of Weyman. Int. Math. Res.
Not. IMRN, pages Art. ID rnn117, 33.
[Bruns and Herzog, 1993] Bruns, W. and Herzog, J. (1993). Cohen-Macaulay rings, volume 39 of Cambridge Studies in Advanced Mathematics. Cambridge University Press,
Cambridge.
[Bruns and Vetter, 1988] Bruns, W. and Vetter, U. (1988). Determinantal rings, volume
1327 of Lecture Notes in Mathematics. Springer-Verlag, Berlin.
[Church et al., 2015] Church, T., Ellenberg, J. S., and Farb, B. (2015). FI-modules and
stability for representations of symmetric groups. Duke Math. J., 164(9):1833–1910.
[De Concini and Procesi, 1981] De Concini, C. and Procesi, C. (1981). Symmetric functions, conjugacy classes and the flag variety. Invent. Math., 64(2):203–219.
[Fulton, 1997] Fulton, W. (1997). Young tableaux, volume 35 of London Mathematical
Society Student Texts. Cambridge University Press, Cambridge. With applications to
representation theory and geometry.
[Geramita et al., 2013] Geramita, A. V., Harbourne, B., and Migliore, J. (2013). Star
configurations in Pn . J. Algebra, 376:279–299.
[Geramita et al., 2015] Geramita, A. V., Harbourne, B., Migliore, J., and Nagel, U.
(2015). Matroid configurations and symbolic powers of their ideals. arXiv:1507.00380.
[James, 1978] James, G. D. (1978). The representation theory of the symmetric groups,
volume 682 of Lecture Notes in Mathematics. Springer, Berlin.

19

[Kraft, 1981] Kraft, H. (1981). Conjugacy classes and Weyl group representations. In
Young tableaux and Schur functors in algebra and geometry (Toruń, 1980), volume 87 of
Astérisque, pages 191–205. Soc. Math. France, Paris.
[Macdonald, 1995] Macdonald, I. G. (1995). Symmetric functions and Hall polynomials.
Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New
York, second edition. With contributions by A. Zelevinsky, Oxford Science Publications.
[Park and Shin, 2015] Park, J. P. and Shin, Y.-S. (2015). The minimal free graded resolution of a star-configuration in Pn . J. Pure Appl. Algebra, 219(6):2124–2133.
[Tanisaki, 1982] Tanisaki, T. (1982). Defining ideals of the closures of the conjugacy classes
and representations of the Weyl groups. Tôhoku Math. J. (2), 34(4):575–585.
McMaster University, 1280 Main St W, Hamilton Hall 407, Hamilton, ON,
L8S 4K1, Canada
E-mail address: galettof@math.mcmaster.ca
URL: http://math.galetto.org

