arXiv:1612.05522v2 [] 7 Aug 2017

UNIMODAL GORENSTEIN h-VECTORS WITHOUT THE
STANLEY-IARROBINO PROPERTY
JUAN MIGLIORE AND FABRIZIO ZANELLO

Abstract. The study of the h-vectors of graded Gorenstein algebras is an important
topic in combinatorial commutative algebra, which despite the large amount of literature
produced during the last several years, still presents many interesting open questions.
In this note, we commence a study of those unimodal Gorenstein h-vectors that do not
satisfy the Stanley-Iarrobino property. Our main results, which are characteristic free,
show that such h-vectors exist: 1) In socle degree e if and only if e ≥ 6; and 2) In every
codimension five or greater. The main case that remains open is that of codimension
four, where no Gorenstein h-vector is known without the Stanley-Iarrobino property.
We conclude by proposing the following very general conjecture: The existence of any
arbitrary level h-vector is independent of the characteristic of the base field.

1. Introduction
The goal of this note is to continue an investigation into the structure of the h-vectors
of Gorenstein artinian algebras. A large amount of work has been done over the years
to study the properties of Gorenstein rings, both for the substantial interest of the topic
within commutative algebra, and for the many connections that it carries with other
mathematical disciplines, such as combinatorics and algebraic geometry (see, as a highly
nonexhaustive list, [1, 2, 14, 23, 27, 29, 30]). However, much is still unknown today on
which integer sequences h = (1, h1 , . . . , he−1 , he = 1) may arise as Gorenstein h-vectors, if
the codimension r = h1 is greater than 3.
Recall that a sequence h = (1, h1 , . . . , he ) is symmetric if hi = he−i , for all indices
i. We say that h is differentiable if its first difference, (1, h1 − 1, . . . , he − he−1 ), is the
h-vector of some graded artinian algebra (see the next section for the relevant definitions
and for Macaulay’s characterization of such h-vectors). Finally, h satisfies the StanleyIarrobino property, or more briefly, is an SI-sequence, if h is symmetric and its first half,
(1, h1 , . . . , h⌊e/2⌋ ), is differentiable. Note that an SI-sequence is always unimodal, i.e.,
it never increases strictly after a strict decrease. For the importance of the concept of
unimodality in algebra, combinatorics, and related areas, see the two classical survey
articles [6, 28].
2010 Mathematics Subject Classification. Primary: 13D40; Secondary: 13H10, 13E10, 05E40.
Key words and phrases. Gorenstein h-vector, SI-sequence; unimodality; Hilbert function; level hvector; Macaulay’s theorem; O-sequence; artinian algebra.
1

2

J. MIGLIORE AND F. ZANELLO

It is well known that all Gorenstein h-vectors are symmetric. It is also known that
any SI-sequence is a Gorenstein h-vector [8, 13, 18], while the converse has been shown
to hold in codimension r ≤ 3 (if r ≤ 2 the result is trivial; for r = 3, see Stanley [26]
and then the second author [32]). However, as proven by Stanley and subsequently other
authors, there even exist Gorenstein h-vectors that are not unimodal, in any codimension
r ≥ 5 (see, just as a sample, [3, 4, 5, 20, 21, 22]). This fact alone leads most experts to
believe that a complete characterization of the possible Gorenstein h-vectors is probably
hopeless.
In this note, we investigate Gorenstein h-vectors under a different perspective, by beginning a study of those that are unimodal but do not satisfy the Stanley-Iarrobino property.
This problem appears to have not yet been addressed in the literature, with the exception of a brief section in the second author’s thesis [31] (not published elsewhere). Our
main results, which are all characteristic free, show that there exist unimodal, non-SI
Gorenstein h-vectors of socle degree e if and only if e ≥ 6; and that there exist unimodal,
non-SI Gorenstein h-vectors in every codimension r ≥ 5. The main case that remains
open is that of codimension r = 4, where all Gorenstein h-vectors currently known are
SI-sequences.
We wrap up our paper by conjecturing an intriguing and general fact on arbitrary level
h-vectors: Namely, their existence is independent of the characteristic of the base field.

2. Notation and preliminary facts
We now recall a few standard definitions and preliminary facts. Let R = k[x1 , . . . , xr ],
where k is any infinite field, and let m = (x1 , . . . , xr ) be its maximal
L homogeneous ideal.
We consider standard graded artinian k-algebras A = R/I =
i≥0 [A]i where I is a
homogeneous ideal of R. Since we may assume, without loss of generality, that I does
not contain nonzero forms of degree 1, r is the codimension of A.
The Hilbert function of A is defined by hA (i) = dimk [A]i , for all i ≥ 0. Notice that the
Hilbert function of an artinian k-algebra has finite support and is captured in its h-vector
h = (1, h1 , . . . , he ), where e is the last index such that he = hA (e) > 0. The integer e is
referred to as the socle degree of A.
The socle of A is the annihilator of m = (x1 , . . . , xr ) ⊂ A; that is, soc(A) = {a ∈ A |
am = 0}. We say that A is level of type t if the socle of A is a t-dimensional k-vector
space and is all concentrated in degree e. Finally, A is Gorenstein if A is level of type 1.
The following classical result of Macaulay characterizes the integer sequences that arise
as h-vectors of standard graded artinian algebras. For n and i positive integers, define
the i-binomial expansion of n as

 
  
nj
ni−1
ni
,
+ ... +
+
n(i) =
j
i−1
i

UNIMODAL GORENSTEIN h-VECTORS WITHOUT THE STANLEY-IARROBINO PROPERTY

3

where ni > ni−1 > ... > nj ≥ j ≥ 1. Such an expansion always exists and is unique (see,
e.g., [7], Lemma 4.2.6). Then let



 

nj + 1
ni−1 + 1
ni + 1
<i>
.
+ ... +
+
n
=
j+1
i−1+1
i+1
Theorem 2.1 (Macaulay). A sequence h = (1, h1 , . . . , he ) of positive integers is the hvector of some standard graded artinian algebra if and only if, for all indices i,
hi+1 ≤ h<i>
.
i
The sequences that satisfy Theorem 2.1 are usually referred to as O-sequences.
We now briefly recall a useful tool in the study of artinian h-vectors, namely Macaulay’s
inverse systems. Given a homogeneous ideal I ⊂ R = k[x1 , . . . , xr ], define its inverse
system to be the graded R-submodule M ⊂ S = k[y1 , . . . , yr ], where R acts on S by
contraction and I = ann(M). The external product that defines the module S consists of
the linear action uniquely determined by
(
y1a1 y2a2 · · · yiai −1 · · · yrar , if ai > 0,
a1 a2
ar
xi ◦ y1 y2 · · · yr =
0,
if ai = 0,
for any nonnegative integers a1 , a2 , . . . , ar . We may sometimes simplify the notation by
considering inverse system submodules to also lie inside the polynomial ring R.
We refer the reader to [11, 16] for more information and a comprehensive treatment of
the theory of inverse systems. In particular, we note that when the characteristic of k
is zero, then one can use differentiation in place of the above linear action, so that the
xi act as partial derivatives. In general, if R/I is artinian and level of type t and socle
degree e, then its corresponding module M ⊂ S is generated by t linearly independent
homogeneous forms of degree e. Also important for us below, the Hilbert functions of
R/I and M coincide; that is, dimk [R/I]i = dimk [M]i , for all i.
We end this section with some constructions that will be crucial to our main results.
The first of these constructions, called trivial extensions, is due to Stanley ([26], Example 4.3; see also [24]). Nearly four decades later, this simple idea remains the single most
powerful tool that people have for constructing new Gorenstein h-vectors, in particular
nonunimodal ones.
Lemma 2.2 (Stanley). Given a level algebra with h-vector (1, h1 , . . . , he−1 ), there exists a
Gorenstein algebra with h-vector (1, H1 , . . . , He−1, He = 1), where for each i = 1, . . . , e−1,
Hi = hi + he−i .
The following is a useful construction due to Iarrobino ([15], essentially Proposition 3.3;
see also [10]). Iarrobino’s result can be phrased as follows.
Proposition 2.3 (Iarrobino). Let M ⊂ S = k[y1 . . . , yr ] be the inverse system module
of a level algebra with h-vector (1, h′1 , . . . , h′e ), and let F ∈ S be a degree e general form

4

J. MIGLIORE AND F. ZANELLO

(with respect to the Zariski topology). Then the h-vector of the level algebra corresponding
to the inverse system module hM, F i is (1, h1 , . . . , he ), where for all i,




r−1+e−i
r−1+i
′
.
, hi +
hi = min
e−i
i
Finally, we recall a well-known method to, given a Gorenstein sequence of codimension
r, produce a new Gorenstein sequence of codimension r + 1 with similar properties.
Lemma 2.4. If a Gorenstein algebra with h-vector (1, H1, H2 , . . . , He−1 , 1) corresponds to
e
the cyclic inverse system module hF i ⊂ k[y1 , . . . , yr ], then the cyclic module hF + yr+1
i⊂
k[y1 , . . . , yr , yr+1] yields a Gorenstein algebra with h-vector
(1, H1 , H2 , . . . , He−1 , 1) + (0, 1, 1, . . . , 1, 0) = (1, H1 + 1, H2 + 1, . . . , He−1 + 1, 1).
3. Main results
In this section we present the main results of this paper, which contribute to our understanding of the possible codimensions and socle degrees of unimodal, non-SI Gorenstein
h-vectors.
Theorem 3.1. There exists a unimodal, non-SI Gorenstein h-vector of socle degree e if
and only if e ≥ 6.
Proof. By symmetry, all Gorenstein h-vectors of socle degree e = 3 are of the form h =
(1, r, r, 1), and therefore are clearly SI-sequences. When
 e = 4, a Gorenstein sequence h
is of the form h = (1, r, a, r, 1), where r ≤ a ≤ r+1
if h is unimodal. Hence, the first
2
difference of the first half of h is (1, r − 1, a − r), and it is immediate to verify that it
satisfies Macaulay’s Theorem 2.1. The proof for e = 5, where h Gorenstein must be of
the form (1, r, b, b, r, 1), is entirely similar and will be omitted.
Now let e ≥ 6. We begin with the h-vector
(1, h′1 = 2, h′2 = 3, . . . , h′e−1 = e),
which is level since it is given by the algebra A obtained as a truncation of the polynomial
ring k[x, y] after degree e − 1.
Consider a degree e − 1 general form F in k[x, y, z]. By Proposition 2.3, the inverse
system module hM, F i yields a level h-vector (1, h1 , . . . , he−1 ), where for all i,




e−i+1
i+2
.
, (i + 1) +
hi = min
2
2
Therefore, by Lemma 2.2, we obtain a Gorenstein h-vector (1, H1 , . . . , He−1, He = 1),
with Hi = hi + he−i for all indices i. It is easy to see that H is unimodal, since by
construction, hi ≥ hi−1 and he−i ≥ he−(i−1) for all i ≤ e/2.

UNIMODAL GORENSTEIN h-VECTORS WITHOUT THE STANLEY-IARROBINO PROPERTY

5

Also notice that, since e ≥ 6,

 
2
= e + 4;
H1 = 3 + e +
2

 
3
H2 = 6 + e − 1 +
= e + 8;
2

 
4
H3 = 10 + e − 2 +
= e + 14.
2
It follows that the first difference of H begins with
(1, (e + 4) − 1, (e + 8) − (e + 4), (e + 14) − (e + 8), . . . ) = (1, e + 3, 4, 6, . . . ),
in violation of Macaulay’s Theorem 2.1 from degree 2 to 3. Thus, H is not an SIsequence.

From the proof of Theorem 3.1, we can in fact deduce the following.
Corollary 3.2. For any integers e ≥ 6 and r ≥ e + 4, there exists a unimodal, non-SI
Gorenstein h-vector of codimension r and socle degree e.
Proof. The Gorenstein h-vectors H constructed in the proof of Theorem 3.1 have codimension r = H1 = e + 4, for any e ≥ 6. Then, using Lemma 2.4, one can easily produce
a unimodal, non-SI Gorenstein h-vector of any codimension r ≥ e + 4 and socle degree e,
as desired.

Example 3.3. The simplest example of a unimodal, non-SI Gorenstein h-vector given by
the construction of Theorem 3.1 is the following, of socle degree e = 6:
(1, 10, 14, 20, 14, 10, 1).
By Lemma 2.4,
(1, a + 10, a + 14, a + 20, a + 14, a + 10, 1)
is therefore also a unimodal, non-SI Gorenstein h-vector, for any integer a ≥ 0.
Theorem 3.4. There exists a unimodal, non-SI Gorenstein h-vector in any codimension
r ≥ 5.
Proof. By Lemma 2.4, it suffices to show the result for r = 5. In fact, we will produce
an infinite family of unimodal, non-SI Gorenstein h-vectors of codimension five and socle
degree e, for any e ≥ 20.

6

J. MIGLIORE AND F. ZANELLO

We begin with e odd. Fix an integer d ≥ 10, and consider the h-vector h = (1, h1 , . . . , h2d )
where
h1
= 3,
h2
= 6,
..
.

hd
= d+2
,
2 
d+2
hd+1 =
+ 1,
2 
hd+2 = d+2
+ 2,
2 
d+2
hd+3 =
+ 3,
2 

hd+4 = min d+2
+ 3, 2 d−2
,
2
2
..
.



j+2
h2d−j = min d+2
+
3,
2
,
2
2
..
.
h2d−1 = 6,
h2d
= 2.



d−1
Notice that hd+3 = d+2
+
3
≤
2
for d ≥ 10. Also, h is differentiable up to degree
2
2
d + 3 and, relatively to hd+3 , it grows maximally from degree 2d back to degree d + 3.
Our main task now is to show that h is a level h-vector. To this end, consider the
infinite, eventually constant sequence h′ = (1, h1 , . . . , hd+2 , hd+3 , hd+3 , . . . ). The positive
part of its first difference is (1, 2, 3, . . . , d, d + 1, 1, 1, 1), where the last 1 occurs in degree
d + 3. This is easily seen
to be the h-vector of a set of points Z = Z1 ∪ Z2 in P2 (k),

consisting of Z1 = d+1
general points in P2 (k) and Z2 = d + 4 general points on a line.
2
Notice that Z1 lies on no curve of degree d − 1.
o
n

, let Li be the
Let Z1 = P1 , . . . , P(d+1) and Z2 = {Q1 , . . . , Qd+4 }. For 1 ≤ i ≤ d+1
2
2
linear form dual to Pi (i.e., if Pi = [a, b, c] then Li = ax + by + cz), and for 1 ≤ i ≤ d + 4,
let Mi be the linear form dual to Qi . Thus, we can take the Li to be general linear forms
in three variables, namely x, y, z, and without loss of generality, the Mi to be general
linear forms in two variables, say y, z. We choose both F1 and F2 to be general linear
combinations of suitable powers of the Li and Mi :
2d
;
F1 = a1 L2d
L2dd+1 + b1 M12d + · · · + bd+4 Md+4
1 + · · · + a(d+1
2 ) ( 2 )
2d
2d
2d
F2 = c1 L2d
1 + · · · + c(d+1) L(d+1) + d1 M1 + · · · + dd+4 Md+4 .
2
2

Consider the inverse system module generated by F1 and F2 . We will assume for
convenience that the base field k has characteristic zero, in order to use differentiation,
but an entirely similar argument works in arbitrary characteristic by employing the linear
action described in Section 2 in the definition of inverse systems (see [9] for the standard
but technical details). It suffices to show that the dimension of the linear span of the j-th
partial derivatives of F1 and F2 is precisely h2d−j , for all 1 ≤ j ≤ d − 3. Thus, since IZ

UNIMODAL GORENSTEIN h-VECTORS WITHOUT THE STANLEY-IARROBINO PROPERTY

7

is contained in the annihilator of hF1 , F2 i, it is enough to prove that these derivatives are
all linearly independent for as long as possible, subject only to this constraint.
Each j-th partial derivative of either F1 or F2 is a suitable linear combination of the
and the Mi2d−j , and we can view them as general linear combinations except that
we must remember that any partial derivative involving x will annihilate all powers of the
Mi . We will consider the j-th derivatives, 1 ≤ j ≤ d − 3. We form a matrix whose rows
are the coefficients of the L2d−j
and the Mi2d−j arising in these derivatives, and the rank
i
of this matrix will be the desired dimension.
L2d−j
i

2d−j
. . . L2d−j
M12d−j . . . Md+4
L2d−j
1
(d+1
2 )

j-th deriv. of F1
in x, y, z with at
least one x

0

A

j-th deriv. of F2
in x, y, z with at
least one x

j-th deriv. of F1
in y, z
j-th deriv. of F1
in y, z

B

In the above matrix, the region marked 0 consists entirely ofzero entries. Since d ≥ 10,
the rank of the submatrix B is 2j + 2. The matrix A has 2 j+1
rows. One can check that
2
for our range of d, the conditions




j+1
d+1
and 2j + 2 ≤ d + 4
≤2
2
2



are incompatible. Thus if d+1
≤ 2 j+1
, then the rank of the matrix is d+1
+ (d + 4).
2
2
2
All together, we see that the rank of our matrix is





j+1
d+1
+ (2j + 2) =
+ (d + 4), 2
min
2
2




j+2
d+2
= h2d−j ,
+ 3, 2
min
2
2
as desired. Hence h is a level h-vector.
Therefore, Stanley’s Lemma 2.2 gives us that (1, H1, . . . , H2d , H2d+1 = 1), where Hi =
hi + h2d+1−i for all i ≤ 2d, is a Gorenstein h-vector of codimension H1 = 3 + 2 = 5.

8

J. MIGLIORE AND F. ZANELLO

Notice that H is unimodal, and that

  
d+2
d
+ 3;
+
Hd−2 =
2
2

 

d+2
d+1
+ 2;
+
Hd−1 =
2
2


d+2
+ 1.
Hd = 2
2
Some simple arithmetic now shows that the first difference of H equals d − 1 in degree
d − 1 and d in degree d, which violates Macaulay’s Theorem 2.1. This proves the case of
any odd socle degree e = 2d + 1 ≥ 21.
The construction for even socle degrees e ≥ 20 is similar, so we just sketch it here. We
begin by fixing an integer d ≥ 10, and consider the h-vector h defined by
h1
h2

= 3,
= 6,
..
.

hd
hd+1
hd+2
hd+3


= d+2
,
2 
+ 1,
= d+2
2 
d+2
=
+ 2,
2 
= min d+2
+ 2, 2
2
..
.


+ 2, 2
= min d+2
2
..
.
= 6,
= 2.

h2d−1−j
h2d−2
h2d−1

d−2
2
j+2
2





,
,

An argument similar to that in the previous case gives us that h is level when d ≥ 10.
We can again construct its Gorenstein trivial extension H using Lemma 2.2. Its entries
satisfy:

  
d+2
d
+ 2;
+
Hd−2 =
2
2

 

d+2
d+1
+ 1;
+
Hd−1 =
2
2


d+2
.
Hd = 2
2
Thus, the first difference of H again equals d − 1 in degree d − 1 and d in degree d,
against Theorem 2.1. This completes the proof.


UNIMODAL GORENSTEIN h-VECTORS WITHOUT THE STANLEY-IARROBINO PROPERTY

9

Remark 3.5. We only remark here that, unfortunately, the most natural guess for a general, purely numerical result that would include the level h-vectors h of Theorem 3.4 is
not true. Namely, a socle degree e h-vector, differentiable up until a certain degree and
then growing maximally from degree e back to that degree, does not always need to be
level, even in the non-Gorenstein case. For instance, (1, 3, 4, 5, 6, . . . , 2) (where the dots
indicate any nonnegative number of 6’s) is not level; see [8], and also [12], Example 7.3.
Example 3.6. The proof of Theorem 3.4 shows that the following unimodal, non-SI hvector of codimension 5 and socle degree 20 is Gorenstein:
(1, 5, 12, 22, 35, 51, 70, 92, 113, 122, 132, 122, 113, 92, 70, 51, 35, 22, 12, 5, 1).
It is obtained, using trivial extensions, from the socle degree 19 level h-vector
(1, 3, 6, 10, 15, 21, 28, 36, 45, 55, 66, 67, 68, 56, 42, 30, 20, 12, 6, 2).
The argument of Theorem 3.1 easily gives the following more refined result. We omit
its proof since it is analogous to that of Corollary 3.2.
Corollary 3.7. For any integers e ≥ 20 and r ≥ 5, there exists a unimodal, non-SI
Gorenstein h-vector of codimension r and socle degree e.
Notice that while Theorem 3.1 completely characterizes which socle degrees admit a
unimodal, non-SI Gorenstein h-vector, Theorem 3.4 closes all cases when it comes to the
possible codimensions, except for r = 4. Here, finding new Gorenstein h-vectors seems
extremely hard. So far, we do not even know any nonunimodal examples. For some recent
results in codimension four, which heavily rely on the assumption that the characteristic
of the base field be zero, see [17, 19, 25].
We ask the following two-part question:
Question 3.8.
(1) For which integers r and e does there exist a unimodal, non-SI
Gorenstein h-vector of codimension r and socle degree e?
(2) Does the answer to (1) depend on the characteristic of the base field?
As far as (1) is concerned, the results of this paper imply a complete answer, among
other cases, for e ≥ 20 and any r 6= 4, and for e = 6 and any r ≥ 10.
Case r = 4 aside, it would be interesting to determine the least value of e that gives a
positive answer to part (1) when r = 5, as well as the least r when e = 6. As for the latter
problem, we note that while Theorem 3.1 implies r ≤ 10, standard but rather tedious
methods show that r is at least 6. However, determining whether codimension r = 9 (and
perhaps r = 8 as well) allow the existence of unimodal, non-SI Gorenstein h-vectors of
socle degree 6 might require a somehow different idea.
As for part (2), we believe the answer to be “no,” for every r and e. (Note that all
results in this paper are characteristic free.) In fact, we conjecture that the following
important and much more general fact is true. We say that an h-vector h is level in
characteristic p (here p ≥ 0) if there exists a level algebra k[x1 , . . . , xr ]/I having h-vector
h such that char(k) = p.

10

J. MIGLIORE AND F. ZANELLO

Conjecture 3.9. An h-vector is level in some characteristic if and only if it is level in
every characteristic.
All results in the commutative algebra literature appear to go in the direction of Conjecture 3.9. However, in general, a complete solution still seems out of reach, including in
the Gorenstein case. It is difficult to even conjecture likely counterexamples using known
techniques.
4. Acknowledgements
This work was done while both authors were partially supported by Simons Foundation
grants (#309556 for Migliore, #274577 for Zanello).
References
[1] C. A. Athanasiadis: Ehrhart polynomials, simplicial polytopes, magic squares and a conjecture of
Stanley, J. Reine Angew. Math. 583 (2005), 163–174.
[2] H. Bass: On the ubiquity of Gorenstein rings, Math. Z. 82 (1963), 8–28.
[3] D. Bernstein and A. Iarrobino: A nonunimodal graded Gorenstein Artin algebra in codimension five,
Comm. Algebra 20 (1992), no. 8, 2323–2336.
[4] M. Boij: Graded Gorenstein Artin algebras whose Hilbert functions have a large number of valleys,
Comm. Algebra 23 (1995), no. 1, 97–103.
[5] M. Boij and D. Laksov: Nonunimodality of graded Gorenstein Artin algebras, Proc. Amer. Math.
Soc. 120 (1994), 1083–1092.
[6] F. Brenti: Log-concave and unimodal sequences in algebra, combinatorics, and geometry: an update,
in “Jerusalem Combinatorics ’93,” Contemporary Mathematics 178 (1994), 71–89.
[7] W. Bruns and J. Herzog: “Cohen-Macaulay rings,” Cambridge Studies in Advanced Math. 39,
Revised Ed. (1998), Cambridge, U.K..
[8] Y.H. Cho and A. Iarrobino: Inverse Systems of Zero-dimensional Schemes in Pn , J. Algebra 366
(2012), 42–77.
[9] J. Emsalem and A. Iarrobino, Inverse system of a symbolic power, I, J. Algebra 174 (1995), 1080–
1090.
[10] R. Fröberg and D. Laksov: Compressed Algebras, Conference on Complete Intersections in Acireale,
Lecture Notes in Mathematics 1092, 121–151, Springer-Verlag (1984).
[11] A.V. Geramita: Inverse Systems of Fat Points: Waring’s Problem, Secant Varieties and Veronese
Varieties and Parametric Spaces of Gorenstein Ideals, Queen’s Papers in Pure and Applied Mathematics, No. 102, The Curves Seminar at Queen’s, Vol. X, 3–114 (1996).
[12] A.V. Geramita, T. Harima, J. Migliore, and Y.S. Shin: “The Hilbert function of a level algebra,”
Mem. Amer. Math. Soc. 186 (2007), no. 872.
[13] T. Harima: Characterization of Hilbert functions of Gorenstein Artin algebras with the weak Stanley
property, Proc. Amer. Math. Soc. 123 (1995), no. 12, 3631–3638.
[14] C. Huneke: Hyman Bass and Ubiquity: Gorenstein Rings, Contemporary Math. 243 (1999), 55–78.
[15] A. Iarrobino: Compressed Algebras: Artin algebras having given socle degrees and maximal length,
Trans. Amer. Math. Soc. 285 (1984), 337–378.
[16] A. Iarrobino and V. Kanev: “Power sums, Gorenstein algebras, and determinantal loci,” Lecture
Notes in Mathematics 1721, Springer, Heidelberg (1999).
[17] A. Iarrobino and H. Srinivasan: Some Gorenstein Artin algebras of embedding dimension four, I:
components of P GOR(H) for H = (1, 4, 7, . . . , 1), J. Pure Appl. Algebra 201 (2005), 62–96.

UNIMODAL GORENSTEIN h-VECTORS WITHOUT THE STANLEY-IARROBINO PROPERTY

11

[18] J. Migliore and U. Nagel: Reduced arithmetically Gorenstein schemes and simplicial polytopes with
maximal Betti numbers, Adv. Math. 180 (2003), 1–63.
[19] J. Migliore, U. Nagel, and F. Zanello: A characterization of Gorenstein Hilbert functions in codimension four with small initial degree, Math. Res. Lett. 15 (2008), no. 2, 331–349.
[20] J. Migliore, U. Nagel, and F. Zanello: On the degree two entry of a Gorenstein h-vector and a
conjecture of Stanley, Proc. Amer. Math. Soc. 136 (2008), no. 8, 2755–2762.
[21] J. Migliore, U. Nagel, and F. Zanello: Bounds and asymptotic minimal growth for Gorenstein Hilbert
functions, J. Algebra 321 (2009), no. 5, 1510–1521.
[22] J. Migliore and F. Zanello: Stanley’s nonunimodal Gorenstein h-vector is optimal, Proc. Amer.
Math. Soc. 145 (2017), no. 1, 1–9.
[23] R. Pandharipande: Three questions in Gromov–Witten theory, in: Proceedings of the ICM, Vol. II,
Higher Ed. Press, Beijing (2002), 503–512.
[24] I. Reiten: The converse to a theorem of Sharp on Gorenstein modules, Proc. Amer. Math. Soc. 32
(1972), 417–420.
[25] S. Seo and H. Srinivasan: On unimodality of Hilbert functions of Gorenstein Artin algebras of
embedding dimension four, Comm. Algebra 40 (2012), no. 8, 2893–2905.
[26] R.P. Stanley: Hilbert functions of graded algebras, Adv. Math. 28 (1978), 57–83.
[27] R.P. Stanley: The number of faces of a simplicial convex polytope, Adv. Math. 35 (1980), 236–238.
[28] R.P. Stanley: Log-concave and unimodal sequences in algebra, combinatorics, and geometry, Ann.
New York Acad. Sci. 576 (1989), 500–535.
[29] R.P. Stanley: A monotonicity property of h-vectors and h∗ -vectors, Europ. J. Combinatorics 14
(1993), 251–258.
[30] R.P. Stanley: “Combinatorics and Commutative Algebra,” Second Ed., Progress in Mathematics
41 (1996), Birkhäuser, Boston, MA.
[31] F. Zanello: “h-vectors and socle-vectors of graded artinian algebras,” Ph.D. Thesis, Queen’s University (2004).
[32] F. Zanello: Stanley’s theorem on codimension 3 Gorenstein h-vectors, Proc. Amer. Math. Soc. 134
(2006), no. 1, 5–8.
Department of Mathematics, University of Notre Dame, Notre Dame, IN 46556
E-mail address: migliore.1@nd.edu
Department of Mathematical Sciences, Michigan Tech, Houghton, MI 49931
E-mail address: zanello@mtu.edu

