EXTREMAL HILBERT SERIES

arXiv:1711.01232v1 [] 3 Nov 2017

RALF FRÖBERG AND SAMUEL LUNDQVIST
Abstract. Given an ideal of forms in an algebra (polynomial ring, tensor algebra, exterior
algebra, Lie algebra, bigraded polynomial ring), we consider the Hilbert series of the factor ring.
We concentrate on the minimal Hilbert series, which is achieved when the forms are generic. In
the polynomial ring we also consider the opposite case of maximal series. This is mainly a survey
article, but we give a lot of problems and conjectures. The only novel results concern the maximal
series in the polynomial ring.

1. Introduction
The Hilbert series of a graded commutative algebra is an important invariant in commutative algebra and algebraic geometry. It has long been known what the Hilbert series of rings
k[x1 , . . . , xn ]/I, I homogeneous, k a field, can be, [Ma]. A much harder question is: If I is generated by forms f1 , . . . , fr of degrees d1 , . . . , dr , what can the Hilbert series be? Not much is known
about this. The question about the minimal Hilbert series is relevant also for other kinds of graded
algebras, and in these cases, even less is known.
But what is known is that given a degree sequence d1 , . . . , dr , we can construct an algebra with
a minimal series in the lexicographical sense, by choosing the forms fi to be generic. A form f in
a graded k-algebra R is generic if the coefficients are algebraically independent over the prime field
of k. By generic forms we mean that the coefficients of all forms are algebraically independent.
That choosing the fi ’s as generic forms really gives a minimal series follows from the fact that a
non-trivial relation of generic forms specializes to a relation of specific forms. In the commutative
case, this is Lemma 1 in [Fr].
We call an algebra which
P is the quotient of an ideal generated by generic forms generic. We
denote the Hilbert series i≥0 dimk Ri z i of a graded k-algebra R by R(z), and we will assume that
k = C unless otherwise stated.
2. Polynomial rings
Let R = k[x1 , . . . , xn ]/(f1 , . . . , fr ), fi forms of degree di , i = 1, . . . , r. It is shown by FröbergLöfwall, [Fr-Lo], that there is only a finite number of Hilbert series, and that there is an open
nonempty subspace of the space of coordinates for the fi ’s on which the Hilbert series is constant
and minimal. The idea is that given (n, d1 , . . . , dr ), there is a bound for the Castelnuovo-Mumford
regularity, and for each degree the algebras with nonminimal dimension constitute a closed set. Since
one only has to check a finite set of dimensions, the algebras with nonminimal dimension in those
degrees is closed. Thus there exists a truly minimal series, not only minimal in the lexicographical
sense.
There is a longstanding conjecture due to the first author for this minimal Hilbert series, see
[Fr].
1

2

RALF FRÖBERG AND SAMUEL LUNDQVIST

P
P
Qr
Conjecture 1. R(z) = ( i=1 (1 − z di )/(1 − z)n )+ , where ( i≥0 ai z i )+ = i≥0 bi z i , where bi = ai
if aj ≥ 0 for all j ≤ i and bi = 0 otherwise,
The conjecture is proved if r ≤ n (complete intersection case), if n ≤ 2, [Fr], if n = 3 by
Anick, [An3], and if r = n + 1, it follows from [St]. (In fact Stanley proves something more, see
below.) It is known that the true series is larger or equal to the conjectured, which gives that if
one finds an algebra with the conjectured series for some (n, r, d1 . . . , dr ), then the conjecture is
proved for these values. There are also some further special results when all di are equal, di = d
for all i. If (n, d, r) = (4, d, 4), by Backelin-Oneto, [Ba-On], (n, d, r) = (4, d, r) for d = 4, 6, 8, 9 and
(n, d, r) = (5, 4, r), by Nicklasson, [Ni], (n, 2, 3), n ≤ 11 and (n, 3, r), n ≤ 8, by Fröberg-Hollman,
[Fr-Ho]. It is also proved by Hochster-Laksov that the formula is correct in the first nontrivial
degree min{di } + 1, [Ho-La]. The last result has been generalized in two different ways to an
interval t ≤ d + d′ , d′ < d (where there are no Koszul relations) if all generators are of degree d.
The first, by Aubry, is only depending on n. The conjectured series is correct in degrees t ≤ d + d′
if
p
p
p
d ≥ 2d′ (n − 1)/ n−1 (n − 1)! − d′ + (d′ )2 / n−2 (n − 2)! + (n − 1)2 / n−1 (n − 1)! − n + 5,
[Au]. There is also a generalization only depending on r by Migliore and Miro-Roig. The conjectured


′
′
+2
series is correct in degrees t ≤ d + d′ if d+d
≥ r d d+2
, [Mi-Mi]. We also mention that the
′
d+d′
conjecture is proved in many cases by Nenashev, [Ne].
Here are some open questions. A positive answer to Question 2.4 would give a positive answer
to Question 2.3, which would give a positive answer to Question 2.2. The rings in Question 2.4 are
studied in [C-C-G-O].

Question 2.1. Let f1 , . . . , fr be generic forms, r ≥ n + 1. Stanley showed that the Hilbert series
of k[x1 , . . . , xn ]/(f1 , . . . , fn+1 ) and k[x1 , . . . , xn ]/(xd11 , . . . , xdnn , fn+1 ) are equal, where deg(fi ) = di .
Does the same hold for k[x1 , . . . , xn ]/(f1 , . . . , fr ) and k[x1 , . . . , xn ]/(xd11 , . . . , xdnn , fn+1 , . . . , fr ) when
r ≥ n + 1? If all di = d?
Question 2.2. Let g1 , . . . , gr be generic forms of degree d > 1, in k[x1 , . . . , xn ]. Is the Hilbert
series of k[x1 , . . . , xn ]/(g1k , . . . , grk ) the same as the Hilberts series of k[x1 , . . . , xn ]/(f1 , . . . , fr ), fi
generic of degree dk? This is conjectured in [Ni], and proved in some cases. The corresponding
question for d = 1 is not true, see Section 2.2 and particularly Question 2.14.
Question 2.3. Let d = (d1 , . . . , dk ) be natural numbers with d1 + · · · + dk = d. Let gi be generic
Qk
of degree di and let hi = i=1 gi . Does k[x1 , . . . , xn ]/(h1 , . . . , hr ) have the same Hilbert series as
k[x1 , . . . , xn ]/(f1 , . . . , fr ), fi generic of degree d if d 6= (1, 1, . . . , 1)?
dk
d1
· · · lik
Question 2.4. Let d = (d1 , . . . , dk ) be natural numbers with d1 +· · ·+dk = d, and let gi = li1
,
where lij are generic linear forms. Does k[x1 , . . . , xn ]/(g1 , . . . , gk ) have the same Hilbert series as
k[x1 , . . . , xn ]/(f1 , . . . , fr ), fi generic of degree d if d 6= (1, 1, . . . , 1)?
Q
Question 2.5. When r ≥ n, the expression ( ri=1 (1 − z di )/(1 − z)n )+ is a polynomial in z. What
are the coefficients? What is the degree?

Question 2.6. Let k[y1 , . . . , yn ] be the ring of differential operators acting on k[x1 , . . . , xn ]. Let
f be a generic form in k[x1 , . . . , xn ]. Does there exist forms g1 , . . . , gr in k[y1 , . . . , yn ] such that
k[x1 , . . . , xn ]/(g1 .f, . . . , gr .f ) satisfies Conjecture 1?

EXTREMAL HILBERT SERIES

3

Question 2.7. Let f1 , . . . , fr be generic forms of degree d with r > n. When is the Hilbert
 series
of k[x1 , . . . , xn ]/I s equal to the Hilbert series of k[x1 , . . . , xn ]/J, J generated by s+r−1
generic
r−1
forms of degree ds? Related questions were studied in [B-F-L].
Maximal Hilbert series. We now turn to the opposite problem. What is the maximal Hilbert
series that an algebra with given degree sequence can attend?
It is well known that the upper bound for the Hilbert series in the uniform degree case is achieved
when I is a lex segment ideal and follows directly from the characterization of Hilbert series due to
Macaulay [Ma]. However, we are not aware of any results in the mixed degree case. We can give
an answer in the case of two variables.
Theorem 1. Let k be any field and let f1 , . . . , fr be forms in k[x, y] of degrees d1 ≥ · · · ≥ dr such
that (f1 , . . . , fr ) is a minimally generated ideal. Then
k[x, y]/(f1 , . . . , fr )(z) ≤

1 + z + · · · + z dr −1 − (z dr−1 + z dr−2 + · · · + z d1 )
.
1−z

Proof. Without loss of generality, we can assume that (lm(f1 ), . . . , lm(fr )) = (m1 , . . . , mr ) is a
minimally generated monomial ideal with respect to some monomial ordering. It is well known
that k[x, y]/(f1 , . . . , fr )(z) ≤ k[x, y]/(lm(f1 ), . . . , lm(fr ))(z), so it is enough to show that
R(z) ≤

1 + z + · · · + z dr −1 − (z dr−1 + z dr−2 + · · · + z d1 )
,
1−z

where R = k[x, y]/(m1 , . . . , mr ).
For each i, i = 1, . . . , r, we divide the monomials m1 , . . . , mr into three disjoint groups. Let
the first group consist of mi only. Let the second group consist of the monomials having x-degree
less than mi , and let the third group consist of the monomials having y-degree less than mi .
Since (m1 , . . . , mr ) is minimally generated, it follows that the three groups form a partition of
{m1 , . . . , mr } for each i.
z di
Fix one i. The Hilbert series of (mi ) is equal to (1−z)
2 . Denote by B and C the second and
the third group respectively, and write B = {mj1 , . . . , mjs }, C = {mk1 , . . . , mkt }. In the ideal
(mjh ), there is an infinite set Ih = {mjh , mjh · x, mjh · x2 , . . .} of monomials. Likewise, in the ideal
(mkh ), there is an infinite set Jh = {mkh , mkh · y, mkh · y 2 , . . .} of monomials. Each element in B
has an unique x-degree, and each element in C has an unique y-degree, so the s + t + 1 = r sets
I1 , I2 , . . . , Is , J1 , J2 , . . . , Jt , {monomials in (mi )} are disjoint.
Thus, the Hilbert series of (m1 , . . . , mr ) is coefficientwise greater than or equal to max(hi ), where
z di
z d1 + · · · + z di−1 + z di+1 + · · · + z dr
+
=
2
(1 − z)
1−z
− (+z d1 +1 + · · · + z di−1 +1 + z di+1 +1 + · · · + z dr +1 )
.
(1 − z)2

hi =
z d1 + · · · + z dr
For i ≥ 2, we have

hi − hi−1 =

−z di−1+1 + z di +1
.
(1 − z)2

Since di−1 ≥ di , the coefficients in the series hi − hi−1 are non-negative. This shows that h1 ≤
· · · ≤ hr coefficientwise, and especially, that the Hilbert series of (m1 , . . . , mr ) is greater than or

4

RALF FRÖBERG AND SAMUEL LUNDQVIST

equal to hr , so
R(z) ≤

1
−
(1 − z)2



z dr−1 + z dr−2 + · · · + z d1
z dr
+
2
(1 − z)
1−z



=

z dr−1 + z dr−2 + · · · + z d1
1 + z + · · · + z dr −1
−
.
1−z
1−z

We now give an explicit construction of an ideal which attains the maximal possible Hilbert
series. We first remark that in Theorem 1, we actually have dr ≥ r − 1. Indeed, suppose I =
(lm(f1 ), . . . , lm(fr )) ⊆ k[x, y] is minimally generated. Let m = xa y b be a monomial of least degree
in I. By the minimality assumption, each other generator either has x-degree less than a, or y-degree
less than b. Moreover, two different generators can not have the same x- or y-degree. So there are
at most a + b + 1 monomials in I. It follows that if I is minimally generated by forms of degrees
d1 ≥ · · · ≥ dr , then dr ≥ r − 1 (and if dr = r − 1, then k[x, y]/I is artinian).
Theorem 2. Let d1 ≥ · · · ≥ dr ≥ r and let I = (xd1 , xd2 −1 y 1 , xd3 −2 y 2 , . . . , xdr −(r−1) y r−1 ). Then
the Hilbert series of k[x, y]/I is equal to
1 + z + · · · + z dr −1 − (z dr−1 + z dr−2 + · · · + z d1 )
.
1−z
Proof. The Hilbert series of the ideal (xdr −(r−1) y r−1 ) is equal to
dr−1 −(r−2) r−2

z dr
(1−z)2 .

Next, consider the ideal

dr −(r−1) r−1

(x
y ,x
y ). This ideal consists of the monomials in (xdr −(r−1) y r−1 ) together
with the monomials of the form xi y r−2 with i ≥ dr−1 − (r − 2), so the Hilbert series is equal to
z dr−1
z dr
(1−z)2 + 1−z . Repeating this argument, we arrive at the conclusion that the Hilbert series of I is
equal to
z dr
z dr−1 + z dr−2 + · · · + z d1
+
.
2
(1 − z)
1−z
It follows that the Hilbert series of k[x, y]/I equals


z dr−1 + z dr−2 + · · · + z d1
z dr
1
=
−
+
(1 − z)2
(1 − z)2
1−z
z dr−1 + z dr−2 + · · · + z d1
1 + z + · · · + z dr −1
−
.
1−z
1−z

Consider now the three variable case. It is not clear how to choose the monomials in order to
maximize the series. In fact, it is not even clear that there is a maximal series in the coefficientwise
sense. Let d = (5, 4, 3, 2). Natural choices for maximizing the series would be I = (x5 , x3 y, x2 z, y 2 )
or J = (x2 , xy 2 , xz 3 , y 5 ), where the ideal I is constructed as follows. We start with degree five. We
choose x5 since it is the biggest monomial with respect to Lex, and we then proceed in descending
degree order, picking x3 y since it is the biggest monomial with respect to Lex which is not in (x5 ),
and so on. The monomials in J are chosen in the same manner, but with respect to ascending
degree order.
It turns out that k[x, y, z]/I(z) < k[x, y, z]/J(z) coefficientwise, but in fact, there is another
choice that gives a minimal series, namely K = (x5 , x3 y, xy 2 , xz). Here we have chosen the generators with respect to reverse Lex and in descending degree order. In [De], revlex ideals and minimal

EXTREMAL HILBERT SERIES

5

Betti numbers were studied, and we believe that there could be a connection to the problem that
we consider.
Question 2.8. Is there a largest possible Hilbert series when n ≥ 3 in the coefficientwise sense? If
so, what is it?
2.1. Resolutions. There has been some work on the resolution of ideals generated by generic
forms by Migliore and Miro-Roig, [Mi-Mi], [Mi-Mi2], and by Pardue-Richert, [Pa-Ri], [Pa-Ri2].
Let R = k[x1 , . . . , xn ]/I = S/I, and let βi,j = dimk (TorSi (R, k))j . Then we have that R(z) =
P
n
i
j
n
i=1 (−1) βi,j z /(1 − z) . If I is minimally generated by generic elements f1 , . . . , fr , deg(fi ) = di ,
then βi,j = 0 if j − i ≥ e, where e is the Castelnuovo regularity of R, so Re 6= 0 but Re+1 = 0 in
the artinian case. It is shown that the resolution agrees with the Koszul resolution of (f1 , . . . , fr )
in
2 (and also in degree j − i = e − 1 if the first nonpositive coefficient in
Qrdegrees jdi− i ≤ e −
n
i=1 (1 − z )/(1 − z) is 0). They also show that if f1 , . . . , fn+1 are generic forms, deg(fi ) = di
which minimally generate (f1 , . . . , fn+1 ) in k[x1 , . . . , xn ], the first nonpositive coefficient is 0 if and
P
only if n+1
i=1 di is odd. It is natural to conjecture that the only instances when βi, j = βi2 ,j should
come from Koszul relations (and in fact this was conjectured in [Ia2]). This is shown to be false.
A small counterexample from [Mi-Mi] is the resolution of four forms of degrees 5,5,5, and 7 in
S = k[x, y, z]. The minimal resolution has the form
0 → S[−12]4 ⊕ S[−11] → S[−10]7 ⊕ S[−11] → S[−5]3 ⊕ S[−7] → S → S/I → 0.
Here the ”ghost terms” S[−11] are not explained through Koszul relations and cannot be predicted
from the Hilbert series. In case all relations have the same degree, there should be no ghost terms.
If all generators have the same degree, there exists a ghost term in the minimal resolution if we
have βi1 ,j 6= 0 and βi2 ,j 6= 0 with i1 6= i2 for some j. If there are no ghost terms, then the Betti
numbers can be determined from the Hilbert series, and the resolution is called pure.
Conjecture 2. [Mi-Mi2, Conjecture 5.8] Let I ⊂ R = k[x1 , . . . , xn ] be the ideal of d > n generically
chosen forms of the same degree. Then there is no redundant term in the minimal free resolution
of R/I. Consequently, the minimal free resolution is the minimum one consistent with the Hilbert
function.
Theorem 3. [Mi-Mi2] Suppose R is an almost complete intersection, r = n + 1, generated by
generic forms. Then Conjecture 2 is true when n = 3, when both n and d are even, and when
(n, d) = (4, 3).
We can add
Theorem 4. Conjecture 2 is true for any r when d = 2, n ≤ 5, when d = 3, n ≤ 4, and when
d = 4, n = 3.
This is proved with computer calculations in Macaulay2, see [M2].
There is an example in [Pa-Ri] showing that the space of generic ideals with minimal Betti
numbers is strictly smaller than the space of ideals with generic Hilbert function. Let I be an
ideal generated by five generic forms of degree four in k[x, y, z, u], and let J = (x4 , y 4 , z 4 , u4 , (x +
y + z + u)4 ). Then both k[x, y, z, u]/I and k[x, y, z, u]/J have generic series. The resolution of
R = k[x, y, z, u]/J = S/J is
0 → S[−9]6 → S[−8]9 ⊕ S[−7]9 → S[−6]16 → S[−4]5 → S → S → S/I → 0.

6

RALF FRÖBERG AND SAMUEL LUNDQVIST

The resolution of S/J has ghost terms S[−7] in homological degrees 2 and 3, and S[−8] in homological degrees 3 and 4, but there are no ghost terms in the resolution of S/I. Here is another
example we have come across. Let R = k[x1 , x2 , x3 , x4 ]/(f1 , . . . , f8 ), fi generic of degree 3, and
T =

k[x1 , x2 , x3 , x4 ]
.
(x31 , x32 , x33 , x34 , (x1 + x2 + x3 )3 , (x1 + x2 + x4 )3 , (x1 + x3 + x4 )3 , (x2 + x3 + x4 )3 )

Then R and T has Hilbert series as in Conjecture 1, R has minimal Betti numbers but T has ghost
terms S[−5]3 in homological degrees 2 and 3, and S[−6]6 in homological degrees 3 and 4. We
believe that this is the first example of a series, see the questions below.
Question 2.9. Let f1 , . . . , fr be generic forms of degree d. Does k[x1 , . . . , xn ]/(f1 , . . . , fr ) and
k[x1 , . . . , xn ]/(xd1 , . . . , xdn , fn+1 , . . . , fr ) have the same Betti numbers?
Question 2.10. Does k[x, y, z, u]/(xd , y d , z d , ud , (x + y + z + u)d ) have minimal Betti numbers if
d 6= 4?
Question 2.11. Let R = k[x1 , x2 , x3 , x4 ]/(f1 , . . . , f8 ), fi generic of degree d ≥ 3 and let T =
k[x1 , x2 , x3 , x4 ]/(xd1 , xd2 , xd3 , xd4 , (x1 + x2 + x3 )d , (x1 + x2 + x4 )d , (x1 + x3 + x4 )d , (x2 + x3 + x4 )d ). Is it
true that R and T has Hilbert series as in Conjecture 1, R has minimal Betti numbers, and T has
ghost terms S[−(2d − 1)]3 in homological degrees 2 and 3, and S[−2d]d+3 in homological degrees 3
and 4? (This is true for d ≤ 8.)
Question 2.12. Let R = k[x1 , x2 , x3 , x4 ]/(f1 , . . . , f8 ), fi generic of degree d ≥ 2 and let T =
d
k[x
 1 , x2 , x3 , x4 ]/I, where I is generated by the 8 forms (x1 ± x2 ± x3 ± x4 ) . Is T (z) − R(z) =
d 2(d−1)
?
2 z

2.2. Connections to the Lefschetz properties. A graded algebra A has the maximal rank
f·
property (MRP) if for any d, the map Ai → Ai+d has maximal rank, i.e. is injective or surjective
for all i, if f is a generic form of degree d.
The following lemma is easily proved.
Q
Q
n
di
Lemma 5. [Fr, Lemma 4] ((1 − z dr+1 )( ri=1 (1 − z di )/(1 − z)n )+ )+ = ( r+1
i=1 (1 − z )/(1 − z) )+
This gives the following equivalent formulation of Conjecture 1.

Conjecture 3. If f1 , . . . , fr are generic forms, then k[x1 , . . . , xn ]/(f1 , . . . , fr ) has the MRP.
l·

An algebra A has the weak Lefschetz property (WLP) if the multiplication Ai → Ai+1 has
maximal rank for all i and d if l is a generic linear form, and it has the strong Lefschetz property
ld ·

(SLP) if Ai → Ai+d has maximal rank for all i if l is a generic linear form. If A has SLP, then A
has the MRP by semicontinuity, and if A has the MRP, then A has the WLP (set d = 1).
The following is proved by Migliore-Miro-Roig-Nagel in [M-M-N]
Theorem 6. If Conjecture 1 is true for all ideals generated by general forms in n variables, then
all ideals generated by general forms in n + 1 variables have the WLP.
It is proved in [St] that monomial complete intersections has the SLP, thus the MRP. Hence
k[x, y, z]/(xd1 , y d2 , z d3 , f ), where f is generic of degree d4 , has the Hilbert series from Conjecture
1, so the conjecture is proved for r = n + 1.
One might hope that powers of generic linear forms are sufficiently generic to prove Conjecture
1. This is not true. There is a conjecture due to Iarrobino [Ia2], see [Ch], on when this is true.

EXTREMAL HILBERT SERIES

7

Conjecture 4. Let f1 , . . . , fr be generic forms of degree d and let l1 , . . . , lr be generic linear
forms. For all (d, n, r) except r = n + 2, r = n + 3, (n, r) = (3, 7), (3, 8), (4, 9), (5, 14), the algebras k[x1 , . . . , xn ]/(l1d , . . . , lrd ) and k[x1 , . . . , xn ]/(f1 , . . . , fr ) have the same Hilbert series.
Some, but not all, counterexamples can be explained by the relation between ideals generated by
powers of linear forms and ideals of fat points via apolarity using the famous list of counterexamples
by Alexander-Hirschowitz to the expected Hilbert series of 2-fat points, [Al-Hi]. Using [Al-Hi]
Alessandro Oneto (private communication) has proved that the only cases when d’th powers of linear
forms have unexpected linear syzygies is when (d, n, r) = (2, 5, 7), (3, 3, 5), (3, 5, 7), (3, 4, 9), (3, 5, 14).
Question 2.13. Does d’th powers of generic linear forms have the same Hilbert series as the same
number of generic forms of degree d if d >> 0?
Question 2.14. Are the exceptions when d’th powers of generic linear forms not having the same
Hilbert series as the same number of generic forms of degree d finite for each n? For each d?
Question 2.15. Let fi be generic forms of degree di and let li be generic linear forms. Does
k[x1 , . . . , xn ]/(l1d1 , . . . , lsds , fs+1 , . . . , fr+s ) and k[x1 , . . . , xn ]/(f1 , . . . , fr+s ) have the same Hilbert series if s ≤ n? This is conjectured in [Mo]. Notice the relationsship with Question 2.1.
Question 2.16. Consider the 2n−1 linear forms l1 , . . . , l2n−1 in k[x1 , . . . , xn ] which are the sum
of an odd number of variables. Does k[x1 , . . . , xn ]/(l1d, . . . , l2dn−1 ) have the same Hilbert series as
k[x1 , . . . , xn ]/I, I generated by 2n−1 generic forms of degree d if n ≤ 6? It is true for n ≤ 4, false
for n = 7.
2.3. Gröbner bases. A monomial ideal I is called almost degrevlex if m ∈ I implies that m′ ∈ I
for all monomials m′ larger than m with deg m′ = deg m. The following conjecture is given by
Moreno-Socias in [Mo].
Conjecture 5. The initial monomial in degrevlex order of an ideal generated by generic forms is
almost degrevlex.
It is proved in [Pa] that Conjecture 5 implies Conjecture 1. It is also shown in [Pa] that the
following conjecture is equivalent to Conjecture 1.
Conjecture 6. If I = (f1 , . . . , fn ) is generated by generic elements in k[x1 , . . . , xn ], then multiplication with xn−i on k[x1 , . . . , xn ]/(gin(I), xn , xn−1 , . . . , xn−i+1 ) has maximal rank for i = 0, . . . , n−1.
2.4. Fewnomials. Monomial and binomial ideals are far from being general enough, but they are
easy to work with.
Question 2.17. For which r are there monomials m1 , . . . , mr of degree d making the algebra
k[x1 , . . . , xn ]/(m1 , . . . , mr ) satisfy Conjecture 1?
Question 2.18. Given d1 , . . . , dr , which is the smallest and largest possible Hilbert series that
k[x1 , . . . , xn ]/(m1 , . . . , mr ) can have, mi a monomial of degree di ?
Question 2.19. What is the answer if we replace monomials by binomials in Question 2.17 and
2.18? A mix between binomials and monomials? Does it, for each r, exist a binary ideal such that
the Hochster-Laksov result holds?

8

RALF FRÖBERG AND SAMUEL LUNDQVIST

3. The tensor algebra
We will denote the tensor algebra over an n-dimensional k-vector space with khx1 , . . . , xn i and
a two-sided ideal generated by f1 , . . . , fr with (f1 , . . . , fr ). It is shown by Govorov, [Go1], that
if the fi ’s are monomials, then the Hilbert series khx1 , . . . , xn i/(f1 , . . . , fr ) is a rational function,
and he conjectured, [Go2], that the same is true if the fi ’s are homogeneous. This was shown to
be false by Shearer, [Sh]. It is shown in [Fr-Lo] that even if the number of generators and the
number of relations and their degrees are fixed, there is in general an infinite number of Hilbert
series, and that there is no open set, even in the usual Euclidean sense with k = R, in the space of
coefficients for which the Hilbert series is constant. The smallest counterexample we know of is for
three relations of degree 2 in khx1 , x2 , x3 , x4 i. It is shown in [Fr-Lo] that Rhx1 , x2 , x3 , x4 i/(x1 x2 −
x1 x3 , x2 x3 − x3 x2 − x22 /q, x2 x4 ), where q ∈ N+ , has series (1 − 4z + 3z 2 − z q+3 )−1 and that
Rhx1 , x2 , x3 , x4 i/(x1 x2 − x1 x3 , x2 x3 − x3 x2 , x2 x4 ) has series (1 − 4z + 3z 2 )−1 . It follows that the
set of algebras with three relations of degree two with series (1 − 4z + 3z 2 )−1 is dense, but not open
in R48 , and that there is infinitely many series with three relations of degree two in four variables.
The remaining part of this section is taken from two papers by Anick, [An1] and [An2]. We
restrict to the case whenP
deg(xi ) = 1 for all i. P
In Anick’s papers also deg(xi ) > 1 is treated. For
∞
∞
two power series A(z) = i=0 ai z i and B(z) = i=0 bi z i Anick defines A(z) <lex B(z) if for some
n we have ai = bi if i < n and an < bn . It is shown in [An2] that for fixed n, d1 , . . . , dr the set S
of Hilbert series of algebras khx1 , . . . , xn i/(f1 , . . . , fr ), deg(fi ) = di is well ordered. Then inf(S) is
called the generic series, and an algebra with generic series is called generic. It is not clear that a
generic algebra exists, and if it does may very well depend on the field k. If the field is very large
(contains the algebraic closure of an infinite transcendtal extension of its prime field) it is shown
that generic algebras do exist.
If R = khx1 , . . . , xn i/I is a graded quotient and f ∈ Rd then coefficientwise, R/(f )(z) ≥ R(z)(1+
z d R(z))−1 . If there is equality f is called strongly free (or inert), [An1]. This gives that if f1 , . . . , fr
are elements in khx1 , . . . , xn i, fi ∈ khx1 , . . . , xn idi , then the inequality khx1 , . . . , xn i/(f1 , . . . , fr )(z) ≥
((1 − nz + z d1 + · · · + z dr )−1 )+ holds coefficientwise. and if the Hilbert series equals (1 − nz +
z d1 + · · · + z dr )−1 , {f1 , . . . , fr } is called a strongly free set. (This is shown to be equivalent
to khx1 , . . . , xn i/(f1 , . . . , fr ) being of global dimension ≤ 2.) If one is able to find an algebra
khx1 , . . . , xn i/(f1 , . . . , fr ), deg(fi ) = di with Hilbert series ((1 − nz + z d1 + · · · + z dr )−1 )+ , this algebra is generic. The concept strongly free is the counterpart to regular sequences in the commutative
case. It is tempting to conjecture that for any set of forms g1 , . . . , gr with gi ∈ khx1 , . . . , xn idi , that
khx1 , . . . , xn i/(g1 , . . . , gr )(z) ≥ ((1−nz +z d1 +· · ·+z dr )−1 )+ , and that there is some set {g1 , . . . , gr }
which gives equality. The inequality is proved in [An2]. There it is also shown that if deg(g1 ) = 2,
deg(g2 ) = d ≥ 7, there is no algebra khx1 , x2 i/(g1 , g2 ) with series ((1 − 2z + z 2 + z d )−1 )+ , so the
second part of the statement is not true. In case deg(fi ) = 2 for all i, one can say a bit more. If
r ≤ n2 /4 there are strongly free sets, so in this case the generic series is (1 − nz + rz 2 )−1 [An2,
Lemma 5.10]. If r > n2 /2 there exists an algebra with series ((1 − nz + rz 2 )−1 )+ .
We conclude this section with some open questions. They all concern the case when the ideal is
generated by r forms of degree 2. Also c.f [An2].
Question 3.1. Is the generic series equal to (1/(1 − nz + rz 2 ))+ also if n2 /4 < r < n2 /2?
Question 3.2. For which r is the generic algebra artinian?
Question 3.3. Does the space of coefficients for rings with generic series contain an open nonempty
set?

EXTREMAL HILBERT SERIES

9

Question 3.4. Does the Hochster-Laksov result hold in the tensor algebra? For n = 2?
4. Lie algebras
We consider N-graded Lie algebras. The Jacobi identity is [[a, b], c] = [a, [b, c]] + [[a, c], b]. To get
quotients of associative algebras we study the universal enveloping algebra of Lie algebras. Thus
we
rings of type T (V )/I, where I is generated by Lie elements. We know that ((1 − nz +
Pr study
di −1
)
)+ , where n is the number of generators, and we have r relations of degree d1 , . . . , dr ,
z
i=1
is a lower bound for the Hilbert series. Anick [An2] gives an example, khx, yi/(f1 , f2 ), where
deg(f1 ) = 3, deg(f2 ) = 8. (f1 can after a change of basis be chosen as [x, [x, y]] = [x2 , y].) He shows
that the series is not the expected (1 − 2z + z 3 + z 8 )−1 . He also shows [An1] that if all relations are
of degree two, so they are linear combinations of commutators of variables, then there are strongly
free sets of Lie elements of size r if r ≤ n2 /4, so the Hilbert series is (1 − nz + rz 2 )−1 [An2, Lemma
5.10].
Example If r ≤ n − 1, we can get the expected Hilbert series by choosing commutators. If
I = ([x1 , x2 ], [x1 , x3 ], . . . , [x1 , xn ]), then khx1 , . . . , xn i/I has the expected series (1−nz+(n−1)z 2)−1
as a simple calculation shows.
Question 4.1. Is the generic series for r generic Lie elements of degree 2 in n variables equal to
((1 − nz + rz 2 )−1 )+ ?
Question 4.2. How many generic Lie elements of degree d is required for L to be nilpotent?
5. Exterior algebras
Let V be a k-vector space of dimension n and denote by Λ(V ) the exterior algebra on n generators,
that is, Λ(V ) = khx1 , . . . , xn i/(xi xj + xj xi , 1 ≤ j ≤ n, x2i , i = 1, . . . , n). In the same way as for
commutative algebras, one can show that there is a coefficientwise minimal series which is achieved
on a non-empty Zariski open set of the coefficients, and that we have the corresponding inequality
for the Hilbert series. Thus, if I is an ideal generatedQ
by generic forms fi , deg(fi ) = di , i = 1, . . . , r,
r
then Λ(V )/I(t) is coefficientwise smaller or equal to ( i=1 (1 − z di )(1 + z)n)+ . A first guess could be
that if I is an ideal generated by generic forms, then ΛV /I(z) = k[x1 , . . . , xn ]/((x21 , . . . , x2n ) + J)(z),
where J has ”the same” generators as I. It is true for a principal ideal generated by an element
of even degree [Mo-Sn], so if f is a generic element of even degree d, then the Hilbert series is
((1 − z d )(1 + z)n )+ . But since f ⊆ Annf when f is odd, the guess is not true even for principal
ideals.
In [Lu-Ni], the series for Λ(V )/(f ) is determined for d odd and equal to n − 2 (the expected
series + tn−1 ) and n − 3 (the expected series) and for (9, 3) (the expected series +3t6 ). It is also
shown that the
 series is not the expected one when the form has odd degree d, n is odd, 3d > n
n
and (n+d)/2
is odd . The last result gives a counterexample to Conjecture 6.1 in [Mo-Sn].
When the ideal is generated by two general quadratic forms, it was noticed in [Fr-Lo2] that for
n = 5, the Hilbert series differs from the expected series by one in degree three. The following
conjecture, providing a combinatorial description of the series, is given in [C-L-N].
Conjecture 7. Let f and g be generic forms. Then the Hilbert series of Λ(V )/(f, g) is equal to
1 + a(n, 1)t + a(n, 2)t2 + · · · + a(n, s)ts + · · · , where a(n, s) is the number of lattice paths inside the
rectangle (n + 2 − 2s) × (n + 2) from the bottom left corner to the top right corner with moves of
two types; (x, y) → (x + 1, y + 1) or (x − 1, y + 1).

10

RALF FRÖBERG AND SAMUEL LUNDQVIST

It is proved in [C-L-N] that the series in Conjecture 7 is an upper bound for Λ(V )/(f, g) using
the theory of matrix pencils.
Question 5.1. Let l1 and l2 be generic linear forms in k[x1 , . . . , xn ]. Does the Hilbert series of
k[x1 , . . . , xn ]/(x21 , . . . , x2n , l12 , l22 ) equal that for Λ(V )/(f, g), f and g generic quadratic forms? This
is conjectured in [C-L-N]. The corresponding question for three linear forms is not true.
Question 5.2. The Hochster-Laksov result does not hold in the exterior algebra when n = 5, d1 =
d2 = 2, as showed in [Fr-Lo2]. Is this the only counterexample?
Question 5.3. Given that even the principal case is unsolved, it seems hard to predict the Hilbert series for generic ideals in Λ(V ). But the only counterexamples from the naively expected series given
by Conjecture 1 that we are aware of is when r is small compared to n. Does it hold that the Hilbert
series for Λ(V )/(f1 , . . . , fr ) is equal to the Hilbert series for k[x1 , . . . , xn ]/(f1 , . . . , fr , x21 , . . . , x2n )
when r ≥ n ?
Question 5.4. Consider a supercommutative algebra, generated by even and odd elements. In this
setting the usual commutative algebra is a superalgebra with even generators, while the exterior
algebra is a superalgebra with odd generators. Given a degree sequence (d1 , . . . , dr ), what is the
minimal Hilbert series such an algebra can have? If at most half of the elements are odd?
6. Bigraded algebras
m

n

The coordinate ring of P × P is R = k[x0 , . . . , xm , y0 , . . . , yn ], where deg xi = (1, 0) and
deg yi = (0, 1). We propose the problem to determine the Hilbert series of generic (bigraded) ideals
in R. Suppose the ideal is generated by f1 , . . . , fr , deg fi = (di , ei ). A natural guess is that the
bigraded Hilbert series of R/(f1 , . . . , fr ) is
r
Y
( (1 − xdi y ei )/((1 − x)2 (1 − y)2 ))+ ,
i=1

P
P
where ( i,j≥0 ai,j xi y j )+ = bi,j xi y j , where bi,j = ai,j if ak,l > 0 for all (k, l) ≤ (i, j) and bi,j = 0
otherwise. The guess is not true in general; the first counterexample that we have found is for three
relations of degree (2, 1) in the coordinate ring of P1 × P2 . But we conjecture that it is true when
m = n = 1.
Conjecture 8. If f1 , . . . , fr are generic bigraded forms,
Qr deg fi = (di , ei ), in R = k[x0 , x1 , y0 , y1 ],
then the Hilbert series of R/(f1 , . . . , fr ) is equal to ( i=1 (1 − xdi y ei )/((1 − x)2 (1 − y)2 )))+ .

We have checked the conjecture on computer in case all relations are of the same degree (d, e) ≤
(3, 3) and in case of all degrees are of the form (di , ei ) with di + ei = 3, and the corresponding claim
in a few examples in the coordinate ring of P1 × P1 × P1 . We conclude with some open questions.
Question 6.1. If f1 , . . . , fr are generic multigraded forms in the coordinate ring R of P1 ×· · ·×P1 =
(P1 )n , deg fi = (d1i , . . . , dni ), is the Hilbert series of R/(f1 , . . . , fr )
(

r
Y

i=1

(1 − xd11i · · · xdnni )/

n
Y

(1 − xi )2 )+ ?

i=1

Question 6.2. What is the Hilbert series of an ideal generated by generic bigraded forms in the
coordinate ring of Pm × Pn ?

EXTREMAL HILBERT SERIES

11

7. Positive characteristic
Conjecture 1 is true for any field when n ≤ 2, [Fr]. When n = 3, it is true when k is infinite
[An3]. The Hochster-Laksov result [Ho-La], that Conjecture 1 is correct up to the first non-trivial
degree, is not dependent upon the characteristics, but on the field being algebraically closed.
We believe that Conjecture 1 is true for any field. However, some of the questions that we have
posed in the previous sections have a negative answer.
Let us for instance consider Question 2.1. Let r = n + 1 and consider uniform degrees of the
generators. It is well known that the Hilbert function of a CI with forms of degree d is symmetric
p−1
p
among a line trough n(d − 1)/2. Now consider characteristic p ≥ d. Then fr+1
· fr+1 = fr+1
=0
in k[x1 , . . . , xn ]/(xd1 , . . . , xdn ), so if (dp−1 + dp )/2 ≤ n(d − 1)/2, the series is not the one given in
Conjecture 1. For p = d = 2, this happens when n ≥ 6.
Question 7.1. Does the Hochster-Laksov result hold when k is finite?
Question 7.2. Is Conjecture 1 true when n = 3 and k finite?
Question 7.3. Stanley used an explicit choice of forms when proving Conjecture 1 for r = n+1. As
we have seen above, this choice does not work in positive characteristic. Can one give a construction
valid also for positive characteristic?
Acknowledgements. We thank the participants of the Stockholm problem solving seminar for
many fruitful discussions related to the questions and conjectures presented in this paper.
References
[Al-Hi] Alexander, J. and Hirschowitz, A. Polynomial interpolation in several variables, J. Alg. Geom. 4 201–222
(1995).
[An1] Anick, D. Non-commutative graded algebras and their Hilbert series, J. Algebra 78, 120–140, (1982).
[An2] Anick, D. Generic algebras and CW complexes, Ann. of Math. Stud. 113, Princeton Univ. Press, Princeton,
NJ, 1987.
[An3] Anick, D. Thin algebras of embedding dimension three, J. Algebra 100, 235–259 (1986).
[Au] Aubry, M. Série de Hilbert d’une algèbre de polynômes quotient, J. Algebra 176, 392–416 (1995).
[Ba-On] Backelin, J. and Oneto, A. On a class of power ideals, J. Pure Appl. Algebra 219, 3158–3180 (2015).
[B-F-L] Boij M., Fröberg R., Lundqvist S., Powers of generic ideals and the weak Lefschetz property for powers of
some monomial complete intersections, To appear in J. Algebra.
[C-C-G-O] Catalisano, M-V., Chiantini, L., Geramita, A., Oneto, A. Waring-like decompositions of polynomials, 1,
Linear Algebra Appl. 533 (2017), 311–235.
[Ch] Chandler, K. The geometric interpretation of Fröberg-Iarrobino conjectures on infinitesimal neighbourhoods of
points in projective space, J. Algebra 286, no. 2, 421–455 (2005).
[C-L-N] Crispin Quiñonez, C., Lundqvist S. and Nenashev G., On ideals generated by two generic quadratic forms
in the Exterior algebra, in preparation.
[De] Deery, T. Rev-lex segment ideals and minimal Betti numbers, The Curves Seminar at Queen’s, Vol. X (Kingston,
ON, 1995), 193219.
[Fr] Fröberg, R. An inequality for Hilbert series, Math. Scand. 56, 117–144 (1985).
[Fr-Ho] Hollman, J. and Fröberg, R. Hilbert series for ideals generated by generic forms, J. Symb. Comp. 17, 149–157
(1994).
[Fr-Lo] Fröberg R. and Löfwall C. On Hilbert series for commutative and noncommutative graded algebras, J. Pure
Appl. Algebra 76 33–38 (1990).
[Fr-Lo2] Fröberg R. and Löfwall C. Koszul homology and Lie algebras with applications to generic forms and points,
Homology, Homotopy and Applications, 4(2), 227–258 (2002).
[Go1] Govorov, V. E. Graded algebras, Math. Notes 12, 552–556, (1972).
[Go2] Govorov, V. E. On the dimension of graded algebras, Math. Notes 14, 678–682, (1973).

12

RALF FRÖBERG AND SAMUEL LUNDQVIST

[M2] Daniel R. Grayson and Michael E. Stillman. Macaulay 2, a software system for research in algebraic geometry.
Available at https://faculty.math.illinois.edu/Macaulay2/.
[Ho-La] Hochster M, and Laksov D. The linear syzygies of generic forms, Comm. Algebra 15, 227–234 (1987).
[Ia] Iarrobino, A. Compressed algebras: Artin algebras having given socle degrees and maximal length,Trans. Amer.
Math. Soc. 285 337–378 (1984).
[Ia2] Iarrobino, A. Inverse system of a symbolic power III. Thin algebras and fat points, Compositio Math. 108
319–356 (1997).
[Lu-Ni] Lundqvist, S., Nicklasson, L., On generic principal ideals in the Exterior algebra, in preparation.
[Ma] Macaulay, F. Some properties of enumeration in the theory of modular systems, Proc. London Math. Soc. 26,
531–555 (1927).
[Mi-Mi] Migliore, J. and Miro-Roig, R. M. Ideals of general forms and the ubiquity of the weak Lefschetz property,
j: Pure Appl. Algebra 102, 79–107 (2003).
[Mi-Mi2] Migliore, J. and Miro-Roig, R. M. On the minimal free resolution of n + 1 general forms, Trans. Amer.
Math. Soc. 355,1–66 (2002).
[M-M-N] Migliore, J., Miro-Roig R. and Nagel, U. On the weak Lefschetz property for powers of linear forms, Algebra
Number Theory 6 487– 526 (2012).
[Mo] Moreno-Socias, G. Degrevlex Gröbner bases of generic complete intersections, J. Pure Appl. Algebra 180,
263–283 (2003).
[Mo-Sn] Moreno-Socias, G. and Snellman J. Some conjectures about the Hilbert series of generic ideals in the exterior
algebra, Homology, Homotopy and Applications, 4(2), 409–426 (2002).
[Ne] Nenashev, G. A note on Fröbergs’s conjecture for forms of equal degree, C. R. Acad. Sci. Paris, Ser. I 355
272–276 (2017).
[Pa] Pardue, K. Generic sequences of polynomials, J. Algebra 324, 579–590 (2010).
[Pa-Ri] Pardue, K. and Richert B, Syzygies of semiregular sequences, Illinois J. Math. 53, 349–364 (2009).
[Pa-Ri2] Pardue, K. and Richert B, Errata for syzygies of semiregular sequences, Illinois J. Math. 56, 1001–1003
(2012).
[Ni] Nicklasson, L. On the Hilbert series of ideals generated by generic forms, Comm. Algebra 45 no. 8, 3390—3395,
(2017).
[Sh] Shearer, J. B. A graded algebra with non-rational Hilbert series, J. Algebra 62, 228–231, (1980).
[St] Stanley R. Hilbert functions of graded algebras, Adv. Math. 28 57–83 (1978).
[Wa] Watanabe, J. The Dilworth number of Artinian rings and finite posets with rank function, Commutative algebra
and combinatorics (Kyoto, 1985), 303–312, Adv. Stud. Pure Math., 11, North-Holland, Amsterdam, 1987.
Department of Mathematics, Stockholm University, S-10691, Stockholm, Sweden
E-mail address: ralff@math.su.se, samuel@math.su.se

