arxiv: v2 [math.co] 14 Sep 2016

Transcription

1 DETERMINANTS OF INCIDENCE AND HESSIAN MATRICES ARISING FROM THE VECTOR SPACE LATTICE arxiv:408236v2 [mathco] 4 Sep 206 SAEED NASSEH, ALEXANDRA SECELEANU, AND JUNZO WATANABE Abstract Let V = n i=0 V i be the lattice of subspaces of the n-dimensional vector space over the finite field F 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 for A We compute explicitly the Hessian determinant 2 F evaluated at X i X j the point X = X 2 = = X N = and relate it to the determinant of the incidence matrix between V and V n 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 Introduction Let P be a poset with a ran function ρ : P N Then P decomposes into a disjoint union ofthe level sets, namely P = c i=0 P i, wherep i = {x P ρ(x) = i} We say that P has the Sperner property if the maximum size of antichains of P is eual to the maximum of the ran numbers P i Some of the basic examples of finite raned posets nown 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 conseuence of the fact that certain incidence matrices have full ran as illustrated in [5, Theorem 83] We will say that a raned poset with a symmetric seuence of ran 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 seuence of ran numbers by [5, Lemmas 5, 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 remarable that some posets with a ran 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 {x,,xn} can be the basis for the algebra K[x,x 2,,x n ]/(x 2,x2 2,,x2 n ) 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 F be the finite field with elements, V = F n the n-dimensional Date: August 22, Mathematics Subject Classification Primary: 05B20, 05B25, 5D25; Secondary: 3A02 Key words and phrases vector space lattice, incidence matrix, Hessian, strong Lefschetz property, Gorenstein algebras, finite geometry

2 2 SAEED NASSEH, ALEXANDRA SECELEANU, AND JUNZO WATANABE vector space and V = n i=0 V i the vector space lattice with ran decomposition Introduce as many variables as the number of the one dimensional subspaces of V and then define the form F = x i x i2 x in, where the indices run over the combinations such that span x i,x i2,,x in is the whole space V (A variable lie x i represents a one dimensional vector subspace of V and distinct variables represent distinct spaces) Let R = K[x,,x N ] 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 F ) Set A = R/Ann(F) The Artinian algebra A has the Hilbert function displayed below ( [n ], [ n ],, [ n n ] ) 0 An explicit formula for [ ] n i is given in the beginning of section 2 Every monomial m in A represents a vector subspace in V of the dimension which is eual to the degree of m We are interested in the Hessian determinant 2 F x i x j of F evaluated at x = = x N = The motivation for it is as follows: it is proven in [0] that the nonvanishing of the Hessian, together with the non-vanishing of the higher Hessians of the Macaulay dual generator F (ie, 2 F x i x i x j x j ) is euivalent to the strong Lefschetz property for the Gorenstein algebra(definition 44), which ensures the Sperner property of the poset This suggests that a connection exists between the higher Hessians evaluated at a certain point (x i ) 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, where we mae 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 42 for the Hessian of F evaluated at x = = x N = In the literature, efforts have been made to obtain the Smith normal form of incidence matrices for various posets ([3]) In particular the Smith normal form for the incidence matrix between the sets V and V n is obtained by Xiang [5] 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 as entries This is due to Xiang [5, ()] In this paper we reproduce a proof for it since this does not seem to be well nown among the commutative algebraists (Theorem 36 (c)) Computations similar in spirit have been performed for evaluating the determinants of all incidence matrices of the Boolean lattice in [2] 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 )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

3 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 map L : A A n, where L := N j= x j, 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 elements and let n be a positive integer Definition 2 The vector space lattice on F n, denoted V(n,), is the set of all subspaces of F n naturally ordered by inclusion Note that V(n,) is a poset with the ran function ρ defined by ρ(w) = dim F (W), for each W V(n,) This gives rise to the ran decomposition V(n,) = n j=0 V j into level sets V j := {W V(n,) dim F (W) = j} Using the notation [i] = ( i )/( ) for the -integers, we recall the formula for the sizes of the level sets in the vector space lattice (see [5, Proposition 8]): [ [ { [n][n ][n j+] n n [j][j ][] (0 j n) card(v j ) =, where = j] j] 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 V j may be regarded as the set of rational points of the Grassmannian variety G(n, j) corresponding to a finite vector space In our wor we routinely identify the set V j as the collection of n j matrices in echelon form with entries in F For example, for n = 4 and j = 2, the set V j is in one-one correspondence with the set { ( 0 0 ) ( ) ( ) 0 0,,, ( ) ( ) ,, ( ) } where each echelon form corresponds to the subspace spanned by the rows of the respective matrix For W V(n,), define the dual subspace W V(n,) by { } n W = w F n v i w i = 0, for all v W i= The map V(n,) V(n,) given by W 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 ran and n, respectively, the formula for the sizes of the level sets gives card(v ) = card(v n ) = [ n ] Set N = card(v ) and fix the following notation for elements of the level set V : V = {v,v 2,,v N } In particular, the set V is in one-one correspondence with the rational points of the projective space P n F Thus it will be convenient to regard V as the set of vectors (a,,a n ) such that the first nonzero component is These vectors are

4 4 SAEED NASSEH, ALEXANDRA SECELEANU, AND JUNZO WATANABE a special case of the echelon matrices described above Since P n F we have the identity N = [ n ] = [ ] n +n = P F A n F, We denote by v the dual space of Fv, which allows us to identify the (n )-st level set of the vector space lattice with the set of duals of elements of the first level set as follows: V n = {v,v 2,,v N } The following definition introduces the focal point of our attention in this wor Definition 22 The incidence matrix A = (a ij ) for V and V n is the N N matrix whose entries are { (v i vj a ij = ) 0 (v i 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 V and V n is in fact the absolute value of this determinant, denoted deta, since this is preserved under permuting the order of the elements in V and V n We begin by describing the incidence matrix in a concrete example Example 23 Let = 2 and n = 3 In this case we have N = 7 Then V = {v,v 2,,v 7 }, in which v = (0,0,) v 2 = (0,,0) v 3 = (0,,) v 4 = (,0,0) v 5 = (,0,) v 6 = (,,0) v 7 = (,,) Now we have V 2 = V = {u,u 2,,u 7 }, where ( ) ( ) u := v = u := v2 = 0 0 ( ) ( ) u 4 := v4 0 0 = u := v5 0 = 0 0 ( ) 0 u 7 := v7 = 0 ( ) 0 0 u 3 := v3 = 0 ( ) u 6 := v6 0 = 0 0 Therefore we can compute the incidence matrix A as displayed below, which gives det(a) = and A = Throughout this article, we write vi v j rather than v i v j because we prefer to thin of of v i as vectors rather than subspaces of V, via a canonical identification explained above

5 DETERMINANTS OF INCIDENCE AND HESSIAN MATRICES 5 For later use in our computations, we record a few enumerative invariants of the lattice V(n,) We employ the notation card for the cardinality of a finite set Proposition 24 The following enumerative identities hold true: (a) card(gl(n,f)) = ( n )( n )( n 2 )( n n ) (b) The number of ordered n-tuple subsets of V which form bases for F n is t n, = card(gl(n,f)) ( ) n = ( n(n )/2)( n [ ) ] (c) The number of n-tuple subsets of V which form bases for F n is s n, = card(gl(n,f)) ( ) ( n(n )/2 n [ ) n!( ) n = n! ] (d) The number of ordered n-tuple subsets of V which form bases for F n and contain a fixed linearly independent ordered subset of size j is t n,j, = ( (n(n ) j(j ))/2)( n j [ ) ] (e) The number of n-tuple subsets of V which form bases for F n and contain a fixed linearly independent subset of size j is ( ) ( (n(n ) j(j ))/2 n j [ ) s n,j, = (n j)! ] (f) The number of paths in V(n,) from the minimum element to the maximum element in the vector space lattice of F n is eual to n [ p n, = ] = Proof (a) Any nonzero vector can be the first row of an n n invertible matrix If the first rows u,,u F n of an invertible matrix are chosen, then any vector in F n \ i= Fu i can be the ( +)-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 u i be the i-th row Then, for each integer i, we may find a uniue vector v i V such that Fv i = Fu i The correspondence U (v,,v n ) is ( ) n :, where by (v,,v n ) we mean the ordered n-tuple This proves that the number of ordered n-tuple subsets of V which form bases for F n is eual to = = = = ( n )( n )( n 2 )( n n ) ( ) n Noting that n n [ ] = = n, 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! :

6 6 SAEED NASSEH, ALEXANDRA SECELEANU, AND JUNZO WATANABE (d)weregardsuchanorderedn-tupleofvectorsasamatrixu GL(n,F), where the first j rows are fixed Similar reasoning as in part (b) yields the following count ( n j )( n j+ )( n n ) ( ) n j = ( (n(n ) j(j ))/2)( n j [ ) ] (e) The statement follows from (d) because the correspondence between the ordered tuples of part (d) and the unordered ones is (n j)! : (f) A path from the minimum element to the maximum element in the lattice V(n,) is a chain of vector subspaces in F n W 0 = F 0 W W 2 W n = F n, with W V Let W V The number of ( + )-dimensional subspaces in F n which contains W is [ ] n, since this number is the same as the number of linearly independent vectors in F n /W, which is (n )-dimensional Hence the assertion follows 3 The determinant of the incidence matrix between V and V n We use the notation fixed in section 2 A recurring theme in our wor 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 Let Φ(ν,α,β) denote the matrix of size ν ν with entries { α (i = j) φ ij = β (i j) Lemma 32 (a) The determinant of Φ(ν,α,β) is given by (b) If α β = α β then detφ(ν,α,β) = (α β) ν (νβ +α β) detφ(ν,α,β) νβ +α β detφ(ν,α,β = ) νβ +α β Proof Part (a) follows after performing convenient row and column operations on Φ(ν,α,β) to transformthe matrixto analmostdiagonalform Part(b) then follows from (a) Definition 33 In addition to the incidence matrix A of Definition 22, we consider the N N matrix B = (b ij ) whose entries are { 0 (v i vj b ij = a ij = ) (v i 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 34 (a) Matrices A and B are symmetric (b) N i= a ij = N j= a ij = [ ] n (c) N i= b ij = N j= b ij = [ n ] [ ] n = n =

7 DETERMINANTS OF INCIDENCE AND HESSIAN MATRICES 7 Proof Note that v i vj if and only if v j vi, which follows from the inclusionreversing property of dual spaces This implies part (a) The row sum of A is eual to the number of codimension subspaces in F n which contain v, and this is eual to the number of the -dimensional subspaces in v = F n Hence, part (b) follows Finally, since N = [ n ], part (c) follows as a conseuence of the relations b ij = a ij The following result shows the role played by the matrices Φ(ν,α,β) in relation to A and B Lemma 35 The following hold: ( (a) A 2 = Φ N, [ n ],[ ] ) n 3 (b) B 2 = Φ(N, n, ( )) (c) AB = Φ(N,0, ) Proof (a) The (i,j)-th entry of A 2 is N = a ia j Note that { (v i, v j v a i a j = ) 0 (otherwise) Hence, if i = j, the sum N = a ia j is eual to the number of codimension subspacesinf n whichcontainv andthisnumberis [ ] n becausethesesubspaces are in bijection with codimension one subspaces of v Fn If i j, the sum N = a ia j is eual to the number ofcodimension subspacesin F n which contain both v and v 2 This number is [ ] n 3 because the codimension subspaces in F n which contain both v and v 2 are in bijection with codimension subspaces in {v,v 2 } F This proves the assertion for A 2 (b) The (i,j)-th entryofb 2 is N = b ib j Forthe diagonalentryofb 2 we have to count the number of the codimension subspaces of F n which do not contain v This number is n since we have [ n ] [ ] n = n To compute the off-diagonal entry of B 2 we use the inclusion-exclusion formula, since we have to count the number of the subspaces of F n of codimension which contain neither v nor v 2 The number of the subspaces in F n of codimension is [ n ], and the number of the subspaces of codimension which contain v is [ ] n and the same is true for v 2 The number of the subspaces of codimension which contain both v and v 2 is [ ] Hence, N [ [ ] [ ] n n b i b j = 2 + = ] 2 ( ) = (c) By the definition A + B = Φ(N,,), which is the N N matrix with for all entries Hence (A+B)B is the matrix which has the row sum of B for all entries By Lemma 34, this row sum is n Thus the diagonal entries of AB are 0 and the off-diagonal entries are eual to n ( ) = At this point, part (a) of Lemma 35 together with the formula in Lemma 32 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 8 SAEED NASSEH, ALEXANDRA SECELEANU, AND JUNZO WATANABE Theorem 36 For the matrices A and B = Φ(N,,) A, we have (a) det(b 2 ) = ()N+n (b) detb = (()N+n)/2 (c) deta = ( ()(N )/2)[ n ] Proof Lemmas 32(a) and 35(b) imply that det(b 2 ) = ()N (N( ) + ) Now part (a) follows from the formula N = ( n )/( ) and part (b) follows immediately from (a) ( Recall from Lemma 35 the identities A 2 = Φ N, [ ] n,[ ] ) n 3 and B 2 = Φ(N, n, ( )) Since N = [ n ], [ n ] [ ] n 3 = [ ] n [ ] = and n ( ) =, it follows from Lemma 32(b) that ( ) det(a 2 ) : det(b 2 ) = N + : ( N ( )+ ) ( ( n )( ) ) = ( ) 2 + : ( ( n ) + ) = (n ) 2 ( ) 2 : 2 = ( [n Taing the suare root gives deta : detb = [ n (b), this implies part (c) of the theorem ] 2 ) : ( n ) 2 ] : n Together with part Remar 37 We can compute the determinant for A also using the description of AB From Lemmas 32 and 35, noting that N = [ n ] = [ ] n = detφ(n,0,), one gets det(ab) = (N ) N(), whence deta = (N ) (N() n)/2 This description for deta is slightly different from Theorem 36 Of course, they are in fact the same since we have [ ] [ ] n n N = = Remar 38 The result in Theorem 36 (c) recovers the non-vanishing of one of the determinants involved in the definition of the strong Lefschetz property for raned posets given in the Introduction We recall that the vector space lattice has been proven to have the strong Lefschetz property in [7] Example 39 The determinant computations below were obtained directly using Mathematica [], independent of Theorem 36 for = 2,3,5 = 2 n N deta detb = 3 = 5 n n 3 4 N N 3 56 deta deta detb detb

9 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 = [ n ] Consider the polynomial rings R = K[X,,X N ] and Q = K[x,,x N ], where K is a field of characteristic zero Setting x i = / X i allows one to view R as a Q-module via the partial differentiation action of Q on R given by x i f = f/ X i, for f R A bijection can be established between the set of variables in R and the set P n F of vectors of length n with entries in the field F in which the first non-zero entry is We fix this bijection once and for all, so that the variable X i corresponds to the vector v i P n F 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 uotient algebras of Q For more details on Macaulay inverse systems the reader may consult [] and [6] Definition 4 For a homogeneous polynomial F R, the annihilator of F in Q is the ideal I Q defined by Ann Q (F) := {f Q f F = 0} If I is an ideal of Q the following set is the annihilator of I in R: Ann R (I) := {F R f F = 0, f I} Let I Q be a homogeneousideal of finite colength It is well nown that if Q/I isgorenstein, thenthereexistsahomogeneousformf R suchthati = Ann Q (F) On the other hand, if F R is homogeneous, then I = Ann Q (F) is a homogeneous ideal and Q/Ann Q (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 uotient of Q corresponding to it Definition 42 We define the Macaulay dual generator for the vector space lattice to be the following degree n homogeneous polynomial in R F V(n,) = X i X i2 X in X i X i2 X in B In the sum, the sets of indices of the variables appearing in each monomial represent the subsets of V that form bases for F n, namely: B = {X i X i2 X in i < i 2 < i n N and det[v i v i2 v in ] 0 in F} The cardinality of the set B above is according to Proposition 24 ( ) ( n(n )/2 n [ ) card(b) = s n, = n! ] Definition 43 Setting I = Ann Q (F V(n,) ) yields a graded Artinian Gorenstein uotient ring A V(n,) = Q/I, which we call the Gorenstein algebra associated to =

10 0 SAEED NASSEH, ALEXANDRA SECELEANU, AND JUNZO WATANABE the vector space lattice For simplicity, we write A for A V(n,) henceforth, unless otherwise specified This graded ring decomposes into homogeneous components as follows n n A = Q/I = (Q/I) i = A i i=0 One notices the similarity between the homogeneous decomposition of A and the ran decomposition of V(n,) It is shown in [5, Lemma 48 and step 4 in the proof of Theorem 83] and [9, Lemma 4 and Theorem 42] that the non-zero monomials in A are in bijective correspondence with the elements of V(n,) in such a way that the level set V i corresponds to the monomials in the graded component A i In particular, we have the following correspondences i=0 A 0 F 0 V 0 A n g F n V n, where g is a monomial of degree n called a socle generator for A The socle of A is a -dimensional vector space, thus in A g is uniue 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 raned 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 42 Consider for some scalar values a,,a N K the linear form L = a x ++a N x N Q and let 0 j n/2 We set L j : A A to be the Q-module homomorphism given by x L j x Restricting to the degree j and n j homogeneous components of A, we obtain the K-linear maps L j : A j A n j The motivation for considering such a map originally arises from the study of cohomology rings of compact Kähler manifolds, where one can regard such a map as taing a class in cohomology and intersecting it with hyperplanes (represented by L) j times Fixing the sets of monomials corresponding to elements of V j and V n j, respectively, as bases for A j and A n j one can express the linear transformations L as matrices M j Note that dim K A j = dim K A n j since the bases for these vector spaces correspond to symmetric level sets V j and V n j of V(n,) which have the same size Thus, it maes sense to consider detm j Definition 44 Let A be any graded Gorenstein Artinian algebra If there exist scalars a,,a N K such that the matrices M j representing the K-linear maps L j : A j A n j for L = a x ++a N x N have detm j 0 for all 0 j n/2, the algebra A is said to have the strong Lefschetz property We turn to our case of interest A = A V(n,) and focus on a particular choice of linear form, l = x + x x N We shall be particularly concerned with computing the determinant of the matrix that represents the map l Setting x i = v j v x i j, consider the bases B = {x,,x N } for A and B n =

11 DETERMINANTS OF INCIDENCE AND HESSIAN MATRICES {x,,x N }fora n, whichweshallcallcanonicalbases,andletm be thematrix that represents the linear transformation l with respect to these fixed bases Example 45 Let = 2 and n = 3, which yield N = 7 We use the notation of Example 23 A computation with Macaulay2 [2] yields that the matrix representing l : A A 2 with respect to the bases B = {x,x 2,x 3,x 4,x 5,x 6,x 7 } B 2 = {x 2 x 4,x x 4,x 3 x 4,x x 2,x 2 x 5,x x 6,x 3 x 5 } is the matrix M below, related to the incidence matrix A computed in example 23 as follows: M = = 2A The following Theorem describes the precise relation between the incidence matrix A of Definition 22 and the matrix describing multiplication by l Theorem 46 The matrix M representing l with respect to the standard bases for A and A n is M = t n,, A Hence, detm = t N n,, deta Proof To find the entry of M in the position indexed by the variable x i A corresponding to v i and the basis element x j = v v x j A n corresponding to the element vj ν n, we need to count the number of monomials x x 2 x n in the expansion of l n in the polynomial ring which satisfy the following conditions: (a) One of x,x 2,,x n is x i (b) Span v,v 2,v 3,v n = vj If v i vj then clearly this number is zero If v i vj, then we need to count the number of ordered (n )-tuples which form bases for vj and contain v By Proposition 24 this number is t n,, = ( (n )()/2)( [ ) ] Hence, it follows from Definition 22 that the matrix for l is t n,, A It is shown in [0] that there is a close connection between the matrices representing L j forl = a x ++a N x N and the determinantsofhigheranalogues of the classical Hessian matrix of the Macaulay dual generator F V(,n), evaluated at X = a,,x N = a N For our purposes it suffices to consider the classical Hessian, as this corresponds to L which we have been able to relate to the incidence matrix in Theorem 46 Definition 47 The Hessian matrix of a polynomial F R = K[X,,X N ] is the matrix of partial derivatives ( 2 ) F H(F) = X i X j = i N, j N

12 2 SAEED NASSEH, ALEXANDRA SECELEANU, AND JUNZO WATANABE We begin by describing the Hessian matrix in our running example Example 48 Let = 2 and n = 3 We use the notation of Examples 23 and 45 The Macaulay dual generator, as introduced in Definition 42, is F V(3,2) = X X 2 X 4 +X X 3 X 4 +X 2 X 3 X 4 +X X 2 X 5 +X X 3 X 5 +X 2 X 3 X 5 +X 2 X 4 X 5 +X 3 X 4 X 5 +X X 2 X 6 +X X 3 X 6 +X 2 X 3 X 6 +X X 4 X 6 +X 3 X 4 X 6 +X X 5 X 6 +X 2 X 5 X 6 +X 4 X 5 X 6 +X X 2 X 7 +X X 3 X 7 +X 2 X 3 X 7 +X X 4 X 7 +X 2 X 4 X 7 +X X 5 X 7 +X 3 X 5 X 7 +X 4 X 5 X 7 +X 2 X 6 X 7 +X 3 X 6 X 7 +X 4 X 6 X 7 +X 5 X 6 X 7 Note that this polynomial has s 3,2 = 28 terms, in accordance to the formula in Proposition 24 A computation with Macaulay2 [2] yields that, after evaluating at X = = X 7 =, the Hessian matrix is H(F V(3,2) ) X=X 2==X 7= = = Φ(7,0,4) InthefollowingweaimtounderstandthisespeciallyniceformoftheHessianmatrix by describing the relation between the Hessian of the Macaulay dual generator of A and the matrices introduced in section 2 Lemma 49 Let F R = K[X,,X N ] be a homogeneous polynomial of degree n, let a,,a N K and consider the linear form L = a X ++a N X N Q Then there is a commutative diagram A K( L ) A K A µ A K A n A n F K ()!H(F) X =a,,x N =a N where (a) µ denotes the internal multiplication on A, (b) the map F maps f A n f F K and (c) H(F) X=a,,X N=a N denotes the K-bilinear form A K A K represented with respect to the basis { X, X 2,, X N } of A by the matrix in Definition 47 evaluated at X = a,,x N = a N Proof From the proof of [4, Theorem 4], [0, Theorem 3] or [5, Theorem 376] we have the following identity: L F(X) = ()! F(X) X=a X i X j X i X,,X N=a N j The left side of the expression above can be viewed as the composition of the three maps in the top line of the diagram, applied to the element X i X j A K A The right side of the displayed euality is the bottom map in the diagram evaluated at the same element The commutative diagram represents this euality in visual form

13 DETERMINANTS OF INCIDENCE AND HESSIAN MATRICES 3 To exploit the relations illustrated in the above diagram, we prove the following Proposition 40 The matrix describing the natural (bilinear) multiplication map µ A K A n A n with respect to the canonical bases of A,A n and A n, respectively, is the matrix B introduced in Definition 33 Proof Since the suares of variables are in the ideal I, by [9, Proposition 3], we have that the action of µ on the pairs of basis elements is the following: { µ(x i,x j ) = 0 (x i x j, euivalently v i vj ) g (x i x j, euivalently v i vj ) Clearly then µ is represented as a bilinear form by B with respect to the bases B and B n of A and A n, and the basis {g} for A n, where g is a monomial generator of A n We are now ready to see how the Hessian relates to the matrices A and B Theorem 4 The Hessian matrix of F V(,n) evaluated at X = = X n = is H(F V(,n)) X==X n= = t n,, ()! AB Proof It follows from Lemma 49 that the matrix of the Hessian is ()! times the product of the matrices of µ and l Propositions 40 and Theorem 46, which give that the matrix representing µ is B and the matrix representing l is t n,, A respectively now finish the proof Corollary 42 The Hessian matrix of the dual socle generator F V(n,) evaluated at X = X 2 = = X N = is given by H(F V(,n)) X==X n= = Φ(N,0,t n,2, ) Hence the absolute value of the determinant for this matrix is deth(fv(,n)) X=X 2==X N= = (N )t N n,2, Proof This follows from Theorem 4 and Proposition 35(c), after one notices ( ) ( )( (n2 )/2 [ ) (t n,, ) = = t ()! ()! ] n,2, = The determinantal formula in Lemma 32 finishes the proof We conclude the paper with a description of the zeroth Hessian of F V(n,) evaluated at X = X 2 = = X N = which is by definition F V(n,) (,,,) and its implications on the map l n : A 0 A n Proposition 43 Recall that l = X + X 2 ++ X N Q Then (a) the K-linear homomorphism KF V(n,) K mapping F V(n,) l n F V(n,) is given by the formula n l n F V(n,) = 2 n(n ) [ ] =

14 4 SAEED NASSEH, ALEXANDRA SECELEANU, AND JUNZO WATANABE (b) the homomorphism l n : A 0 A n is given with respect to the bases B 0 = {} and B n = {g} (where g is any monomial in A n ) by multiplication by the integer n 2 n(n ) [ ] Proof (a) The coefficient of a suare-free monomial in l n is n!, so acting by partial differentiation l n F V(n,) = n!f V(n,) (,,,) Since the number of monomials in F V(n,) is F V(n,) (,,,) = s n,, Proposition 24 (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 l n : A 0 A n is given by multiplication by the same integer as the map in (a) Remar 44 Our results in Proposition 43 and Corollary 42 recover via Lemma 49 the non-vanishing of two of the determinants involved in the definition of the strong Lefschetz property (Definition 44) of the Gorenstein algebra A This algebra has been proven to have the strong Lefschetz property in [9] = Acnowledgments This paper started when the third author visited the Department of Mathematics at the University of Nebrasa-Lincoln in April 204 He is grateful to Luchezar Avramov for maing this visit possible and for his hospitality We are also grateful to the anonymous referee for his/her careful reading of our paper References 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 4, Queen s Papers in Pure and Appl Math, 02, Queen s Univ, Kingston, ON, D R Grayson and M E Stillman Macaulay2, a software system for research in algebraic geometry, available at 3 C Greene and D J Kleitman, Proof techniues in the theory of finite sets, Studies in combinatorics, pp 22 79, MAA Stud Math, 7, Math Assoc America, Washington, DC, M Hara and J Watanabe, The determinants of certain matrices arising from the Boolean lattice, Discrete Math 308 (2008), T Harima, T Maeno, H Morita, Y Numata, AWachi, and J Watanabe, The Lefschetz properties, Lecture Notes in Mathematics, 2080 Springer, Heidelberg, 203 xx+250 pp 6 A Iarrobino, V Kanev, Power sums, Gorenstein algebras, and determinantal loci, Lecture Notes in Mathematics, 72, Springer-Verlag, Berlin, W M Kantor, On incidence matrices of finite projective and affine spaces, Math Z 24 (972), C Krattenthaler, Advanced determinant calculus, Sém Lothar Combin 42, Art B42, 67 pp (999), The Andrews Festschrift (Maratea, 998) 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, T Maeno, J Watanabe, Lefschetz elements of Artinian Gorenstein algebras and Hessians of homogeneous polynomials, Illinois J Math 53 (2009), no 2, Wolfram Research, Inc, Mathematica, version 90, Champaign, IL, R A Proctor, Product evaluations of Lefschetz determinants for Grassmannians and of determinants of multinomial coefficients, J Combin Theory Ser A 54 (2) (990) P Sin, Smith normal forms of incidence matrices, Sci China Math 56 (7) (203)

15 DETERMINANTS OF INCIDENCE AND HESSIAN MATRICES 5 4 J Watanabe, A remar on the Hessian of homogeneous polynomials, The Curves Seminar at Queen s Volume XIII, Queen s Papers in Pure and Appl Math, Vol 9, 2000, Q Xiang, Recent results on p-rans and Smith normal forms of some 2 (v,,λ) designs, In: Coding Theory and Quantum Computing, 53 67, Comtemp Math, vol 38, Amer Math Soc, Providence, RI, 2005 Department of Mathematical Sciences, Georgia Southern University, Statesboro, GA 30460, USA address: snasseh@georgiasouthernedu Department of Mathematics, University of Nebrasa, Lincoln, NE , USA address: aseceleanu@unledu Department of Mathematics, Toai University, Hiratsua , Japan address: watanabejunzo@toai-ujp