arXiv:1712.04262v2 [math.AC] 17 Dec 2017

VANDERMONDE DETERMINANTAL IDEALS
JUNZO WATANABE AND KOHJI YANAGAWA

Abstract. We show that the ideal generated by maximal minors (i.e., k + 1minors) of a (k+1)×n Vandermonde matrix is radical and Cohen-Macaulay. Note
that this ideal is generated by all Specht polynomials with shape (n − k, 1, . . . , 1).

1. Introduction
Let n, k be integers with n > k ≥ 1. Consider the polynomial ring R =
K[x1 , . . . , xn ] over a field K, and the following non-square Vandermonde matrix


1 1 ··· 1
 x1 x2 · · · xn 

 2 2
x1 x2 · · · x2n  .
Mn,k := 
 .
. 
..
 ..
.
· · · .. 
xk1 xk2 · · · xkn
Vd
Let In,k
denote the ideal of R generated by all maximal minors (i.e., k + 1 minors)
of Mn,k .
Vd
Vd
Theorem 1.1. R/In,k
is a reduced Cohen-Macaulay ring with dim R/In,k
= k and
Vd
deg R/In,k = S(n, k), where S(n, k) stands for the Stirling number of the second
kind.

The present paper can be seen as the precursor of our ongoing project [5] on
Specht ideals. For a partition λ of n, we can consider the ideal
IλSp = (∆T | T is a Young tableau of shape λ)
of R, where ∆T ∈ R denotes the Specht polynomial corresponding to T (see
Sp
Vd
[3]). Then we have In,k
= I(n−k,1,...,1)
. Note that the K-vector subspace h ∆T |
T is a Young tableau of shape λ i of R is the Specht module associated with λ as
an Sn -module. The Specht modules are often constructed in different manner (e.g.,
using Young tabloids), and play crucial role in the representation theory of symmetric groups (see, for example [4]). General Specht ideals are much more delicate
Vd
than the Vandermont case In,k
. For example, the Cohen-Macaulayness of R/IλSp
may depend on both λ and char(K), and sometimes R/IλSp is not even pure dimensional (for any K). In [5], we will use the representation theory of symmetric
groups.
The second authors is partially supported by JSPS Grant-in-Aid for Scientific Research (C)
16K05114.
1

2

JUNZO WATANABE AND KOHJI YANAGAWA

It is also noteworthy that Fröberg and Shapiro [2] also studied some variants of
R/IλVd in a different context.
2. Results and proofs
Extending the base field, we may assume that K is algebraically closed. Theoretically, this assumption is not necessary in the following argument, but it makes
the expositions more readable.
For an ideal I ⊂ R, set V (I) := {p | p ∈ Spec R, p ⊃ I} as usual. For a =
(a1 , . . . , an ) ∈ K n , let ma denote the maximal ideal (x1 − a1 , x2 − a2 , . . . , xn − an )
of R. By abuse of notation, we just write a ∈ V (I) to mean ma ∈ V (I). Clearly,
a ∈ V (I) if and only if f (a) = 0 for all f ∈ I.
Vd
Proposition 2.1. We have dim R/In,k
= k and
 q 
Vd
deg R/ In,k
= S(n, k),

where S(n, k) stands for the Stirling number of the second kind, that is, the number
of ways to partition {1, 2, . . . , n} into k non-empty subsets.
Vd
Proof. For a = (a1 , . . . , an ) ∈ K n , a ∈ V (In,k
) if and only if

rank(Mn,k (a)) ≤ k,
where Mn,k (a) is the matrix given by putting xi = ai for each i in Mn,k . The latter
condition is equivalent to that #{a1 , . . . , an } ≤ k. This is also equivalent to that
there is a partition Π = {F1 , . . . , Fk } of the set [n] := {1, 2, . . . , n} such that ai = aj
for all i, j ∈ Fl (l = 1, 2, . . . , k). For the above partition Π, let PΠ denote the prime
ideal
(xi − xj | i, j ∈ Fl for l = 1, . . . , k)
of R. Since
q
\
Vd
PΠ ,
=
In,k
Π: partition of [n]
#Π=k

dim R/PΠ = k for all Π, and deg R/PΠ = 1, we are done.



Applying elementary column operations to Mn,k , we get the following matrix


1
0
0
···
0
 x1 x2 − x1 x3 − x1 · · · xn − x1 

 2 2
′
x x − x2 x2 − x2 · · · x2n − x21  ,
Mn,k := 

 .1 2 . 1 3 . 1
..

 ..
..
..
.
···
xk1 xk2 − xk1 xk3 − xk1 · · · xkn − xk1

and consider its k × (n − 1) submatrix

x2 − x1 x3 − x1 · · · xn − x1
 x22 − x21 x23 − x21 · · · x2n − x21
Nn,k := 
..
..
..

.
.
···
.
xk2 − xk1 xk3 − xk1 · · · xkn − xk1




.


VANDERMONDE DETERMINANTAL IDEALS

3

Vd
Clearly, In,k
is generated by all maximal minors (i.e., k-minors) of Nn,k .
Vd
Theorem 2.2. R/In,k
is Cohen-Macaulay. Moreover, its minimal graded free resolution is given by the Eagon-Northcott complex (see, for example [1]) associated
to the matrix Nn,k .

e = R[ yi,j |1 ≤ i ≤ k, 1 ≤ j ≤ n − 1 ] be a polynomial ring with
Proof. Let R
deg(yi,j ) = i, and Y the generic k × (n − 1) matrix whose (i, j) entry is yi,j for
e be the ideal generated by all maximal minors of Y . As is
each i, j. Let Ik (Y ) ⊂ R
e k (Y ) is a Cohen–Macaulay ring of dimension
well-known, R/I
e − ((n − 1) − k + 1) = n + k(n − 1) − n + k = nk,
dim R

e
e k (Y ) is given by the Eagon-Northcott
and the minimal R-free
resolution of R/I
complex.
For each i, j, set
e
fi,j := yi,j − (xij+1 − xi1 ) ∈ R,
and Θ := {fi,j | 1 ≤ i ≤ k, 1 ≤ j ≤ n − 1}. Then we have
Vd ∼ e
R/In,r
= R/(Ik (Y ) + (Θ)).

e k (Y ) = nk and
Since dim R/I

Vd
e − #Θ.
dim R/In,k
= k = nk − k(n − 1) = dim R

e k (Y ))-regular sequence, and it follows that R/I Vd is Cohen–
Hence Θ forms a (R/I
n,k
Vd
∼
e
Macaulay. Since R/(Θ)
is
= R, the minimal graded R-free resolution of R/In,k
e
e
e k (Y ).
to the minimal R-free
resolution of R/I

given by applying − ⊗Re R/(Θ)
e k (Y ), we use Symi V
When we construct the Eagon-Northcott resolution of R/I
for a k-dimensional vector space V . Contrary to the usual case, V has a basis
e1 , . . . , ek such that deg ei = i for each i.
Set
m
pm
i,j := #{(a1 , . . . , am ) ∈ N | a1 + a2 + · · · + am = i, a1 + 2a2 + · · · + mam = j}

For simplicity, set pm
0,j := δ0,j . It is easy to see that;
• pm
if i ≤ j ≤ im,
i,j 6= 0 if and only

P
m+i−1
m
• j pi,j =
.
i
m−1
m
m
• pi,j = pi,j + pi−1,j−m .
Let V be the k-dimensional vector space introduced above. Then the dimension of
the degree j part of Symi V is pki,j .
Corollary 2.3. For i ≥ 1, we have
Vd
βi,j (R/In,k
)

=

pki−1,j− k(k+1)
2


n−1
.
×
k+i−1


4

JUNZO WATANABE AND KOHJI YANAGAWA

e
Proof. We use the notation of the proof of Theorem 2.2. Since the minimal R-free
e
resolution of R/Ik (Y ) is given by Eagon-Northcott complex, we have


n−1
e e
R
k
βi,j (R/Ik (Y )) = pi−1,j− k(k+1) ×
k+i−1
2

e e
R
(R/Ik (Y )) =
(see also the argument before this corollary). By Theorem 2.2, we have βi,j
R
Vd
βi,j
(R/In,k
), so we are done.


Vd
Example 2.4. Since p2i,j = 0, 1 for all i, j, we always have βi,j (R/In,2
) = 0 or n−1
.
i+1
Vd
For example, the Betti table of R/I6,2 is the following.
total: 1 10 20 15 4
0: 1 . . . .
1: . . . . .
2: . 10 10 5 1
3: . . 10 5 1
4: . . . 5 1
5: . . . . 1
Vd
Vd
The following are the Betti tables of R/I6,3
and R/I7,3
, respectively.
total: 1 10 15 6
0: 1 . . .
1: . . . .
2: . . . .
3: . . . .
4: . . . .
5: . 10 5 1
6: . . 5 1
7: . . 5 2
8: . . . 1
9: . . . 1

total:
0:
1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:

1 20 45 36 10
1 . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. 20 15 6 1
. . 15 6 1
. . 15 12 2
. . . 6 2
. . . 6 2
. . . . 1
. . . . 1

VANDERMONDE DETERMINANTAL IDEALS

5

Lemma 2.5. We have
Vd
Vd
Vd
β1,j (R/In,k
) = β1,j−k (R/In−1,k−1
) + β1,j (R/In−1,k
)

and
Vd
Vd
Vd
Vd
βi,j (R/In,k
) = βi,j−k (R/In−1,k−1
) + βi,j (R/In−1,k
) + βi−1,j−k (R/In−1,k
)

for i ≥ 2.
One can check these equations in Example 2.4.
Proof. It is easy to check that
Vd
Vd
Vd
β1,j (R/In,k
) = β1,j−k (R/In−1,k−1
) = β1,j (R/In−1,k
)=0

for j 6= k(k + 1)/2. Moreover,
Vd
β1,k(k+1)/2 (R/In,k
)



n−1
=
k

 

n−2
n−2
+
=
k
k−1
Vd
Vd
= β1, k(k−1) (R/In−1,k−1
) + β1, k(k+1) (R/In−1,k
).
2

2

If i ≥ 2, we have

=

=
=
=
=

Vd
Vd
Vd
βi,j−k (R/In−1,k−1
) + βi,j (R/In−1,k
) + βi−1,j−k (R/In−1,k
)




n−2
n−2
k−1
k
p
+ pi−1,j− k(k+1) ·
·
k(k−1)
i−1,j− 2 −k
k+i−1
k+i−2
2


n−2
+pki−2,j− k(k+1) −k ·
k+i−2
2




 
n−2
n−2
k
k−1
k
p
+ pi−1,j− k(k+1) ·
·
k(k+1) + p
i−2,j− k(k+1)
−k
i−1,j− 2
k+i−1
k+i−2
2
2




n−2
n−2
+ pki−1,j− k(k+1) ·
pki−1,j− k(k+1) ·
k+i−2
k+i−1
2
2

 

n−2
n−2
pki−1,j− k(k+1) ·
+
k+i−1
k+i−2
2


n−1
pki−1,j− k(k+1) ·
k+i−1
2

Vd
= βi,j (R/In,k
).


Let I ⊂ R be a graded ideal, and A := R/I the quotient ring. Set d := dim A.
Then there is a polynomial hA (t) ∈ Z[t] such that the Hilbert series of A is given
by
hA (t)
.
Hilb(A, t) =
(1 − t)d

6

JUNZO WATANABE AND KOHJI YANAGAWA

We call hA (t) the h-polynomial of A. We always have hA (0) = 1 and hA (1) = deg A.
We also set
X
bA (t) :=
(−1)i βi,j (A)tj ∈ Z[t],
i,j

and call it the Betti polynomial of A. Since
M
M
R(−j)β1,j (A) −→ R −→ A −→ 0
R(−j)βn,j (A) −→ · · · −→
0 −→
j∈N

j∈N

is a graded exact sequence, and
Hilb(R, t) =

1
,
(1 − t)n

Hilb(A, t) =

bA (t)
,
(1 − t)n

we have

and hence
bA (t) = (1 − t)n−d · hA (t).

(2.1)

Vd
Proposition 2.6. Let b1 (t), b2 (t) and b3 (t) be the Betti polynomials of R/In,k
,
Vd
Vd
R/In−1,k−1 and R/In−1,k respectively. Then we have

b1 (t) = tk · b2 (t) + (1 − tk ) · b3 (t).
Proof. Easily follows from Lemma 2.5.



Theorem 2.7. We have
Vd
deg R/In,k
= S(n, k).
Vd
Vd
Proof. Since In,1
is an ideal generated by linear forms, we have deg R/In,1
=1=
Vd
S(n, 1) for all n ≥ 2. Since I3,2 is a principal ideal generated by a polynomial of
Vd
degree 3, we have deg R/I3,2
= 3 = S(3, 2). It is well-known that Stirling numbers
of the second kind satisfy the recurrence relation

S(n, k) = S(n − 1, k − 1) + kS(n − 1, k).
Vd
So it suffices to show that deg R/In,k
also satisfies the corresponding relation
Vd
Vd
Vd
deg R/In,k
= deg R/In−1,k−1
+ k(deg R/In−1,k
).
Vd
Vd
Vd
, R/In−1,k−1
and R/In−1,k
Let h1 (t), h2 (t) and h3 (t) be the h-polynomials of R/In,k
respectively. We also use the same notation as Proposition 2.6. By (2.1), we have

b1 (t) = (1 − t)n−k h1 (t),
b2 (t) = (1 − t)(n−1)−(k−1) h2 (t) = (1 − t)n−k h2 (t)
and
b3 (t) = (1 − t)(n−1)−k h3 (t) = (1 − t)n−k−1 h3 (t).

VANDERMONDE DETERMINANTAL IDEALS

7

Combining these equations with Proposition 2.6, we have
(1 − t)n−k h1 (t) = (1 − t)n−k tk h2 (t) + (1 − tk )(1 − t)n−k−1 h3 (t)
= (1 − t)n−k tk h2 (t) + (1 + t + · · · + tk−1 )(1 − t)n−k h3 (t)

= (1 − t)n−k tk h2 (t) + (1 + t + · · · + tk−1 )h3 (t) .

Hence we have

h1 (t) = tk h2 (t) + (1 + t + · · · + tk−1 )h3 (t),
and
Vd
Vd
Vd
deg R/In,k
= h1 (1) = h2 (1) + kh3 (1) = deg R/In−1,k−1
+ k(deg R/In−1,k
).


Vd
Corollary 2.8. R/In,k
is reduced.
Vd
Proof. Since A := R/In,k
is Cohen–Macaulay, any non-zero ideal I ⊂ A satisfies dim
pI = dim A as an A-module. Hence if A is not reduced, then deg A >
deg A/ (0). However, it contradicts the fact that
 q 

Vd
Vd
.
deg R/In,k
= S(n, k) = deg R/ In,k



References
[1] W. Bruns and U. Vetter, Determinantal Rings, Lecture notes in Mathematics 1327, SpringerVerlag, 1988.
[2] R. Fröberg, and B. Shapiro, On Vandermonde varieties, Math. Scand. 119 (2016), 73–91.
[3] T. Harima, T. Maeno, H. Morita, Y. Numata, A. Wachi, and J. Watanabe, The Lefschetz
Properties, Springer Lecture Notes 2080, Springer-Verlag, 2013.
[4] B.E. Sagan, The Symmetric Group. Representations, Combinatorial Algorithms, and Symmetric Functions, second edition, Springer-Verlag, 2001.
[5] J. Watanabe and K. Yanagawa, On Specht ideals, in preparation.
Department of Mathematics, Tokai University, Hiratsuka,, 259-1292 Japan
E-mail address: watanabe.junzo@tokai-u.jp
Department of Mathematics, Kansai University, Suita, Osaka 564-8680, Japan
E-mail address: yanagawa@kansai-u.ac.jp

