arXiv:1408.2136v2 [math.CO] 14 Sep 2016

DETERMINANTS OF INCIDENCE AND HESSIAN MATRICES
ARISING FROM THE VECTOR SPACE LATTICE
SAEED NASSEH, ALEXANDRA SECELEANU, AND JUNZO WATANABE
F
Abstract. Let V = n
i=0 Vi be the lattice of subspaces of the n-dimensional
vector space over the finite field Fq and let A be the graded Gorenstein algebra
defined over Q which has V as a Q basis. Let F be the Macaulay dual generator
2
F
| evaluated at
for A. We compute explicitly the Hessian determinant | ∂X∂ ∂X
i

j

the point X1 = X2 = · · · = XN = 1 and relate it to the determinant of the
incidence matrix between V1 and Vn−1 . Our exploration is motivated by the
fact that both of these matrices arise naturally in the study of the Sperner
property of the lattice and the Lefschetz property for the graded Artinian
Gorenstein algebra associated to it.

1. Introduction
Let P be a poset with a rank function ρF: P → N. Then P decomposes into a
c
disjoint union of the level sets, namely P = i=0 Pi , where Pi = {x ∈ P | ρ(x) = i}.
We say that P has the Sperner property if the maximum size of antichains of P
is equal to the maximum of the rank numbers |Pi |. Some of the basic examples of
finite ranked posets known to have the Sperner property are the Boolean lattice,
the divisor lattice, and the vector space lattice over a finite field. One way to show
that the Sperner property holds for the vector space lattice is as consequence of
the fact that certain incidence matrices have full rank as illustrated in [5, Theorem
1.83]. We will say that a ranked poset with a symmetric sequence of rank numbers
has the strong Lefschetz property if the incidence matrices between every pair of
symmetric level sets are invertible. This implies the Sperner property for posets
with symmetric sequence of rank numbers by [5, Lemmas 1.51, 1.52]. For the vector
space lattice, the fact that it has the strong Lefschetz property follows from a result
of Kantor [7]. There are several other ways to show that the vector space lattice
has the Sperner property; the reader may consult [3] for details.
It is remarkable that some posets with a rank function can be vector space bases
for some graded Artinian algebras over a field in such a way that the multiplication
of the algebra is compatible with the incidence structure of the poset. For example
the Boolean lattice 2{x1 ,··· ,xn } can be the basis for the algebra
K[x1 , x2 , · · · , xn ]/(x21 , x22 , · · · , x2n ).
Recently Maeno and Numata [9] succeeded in constructing a family of algebras
over a field for which vector space lattices are the bases. To explain briefly their
construction, let Fq be the finite field with q elements, V = Fnq the n-dimensional
Date: September 15, 2016.
2000 Mathematics Subject Classification. Primary: 05B20, 05B25, 51D25; Secondary: 13A02.
Key words and phrases. vector space lattice, incidence matrix, Hessian, strong Lefschetz property, Gorenstein algebras, finite geometry.
1

2

SAEED NASSEH, ALEXANDRA SECELEANU, AND JUNZO WATANABE

Fn
vector space and V = i=0 Vi the vector space lattice with rank decomposition.
Introduce as many variables as the number of the one dimensional subspaces of V
and then define the form
X
F =
xi1 xi2 · · · xin ,

where the indices run over the combinations such that span hxi1 , xi2 , · · · , xin i is the
whole space V . (A variable like xi represents a one dimensional vector subspace
of V and distinct variables represent distinct spaces.) Let R = K[x1 , · · · , xN ] be
the polynomial ring in N variables, where N is the number of one dimensional
subspaces of V . (Note K is any field and should not be confused with Fq .) Set
A = R/Ann(F ). The Artinian algebra A has the Hilbert function displayed below
   
  !
n
n
n
,
,··· ,
.
0 q 1 q
n q
 
An explicit formula for ni q is given in the beginning of section 2. Every monomial
m in A represents a vector subspace in V of the dimension which is equal to the
degree of m.
2
F
| of F evaluated at x1 =
We are interested in the Hessian determinant | ∂x∂i ∂x
j
· · · = xN = 1. The motivation for it is as follows: it is proven in [10] that the nonvanishing of the Hessian, together with the non-vanishing of the higher Hessians
2k
F
|) is equivalent to the
of the Macaulay dual generator F (i.e., | ∂xi ...∂x∂i ∂x
j1 ...∂xjk
1
k
strong Lefschetz property for the Gorenstein algebra (Definition 4.4), which ensures
the Sperner property of the poset. This suggests that a connection exists between
the higher Hessians evaluated at a certain point (xi ) and the determinants of the
incidence matrices for the vector space lattice. (Recall that the first Hessian of F is
the Hessian in the usual sense.) Our main result is Theorem 4.11, where we make
explicit the relation between the Hessian matrix and the incidence matrix of the
vector space lattice and we derive from it a closed formula in Corollary 4.12 for the
Hessian of F evaluated at x1 = · · · = xN = 1.
In the literature, efforts have been made to obtain the Smith normal form of
incidence matrices for various posets ([13]). In particular the Smith normal form
for the incidence matrix between the sets V1 and Vn−1 is obtained by Xiang [15].
The determinant itself is much easier to obtain; it is enough to notice that
A T A = (N − λ)I + λJ,
where I is the N × N identity matrix and J is the matrix with all 1 as entries. This
is due to Xiang [15, (1.1)]. In this paper we reproduce a proof for it since this does
not seem to be well known among the commutative algebraists (Theorem 3.6 (c)).
Computations similar in spirit have been performed for evaluating the determinants of all incidence matrices of the Boolean lattice in [12] and [4], obtaining
explicit and recursive formulas respectively. For a comprehensive survey of determinant evaluations and their many applications see [8].
Our paper is organized as follows: in Section 2 we gather useful properties of the
vector space lattice, focusing on enumerative results. In Section 3 we carry out our
computation of the determinant of the incidence matrix between the first level set
and the (n − 1)st level set. In Section 4 we recall Maeno–Numata’s construction of
the graded Artinian Gorenstein algebra A associated with the vector space lattice
as introduced in [9]. We explicitly describe the Hessian matrix of the Macaulay dual

DETERMINANTS OF INCIDENCE AND HESSIAN MATRICES

3

generator of A and we compute the Hessian determinant. Furthermore, we show
that the same method can be used to obtain the determinant for the multiplication
PN
map ×L : A1 → An−1 , where L := j=1 xj , and the matrix is written with respect
to the monomial bases.
2. The vector space lattice
Throughout this paper, let F be the finite field with q elements and let n be a
positive integer.
Definition 2.1. The vector space lattice on Fn , denoted V(n, q), is the set of all
subspaces of Fn naturally ordered by inclusion. Note that V(n, q) is a poset with
the rank function ρ defined by ρ(W ) = dimFF
(W ), for each W ∈ V(n, q). This
n
gives rise to the rank decomposition V(n, q) = j=0 Vj into level sets Vj := {W ∈
V(n, q) | dimF (W ) = j}.
Using the notation [i] = (q i − 1)/(q − 1) for the q-integers, we recall the formula
for the sizes of the level sets in the vector space lattice (see [5, Proposition 1.81]):
( [n][n−1]...[n−j+1]
 
 
(0 6 j 6 n)
n
n
[j][j−1]...[1]
card(Vj ) =
, where
=
j q
j q
0
(j < 0 or j > n).
Let G(n, m) denote the Grassmannian variety of m-dimensional subspaces of
an n-dimensional vector space. One reason for studying the vector space lattice
V is that each level set Vj may be regarded as the set of rational points of the
Grassmannian variety G(n, j) corresponding to a finite vector space. In our work
we routinely identify the set Vj as the collection of n × j matrices in echelon form
with entries in F. For example, for n = 4 and j = 2, the set Vj is in one-one
correspondence with the set
n 1 0 ∗ ∗ 1 ∗ 0 ∗ 1 ∗ ∗ 0
,
,
,
0 1 ∗ ∗
0 0 1 ∗
0 0 0 1

 
 
o
0 1 0 ∗
0 1 ∗ 0
0 0 1 0
,
,
0 0 1 ∗
0 0 0 1
0 0 0 1
where each echelon form corresponds to the subspace spanned by the rows of the
respective matrix.
For W ∈ V(n, q), define the dual subspace W ⊥ ∈ V(n, q) by
(
)
n
X
⊥
n
W = w∈F |
vi wi = 0, for all v ∈ W .
i=1

The map V(n, q) → V(n, q) given by W 7→ W ⊥ is an inclusion-reversing bijection
meaning that it satisfies the condition: U ⊆ W if and only if W ⊥ ⊆ U ⊥ .
Focusing on the level sets of elements of rank 1 and n − 1, respectively, the
formula for the sizes of the level sets gives card(V1 ) = card(Vn−1 ) = [ n1 ]q . Set
N = card(V1 ) and fix the following notation for elements of the level set V1 :
V1 = {v1 , v2 , . . . , vN }.
In particular, the set V1 is in one-one correspondence with the rational points of
the projective space PFn−1 . Thus it will be convenient to regard V1 as the set of
vectors (a1 , . . . , an ) such that the first nonzero component is 1. These vectors are

4

SAEED NASSEH, ALEXANDRA SECELEANU, AND JUNZO WATANABE

a special case of the echelon matrices
above. Since PFn−1 = PFn−2 ⊔ AFn−1 ,

 n−1described
n
n−1
.
we have the identity N = [ 1 ]q = 1 q + q
⊥
We denote by vk the dual space of Fvk , which allows us to identify the (n − 1)-st
level set of the vector space lattice with the set of duals of elements of the first level
set as follows:
⊥
Vn−1 = {v1⊥ , v2⊥ , . . . , vN
}.
The following definition introduces the focal point of our attention in this work.
Definition 2.2. The incidence matrix A = (aij ) for V1 and Vn−1 is the N × N
matrix whose entries are
(
1 (vi ∈ vj⊥ )1
aij =
0 (vi 6∈ vj⊥ ).
The first goal of this note is to find a closed formula for the determinant of
the incidence matrix A. While our vector space lattice is defined over a field of
positive characteristic, all of our determinant computations will be performed in
characteristic zero. This is to preserve the enumerative properties of the entries in
our matrices. Note that the truly meaningful invariant of the incidence structure
between V1 and Vn−1 is in fact the absolute value of this determinant, denoted
|det A|, since this is preserved under permuting the order of the elements in V1 and
Vn−1 .
We begin by describing the incidence matrix in a concrete example.
Example 2.3. Let q = 2 and n = 3. In this case we have N = 7. Then V1 =
{v1 , v2 , . . . , v7 }, in which
v1 = (0, 0, 1)

v2 = (0, 1, 0)

v5 = (1, 0, 1)
Now we have V2 =

1
u1 := v1⊥ =
0

0
u4 := v4⊥ =
0

V1⊥
0
1
1
0

v3 = (0, 1, 1)

v6 = (1, 1, 0)

= {u1 , u2 , . . . , u7 }, where


0
1 0
u2 := v2⊥ =
0
0 0


0
1 0
u5 := v5⊥ =
1
0 1

1 0
u7 := v7⊥ =
0 1

Therefore we can compute the incidence
det(A) = −3 · 23 and

0 1 0
1 0 0

0 0 1

A=
1 1 1
0 1 0

1 0 0
0 0 1

v4 = (1, 0, 0)

v7 = (1, 1, 1).

0
1




1
0

1
.
1


1
0

1
u6 := v6⊥ =
0
u3 := v3⊥ =

0
1
1
0


0
1

0
1

matrix A as displayed below, which gives
1
1
1
0
0
0
0

0
1
0
0
1
0
1

1
0
0
0
0
1
1


0
0

1

0
.
1

1
0

1Throughout this article, we write v ∈ v⊥ rather than v ⊂ v⊥ because we prefer to think of
i
i
j
j

of vi as vectors rather than subspaces of V , via a canonical identification explained above.

DETERMINANTS OF INCIDENCE AND HESSIAN MATRICES

5

For later use in our computations, we record a few enumerative invariants of the
lattice V(n, q). We employ the notation card for the cardinality of a finite set.
Proposition 2.4. The following enumerative identities hold true:
(a) card(GL(n, F)) = (q n − 1)(q n − q 1 )(q n − q 2 ) . . . (q n − q n−1 ).
(b) The number of ordered n-tuple subsets of V1 which form bases for Fn is
!
n  
card(GL(n, F))  n(n−1)/2  Y k
tn,q =
= q
.
1 q
(q − 1)n
k=1

(c) The number of n-tuple subsets of V1 which form bases for Fn is
!
 n(n−1)/2  Y
n  
q
card(GL(n, F))
k
=
.
sn,q =
1 q
n!(q − 1)n
n!
k=1

(d) The number of ordered n-tuple subsets of V1 which form bases for Fn and contain a fixed linearly independent ordered subset of size j is
!
 n−j

Y k 
(n(n−1)−j(j−1))/2
tn,j,q = q
.
1 q
k=1

(e) The number of n-tuple subsets of V1 which form bases for Fn and contain a fixed
linearly independent subset of size j is
!
 (n(n−1)−j(j−1))/2  n−j
Y k 
q
.
sn,j,q =
1 q
(n − j)!
k=1

(f) The number of paths in V(n, q) from the minimum element to the maximum
element in the vector space lattice of Fn is equal to
n  
Y
k
pn,q =
.
1 q
k=1

Proof. (a) Any nonzero vector can be the first row of an n × n invertible matrix.
If the first k rows u1 , . . . , uk ∈ Fn of an invertible matrix are chosen, then any
P
vector in Fn \ ki=1 Fui can be the (k + 1)-st row for such a matrix. This proves
the formula inductively for the number of elements in GL(n, F).
(b) We regard such an ordered n-tuple of vectors as a matrix U ∈ GL(n, F)
and we let ui be the i-th row. Then, for each integer i, we may find a unique
vector vki ∈ V1 such that Fvki = Fui . The correspondence U 7→ (vk1 , . . . , vkn ) is
(q − 1)n : 1, where by (vk1 , . . . , vkn ) we mean the ordered n-tuple. This proves that
the number of ordered n-tuple subsets of V1 which form bases for Fn is equal to
(q n − 1)(q n − q 1 )(q n − q 2 ) . . . (q n − q n−1 )
.
(q − 1)n
Noting that


qn − qk
q n−k − 1
n−k
= qk
= qk
,
1 q
q−1
q−1

we may rewrite the expression above as the claimed formula.
(c) This is easily deduced by observing that the correspondence between the
ordered tuples of part (b) and the unordered ones is n! : 1.

6

SAEED NASSEH, ALEXANDRA SECELEANU, AND JUNZO WATANABE

(d) We regard such an ordered n-tuple of vectors as a matrix U ∈ GL(n, F), where
the first j rows are fixed. Similar reasoning as in part (b) yields the following count
!
n−j  
(q n − q j )(q n − q j+1 ) . . . (q n − q n−1 )  (n(n−1)−j(j−1))/2  Y k
= q
.
1 q
(q − 1)n−j
k=1

(e) The statement follows from (d) because the correspondence between the
ordered tuples of part (d) and the unordered ones is (n − j)! : 1.
(f) A path from the minimum element to the maximum element in the lattice
V(n, q) is a chain of vector subspaces in Fn
W0 = F0 ⊂ W1 ⊂ W2 ⊂ . . . ⊂ Wn = Fn ,

with Wk ∈ Vk . Let W ∈
 Vk . The number of (k + 1)-dimensional subspaces in
Fn which contains W is n−k
, since this number is the same as the number of
1
q
linearly independent vectors in Fn /W , which is (n − k)-dimensional. Hence the
assertion follows.

3. The determinant of the incidence matrix between V1 and Vn−1
We use the notation fixed in section 2. A recurring theme in our work will be the
occurrence of matrices of a special form, for which determinants are relatively easily
computed. We find it useful to introduce a uniform notation for these matrices.
Notation 3.1. Let Φ(ν, α, β) denote the matrix of size ν × ν with entries
(
α (i = j)
φij =
β (i 6= j).
Lemma 3.2. (a) The determinant of Φ(ν, α, β) is given by
det Φ(ν, α, β) = (α − β)ν−1 (νβ + α − β).
(b) If α − β = α′ − β ′ then
det Φ(ν, α, β)
νβ + α − β
.
=
det Φ(ν, α′ , β ′ )
νβ ′ + α′ − β ′
Proof. Part (a) follows after performing convenient row and column operations on
Φ(ν, α, β) to transform the matrix to an almost diagonal form. Part (b) then follows
from (a).

Definition 3.3. In addition to the incidence matrix A of Definition 2.2, we consider
the N × N matrix B = (bij ) whose entries are
(
0 (vi ∈ vj⊥ )
bij = 1 − aij =
1 (vi 6∈ vj⊥ ).
As it will turn out, the determinant of B is easier to compute than that of A and
we use the relation between A and B to complete our computation. Furthermore,
both of these matrices carry deeper algebraic meaning, as we shall see in section 3.
We begin with a few structural observations regarding the matrices A and B.
Lemma 3.4. (a) Matrices A and B are symmetric.
 n−1 
PN
PN
.
(b)
i=1 aij =
j=1 aij =
1
q
 n−1 
PN
PN
n
= q n−1 .
(c)
i=1 bij =
j=1 bij = [ 1 ]q −
1
q

DETERMINANTS OF INCIDENCE AND HESSIAN MATRICES

7

Proof. Note that vi ∈ vj⊥ if and only if vj ∈ vi⊥ , which follows from the inclusionreversing property of dual spaces. This implies part (a). The row sum of A is equal
to the number of codimension 1 subspaces in Fn−1 which contain v1 , and this is
equal to the number of the 1-dimensional subspaces in v1⊥ ∼
= Fn−1 . Hence, part (b)
n
follows. Finally, since N = [ 1 ]q , part (c) follows as a consequence of the relations
bij = 1 − aij .

The following result shows the role played by the matrices Φ(ν, α, β) in relation
to A and B.
Lemma 3.5. The following hold:
 
  n−2  
n−1
, n−3 q
(a) A2 = Φ N, n−2
q

(b) B 2 = Φ(N, q n−1 , q n−2 (q − 1))
(c) AB = Φ(N, 0, q n−2 ).

PN
Proof. (a) The (i, j)-th entry of A2 is k=1 aik akj . Note that
(
1 (vi , vj ∈ vk⊥ )
aik akj =
0 (otherwise).
PN
Hence, if i = j, the sum
number of codimension 1
k=1 aik akj is equal to the 
n−1
because these subspaces
subspaces in Fn which contain v1 and this number is n−2
q
⊥
are in bijection with codimension one subspaces of v1 ≃ Fn−1 . If i 6= j, the sum
PN
of codimension
1 subspaces in Fn which contain
k=1 aik akj is equal to the number
 n−2

both v1 and v2 . This number is n−3 q because the codimension 1 subspaces in
Fn which contain both v1 and v2 are in bijection with codimension 1 subspaces in
{v1 , v2 }⊥ ≃ Fn−2 . This proves the assertion for A2 .
PN
(b) The (i, j)-th entry of B 2 is k=1 bik bkj . For the diagonal entry of B 2 we have
n
to count the number of the codimension 1 subspaces
which do not contain
 n−1 of F n−1
n
n−1
. To compute the
v1 . This number is q
since we have [ 1 ]q − 1 q = q
off-diagonal entry of B 2 we use the inclusion-exclusion formula, since we have to
count the number of the subspaces of Fn of codimension 1 which contain neither
v1 nor v2 . The number of the subspaces in Fn of codimension 1 is [ n1 ]q , and the


and the same
number of the subspaces of codimension 1 which contain v1 is n−1
1
q
is true for v2. The number of the subspaces of codimension 1 which contain both
. Hence,
v1 and v2 is n−2
1
q
 




N
X
n
n−1
n−2
bik bkj =
−2
+
= q 2 (q − 1).
1 q
1 q
1 q
k=1

(c) By the definition A + B = Φ(N, 1, 1), which is the N × N matrix with 1
for all entries. Hence (A + B)B is the matrix which has the row sum of B for all
entries. By Lemma 3.4, this row sum is q n−1 . Thus the diagonal entries of AB are
0 and the off-diagonal entries are equal to q n−1 − q n−2 (q − 1) = q n−2 .


At this point, part (a) of Lemma 3.5 together with the formula in Lemma 3.2
would allow us to complete the computation of | det(A)|. It turns out, however,
that it is easier to find | det(B)| first and utilize the relationship between the two
determinants than to simplify the expression resulting from a direct approach. The
following is the main result of this section.

8

SAEED NASSEH, ALEXANDRA SECELEANU, AND JUNZO WATANABE

Theorem 3.6. For the matrices A and B = Φ(N, 1, 1) − A, we have
(a) det(B 2 ) = q (n−2)N +n .
(b) |det B| = q ((n−2)N +n)/2 . 

.
(c) |det A| = q (n−2)(N −1)/2 n−1
1
q

Proof. Lemmas 3.2(a) and 3.5(b) imply that det(B 2 ) = q (n−2)N (N (q − 1) + 1).
Now part (a) follows from the formula N = (q n − 1)/(q − 1) and part (b) follows
immediately from (a).
 
  n−2  
n−1
, n−3 q and B 2 =
Recall from Lemma 3.5 the identities A2 = Φ N, n−2
q








n−2
n−1
=
− n−2
= n−1
− n−3
Φ(N, q n−1 , q n−2 (q − 1)). Since N = [ n1 ]q , n−2
1
1
q
q
q
q
q n−2 and q n−1 − q n−2 (q − 1) = q n−2 , it follows from Lemma 3.2(b) that



q n−2 − 1
det(A2 ) : det(B 2 ) =
N·
+ q n−2 : N q n−2 (q − 1) + q n−2
q−1

 n

(q − 1)(q n−2 − 1)
n−2
: (q n − 1)q n−2 + q n−2
+
q
=
2
(q − 1)
n
(q − 1)2 2n−2  n−1  2
=
:q
=
: (q n−1 )2 .
1
q
(q − 1)2


: q n−1 . Together with part
Taking the square root gives |det A| : |det B| = n−1
1
q
(b), this implies part (c) of the theorem.

Remark 3.7. We can compute the determinant for A also using the description


of AB. From Lemmas 3.2 and 3.5, noting that N − 1 = [ n1 ]q − 1 = q n−1
=
1
q

|det Φ(N, 0, 1)|, one gets |det(AB)| = (N − 1)q N (n−2) , whence |det A| = (N −
1)q (N (n−2)−n)/2 . This description for |det A| is slightly different from Theorem 3.6.
Of course, they are in fact the same since we have

 

n−1
n
.
−1=q
N −1=
1 q
1 q

Remark 3.8. The result in Theorem 3.6 (c) recovers the non-vanishing of one
of the determinants involved in the definition of the strong Lefschetz property for
ranked posets given in the Introduction. We recall that the vector space lattice has
been proven to have the strong Lefschetz property in [7].
Example 3.9. The determinant computations below were obtained directly using
Mathematica [11], independent of Theorem 3.6 for q = 2, 3, 5.
q=2
n
3
4
5
6
7
8
N
7
15
31
63
127
255
det A 23 · 3 214 · 7 245 · 15 2124 · 31 2315 · 63 2762 · 127
det B 23 · 22 214 · 23 245 · 24 2124 · 25 2315 · 26 2762 · 27
q=3
n
N
det A
det B

3
13
36 · 22
36 · 32

4
5
40
121
339 · 13 3180 · 23 · 5
239 · 33
3180 · 34

6
364
3726 · 112
3726 · 35

q=5
n
3
4
N
31
156
det A 515 · 2 · 3 5155 · 31
det B
515 · 52 5155 · 53

DETERMINANTS OF INCIDENCE AND HESSIAN MATRICES

9

4. The Hessian of the Macaulay dual generator for the Gorenstein
algebra associated to the vector space lattice
In this section, we relate the combinatorial data of section 2 to algebraic invariants arising from a graded ring associated to the vector space lattice.
Recall that N = [ n1 ]q . Consider the polynomial rings R = K[X1 , . . . , XN ] and
Q = K[x1 , . . . , xN ], where K is a field of characteristic zero. Setting xi = ∂/∂Xi
allows one to view R as a Q-module via the partial differentiation action of Q on
R given by xi ◦ f = ∂f /∂Xi , for f ∈ R.
A bijection can be established between the set of variables in R and the set PFn−1
of vectors of length n with entries in the field F in which the first non-zero entry is
1. We fix this bijection once and for all, so that the variable Xi corresponds to the
vector vi ∈ PFn−1 .
We now outline the construction given in [9] of a graded Artinian Gorenstein
algebra associated to the vector space lattice. This uses the theory of Macaulay
inverse systems, which provides a correspondence between homogeneous polynomials in the ring R and graded Artinian Gorenstein quotient algebras of Q. For more
details on Macaulay inverse systems the reader may consult [1] and [6].
Definition 4.1. For a homogeneous polynomial F ∈ R, the annihilator of F in Q
is the ideal I ⊂ Q defined by
AnnQ (F ) := {f ∈ Q | f ◦ F = 0}.
If I is an ideal of Q the following set is the annihilator of I in R:
AnnR (I) := {F ∈ R | f ◦ F = 0, ∀f ∈ I}.
Let I ⊂ Q be a homogeneous ideal of finite colength. It is well known that if Q/I
is Gorenstein, then there exists a homogeneous form F ∈ R such that I = AnnQ (F ).
On the other hand, if F ∈ R is homogeneous, then I = AnnQ (F ) is a homogeneous
ideal and Q/AnnQ (F ) is an Artinian Gorenstein algebra.
The idea of constructing a Gorenstein algebra associated to the vector space
lattice is that one can encode its combinatorial structure in a homogeneous polynomial of R and then consider the graded Gorenstein quotient of Q corresponding
to it.
Definition 4.2. We define the Macaulay dual generator for the vector space lattice
to be the following degree n homogeneous polynomial in R
X
FV(n,q) =
Xi1 Xi2 . . . Xin .
Xi1 Xi2 ...Xin ∈B

In the sum, the sets of indices of the variables appearing in each monomial represent
the subsets of V1 that form bases for Fn , namely:
B = {Xi1 Xi2 . . . Xin | 1 6 i1 < i2 < . . . in 6 N and det[vi1 vi2 . . . vin ] 6= 0 in F}.
The cardinality of the set B above is according to Proposition 2.4
!
 n(n−1)/2  Y
n  
q
k
.
card(B) = sn,q =
1 q
n!
k=1

Definition 4.3. Setting I = AnnQ (FV(n,q) ) yields a graded Artinian Gorenstein
quotient ring AV(n,q) = Q/I, which we call the Gorenstein algebra associated to

10

SAEED NASSEH, ALEXANDRA SECELEANU, AND JUNZO WATANABE

the vector space lattice. For simplicity, we write A for AV(n,q) henceforth, unless
otherwise specified.
This graded ring decomposes into homogeneous components as follows
n
n
M
M
Ai .
(Q/I)i =
A = Q/I =
i=0

i=0

One notices the similarity between the homogeneous decomposition of A and
the rank decomposition of V(n, q). It is shown in [5, Lemma 1.48 and step 4 in
the proof of Theorem 1.83] and [9, Lemma 4.1 and Theorem 4.2] that the non-zero
monomials in A are in bijective correspondence with the elements of V(n, q) in such
a way that the level set Vi corresponds to the monomials in the graded component
Ai . In particular, we have the following correspondences
A0 ∋ 1

↔ F 0 ∈ V0

An ∋ g

↔ F n ∈ Vn ,

where g is a monomial of degree n called a socle generator for A. The socle of
A is a 1-dimensional vector space, thus in A g is unique up to scalar. However
any product of variables of Q whose indices correspond to a basis of V and can be
chosen to be a representative for g.
Next we recall the algebraic counterpart of the Lefschetz properties defined for
ranked posets in the Introduction, with the end goal of explicitly relating the incidence matrices of section 2 with certain matrices arising from the Macaulay dual
generator in Definition 4.2.
Consider for some scalar values a1 , . . . , aN ∈ K the linear form
L = a1 x1 + . . . + aN xN ∈ Q
and let 0 6 j 6 ⌊n/2⌋. We set ×Ln−2j : A → A to be the Q-module homomorphism given by x 7→ Ln−2j x. Restricting to the degree j and n − j homogeneous
components of A, we obtain the K-linear maps
×Ln−2j : Aj → An−j .
The motivation for considering such a map originally arises from the study of cohomology rings of compact Kähler manifolds, where one can regard such a map as
taking a class in cohomology and intersecting it with hyperplanes (represented by
L) n − 2j times.
Fixing the sets of monomials corresponding to elements of Vj and Vn−j , respectively, as bases for Aj and An−j one can express the linear transformations ×Ln−2
as matrices Mj . Note that dimK Aj = dimK An−j since the bases for these vector
spaces correspond to symmetric level sets Vj and Vn−j of V(n, q) which have the
same size. Thus, it makes sense to consider det Mj .
Definition 4.4. Let A be any graded Gorenstein Artinian algebra. If there exist
scalars a1 , . . . , aN ∈ K such that the matrices Mj representing the K-linear maps
×Ln−2j : Aj → An−j for L = a1 x1 + . . . + aN xN have det Mj 6= 0 for all 0 6 j 6
⌊n/2⌋, the algebra A is said to have the strong Lefschetz property.
We turn to our case of interest A = AV(n,q) and focus on a particular choice
of linear form, ℓ = x1 + x2 + . . . + xN . We shall be particularly concerned with
computing Q
the determinant of the matrix that represents the map ×ℓn−2 . Set⊥
ting xi = vj ∈v⊥ xj , consider the bases B1 = {x1 , . . . , xN } for A1 and Bn−1 =
i

DETERMINANTS OF INCIDENCE AND HESSIAN MATRICES

11

⊥
{x⊥
1 , . . . , xN } for An−1 , which we shall call canonical bases, and let M be the matrix
that represents the linear transformation ℓn−2 with respect to these fixed bases.

Example 4.5. Let q = 2 and n = 3, which yield N = 7. We use the notation of
Example 2.3. A computation with Macaulay2 [2] yields that the matrix representing
×ℓ : A1 → A2 with respect to the bases
B1
B2

= {x1 , x2 , x3 , x4 , x5 , x6 , x7 }
= {x2 x4 , x1 x4 , x3 x4 , x1 x2 , x2 x5 , x1 x6 , x3 x5 }

is the matrix M below, related to the incidence matrix A computed in example 2.3
as follows:


0 2 0 2 0 2 0
2 0 0 2 2 0 0 


0 0 2 2 0 0 2 



M =
2 2 2 0 0 0 0 = 2A.
0 2 0 0 2 0 2 


2 0 0 0 0 2 2 
0 0 2 0 2 2 0

The following Theorem describes the precise relation between the incidence matrix A of Definition 2.2 and the matrix describing multiplication by ℓn−2 .

Theorem 4.6. The matrix M representing ×ℓn−2 with respect to the standard
bases for A1 and An−1 is M = tn−1,1,q A. Hence, |det M | = tN
n−1,1,q |det A|.
Proof. To find the entry of M in the position
Q indexed by the variable xi ∈ A1 corresponding to vi and the basis element x⊥
=
j
vk ∈v ⊥ xk ∈ An−1 corresponding to the
j

element vj⊥ ∈ νn−1 , we need to count the number of monomials xk1 xk2 . . . xkn−1 in
the expansion of ℓn−1 in the polynomial ring which satisfy the following conditions:
(a) One of xk1 , xk2 , . . . , xkn−1 is xi .
(b) Spanhvk1 , vk2 , vk3 . . . , vkn−1 i = vj⊥ .

If vi 6∈ vj⊥ then clearly this number is zero. If vi ∈ vj⊥ , then we need to count
the number of ordered (n − 1)-tuples which form bases for vj⊥ and contain v1 . By
Proposition 2.4 this number is
!
 n−2

Y k 
tn−1,1,q = q (n−1)(n−2)/2
.
1 q
k=1

Hence, it follows from Definition 2.2 that the matrix for ×ℓn−2 is tn−1,1,q A.



It is shown in [10] that there is a close connection between the matrices representing ×Ln−2j for L = a1 x1 +. . .+aN xN and the determinants of higher analogues
of the classical Hessian matrix of the Macaulay dual generator FV( q,n) , evaluated
at X1 = a1 , . . . , XN = aN . For our purposes it suffices to consider the classical
Hessian, as this corresponds to ×Ln−2 which we have been able to relate to the
incidence matrix in Theorem 4.6.
Definition 4.7. The Hessian matrix of a polynomial F ∈ R = K[X1 , . . . , XN ] is
the matrix of partial derivatives


∂2F
.
H(F ) =
∂Xi ∂Xj 16i6N,16j6N

12

SAEED NASSEH, ALEXANDRA SECELEANU, AND JUNZO WATANABE

We begin by describing the Hessian matrix in our running example.
Example 4.8. Let q = 2 and n = 3. We use the notation of Examples 2.3 and 4.5.
The Macaulay dual generator, as introduced in Definition 4.2, is
FV(3,2) = X1 X2 X4 + X1 X3 X4 + X2 X3 X4 + X1 X2 X5 + X1 X3 X5 + X2 X3 X5
+ X2 X4 X5 + X3 X4 X5 + X1 X2 X6 + X1 X3 X6 + X2 X3 X6 + X1 X4 X6
+ X3 X4 X6 + X1 X5 X6 + X2 X5 X6 + X4 X5 X6 + X1 X2 X7 + X1 X3 X7
+ X2 X3 X7 + X1 X4 X7 + X2 X4 X7 + X1 X5 X7 + X3 X5 X7 + X4 X5 X7
+ X2 X6 X7 + X3 X6 X7 + X4 X6 X7 + X5 X6 X7 .
Note that this polynomial has s3,2 = 28 terms, in accordance to the formula in
Proposition 2.4. A computation with Macaulay2 [2] yields that, after evaluating at
X1 = . . . = X7 = 1, the Hessian matrix is


0 4 4 4 4 4 4
4 0 4 4 4 4 4 


4 4 0 4 4 4 4 



H(FV(3,2) )|X1 =X2 =...=X7 =1 = 
4 4 4 0 4 4 4 = Φ(7, 0, 4).
4 4 4 4 0 4 4 


4 4 4 4 4 0 4 
4 4 4 4 4 4 0

In the following we aim to understand this especially nice form of the Hessian matrix by describing the relation between the Hessian of the Macaulay dual generator
of A and the matrices introduced in section 2.
Lemma 4.9. Let F ∈ R = K[X1 , . . . , XN ] be a homogeneous polynomial of degree
∂
n, let a1 , . . . , aN ∈ K and consider the linear form L = a1 ∂X
+ . . . + aN ∂X∂ N ∈ Q.
1
Then there is a commutative diagram
A1 ⊗K A1

1A1 ⊗K (×Ln−2 )

// A1 ⊗K An−1

µ

// An

◦F

//33 K

(n−2)!H(F )|X1 =a1 ,...,XN =aN

where
(a) µ denotes the internal multiplication on A,
(b) the map ◦F maps f ∈ An 7→ f ◦ F ∈ K and
(c) H(F )|X1 =a1 ,...,XN =aN denotes the K-bilinear form A1 ⊗K A1 → K represented
∂
with respect to the basis { ∂X
, ∂ , ..., ∂X∂ N } of A1 by the matrix in Definition
1 ∂X2
4.7 evaluated at X1 = a1 , . . . , XN = aN .
Proof. From the proof of [14, Theorem 4], [10, Theorem 3.1] or [5, Theorem 3.76]
we have the following identity:
∂
∂
∂
∂
Ln−2
F (X) = (n − 2)!
F (X)|X1 =a1 ,...,XN =aN .
∂Xi ∂Xj
∂Xi ∂Xj
The left side of the expression above can be viewed as the composition of the three
∂
∂
⊗ ∂X
∈ A1 ⊗K A1 .
maps in the top line of the diagram, applied to the element ∂X
i
j
The right side of the displayed equality is the bottom map in the diagram evaluated
at the same element. The commutative diagram represents this equality in visual
form.


DETERMINANTS OF INCIDENCE AND HESSIAN MATRICES

13

To exploit the relations illustrated in the above diagram, we prove the following.
Proposition 4.10. The matrix describing the natural (bilinear) multiplication map
µ
A1 ⊗K An−1 −→ An with respect to the canonical bases of A1 ,An−1 and An ,
respectively, is the matrix B introduced in Definition 3.3.
Proof. Since the squares of variables are in the ideal I, by [9, Proposition 3.1], we
have that the action of µ on the pairs of basis elements is the following:
(
⊥
0 (xi | x⊥
j , equivalently vi ∈ vj )
⊥
µ(xi , xj ) =
⊥
⊥
g (xi 6 |xj , equivalently vi 6∈ vj ).
Clearly then µ is represented as a bilinear form by B with respect to the bases
B1 and Bn−1 of A1 and An−1 , and the basis {g} for An , where g is a monomial
generator of An .

We are now ready to see how the Hessian relates to the matrices A and B.
Theorem 4.11. The Hessian matrix of FV( q,n) evaluated at X1 = . . . = Xn = 1 is
H(FV( q,n) )|X1 =...=Xn =1 =

tn−1,1,q
AB.
(n − 2)!

1
Proof. It follows from Lemma 4.9 that the matrix of the Hessian is (n−2)!
times
n−2
the product of the matrices of µ and ×ℓ
. Propositions 4.10 and Theorem 4.6,
which give that the matrix representing µ is B and the matrix representing ×ℓn−2
is tn−1,1,q A respectively now finish the proof.


Corollary 4.12. The Hessian matrix of the dual socle generator FV(n,q) evaluated
at X1 = X2 = . . . = XN = 1 is given by
H(FV( q,n) )|X1 =...=Xn =1 = Φ(N, 0, tn,2,q ).
Hence the absolute value of the determinant for this matrix is
det H(FV( q,n) )|X1 =X2 =...=XN =1 = (N − 1)tN
n,2,q .
Proof. This follows from Theorem 4.11 and Proposition 3.5(c), after one notices
! n−2   !
 n−2 
2
Y k
q (n −n−2)/2
q
(tn−1,1,q ) =
= tn,2,q .
1 q
(n − 2)!
(n − 2)!
k=1

The determinantal formula in Lemma 3.2 finishes the proof.



We conclude the paper with a description of the zeroth Hessian of FV(n,q) evaluated at X1 = X2 = . . . = XN = 1 which is by definition FV(n,q) (1, 1, . . . , 1) and
its implications on the map ℓn : A0 → An .
Proposition 4.13. Recall that ℓ =

∂
∂X1

+

∂
∂X2

+ ...+

∂
∂XN

∈ Q. Then

(a) the K-linear homomorphism KFV(n,q) → K mapping FV(n,q) 7→ ℓn FV(n,q) is
given by the formula
1

ℓn FV(n,q) = q 2 n(n−1)

n
Y

k=1

[ k1 ]q

14

SAEED NASSEH, ALEXANDRA SECELEANU, AND JUNZO WATANABE

(b) the homomorphism ×ℓn : A0 → An is given with respect to the bases B0 = {1}
and Bn = {g} (where g is any monomial in An ) by multiplication by the integer
1

q 2 n(n−1)

n
Y

[ k1 ]q .

k=1

Proof. (a) The coefficient of a square-free monomial in ℓn is n!, so acting by partial
differentiation ℓn FV(n,q) = n!FV(n,q) (1, 1, . . . , 1). Since the number of monomials in
FV(n,q) is FV(n,q) (1, 1, . . . , 1) = sn,q , Proposition 2.4 (c) proves the first assertion.
(b) Since the maps in (a) and (b) are dual to each other by the theory of inverse
systems, it follows that ×ℓn : A0 → An is given by multiplication by the same
integer as the map in (a).

Remark 4.14. Our results in Proposition 4.13 and Corollary 4.12 recover via
Lemma 4.9 the non-vanishing of two of the determinants involved in the definition
of the strong Lefschetz property (Definition 4.4) of the Gorenstein algebra A. This
algebra has been proven to have the strong Lefschetz property in [9].
Acknowledgments
This paper started when the third author visited the Department of Mathematics
at the University of Nebraska-Lincoln in April 2014. He is grateful to Luchezar
Avramov for making this visit possible and for his hospitality. We are also grateful
to the anonymous referee for his/her careful reading of our paper.

References
1. A. V. Geramita, Inverse systems of fat points: Waring’s problem, secant varieties of Veronese
varieties and parameter spaces for Gorenstein ideals, The Curves Seminar at Queen’s, Vol.
X, 2–114, Queen’s Papers in Pure and Appl. Math., 102, Queen’s Univ., Kingston, ON, 1996.
2. D. R. Grayson and M. E. Stillman. Macaulay2, a software system for research in algebraic
geometry, available at http://www.math.uiuc.edu/Macaulay2/.
3. C. Greene and D. J. Kleitman, Proof techniques in the theory of finite sets, Studies in combinatorics, pp. 22–79, MAA Stud. Math., 17, Math. Assoc. America, Washington, D.C.,
1978.
4. M. Hara and J. Watanabe, The determinants of certain matrices arising from the Boolean
lattice, Discrete Math. 308 (2008), 5815–5822.
5. T. Harima, T. Maeno, H. Morita, Y. Numata, A.Wachi, and J. Watanabe, The Lefschetz
properties, Lecture Notes in Mathematics, 2080. Springer, Heidelberg, 2013. xx+250 pp.
6. A. Iarrobino, V. Kanev, Power sums, Gorenstein algebras, and determinantal loci, Lecture
Notes in Mathematics, 1721, Springer-Verlag, Berlin, 1999.
7. W. M. Kantor, On incidence matrices of finite projective and affine spaces, Math. Z. 124
(1972), 315–318.
8. C. Krattenthaler, Advanced determinant calculus, Sém. Lothar. Combin. 42, Art. B42q, 67
pp. (1999), The Andrews Festschrift (Maratea, 1998).
9. T. Maeno and Y. Numata, Sperner property and finite-dimensional Gorenstein algebras associated to matroids, Tropical geometry and integrable systems, 73–84, Contemp. Math., 580,
Amer. Math. Soc., Providence, RI, 2012.
10. T. Maeno, J. Watanabe, Lefschetz elements of Artinian Gorenstein algebras and Hessians of
homogeneous polynomials, Illinois J. Math. 53 (2009), no. 2, 591–603.
11. Wolfram Research, Inc., Mathematica, version 9.0, Champaign, IL, 2012.
12. R. A. Proctor, Product evaluations of Lefschetz determinants for Grassmannians and of
determinants of multinomial coefficients, J. Combin. Theory Ser. A 54 (2) (1990) 235–247.
13. P. Sin, Smith normal forms of incidence matrices, Sci. China Math. 56 (7) (2013) 1359–1371.

DETERMINANTS OF INCIDENCE AND HESSIAN MATRICES

15

14. J. Watanabe, A remark on the Hessian of homogeneous polynomials, The Curves Seminar at
Queen’s Volume XIII, Queen’s Papers in Pure and Appl. Math., Vol. 119, 2000, 171–178.
15. Q. Xiang, Recent results on p-ranks and Smith normal forms of some 2 − (v, k, λ) designs,
In: Coding Theory and Quantum Computing, 53–67, Comtemp. Math, vol. 381, Amer. Math
Soc, Providence, RI, 2005.
Department of Mathematical Sciences, Georgia Southern University, Statesboro,
GA 30460, USA
E-mail address: snasseh@georgiasouthern.edu
Department of Mathematics, University of Nebraska, Lincoln, NE 68588-0130, USA
E-mail address: aseceleanu@unl.edu
Department of Mathematics, Tokai University, Hiratsuka 259-1292, Japan
E-mail address: watanabe.junzo@tokai-u.jp

