arXiv:1512.01433v1 [math.AC] 4 Dec 2015

STANLEY’S NONUNIMODAL GORENSTEIN h-VECTOR IS OPTIMAL
JUAN MIGLIORE AND FABRIZIO ZANELLO

Abstract. We classify all possible h-vectors of graded artinian Gorenstein algebras in
socle degree 4 and codimension ≤ 17, and in socle degree 5 and codimension ≤ 25. We
obtain as a consequence that the least number of variables allowing the existence of a
nonunimodal Gorenstein h-vector is 13 for socle degree 4, and 17 for socle degree 5.
In particular, the smallest nonunimodal Gorenstein h-vector is (1, 13, 12, 13, 1), which
was constructed by Stanley in his 1978 seminal paper on level algebras. This solves a
long-standing open question in this area. All of our results are characteristic free.

1. Introduction
It is a long-standing open problem in combinatorial commutative algebra to provide
a classification of all possible artinian Gorenstein h-vectors. Since producing an explicit
characterization seems hopeless for algebras of codimension ≥ 5 (i.e., in five or more
variables), much research over the years has been devoted to trying to determine conditions
under which certain Gorenstein h-vectors can be nonunimodal (see, as a nonexhaustive
list, [1, 2, 4, 5, 6, 9, 14, 16, 18, 19, 20, 21, 22, 24, 26, 27]). Recall that a sequence
of integers is unimodal if it does not strictly increase after a strict decrease. (For the
importance of unimodality in algebra, combinatorics and related areas, see for instance
the two classical surveys of Stanley [23] and Brenti [7].) In particular, today we know
that nonunimodal Gorenstein h-vectors exist in any codimension r ≥ 5 [2], while when
r = 3, all Gorenstein h-vectors need to be unimodal (in fact, a complete characterization
is known; see Stanley [22], whose proof was based on the structure theorem of Buchsbaum
and Eisenbud [9], and then the second author [26] for a combinatorial proof). It is still
open whether nonunimodal Gorenstein h-vectors exist when r = 4 (see [16, 19, 21] for
some progress, mainly over a field of characteristic zero).
The first example of a nonunimodal Gorenstein h-vector, namely (1, 13, 12, 13, 1), which
has socle degree 4 (i.e., length 5), was produced by Stanley [22], using the technique
of trivial extensions, also introduced in that paper and useful in some of our proofs
here. Notice that 4 is the smallest socle degree allowing the existence of a nonunimodal
Gorenstein h-vector, because Gorenstein h-vectors are symmetric. Following Stanley [22],
we denote by f (r) the least positive integer such that (1, r, f (r), r, 1) is a Gorenstein hvector. These authors in collaboration with Nagel showed in [18] that f (r) is asymptotic to
2010 Mathematics Subject Classification. Primary: 13D40; Secondary: 13H10, 13E10, 05E40.
Key words and phrases. Gorenstein h-vector, unimodality, Hilbert function, Macaulay’s theorem, Osequence, artinian algebra.
1

2

J. MIGLIORE AND F. ZANELLO

(6r)2/3 for r → ∞, thus solving a long-standing conjecture of Stanley [24]. Further, it was

proven in [27] that (1, r, a, r, 1) is a Gorenstein h-vector for all a = f (r), f (r)+1, . . . , r+1
.
2
However, except for special values of r, in general the integer f (r) is not known. Until
now, a basic open problem in this area was to determine the least integer r such that
f (r) < r, i.e., the least codimension r allowing the existence of nonunimodal Gorenstein
h-vectors in socle degree 4. (It is easy to see that if a nonunimodal Gorenstein h-vector
exists in codimension r, then one must also exist in all larger codimensions.)
Several incremental results, both characteristic-free or with assumptions on the characteristic (see for instance [1, 6, 18, 22]) finally left open only the existence of (1, 12, 11, 12, 1)
as a possible Gorenstein h-vector, in order to show that all Gorenstein h-vectors of socle
degree 4 and codimension r ≤ 12 must be unimodal. In this paper we settle this problem,
by showing that (1, 12, 11, 12, 1) cannot be Gorenstein in any characteristic. Our method
is a refinement of the approach begun by Stanley and improved upon by the authors
mentioned above. As a consequence, this also proves that Stanley’s (1, 13, 12, 13, 1) original example is the smallest possible. Furthermore, using our method we obtain a full
classification of all Gorenstein h-vectors with socle degree 4 and codimension ≤ 17.
In socle degree 5, the work of several authors culminated in Theorem 3.3 of [1], which
showed that all socle degree 5 Gorenstein h-vectors of codimension ≤ 15 are unimodal.
The authors of [1] also pointed out that (1, 18, 16, 16, 18, 1) is a Gorenstein h-vector,
while (1, 16, 14, 14, 16, 1) is not. This left open the existence of the following three hvectors of codimension r ≤ 17: H (1) = (1, 16, 15, 15, 16, 1), H (2) = (1, 17, 15, 15, 17, 1),
and H (3) = (1, 17, 16, 16, 17, 1). In this note, as an application of our method, we prove
that H (1) and H (2) cannot be Gorenstein, while we see using trivial extensions that H (3)
is. Therefore, the least codimension allowing the existence of a nonunimodal Gorenstein
h-vector in socle degree 5 is 17. Furthermore, we obtain a complete classification of
Gorenstein h-vectors for socle degree 5 in codimension ≤ 25.
Our results in this paper are characteristic free.

2. Preliminary facts
In this section,
we briefly gather the main definitions and results needed in this paper.
L
Let A =
i≥0 Ai = R/I be a standard graded k-algebra, where R = k[x1 , . . . , xr ], I
is a homogeneous ideal of R, and k is any infinite field. The Hilbert function of A in
degree i is hR/I (i) = hi = dimk Ai . When A is artinian (i.e., it has Krull-dimension
zero), the Hilbert function of A is eventually zero and can be identified with its h-vector,
namely h = (h0 = 1, h1 , . . . , he−1 , he > 0). Hence we will sometimes use the two terms
interchangeably. The integer e is called the socle degree of A, and since we may assume
without loss of generality that I contains no nonzero forms of degree 1, the number of
variables r equals h1 and is called the codimension of A.
Define the socle of an algebra A of depth zero (for us, usually artinian) as the annihilator
of the maximal homogeneous ideal m = (x1 , . . . , xr ) ⊆ A, namely soc(A) = {a ∈ A |

STANLEY’S NONUNIMODAL GORENSTEIN h-VECTOR IS OPTIMAL

3

am = 0}. The socle vector of A is s = (s0 , s1 , . . . , se ), where si = dimk soc(A)i . Notice
that s0 = 0 and se = he > 0.
If s = (0, . . . , 0, se = t), we say that A is level (of type t). In particular, if t = 1, A is
Gorenstein. With a slight abuse of notation, we will refer to an h-vector as Gorenstein
(or level) if it is the h-vector of a Gorenstein (or level) artinian algebra.
The following three basic results are due to Macaulay, Gotzmann, and Green; before
stating them, we need to recall the following definition.
Definition 2.1. Let n and i be positive integers. The i-binomial expansion of n is

 
  
nj
ni−1
ni
,
+ ... +
+
n(i) =
j
i−1
i
where ni > ni−1 > ... > nj ≥ j ≥ 1. Such an expansion always exists and is unique (see,
e.g., [8], Lemma 4.2.6). Following [8], we define, for any integers a and b,



 

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

where we set mc = 0 whenever m < c or c < 0.

Theorem 2.2. Let A = R/I be a standard graded k-algebra, and L ∈ A a general linear
form (according to the Zariski topology). Denote by hd the degree d entry of the Hilbert
′
function of A and by hd the degree d entry of the Hilbert function of A/(L). Then:
(i) (Macaulay)
hd+1 ≤ ((hd )(d) )+1
+1 .
(ii) (Gotzmann) If hd+1 = ((hd )(d) )+1
+1 and I is generated in degrees ≤ d + 1, then
hd+s = ((hd )(d) )ss

for all s ≥ 1.

(iii) (Green)
′

hd ≤ ((hd )(d) )−1
0 .
Proof. For part (i) see [8], Theorem 4.2.10, or [17]. For (ii) see [8], Theorem 4.3.3, or [12].
For (iii) see [13], Theorem 1.

A sequence of nonnegative integers h = (1, h1 , h2 , . . . , hi , . . . ) is said to be an O-sequence
if it satisfies Macaulay’s theorem for all i. Recall that when A is artinian and Gorenstein,
then its Hilbert function (or h-vector) is a finite, symmetric O-sequence.
We recall a useful theorem proven in [25], Theorem 3.5.
Theorem 2.3. Let hd−1 , hd and hd+1 be three integers such that ((hd )(d) )−1
−1 = hd−1 and
((hd )(d) )+1
=
h
.
Suppose
that
h
+
α,
h
and
h
,
for
some
integer
α > 0, are the
d+1
d−1
d
d+1
+1
entries of degree d − 1, d and d + 1 of the h-vector of an algebra A. Then A has depth
zero and an α-dimensional socle in degree d − 1.

4

J. MIGLIORE AND F. ZANELLO

We also need the following decomposition theorem shown in [11], Lemma 2.8 and Theorem 2.10.
Theorem 2.4. Let h = (1, h1 , . . . , he = t) be the h-vector of a level algebra A of type
t, and let h′ = (1, h′1 , . . . , h′e = t − 1) be the h-vector of any level quotient of A of type
t − 1 and the same socle degree, e. Then the reverse of the difference of h and h′ , namely
(1, he−1 − h′e−1 , he−2 − h′e−2 , . . . ), is an O-sequence.
Finally, the following result will be useful.
Theorem 2.5.
 If (1, r, a, r, 1) is a Gorenstein h-vector, then so are (1, r, b, r, 1) for each
a ≤ b ≤ r+1
, and (1, r + 1, a + 1, r + 1, 1). Similarly, if (1, r, a, a, r, 1) is Gorenstein,
2
then so are (1, r, b, b, r, 1) for each a ≤ b ≤ r+1
, and (1, r + 1, a + 1, a + 1, r + 1, 1).
2
Proof. This follows from standard inverse system techniques. See for example [15, 27]. 
3. Main Results
In socle degree 4, the only codimension in which it is unknown whether a nonunimodal
Gorenstein h-vector exists is 12. We now settle this question.
Proposition 3.1. The h-vector (1, 12, 11, 12, 1) is not Gorenstein.
Proof. Let R = k[x1 , . . . , x12 ] and suppose that I ⊂ R were a Gorenstein ideal with hvector (1, 12, 11, 12, 1). Let J = (I≤3 ), the ideal generated by the components of I in
⊂ S (and
degrees 2 and 3. Let L be a general linear form, S = R/(L), and J¯ = J,L
(L)
¯ Employing the exact sequence
similarly for I).
0 → R/(I : L)(−1) → R/I → S/I¯ → 0
and applying Theorem 2.2, (iii) (Green’s theorem), Theorem 2.2, (i) (Macaulay’s theorem)
and the symmetry of the h-vector of the Gorenstein algebra R/(I : L), it is not hard to
check that the rows of the following diagram represent the only possible values for the
Hilbert functions of R/I, R/(I : L)(−1) and S/I¯ respectively:
1 12 11 12 1
1 8 8 1
1 11 3 4
In degrees ≤ 3 the above is also correct replacing I by J. Because S/J¯ has maximal
growth (according to Macaulay’s theorem) from degree 2 to degree 3 and J¯ has no new
generators in degree ≥ 4, we obtain from Theorem 2.2, (ii) (Gotzmann’s theorem) that
hS/J¯(t) = t + 1 for all t ≥ 2. Thus J¯ is the saturated ideal of a line in P10 in all degrees
≥ 2. It follows that, up to saturation, J is the ideal of the union in P11 of a plane and a
finite number, say m, of points (possibly embedded) — see for instance [3].

STANLEY’S NONUNIMODAL GORENSTEIN h-VECTOR IS OPTIMAL

5

Claim: 15 + m ≤ hR/J (4) ≤ 17. In particular, 0 ≤ m ≤ 2.
The upper bound is given by Macaulay’s theorem,since hR/J (3) = 12. The lower bound
follows from the fact that hR/J (4) ≥ hR/J sat (4) = 62 + m.

+1
Case 1: m = 2. Then hR/J (4) = 17. We have (12(3) )−1
−1 = 8 and (12(3) )+1 = 17, while
hR/J (2) = 11 > 8. Hence Theorem 2.3 gives that R/J has a 3-dimensional socle in degree
2, contradicting the assumption that R/I is Gorenstein.

Case 2: m = 1. If hR/J (4) = 17 then the same argument as in Case 1 applies. If
hR/J (4) = 16 then J is saturated in degree 4 but not in degree 3 (since hR/J sat (3) =
10 + 1 = 11 < 12 = hR/J (3)). Therefore R/J has a socle element in degree 3. Since R/I is
a quotient of R/J, it follows that R/I also has a socle element in degree 3, contradicting
the Gorenstein assumption.
Case 3: m = 0. Now 15 ≤ hR/J (4) ≤ 17. If hR/J (4) = 17, the same argument as in Case 1
applies. If hR/J (4) = 15, again J is saturated in degree 4 so the same argument as in Case
2 applies. If hR/J (4) = 16, the result follows from Theorem 2.4, since the truncated Hilbert
function of the plane is (1, 3, 6, 10, 15), which is level, and (16−15, 12−10, 11−6, 12−3) =
(1, 2, 5, 9) is not an O-sequence.

Recall that (1, 13, 12, 13, 1) was shown by Stanley [22] to be a Gorenstein h-vector.
From Stanley’s example one can use Theorem 2.5 to construct Gorenstein h-vectors of
the form (1, r, r − 1, r, 1), for all r ≥ 13. Furthermore, it is well known that all unimodal
symmetric h-vectors with h2 ≤ r+1
are Gorenstein in socle degrees 4 and 5 (for instance
2
it follows from Theorem 2.5). Thus, we obtain the following characterization.
Theorem 3.2. The Gorenstein h-vectors (1, r, h2 , r, 1) of socle degree 4 and codimen, together with (1, 13, 12, 13, 1),
sion ≤ 17 are precisely the ones with r ≤ h2 ≤ r+1
2
(1, 14, 13, 14, 1), (1, 15, 14, 15, 1), (1, 16, 15, 16, 1) and (1, 17, 16, 17, 1). In particular, nonunimodal Gorenstein h-vectors of socle degree 4 and codimension r exist if and only if r ≥ 13.
Proof. Thanks again to Theorem 2.5, the only missing ingredient is the non-existence of
(1, 17, 15, 17, 1). This can be shown using the same ideas as above, except that instead of
a plane we obtain a quadric surface. We sketch the argument.
Using symmetry, Green’s theorem and Macaulay’s theorem, the following diagram represents the only possible values for the Hilbert functions of R/I, R/(I : L) and R/(I, L):
1 17 15 17 1
1 10 10 1
1 16 5 7
The last two values on the bottom row represent maximal growth according to Macaulay’s
theorem, so setting J = (I≤3 ), we see that J defines a quadric surface together with, say,
m points (possibly embedded). Taking into account the maximal possible growth, we see

6

J. MIGLIORE AND F. ZANELLO

that 25 ≤ hR/J (4) ≤ 26. If hR/J (4) = 25 then m = 0 and J is saturated in degree 4, while
J is not saturated in degree 3. Thus R/J, and hence R/I, has socle in degree 3 and we
are done. If hR/J (4) = 26 then the growth is maximal from degree 3 to degree 4, so again
using Theorem 2.3 we obtain socle in degree 2. This completes the proof.

Remark 3.3. As a result of Theorem 3.2, we see that Stanley’s original (1, 13, 12, 13, 1)
example is the smallest possible, as measured by the codimension among socle degree 4
Gorenstein h-vectors, and as it can easily be verified, also as measured by the dimension
as a k-vector space of the Gorenstein algebra.
We now turn to socle degree 5. As noted earlier, in order to show that 17 is the
least codimension allowing a nonunimodal Gorenstein h-vector in socle degree 5, we
need only determine the Gorensteinness (or not) of H (1) = (1, 16, 15, 15, 16, 1), H (2) =
(1, 17, 15, 15, 17, 1), and H (3) = (1, 17, 16, 16, 17, 1). We now solve this problem.
Suppose first that R/I were a Gorenstein algebra with h-vector (1, 17, 15, 15, 17, 1),
and let J = (I≤4 ). Let L, S, I¯ and J¯ be as before, and we use a diagram similar to the
one above. Using Green’s theorem and the values of hR/I , we obtain the following upper
bounds for hS/I¯, and consequently lower bounds for hR/(I:L) (−1).
1 17 15 15 17 1
≥
1 5 9 12 1
≤ 1 16 10 6 5
But R/(I : L) is Gorenstein, so the middle row has to be symmetric. Thus hR/(I:L) (1) ≥ 12
and we obtain
1 17 15 15 17 1
≥
1 12 9 12 1
≤ 1 16 3 6 5
This forces
1 17 15 15 17 1
≥
1 12 11 12 1
≤ 1 16 3 4 5
We saw in Proposition 3.1 that no Gorenstein algebra exists with Hilbert function given
by the middle row. If the middle row takes higher values (preserving symmetry), we
reach a violation of maximal growth on the bottom row. Hence (1, 17, 15, 15, 17, 1) is not
Gorenstein.
We now show that the h-vector (1, 16, 15, 15, 16, 1) is not Gorenstein. Suppose that
R/I were a Gorenstein algebra with this Hilbert function, and let J = (I≤4 ). One uses
an argument very similar to the one above, together with the fact that if (1, 11, b, 11, 1)
is Gorenstein then b ≥ 11, to show that the only possible diagram for R/I is

STANLEY’S NONUNIMODAL GORENSTEIN h-VECTOR IS OPTIMAL

7

1 16 15 15 16 1
1 11 11 11 1
1 15 4 4 5
From Macaulay’s theorem and our observation above about the saturation, we obtain
21 ≤ hR/J (5) ≤ 22. Analogously to the argument above, J sat is the ideal of a plane plus
m points (possibly embedded), where m = 0 or 1. If hR/J (5) = 21 then m = 0, J is
saturated in degree 5, and R/I has socle in degree 4. If hR/J (5) = 22 then it follows from
maximal growth and Gotzmann’s theorem that m = 1 and J is saturated both in degree
5 and degree 4. However, it is not saturated in degree 3 so we obtain socle in degree 3.
Either way, we obtain a contradiction to the Gorenstein assumption.
On the other hand, we observe that (1, 17, 16, 16, 17, 1) is Gorenstein, by constructing it with trivial extensions, just as Stanley [22] used to construct his famous example
(1, 13, 12, 13, 1). Indeed, it is enough to apply trivial extensions to the level h-vector
(1, 3, 6, 10, 14), so
1 3 6 10 14
14 10 6 3 1
1 17 16 16 17 1
gives the desired Gorenstein h-vector.
We can thus show the following characterization in socle degree 5, again using the fact
that in socle degree ≤ 5 we know precisely which are the unimodal Gorenstein h-vectors.
Theorem 3.4. The Gorenstein h-vectors (1, r, h2 , h2, r, 1) of socle degree 5 and codimension r ≤ 25 are precisely the ones with r ≤ h2 ≤ r+1
, together with (1, r, r − 1, r − 1, r, 1)
2
for 17 ≤ r ≤ 25 and (1, r, r − 2, r − 2, r, 1) for 18 ≤ r ≤ 25. In particular, nonunimodal
Gorenstein h-vectors of socle degree 5 and codimension r exist if and only if r ≥ 17.
Proof. Since (1, 17, 16, 16, 17, 1) is Gorenstein but (1, 16, 15, 15, 16, 1) is not, we obtain
the result about (1, r, r − 1, r − 1, r, 1). It was shown in [1] that (1, 18, 16, 16, 18, 1) is
Gorenstein, so using that fact and Theorem 2.5 we see that the same is true for (1, r, r −
2, r −2, r, 1) when r ≥ 18. On the other hand, we saw above that (1, 17, 15, 15, 17, 1) is not
Gorenstein. It remains to prove that (1, r, r − 3, r − 3, r, 1) is not Gorenstein for r ≤ 25.
Again by Theorem 2.5, it is enough to show that (1, 25, 22, 22, 25, 1) is not Gorenstein.
Using arguments as above (combining Green’s theorem, Macaulay’s theorem and symmetry), together with Theorem 3.2, we obtain
1 25 22 22 25 1
1 16 15 16 1
1 24 6 7 9
as the only possible decomposition. The growth from degree 3 to degree 4 is again maximal
on the third line, giving a conic, so for R/J we obtain a quadric surface plus possibly a
finite number of points, and proceed as before. This completes the proof.


8

J. MIGLIORE AND F. ZANELLO

Remark 3.5.
(i) For socle degree 4 we now know all possible Gorenstein h-vectors that
are unimodal or of the form (1, r, r − 1, r, 1). We saw that the first open case for
(1, r, r − 2, r, 1) is (1, 18, 16, 18, 1). One can show that (1, 20, 18, 20, 1) comes from
trivial extensions using the level h-vector (1, 4, 9, 16), so the only other open case
is (1, 19, 17, 19, 1). For the cases r −h2 = 3 and r −h2 = 4, using the level h-vectors
(1, 4, 10, 19) and (1, 4, 10, 20), we obtain, with trivial extensions, the Gorenstein
h-vectors (1, 23, 20, 23, 1) and (1, 24, 20, 24, 1). When r − h2 = 3 we can show that
(1, 18, 15, 18, 1) does not exist, leaving four open cases. When r −h2 = 4, the same
arguments as above rule out r ≤ 22, and a slightly more subtle argument rules
out r = 23. It follows that r − h2 = 4 exists if and only if r ≥ 24.
(ii) For socle degree 5, an obstacle to settling the case r = 26 is the fact that we
do not know whether (1, 18, 16, 18, 1) is Gorenstein for the second row. However,
notice that (1, 4, 9, 16, 25) and (1, 4, 9, 16, 24) are level h-vectors, which give by trivial extensions the Gorenstein h-vectors (1, 29, 25, 25, 29, 1) and (1, 28, 25, 25, 28, 1).
Combining this with Theorem 3.4, we see that when it comes to the h-vectors of
the form (1, r, r − 3, r − 3, r, 1), the only open cases are (1, 26, 23, 23, 26, 1) and
(1, 27, 24, 24, 27, 1). As for the h-vectors of the form (1, r, r − 4, r − 4, r, 1), an argument using cases, similar to that given in Proposition 3.1 (but using a quadric
instead of a plane), shows that (1, 27, 23, 23, 27, 1) does not exist. (Interestingly, to
make this conclusion we have to allow the possibility that (1, 18, 16, 18, 1) is Gorenstein, but we show that even if it were to exist, we can complete the argument.)
Thus the only open case is (1, 28, 24, 24, 28, 1).
Remark 3.6. In writing this paper, the authors made a conscious decision not to attempt
to obtain more general results for higher socle degree, and to rather focus on settling the
long-standing open problem that Stanley’s original nonunimodal h-vector (1, 13, 12, 13, 1)
is the smallest possible. However, it is clear that the methods that have been brought to
bear on the general classification problem addressed here can also be used to prove results
in higher socle degree. Indeed, Y.S. Shin has kindly informed us that, after receiving our
preprint, he and J. Ahn can now extend Theorem 2.8 of [1] to a similar statement which
includes our Proposition 3.1 as a special case.
4. Acknowledgements
We are grateful to A. Iarrobino for useful comments on the history of the problem, and
to Y.S. Shin (see Remark 3.6). This work was done while both authors were partially
supported by Simons Foundation grants (#309556 for Migliore, #274577 for Zanello).
References
[1] J. Ahn and Y.S. Shin: On Gorenstein sequences of socle degrees 4 and 5, J. Pure Appl. Algebra 217
(2013), 854–862.
[2] D. Bernstein and A. Iarrobino: A nonunimodal graded Gorenstein Artin algebra in codimension five,
Comm. Algebra 20 (1992), no. 8, 2323–2336.

STANLEY’S NONUNIMODAL GORENSTEIN h-VECTOR IS OPTIMAL

9

[3] A. Bigatti, A.V. Geramita and J. Migliore: Geometric consequences of extremal behavior in a theorem
of Macaulay, Trans. Amer. Math. Soc. 346 (1994), no. 1, 203–235.
[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), no. 4, 1083–1092.
[6] M. Boij and F. Zanello: Some algebraic consequences of Green’s hyperplane restriction theorems, J.
Pure Appl. Algebra 214 (2010), no. 7, 1263–1270.
[7] F. Brenti: Log-concave and unimodal sequences in algebra, combinatorics, and geometry: an update,
in “Jerusalem Combinatorics ’93,” Contemporary Math. 178 (1994), 71–89.
[8] W. Bruns and J. Herzog: “Cohen-Macaulay rings,” Cambridge Studies in Advanced Math. 39,
Revised Ed. (1998), Cambridge, U.K..
[9] D. Buchsbaum and D. Eisenbud: Algebra structures for finite free resolutions, and some structure
theorems for ideals of codimension 3, Amer. J. Math. 99 (1977), no. 3, 447–485.
[10] Y. Cho and A. Iarrobino: Hilbert functions of level algebras, J. Algebra 241 (2001), 745–758.
[11] 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.
[12] G. Gotzmann: Eine Bedingung für die Flachheit und das Hilbertpolynom cines graduierten Ringes,
Math. Z. 158 (1978), no. 1, 61–70.
[13] M. Green: Restrictions of linear series to hyperplanes, and some results of Macaulay and Gotzmann,
Algebraic curves and projective geometry (1988), 76–86, Trento; Lecture Notes in Math. 1389
(1989), Springer, Berlin.
[14] 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.
[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 H. Srinivasan: Artinian Gorenstein algebras of embedding dimension four: components of P Gor(H) for H = (1, 4, 7, ..., 1), J. Pure Appl. Algebra 201 (2005), no. 1-3, 62–96.
[17] F.H.S. Macaulay: Some property of enumeration in the theory of modular systems, Proc. Lond.
Math. Soc. 26 (1) (1927), 531–555.
[18] 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.
[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: Bounds and asymptotic minimal growth for Gorenstein Hilbert
functions, J. Algebra 321 (2009), no. 5, 1510–1521.
[21] 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.
[22] R.P. Stanley: Hilbert functions of graded algebras, Adv. Math. 28 (1978), 57–83.
[23] R.P. Stanley: Log-concave and unimodal sequences in algebra, combinatorics, and geometry, Ann.
New York Acad. Sci. 576 (1989), 500–535.
[24] R.P. Stanley: “Combinatorics and Commutative Algebra,” Second Ed., Progress in Mathematics
41 (1996), Birkhäuser, Boston.
[25] F. Zanello: When is there a unique socle-vector associated to a given h-vector?, Comm. Algebra 34
(2006), no. 5, 1847–1860.
[26] F. Zanello: Stanley’s theorem on codimension 3 Gorenstein h-vectors, Proc. Amer. Math. Soc. 134
(2006), no. 1, 5–8.
[27] F. Zanello: Interval Conjectures for level Hilbert functions, J. Algebra 321 (2009), no. 10, 2705–2715.

10

J. MIGLIORE AND F. ZANELLO

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

