POWERS OF GENERIC IDEALS AND THE WEAK LEFSCHETZ
PROPERTY FOR POWERS OF SOME MONOMIAL COMPLETE
INTERSECTIONS

arXiv:1612.00411v1 [math.AC] 1 Dec 2016

MATS BOIJ, RALF FRÖBERG, AND SAMUEL LUNDQVIST
Abstract. Given an ideal I = (f1 , . . . , fr ) in C[x1 , . . . , xn ] generated by forms of
degree d, and an integer k > 1, how large can the ideal I k be, i.e., how small can
the Hilbert function of C[x1 , . . . , xn ]/I k be? If r ≤ n the smallest Hilbert function is
achieved by any complete intersection, but for r > n, the question is in general very
hard to answer. We study the problem for r = n + 1, where the result is known for
k = 1. We also study a closely related problem, the Weak Lefschetz property, for S/I k ,
where I is the ideal generated by the d’th powers of the variables.

1. Introduction
Let I = (f1 , . . . , fr ) be an ideal generated by forms of degree d in C[x1 , . . . , xn ], and
let k ≥ 1. How large can the ideal I k be, i.e., how small can the Hilbert function of
C[x1 , . . . , xn ]/I k be? It is clear that we get the smallest Hilbert series if the fi ’s are
general. If r ≤ n, I is a complete intersection, and the Hilbert series (and even the
graded Betti numbers) for I k are known ([5]). But if r > n not much is known even if
k = 1, and we are not aware of any result for k > 1. For k = 1 the main classes for
which the result is known is when n ≤ 3 ([1],[4]) or when r = n + 1 ([8]). In all known
cases the series for an idealP
with r general generators of degree d ≥ 2 in n variables is
[(1 − td )r /(1 − t)n ], where [ i≥0 ai ti ] means truncate before the first nonpositive term.
A first guess for the Hilbert series of C[x1 , . . . , xn ]/I k , I generated by r generalforms of
general
degree d, could be that the series for k ≫ 1 and r > n is the same as for k+r−1
r−1
forms of degree dk. We will show that this is not always the case for geometric reasons.
We also study a closely related problem, the Weak Lefschetz property (WLP) for
powers of some monomial complete intersections ideals. Recall that a graded algebra
A satisfies the WLP if there exists a linear form L such that the multiplication map
×L : Ai → Ai+1 has maximal rank for all degrees i. See [7] for a survey on the WLP.
For a graded algebra R = ⊕Ri we let R(t) denote the Hilbert series of R.
2. Powers of ideals of general forms
Let f1 , f2 , . . . , fn+1 be general forms of degree d in C[x1 , . . . , xn ]. We will start by
showing that when k = dn−1 , the dimension of C[x1 , . . . , xn ]/(f1 , f2 , . . . , fn+1 )k in degree
dk is one less than expected.
Lemma 1. For general forms f1 , f2 , . . . , fn+1 of degree d in C[x1 , . . . , xn ] there is exactly
one relation of degree dn−1 in C[f1 , . . . , fn+1 ].
The first author was partially supported by the grant VR2013-4545.
1

2

MATS BOIJ, RALF FRÖBERG, AND SAMUEL LUNDQVIST

Proof. General forms f1 , f2 , . . . , fn+1 give a well-defined map Φ : Pn−1 −→ Pn since they
have no common zeroes. The closure of the image is a variety of dimension n−1, so it is a
hypersurface. The inverse image of a general line gives a reduced complete intersection,
as we can see from producing one such example by choosing the forms to be powers of
general linear forms and by considering a line that gives the inverse image given by the
radical complete intersection ideal (f1 − fn , f2 − fn , . . . , fn−1 − fn ). Thus a general line
meets the hypersurface in dn−1 distinct points and hence the image is not contained in
any hypersurface of lower degree than dn−1 . We conclude that there is a unique equation
of degree dn−1 defining the image of Φ .

In the next two subsections, we will focus on the situation in two and three variables.
We will need the following lemma.
Lemma 2. Let I be an ideal in C[x1 , . . . , xn ] generated by homogeneous elements in
degree d and suppose that xdi ∈ I for i = 1, . . . , n. Suppose that C[x1 , . . . , xn ]/I k is zero
in degree a and that a ≥ d(n − 1). Then C[x1 , . . . , xn ]/I k+1 is zero in degree a + d.
Proof. Let R = C[x1 , . . . , xn ] and write R = R0 ⊕ R1 ⊕ · · · . By the assumption, Ra ⊂ I k ,
so Ra xdi ⊂ I k+1 for i = 1, . . . , n. Let m be a monomial in Ra+d . Since a + d ≥ dn, there
is at least one variable, say xj , whose exponent in m is greater than or equal to d. But
then m ∈ Ra xdj , that is, m ∈ I k+1 .

2.1. The case n = 2, r = 3. Let R2,d,k = C[x, y]/(f1 , f2 , f3 )k , where the fi ’s are general
forms of degree d. If d = 2, then (f1 , f2 , f3 ) = (x, y)2 , so R2,2,k = C[x, y]/(x, y)2k . We
assume in this section that d ≥ 3.

P
d−1 dk
i
Lemma 3. If k ≥ d − 2, then R2,d,k (t) ≥ dk−1
coefficientwise.
i=0 (i + 1)t +
2 t

Proof. Consider
the case

 when k = d. By Lemma 1 the dimension of R2,d,k in degree dk

d+2
k−d+2
2
is d + 1 −
− 1 = d−1
2
2 . This implies that in degree k ≥ d, there are
2

k+2
relations among the monomials of degree k in the fi ’s. We have 2 monomials of
degree
k in the fi ’s. Thus the dimension of R2,d,k in degree dk is at least dk + 1 −



k+2
= d−1
− k−d+2
2 .
2
2
Finally, let us consider the case when k = d − 1 and k = d − 2. The dimension of
R2,d,k in degree dk is at least dk + 1 − k+2
2 . If k = d − 1 or k = d − 2, this equals

d−1

2 .

Lemma
4. If k ≥ d − 2, the Hilbert function of C[x, y]/(xd , y d , xd−1 y)k in degree dk is

d−1
2 .

Pdk−1
i + d−1 tdk .
Proof. By Lemma 3, we have C[x, y]/(xd , y d , xd−1 y)k (t) ≥
(i
+
1)t
i=0
2
Thus it is enough to show that the Hilbert function of C[x, y]/(xd , y d , xd−1 y)k in degree
dk is at most d−1
2 .
Let h = min(k, d − 1). We construct h + 1 separate groups indexed by 0, . . . , h, where
we let the b’th group consist of the polynomials xda (xy d−1 )b y dc of degree dk such that
a + b ≤ k. The leading monomials in this group are
xb y dk−b , xb+d y dk−(b+d) , . . . , xb+(k−b)d y dk−(b+(k−b)d) ,

POWERS OF GENERIC IDEALS AND THE WLP FOR POWERS OF SOME MONOMIAL CI’S

3

so there are k − b + 1 leading monomials in group b.

P
In total this gives hb=0 (k − b + 1) = (h + 1)(k + 1) − h+1
elements. If k = d − 2,
2

d−1
then the dimension in degree dk is at most d(d − 2) + 1 − (d − 1)(d − 1) + d−1
2 =
2 .
d
d−1
2
If k = d − 1, then the dimension in degree dk is at most d(d − 1) + 1 − d + 2 = 2 .


Finally, if k ≥ d, the dimension in degree dk is at most kd+1−d(k +1)+ d2 = d−1
2 . 

Lemma 5. The Hilbert function of the algebra C[x, y]/(xd , y d , xd−1 y + xy d−1 )k is zero
in degree dk + 1 if k ≥ max(d − 3, 1).
Proof. We will prove by induction that all the monomials of degree dk + 1 are in the
ideal J = (xd , y d , xd−1 y + xy d−1 )k . Assume by induction on ℓ that we have all the
monomials of the form xid+j y (k−i)d+1−j and x(k−i)d+1−j y id+j in J for 0 ≤ i ≤ k − j,
0 ≤ j ≤ ℓ + 1. Denote the ideal generated by these monomials by J (ℓ) . Observe that
J (0) = (x, y)(xd , y d )k ⊆ J by the defintion of J.
We compute for 0 ≤ i ≤ k − ℓ − 1 the following element in J
x · (xd−1 y + xy d−1 )ℓ+1 · xid y (k−i−ℓ−1)d =


ℓ+1 
X
ℓ+1
j

j=0

x(i+j)d+ℓ+2−2j y (k−i−j)d−ℓ−1+2j

≡ xid+ℓ+2 y (k−i)d−ℓ−1

(mod J (ℓ) )

since all but the first term are in J (ℓ) . By symmetry we also get that the following is in
J
y · (x

d−1

y + xy

d−1 ℓ+1

)

·x

(k−i−ℓ−1)d id

y

=


ℓ+1 
X
ℓ+1
j

j=0

x(k−i−j)d−ℓ−1+2j y (i+j)d+ℓ+2−2j

≡ x(k−i)d−ℓ−1 y id+ℓ+2

(mod J (ℓ) )

since all but the last term are in J (ℓ) . Hence we have proved that J (ℓ+1) ⊆ J for
0 ≤ ℓ ≤ k.
Now we need to prove that J (k) contains all monomials of degree dk+1. Any monomial
of degree dk + 1 can be written as xjd+r y (k−j)d−(r−1) , where 0 ≤ r < d. This monomial
is of the form xid+ℓ+2 y (k−i)d−ℓ−1 in J (k) if r = ℓ + 2 and j ≤ k − ℓ − 1 = k − r + 1, i.e.,
r ≤ k − j + 1 and it is of the form x(k−i)d−ℓ−1 y id+ℓ+2 in J (k) if jd + r = (k − i)d − ℓ − 1,
i.e., j = k − i − 1, r = d − ℓ − 1 and 0 ≤ i ≤ k − ℓ − 1, i.e., 0 ≤ k − j − 1 ≤ r + k − d, which
can be written as r ≥ d − j − 1 ≥ d − k. We will get all monomials in degree dk + 1 if
d − j − 1 ≤ (k − j + 1) + 1, i.e., when d − 3 ≤ k.

Theorem 6. If k ≥ d − 2, then
R2,d,k (t) =

dk−1
X
i=0



d − 1 dk
(i + 1)t +
t .
2
i

The Betti numbers of R2,d,k are β0,0 = 1, β1,dk =

β2,dk+2 = d−1
2 .

2dk−d2 +3d
,
2

β2,dk+1 = (dk − d2 + 3d − 2),

4

MATS BOIJ, RALF FRÖBERG, AND SAMUEL LUNDQVIST


P
d−1 dk
i
Proof. By Lemma 4 and Lemma 5, R2,d,k (t) ≤ dk−1
i=0 (i + 1)t +
2 t . Together with
Lemma 3 we get the claimed Hilbert series.
P
i
i+j )/(1 − t)2 . We know that the number of
The Hilbert series equals ( dk+2
i=0 (−1) βi,jt
2
generators of (f1 , f2 , f3 )k are k+2
− k−d+2
= 2dk−d2 +3d , and they are all of degree dk,
2
2

2
so β1 = β1,dk = 2dk−d2 +3d . Also β2,dk+2 = d−1
and β2,i = 0 if i > dk + 2 since R2,d,k
2

d−1
has socle of dimension 2 in degree dk, and no socle in higher degree.

Remark 7. We are convinced that also the algebra C[x, y]/(xd , y d , (x + y)d )k , is zero in
degree dk + 1 for any d and k ≥ max(d − 3, 1), but we have not been able to prove this.
See also Conjecture 1.
2.2. The case n = 3, r = 4.
Theorem 8. The Hilbert series of R3,2,k is
2k−1
X i + 2
ti + (3k − 1)t2k .
2
i=0

Proof. A similar calculation as in the proof of Lemma 3 shows that R3,2,k has at least



dimension 2k+2
− k+3
+ k−4+3
= 3k − 1 in degree 2k. Thus we have an inequality.
2
3
3
That there is equality follows from the following lemma.

Lemma 9. The Hilbert series of
C[x, y, z]/(x2 , y 2 , z 2 , (x + y + z)2 )k = C[x, y, z]/(x2 , y 2 , z 2 , xy + xz + yz)k
is
2k−1
X
i=0


i+2 i
t + (3k − 1)t2k .
2

Proof. It is enough to show that the Hilbert series has at most dimension 3k −1 in degree
2k and that the algebra is zero in degree 2k + 1.
We first consider degree 2k. We claim that all monomials of degree 2k except the
3k − 1 monomials
x2k−1 z, x2k−3 z 3 , . . . , xz 2k−1 , y 2k−1 z, y 2k−3 z 3 , . . . , yz 2k−1 , xy 2k−2 z, xy 2k−4 z 3 , . . . , xy 2 z 2k−3
occur as leading monomials in lexicographic ordering. We have (x2 , y 2 , z 2 , (x+y +z)2 ) =
(x2 , y 2 , z 2 , f ), where f = xy + xz + yz. If m = xa y b z c is a monomial of degree 2k, we let
t(m) = (a (mod 2), b (mod 2), c (mod 2)). If t(m) = (0, 0, 0), then m lies in the ideal.
If t(m) = (1, 1, 0), then m = (xy)min(a,b) M , where t(M ) = (0, 0, 0), so m is the leading
monomial of f min(a,b) M . If t(m) = (1, 0, 1) we claim that m is a leading monomial
except when b = 0 or a = 1. If t(m) = (0, 1, 1) we claim that m is a leading monomial
except when a = 0. To prove the claims, it suffices to show that all monomials of the
form x2 yzM , t(M ) = (0, 0, 0) and all monomials of the form x3 y 2 zM , t(M ) = (0, 0, 0)
are leading. Now x2 yz is the leading monomial of f 2 − x2 y 2 , and x3 y 2 z is the leading
monomial of f (f 2 − x2 y 2 − x2 z 2 ).
We now consider degree 2k + 1. A calculation shows that C[x, y, z]/(x2 , y 2 , z 2 , xy +
xz + yz) is zero in degree three and that C[x, y, z]/(x2 , y 2 , z 2 , xy + xz + yz)2 is zero in

POWERS OF GENERIC IDEALS AND THE WLP FOR POWERS OF SOME MONOMIAL CI’S

5

degree five. Since 2k + 1 ≥ 2(n − 1) when k ≥ 2, the remaining cases follow from Lemma
2.

P3k−1 i+2 i
3k
Theorem 10. The Hilbert series of R3,3,k is i=0
when 9 ≤
2 t + (27k − 56)t
k+3
k ≤ 40 and [(1 − t3k )( 3 ) /(1 − t)3 ] when k < 9.
Proof. Consider first the case k ≥ 9. By Lemma 1 and a similar
calculation
as in the proof
3k+2
k+3
k−6
of Lemma 3, we get that R3,3,k has at least dimension 2 − 3 + 3 = 27k − 56
in degree 3k.

Next, consider the case k < 9. If the k+3
generators were generic, the series would
3
k+3
be [(1 − t3k )( 3 ) /(1 − t)3 ], so the series is a lower bound.
To get an upper bound, it is enough to find an example. According to Macaulay2, the
ideal (x3 , y 3 , z 3 , x2 y +11xy 2 −50x2 z +48xyz −29y 2 z −9xz 2 +30yz 2 ) ⊂ Z/101Z[x1 , x2 , x3 ]
has the desired property for k ≤ 40.

P3k−1 i+2 i
3k in general,
Remark 11. We are convinced that R3,3,k (t) = i=0
2 t + (27k − 56)t
cf. Conjecture 1.
2.3. The general case. We believe that some of the results have generalizations to

n−1
any n. By Lemma 1, there is unique relation among the d n +n generators of I k ,

n−1
n +n−1
≥ d n +n − 1. To show that this relation is not trivial, we need to
that is, d n−1

n−1
show that there is room for d n +n generators of degree dn in C[x1 , . . . , xn ]. When
(d, n) = (2, 2), we have five generators but only room for four. When (d, n) = (3, 2), we
have ten generators and room for ten. In all other cases, we have a strict inequality.

n−1
n +n−1
> d n +n .
Lemma 12. Let d, n ≥ 2, (d, n) 6= (2, 2), (3, 2). Then d n−1
Proof. We need to show that

n(dn + n − 1) · · · (dn + 1) > (dn−1 + n) · · · (dn−1 + 1).
We have (dn + n − 1) · · · (dn + 1) > (dn + 1)n−1 and (dn−1 + n) · (dn−1 + n − 1)n−1 >
(dn−1 + n) · · · (dn−1 + 1). Thus we are done if we can show that
n−1

dn + 1
> dn−1 + n.
n·
dn−1 + n − 1
n−1
d·(dn−1 +n−1)+1−dn+d
n
n
dn +1
=
=
>
d(1
−
).
We
have
1
−
Now dn−1
n−1
n−1
n−1
+n−1
d
+n−1
d
d
n−1
n−1  n
n−1  n2
n−1  n3
n−1  na
· · and n−1−a (dn−1 )a −
n−1 − n−1−1 dn−1 + n−1−2 (dn−1 )2 − n−1−3 (dn−1 )3 + ·


 na 

a
a+1
n−1
n−1
n−1
n
n−a−1
n2
n
n
=
1
−
>
1
−
.
·
n−1
a+1
n−1
a
n−1
n−1
a
n−1
n−1−a (d
n−1−a (d
n−1−(a+1) (d
a+1
)
)
d
)
d
2

n
The inequality 1 − dn−1
≥ 0 ⇔ dn−1 ≥ n2 holds true for d ≥ 3, n ≥ 3 and for
n−1
n
n2
d = 2, n ≥ 7. In these cases, we get the inequality 1 − dn−1
> 1 − dn−1
, so it is
then enough to show that

ndn−1 (1 −
2

n2
) > dn−1 + n.
dn−1

n
We have ndn−1 (1 − dn−1
) > dn−1 + n ⇔ dn−1 >
d ≥ 2, n ≥ 7 and n ≥ 3, d ≥ 3.

n3 +n
n−1 .

This inequality holds true for

6

MATS BOIJ, RALF FRÖBERG, AND SAMUEL LUNDQVIST

We are left with a few special cases only. In the n = 2 case, we have to check the
2 +1
> d + 2 ⇔ d2 > 3d, which holds when d ≥ 4.
inequality 2 · dd+1
The remaining cases are covered by the conditions 3 ≤ n ≤ 6, d = 2 and then the

n +n−1
n−1
inequality d n−1
> d n +n is checked to be true by hand.

dk+n−1
By Lemma 1 and 12, the dimension of Rn,d,k in degree dk is at least
−
n−1


k+n
k−dn−1 +n
n−1
n−1
+
when k ≥ d
, with equality when k = d
. We conjecture that
n
n
the algebra is zero in higher degrees.

Conjecture 1. If k ≥ dn−1 and (d, n) 6= (2, 2), the Hilbert series of the algebra
C[x1 , . . . , xn ]/(f1 , . . . , fn+1 )k , fi general of degree d, is

 
 

dk−1
X i + n − 1 
dk + n − 1
k+n
k − dn−1 + n
ti +
−
+
tdk .
n−1
n−1
n
n
i=0

Remark 13. Theorem 6 shows that Conjecture 1 holds in the the case n = 2. Theorem
8 shows that Conjecture 1 holds in the the case n = 3, d = 2, while Theorem 10 shows
that the conjecture holds when n = 3, d = 3, k ≤ 40.
We now look at the case when k < dn−1 . There are obvious relations between the
generators of (f1 , . . . , fn+1 )k of type f1 · f2k = f2 · (f1 f2k−1 ). These are of degree d(k + 1).
Now, if the algebra C[x1 , . . . , xn ]/(f1 , . . . , fn+1 )k is zero in degree d(k+1), these relations
do not show up. This happens if



d+n−1 k+n
Sn,d,k =
−
n−1
n



 

k+n
k+1+n
d(k + 1) + n − 1
(n + 1) −
−
≥ 0.
n
n
n−1
Conjecture 2. Let k < dn−1 and suppose that for Rd,k,n = C[x1 , . . . , xn ]/(f1 , . . . , fn+1 )k
we have Sn,d,k ≥ 0. Then the Hilbert series of Rd,k,n equals the Hilbert series of

general forms of degree dk.
C[x1 , . . . , xn ]/I, where I is an ideal generated by k+n
n

It is known that C[x1 , . . . , xn ]/(f1 , . . . , fn+1 ) has the same Hilbert series whether the
fi ’s are general forms of degree d, or d’th powers of general linear forms [8]. In the second
case we can assume that (f1 , . . . , fn+1 ) = (xd1 , . . . , xdn , (x1 + · · · + xn )d ). We will end this
section by giving an explicit relation of degree dn in C[xd1 , . . . , xdn , (x1 + · · · + xn )d ].
n−1

we have
Theorem 14. In T = C[x1 , . . . , xn+1 ]/(xd1 , . . . , xdn+1 )d
Y
F =
(x1 + ǫ1 x2 + · · · + ǫn−1 xn + ǫn xn+1 ) = 0,

where the ǫi ’s vary over all dn combinations of a d’th root of unity. In particular,
F/(x1 + x2 + · · · + xn+1 ) is a form of degree dn − 1 which is in the kernel of the map
×(x1 + x2 + · · · + xn+1 ) : T → T .
Proof. Let Gd ⊆ C∗ be the group of d’th roots of unity. The form F is invariant under the
, acting with multiplication on the variables, so it has to be a polynomial
action of Gn+1
d

in xd1 , xd2 , . . . , xdn+1 , which means that F = 0 in T .

POWERS OF GENERIC IDEALS AND THE WLP FOR POWERS OF SOME MONOMIAL CI’S

7

Let us now consider the form F as an element in C[x1 , . . . , xn+1 ]. When n + 1 = 2
and d = 2, F = (x1 + x2 )(x1 − x2 ) = x21 − x22 — the conjugate rule, and for general d,
F = xd1 − (−1)d xd2 .
When n + 1 ≥ 3, the form F is symmetric. To show this, notice first the the form is
invariant under permutation of the variables x2 , x3 , . . . , xn+1 . Thus it is enough to show
that F is invariant with respect to the transposition (12). Let G denote the
Q result iafter
letting (12) act on F . Let ǫ be a primitive
d’th
root
of
unity
and
let
f
=
(x1 + ǫ x2 +
i
Q
Q
ǫ2 x3 +· · ·+ǫn−1 xn +ǫn xn+1 ), so that F = i fi . Let gi = (ǫi1 x1 +x2 +ǫ2 x3 +· · ·+ǫn−1 xn +
Q
ǫn xn+1 ). SinceQn + 1 ≥Q3, we have fi = ǫd−i (x1 + ǫi x2 + ǫ2 x3 + · · · + ǫn−1 xn + ǫn xn+1 ) =
gd−i , so F = i fi = i gi = G.

Example 15. In general, it seems hard to get an explicit description of F . We can get
it for d = 2, n + 1 = 3, 4, 5 and for n + 1 = d = 3. It is the symmetrization of the
following polynomials.
(n + 1, d)
(3, 2)

x4 + x2 y 2

(4, 2)

x8 − 4x6 y 2 + 6x4 y 4 + 4x4 y 2 z 2

(5, 2)

x16 − 8x14 y 2 + 28x12 y 4 + 40x12 y 2 z 2 − 56x10 y 6 − 72x10 y 4 z 2
−176x10 y 2 z 2 u2 + 70x8 y 8 + 40x8 y 6 z 2 + 36x8 y 4 z 4 + 344x8 y 4 z 2 u2
−757x8 y 2 z 2 u2 v 2 + 16x6 y 6 z 4 − 416x6 y 6 z 2 u2 − 272x6 y 4 z 4 u2
+928x6 y 4 z 2 u2 v 2 + 2008x4 y 4 z 4 u4 − 1520x4 y 4 z 4 u2 v 2

(3, 3)

x27 + 36x24 y 3 − 9x21 y 3 z 3 + 684x18 y 9 − 234x18 y 6 z 3 + 3339x18 y 3 z 3 u3
+126x15 y 12 − 711x15 y 9 z 3 + 513x15 y 6 z 6 + 1512x15 y 6 z 3 u3 − 990x12 y 12 z 3
+2961x12 y 9 z 6 − 12222x12 y 6 z 6 u3 + 278371x12 y 6 z 6 u3 − 12171x9 y 9 z 9
−6867x9 y 9 z 6 u3 + 120312x9 y 6 z 6 u6
3. The Weak Lefschetz property

We now turn to the WLP for Tn,d,k := C[x1 , . . . , xn ]/(xd1 , . . . , xdn )k . The algebra T2,d,k
has the WLP, since quotients of C[x1 , x2 ] has the Strong Lefschetz property ([6]), which
implies the WLP. When k = 1, the algebra is of the form C[x1 , . . . , xn ]/(xd1 , . . . , xdn ),
which is a monomial complete intersection, and therefore also Tn,d,1 has the Strong
Lefschetz property ([8]). When d = 1, we have Tn,1,k = C[x1 , . . . , xn ]/(x1 , . . . , xn )k .
Since C[x1 , . . . , xn ] has the WLP, so has C[x1 , . . . , xn ]/(x1 , . . . , xn )k . When n ≥ 3 and
d, k ≥ 2, the situation is more involved.
The WLP for algebras given by monomial ideals have been studied before, for example
in [3] and [2] but not for our kind of monomial ideal.
Since Tn,d,k is a monomial algebra, (C∗ )n acts on Tn,d,k and therefore any general
linear form can be identified with L = x1 + · · · + xn . When taking the quotient by
the ideal (L), we get T̃n,d,k := C[x1 , . . . , xn−1 ]/(xd1 , . . . , xdn−1 , (x1 + · · · + xn−1 )d )k . Thus
Tn,d,k has the WLP if and only if [(1 − t)Tn,d,k (t)] = T̃n,d,k (t).

8

MATS BOIJ, RALF FRÖBERG, AND SAMUEL LUNDQVIST

From Lemma 12 and Theorem 14 we can immediately get a negative result on the
WLP.
Theorem 16. Suppose that k ≥ dn−2 , n ≥ 3, (n, d) 6= (3, 2). Then Tn,d,k fails the WLP.
Proof. By Lemma 12, T̃n,d,k is non-zero in degree dk. Thus it is enough to show that
the map ×(x1 + x2 + · · · + xn ) : (Tn,d,k )dk−1 → (Tn,d,kQ
)dk is not injective.
n−2
Suppose that k = d
. By Theorem 14, the form ( (x1 + ǫ1 x2 + · · · + ǫn−1 xn ))/(x1 +
x2 + · · · + xn ) of degree dk − 1 is in the kernel of the map. Hence it cannot be injective.
n−2
(F/(x1 + x2 + · · · + xn )) is in the
Suppose instead that k > dn−2 . Then xk−d
1
kernel.

3.1. The case n = 3. We have a conjecture on the WLP for T3,d,k .
Conjecture 3. The algebra C[x, y, z]/(xd , y d , z d )k has the WLP if and only if one of
the following conditions is satisfied.
(1) d ≤ 2,
(2) k ≤ 2,
(3) d > k = 2j + 1 ∈ {3, 7}, d 6= (j + 2)(2ℓ + 1),
(4) d > k = 2j + 1 > 2, k ∈
/ {3, 7}, d ∈
/ {(j + 2)(2ℓ + 1) − 1, (j + 2)(2ℓ + 1), (j +
2)(2ℓ + 1) + 1},
(5) d > k = 2j > 2, d ∈
/ {(j + 1)(2ℓ + 1) + ℓ, (j + 1)(2ℓ + 1) + ℓ + 1}.
We have already proven that the algebra T3,d,k fails the WLP when 3 ≤ d ≤ k and
that T3,d,1 and T3,1,k have the WLP. We will now prove Conjecture 3 in some more cases.
Theorem 17. The algebra T3,2,k has the WLP.
Proof. It is enough to show that T̃3,2,k is zero in degree 2k, which follows from the
observation that (x2 , y 2 , (x + y)2 )k = (x2 , y 2 , xy)k .

In Theorem 18 below we prove the necessity of conditions (3)-(5) of Conjecture 3.
Theorem 18. The algebra T3,d,k fails to have the WLP in the cases
(1) k = 2j + 1 > 2, d = (j + 2)(2ℓ + 1), where ℓ ≥ 1.
(2) k = 2j + 1 > 2, k ∈
/ {3, 7}, d = (j + 2)(2ℓ + 1) ± 1, where ℓ ≥ 1.
(3) k = 2j > 2, d ∈ {(j + 1)(2ℓ + 1) + ℓ, (j + 1)(2ℓ + 1) + ℓ + 1}.
Proof. By [5] we have that the Hilbert series of T3,d,k is given by
 dk

2 + 2k)td(k+1) − k+1 td(k+2)
1 − k+2
t
+
(k
2
2
.
T3,d,k (t) =
(1 − t)3
From this, we get that in the range dk ≤ i ≤ d(k + 1) the Hilbert function is given

 


i+2
i − dk + 2 k + 2
−
2
2
2
with first difference equal to (i + 1) − (i − dk + 1)(k + 1)(k + 2)/2 which is positive when
i + 1 < d(k + 1)(k + 2)/(k + 3) and negative when i + 1 > d(k + 1)(k + 2)/(k + 3). The
turning point is in the interval where this expression for the Hilbert function is valid.

POWERS OF GENERIC IDEALS AND THE WLP FOR POWERS OF SOME MONOMIAL CI’S

9

In order to show that the WLP fails, we will use the representation theory of the symmetric group, S3 . Since the algebra is monomial, it is sufficient to consider multiplication
by the linear form L = x + y + z which is symmetric and hence gives an equivariant map.
In all of the cases we consider, we have that d = (2ℓ + 1)(k + 3)/2 + ǫ, where −1 ≤ ǫ ≤ 1.
We will look at the multiplicity of the trivial and the alternating representations in T3,d,k
in degrees dk + 2ℓ − 1 and dk + 2ℓ. We compute
these
by means of the

 multiplicities

i+2
k+2 i−dk+2
characters. In degree i of T3,d,k we have 2 − 2
monomials that are all
2
fixed by the identity permutation. The other two even permutations fixes only powers
of xyz so the character is 1 if i ≡ 0 (mod 3) and k 6≡ 0 (mod 3) and 0 otherwise. The
transposition (12) fixes the monomials of the form (xy)m z n and we have that the value
of the character on the three transpositions is
 



k+2
i − dk + 2
i+2
−
.
2
2
2
Thus we get that the multiplicity of the trivial representation is

 


 



i+2
k+2
i − dk + 2
k + 2 i − dk + 2
i+2
1
−
−
+m+3
6
2
2
2
2
2
2

where the middle term m is −2, 0 or 2 depending on the congruence modulo 3 of the
sum of the other terms. In the same way we get the multiplicity of the alternating
representation as

 


 



1
i+2
k+2
i − dk + 2
k + 2 i − dk + 2
i+2
−
−
+m−3
6
2
2
2
2
2
2

When we compute the difference of the Hilbert function between degree dk + 2ℓ − 1 and
dk + 2ℓ we get

 
 
 
 

dk + 2ℓ + 2
dk + 2ℓ + 1
k+2
2ℓ + 2
2ℓ + 1
−
−
−
2
2
2
2
2


k+2
k(k + 3)
= kǫ.
= dk + 2ℓ + 1 −
(2ℓ + 1) = dk − (2ℓ + 1)
2
2

The difference in the number of monomials fixed by a transposition is
 
 
 
 


dk + 2ℓ + 1
k+2
2ℓ + 2
2ℓ + 1
dk + 2ℓ + 2
−
−
−
2
2
2
2
2
  
 
 (
dk
dk − 1
k+2
−j − 1 if k and d are odd,
=
−
−
=
2
2
2
−j
otherwise.

When k is odd and ǫ = ±1, d is odd when j is even and the difference above can be
expressed as −2⌊j/2⌋ − 1. When k is odd and ǫ = 0, d is odd when j is odd and the
same difference can be expressed as −2⌊(j + 1)/2⌋.
First we consider the case k = 2j even and ǫ = ±1/2. We compute the difference in the
multiplicity of the trivial representation when ǫ > 0 and the alternating representation
when ǫ < 0. This difference equals


j+1
1
(±j + m ± 3(−j)) = ∓
6
3

10

MATS BOIJ, RALF FRÖBERG, AND SAMUEL LUNDQVIST

which has opposite sign to the difference in the Hilbert function when j + 1 ≥ 3. Thus
the multiplication by L = x + y + z cannot have maximal rank by Schur’s lemma.
For the case k = 2j + 1 and ǫ = ±1, we have the corresponding difference

  

   
1
j
j
j
±(2j + 1) + m ± 3 −2
−1
=∓
−
.
6
2
2
3

Again, this has different sign than the difference in the Hilbert function when ⌊j/2⌋ >
⌊j/3⌋, i.e., when j = 2 or j ≥ 4.
In the last case k = 2k + 1 and ǫ = 0 it is sufficient to show that the multiplicity
of the trivial representation changes since the Hilbert function has difference zero. The
difference in the multiplicity of the trivial representation is

 



j+1
j+1
1
0 + m + 3 −2
=−
6
2
2
which is negative for all j ≥ 1.



Remark 19. We can see that the argument of the proof does not work when ǫ = ±3/2
or ǫ = ±2, so in these cases we have the same turning point for the Hilbert function of
the three isotypic components.
Remark 20. By computations in Macaulay2, we have verified the unproven parts of
Conjecture 3 for d, k ≤ 30.
3.2. The general case. As the number of variables increases, the number of non-trivial
pairs (d, k) for which C[x1 , . . . , xn ]/(xd1 , . . . , xdn )k has the WLP seems to decrease.
n
4
5
6
7
8
9
10
11
12, 14, 16
2a + 1

WLP
(2, 2), (2, 3), (3, 2), (4, 2)
(2, 2), . . . , (2, 7), (3, 2), (4, 2), (4, 3), (6, 2)
(2, 2), (2, 3), (3, 2)
(2, 2), (2, 3), (3, 2)
(2, 2), (3, 2)
(2, 2), (2, 3), (3, 2)
(2, 2), (3, 2)
(2, 2), (2, 3)
(2, 2)
(2, 2)

Table 1. The right hand column consists of pairs (d, k) with d, k ≥ 2
for which C[x1 , . . . , xn ]/(xd1 , . . . , xdn )k has the WLP, detected by computations in Macaulay2, except for the last row, which relies on Theorem
22.
In Table 1 we list the non-trivial cases where have been able detect the WLP. Based
upon these observations together with some negative results for the WLP in positive
characteristic, we believe that Table 1 is complete, except for the trivial pairs, when n ≤
10. When n ≥ 11, we guess that the WLP holds at most in the cases (2, 2), (2, 3), (3, 2)

POWERS OF GENERIC IDEALS AND THE WLP FOR POWERS OF SOME MONOMIAL CI’S

11

for n odd, and at most in the cases (2, 2), (3, 2) for n even. We can support our guesses
with two theoretical results.

Theorem 21.
• The algebra
• The algebra
• The algebra

• The algebra T4,2,k has the WLP if and only if k ≤ 3.
T4,3,k has the WLP if and only if k ≤ 2.
T4,4,k has the WLP if and only if k ≤ 2.
T5,2,k has the WLP if and only if k ≤ 7.

Proof. By Theorem 16, the algebra T4,2,k fails the WLP when k ≥ 22 = 4, T4,3,k fails
the WLP when k ≥ 32 = 9, T4,4,k fails the WLP when k ≥ 42 = 16, T5,2,k fails the WLP
when k ≥ 23 = 8,
Hence it is enough to check the WLP over Q for the remaining cases. This has been
done with Macaulay2.

Finally, we can prove that C[x1 , . . . , xn ]/(x21 , . . . , x2n )2 has the WLP when n is odd.
We believe that it is also true for n even, but our method of proof does not apply in
that case.
Theorem 22. For any odd n, the algebra C[x1 , . . . , xn ]/(x21 , . . . , x2n )2 has the WLP.
Proof. Let R = C[x1 , . . . , xn ]/(x21 , . . . , x2n )2 . When d ≥ 2, write Rd = Ad,1 ⊕ · · · ⊕
· · · Ad,n−1 ⊕ Bd , where Ad,i is spanned by all monomials of the form x2i M with M
a squarefree monomial, and where Bd is the set of squarefree monomials of degree d
n
together with all monomials of the form x2n M , with M squarefree. We have |Ad,i | = d−2


n
and |Bd | = nd + d−2
, where |V | denotes the dimension of the vector space V . Notice
that Ri Ad,j ⊂ Ai+d,j .
Multiplication by (x1 + · · · + xn ) on Ad,i agrees with multiplication by (x1 + · · · + xn )
on the basis in degree d − 2 in C[x1 , . . . , xn ]/(x21 , . . . , x2n ). This algebra has the SLP, so
multiplication by (x1 + · · · + xn ) on Ad,i has full rank.
Since (x21 , . . . , x2n )2 ⊆ (x21 , . . . , x2n−1 , x4n ), the dimension of (x1 + · · · + xn )Bd in R
is greater than or equal to the dimension of (x1 + · · · + xn )Bd in the algebra C :=
C[x1 , . . . , xn ]/(x21 , . . . , x2n−1 , x4n ), where we abuse notation and regard Bd as a part of
C. This algebra also has the SLP, so the dimension
 of (x1 + · · · + xn )Bd in C equals
n 
n 
n 
n
min(|Bd |, |Bd+1 |) = min d + d−2 , d+1 + d−1 .
If |Bd | ≤ |Bd+1 | and |Ad | ≤ |Ad+1 | we can conclude that multiplication by (x1 + · · · +
xn ) on Rd is injective. If |Bd | ≥ |Bd+1 | and |Ad,i | ≥ |Ad+1,i |, we can conclude that
multiplication by (x1 + · · · + xn ) on Rd is surjective.
Thus we are left with two cases.
In the first case wehave |Bd | < |Bd+1 | and |A
have the
 is, we
 d+1,i |, that
 d,i | >n |A
n
n
n
n
n
n
n
inequalities d + d−2 < d+1 + d−1 and d−2 > d−1 . But d−2 > d−1 implies






n
n
n
n
. Thus the inequalities |Bd | < |Bd+1 |
+ d−1
> d+1
, so nd + d−2
that nd > d+1
and |Ad,i | > |Ad+1,i | cannot be simultaneously satisfied.


n
n
to
< d−1
In the second case we have |Bd | > |Bd+1 | and |Ad,i | < |Ad+1,i |. For d−2




n
n
n
n
hold we need to have d − 1 ≤ ⌊n/2⌋. For d + d−2 > d+1 + d−1 to simultaneously

12

MATS BOIJ, RALF FRÖBERG, AND SAMUEL LUNDQVIST



n
hold, we especially need the inequality nd > d+1
to hold. This inequality is satisfied
if and only if d ≥ ⌊(n + 1)/2⌋.
Now the inequalities d − 1 ≤ ⌊n/2⌋ and d ≥ ⌊(n + 1)/2⌋ together
gives
us that



2k+1
2k+1
d = ⌊n/2⌋ + 1. In the case n = 2k + 1, we have |Bk+1 | = 2k+1
=
+
=
k+1
k+1
k−1


2k+1
2k+1
+ k+2 = |Bk+2 |, so the inequality |Bd | > |Bd+1 | is not fulfilled. This shows
k
that the case |Bd | > |Bd+1 | and |Ad,i | < |Ad+1,i | is empty when n is odd, that is, R has
the WLP when n is odd.
Remark: When n = 2k, we can however not draw any conclusion regarding the rank
of the map ×(x1 + · · · + xn ) from degree k + 1 to k + 2.

References
[1] David J. Anick. Thin algebras of embedding dimension three. J. Algebra, 100(1):235–259, 1986.
[2] David Cook, II and Uwe Nagel. The weak Lefschetz property, monomial ideals, and lozenges. Illinois
J. Math., 55(1):377–395 (2012), 2011.
[3] David Cook, II and Uwe Nagel. The weak Lefschetz property for monomial ideals of small type. J.
Algebra, 462:285–319, 2016.
[4] Ralf Fröberg. An inequality for Hilbert series of graded algebras. Math. Scand., 56(2):117–144, 1985.
[5] Elena Guardo and Adam Van Tuyl. Powers of complete intersections: graded Betti numbers and
applications. Illinois J. Math., 49(1):265–279 (electronic), 2005.
[6] Tadahito Harima, Juan Migliore, Uwe Nagel, and Junzo Watanabe. The weak and strong Lefschetz
properties for Artinian K-algebras. J. Algebra, 262(1):99–126, 2003.
[7] Juan Migliore and Uwe Nagel. Survey article: a tour of the weak and strong Lefschetz properties. J.
Commut. Algebra, 5(3):329–358, 2013.
[8] Richard P. Stanley. Weyl groups, the hard Lefschetz theorem, and the Sperner property. SIAM J.
Algebraic Discrete Methods, 1(2):168–184, 1980.
Department of Mathematics, KTH - Royal Institute of Technology
E-mail address: boij@kth.se
Department of Mathematics, Stockholm University
E-mail address: ralff@math.su.se
Department of Mathematics, Stockholm University
E-mail address: samuel@math.su.se

