1 Introduction

An artinian graded algebra has the Weak Lefschetz property (WLP) if there is a linear form \(\ell \) such that the map induced by multiplication by \(\ell \) is either surjective or injective in every degree, and the element \(\ell \) is then called a Weak Lefschetz element, while an artinian graded algebra has the Strong Lefschetz property (SLP) if there is a linear form \(\ell \) such that the map induced by multiplication by \(\ell ^i\) is either surjective or injective in every degree, for all \(i\ge 1\), and the element \(\ell \) is then called a Strong Lefschetz element.

It has long been known that every monomial complete intersection in characteristic zero has the SLP. This result is due to Stanley [15] and independently by Watanabe [19]. One way of thinking about this result is that an artinian algebra of the form \(\Bbbk [x_1,\ldots ,x_n]/I\), where I is a monomial ideal, has the SLP when the number of minimal generators is as small as possible (equal to n). When we increase the number of monomial generators of the ideal, it is not always the case that the quotient algebra has the SLP, or even the WLP. Indeed, for each \(n\ge 3\), the equigenerated monomial almost complete intersection \(\Bbbk [x_1,\ldots ,x_n]/(x_1^n,\ldots ,x_n^n,x_1 \ldots x_n)\) fails the WLP. This was noticed for \(n = 3\) by Brenner and Kaid [2], while the proof of the general case \(n \ge 4\) is attributed to Migliore et al. [11].

Given these results, it is natural to consider the following question: Suppose that I is an equigenerated artinian monomial ideal such that \(\Bbbk [x_1,\ldots ,x_n]/I\) fails one of the Lefschetz properties. What can we say about the number of minimal generators of I?

The first result in this direction goes back to Mezzetti and Miró-Roig [9] who provided a sharp upper bound for the Hilbert function in degree d of minimal monomial Togliatti systems. Recall that a monomial ideal \(I\subset \Bbbk [x_1,\ldots ,x_n]\) generated in degree d is called a monomial Togliatti system if the quotient \(\Bbbk [x_1,\ldots ,x_n]/I\) fails the WLP in degree \(d-1\) by failing injectivity. Togliatti systems were defined in [10] and the name is in honour of Engenio Togliatti who characterized smooth Togliatti systems for \(n=d=3\) [16, 17].

The first author and Boij [1] recently gave the following sharp lower bound for the Hilbert function in degree d of an artinian quotient \(\Bbbk [x_1,\ldots ,x_n]/I\) failing the WLP, where I is a monomial ideal generated in degree d.

Theorem 1

[1, Theorem 1.1, Theorem 1.2] Let \(n\ge 3\) and let \(\Bbbk \) be a field of characteristic zero. Let \(I\subset S=\Bbbk [x_1, \ldots ,x_n]\) be a monomial ideal generated in degree \(d\ge 2\). Assume that \(R=S/I\) fails the WLP. Then

$$\begin{aligned} {{\,\mathrm{HF}\,}}(R,d) \ge {\left\{ \begin{array}{ll} 3(d-1) &{}\quad {\text {if }} n=3\,{\text {and}}\, d\, {\text { odd,}} \\ 3(d-1)+1 &{}\quad {\text {if }} n=3\,{\text {and}}\, d\,{\text { even,}} \\ 2d &{}\quad {\text {if }} n\ge 4, \end{array}\right. } \end{aligned}$$

where \({{\,\mathrm{HF}\,}}(R,d)\) is the value of the Hilbert function in degree d of R.

Furthermore, the bounds are sharp.

In this note, we carry out a similar program for the SLP, resulting in the following classification.

Theorem 2

Let \(n \ge 3\) and let \(\Bbbk \) be a field of characteristic zero. Let \(I \subset S= \Bbbk [x_1,\ldots ,x_n]\) be an artinian monomial ideal generated in degree \(d \ge 2\). Let \(R=S/I\) and denote the value of the Hilbert function in degree d of R by \({{\,\mathrm{HF}\,}}(R,d)\).

  1. (i)

    Assume that R fails the SLP. Then

    $$\begin{aligned} {{\,\mathrm{HF}\,}}(R, d) \ge {\left\{ \begin{array}{ll} 4 &{}\quad {\text {if }} d= 2, \\ 3 &{}\quad {\text {if}} d \ge 3. \end{array}\right. } \end{aligned}$$

    Moreover, this is sharp in the sense that for any d there is an example for which \(\ell ^{d-1}{:}\,R_1\rightarrow R_d\) fails to be surjective and the value of the Hilbert function in degree d is given by this bound.

  2. (ii)

    Let \(1\le i\le d-1\). If \(\ell ^i\) fails to have maximal rank in some degree then

    $$\begin{aligned} {{\,\mathrm{HF}\,}}(R,d)\ge d-i+2. \end{aligned}$$

    Moreover, the bound is sharp for every \(2\le i\le d-1\): there is an example where \(\ell ^{i}{:}\,R_{d-i}\rightarrow R_d\) is not surjective and the bound is achieved.

Remark 1

Over a field of characteristic zero, Harima, Migliore, Nagel, and Watanabe showed that every artinian homogeneous quotient in two variables has the SLP [6], explaining why the case \(n = 2\) is omitted in the results.

Remark 2

In the case \(n=3, d= 2,\) a computation reveals that all quotients of artinian monomial ideals enjoy the WLP and the SLP, and this is the only case for which the conditions in Theorems 1 and 2 are empty.

Remark 3

In Theorem 2 part (ii), the bound holds for every \(1\le i\le d-1\) although when \(i=1\) multiplication by \(\ell \) does not have full rank which means the WLP fails. In this case, the bound in Theorem 2 part (ii) is not sharp.

The consequences of Theorem 2 are stronger than one would first expect, and for \(d \ge 3\), we will show that Theorem 2 holds for other natural classes of artinian ideals, including ideals generated by forms of degree d. We will see that this generalization gives a bridge to a classification result on the Hilbert functions that force all ideals to have the SLP by Zanello and Zylinski [18].

2 Preliminaries

Throughout the remaining part of this paper, let \(\Bbbk \) be a field of characteristic zero and let \(S = \Bbbk [x_1,\ldots ,x_n]\), where \(n \ge 3\). We will use that a monomial algebra R has the SLP if and only if \(\ell := x_1 + \cdots + x_n\) is a Strong Lefschetz element [12, Remark 4.5].

Duality arguments will be crucial for our results and we recall here the basic notion of the inverse system. Let \({\mathcal {E}}=\Bbbk [y_1, \dots ,y_n]\) be the Macaulay dual ring to S, where S acts on \({\mathcal {E}}\) by differentiation; i.e. \(x_j\circ f=\partial f/\partial y_j\), for every homogeneous polynomial \(f\in {\mathcal {E}}\). There is a bijection between the set of finitely generated S-submodules M of \({\mathcal {E}}\) and the set of artinian quotients S/I given by \(I={\mathrm {Ann}}_S(M)=(0:_S M)\), and \(I^{-1}=M\). The module \(I^{-1}\) is called the inverse system module of I, for more details see [3, 7]. Using this correspondence, we have that \({{\,\mathrm{HF}\,}}(R,i)=\dim _\Bbbk (I^{-1})_i\). For every i, the multiplication map \(\ell {:}\,(S/I)_i\rightarrow (S/I)_{i+1}\) has maximal rank if and only if the differentiation map \(\circ \ell {:}\,(I^{-1})_{i+1}\rightarrow (I^{-1})_i\) has maximal rank. We observe that when I is a monomial ideal, for every i the ith graded piece of the inverse system module, \((I^{-1})_i\), is generated by monomials in \({\mathcal {E}}_d\) that are dual to the monomials in \(S_i{\setminus }I_i\).

Finally, we state one more result from [1] which will be central to our argument.

Theorem 3

[1, Theorem 3.7] Let \(f\in {\mathcal {E}}=\Bbbk [y_1,\dots ,y_n]\) be a polynomial of degree d such that \(\ell ^i\circ f=0\), for some \(1\le i\le d\). Then the number of monomials with non-zero coefficient in f, \(\vert \mathrm {supp}(f)\vert \), is at least \(d-i+2\).

3 Main result

Before providing the proof of the main result of the paper we state the following two lemmas in which we provide equivalent conditions for the map \(\ell ^i\) to have maximal rank for \(1\le i\le d-1\). Notice that we do not require the ideals in Lemmas 1 and 2 to be equigenerated.

Lemma 1

Let \(R=S/I\) be an artinian algebra, where \(n\ge 3\) and \(I = (m_1,\ldots ,m_s)\) a monomial ideal such that \(\min \{\deg (m_i)\} = d \ge 2\). Assume that \({{\,\mathrm{HF}\,}}(R, d-i)\ge {{\,\mathrm{HF}\,}}(R,d)\) for some \(1\le i\le d-1\). Then the map \(\ell ^{i}{:}\,R_{d-i}\rightarrow R_d\) is surjective if and only if the map \(\ell ^i{:}\,R_j\rightarrow R_{i+j}\) has maximal rank for every j.

Proof

Suppose that \(\ell ^i{:}\,R_{d-i}\rightarrow R_d\) is surjective. This means \(\left[ R/\ell ^i R\right] _d=0\) and also \(\left[ R/\ell ^i R\right] _{d+k}=0\) for every \(k\ge 1 \) which implies that \(\ell ^i{:}\,R_{d+k-i}\rightarrow R_{d+k}\) is surjective, for every \(k\ge 1\). On the other hand, since degrees of the generators of I is at least d, for every \(k\ge 1\) the map \(\ell ^i{:}\,R_{d-k-i}\rightarrow R_{d-k}\) is trivially injective. The other assertion follows immediately by setting \(j=d-i\). \(\square \)

Lemma 2

Let \(R=S/I\) be an artinian algebra, where \(n\ge 3\) and \(I = (m_1,\ldots ,m_s)\) a monomial ideal such that \(\min \{\deg (m_i)\} = d \ge 2\). Suppose that \({{\,\mathrm{HF}\,}}(R, 1)\ge {{\,\mathrm{HF}\,}}(R,d)\). Then R has the SLP if and only if the map \(\ell ^{d-1}{:}\,R_1\rightarrow R_d\) is surjective.

Proof

Assuming that \({{\,\mathrm{HF}\,}}(R, 1)\ge {{\,\mathrm{HF}\,}}(R,d)\) implies that \({{\,\mathrm{HF}\,}}(R, d-i)\ge {{\,\mathrm{HF}\,}}(R,d)\), for every \(1\le i\le d-1\). Now suppose that \(\ell ^{d-1}{:}\,R_1\rightarrow R_d\) is surjective. Then the map \(\ell ^i{:}\,R_{d-i}\rightarrow R_d\) is also surjective for every \(1\le i\le d-1\). Lemma 1 implies that for every \(1\le i\le d-1\) the map \(\ell ^i\) has maximal rank in all degrees. On the other hand, since the map \(\ell \) has maximal rank in all degrees, the Hilbert function of R is unimodal, see [6]. Therefore, for every \(k\ge 0\) and \(1\le i\le d-1\) we have \({{\,\mathrm{HF}\,}}(R,i)\ge {{\,\mathrm{HF}\,}}(R,d+k+i)\), so the map \(\ell ^{d+k}{:}\,R_i\rightarrow R_{d+k+i}\) has maximal rank if and only if it is surjective. We notice that \(\ell ^{d+k}{:}\,R_i\rightarrow R_{d+k+i}\) is the composition of two surjective maps \(\ell ^{d-i}{:}\,R_i\rightarrow R_{d}\) and \(\ell ^{i+k}{:}\,R_d\rightarrow R_{d+k+i}\) and therefore is surjective. We have shown that R has the SLP. The other implication is trivial. \(\square \)

Now we are able to prove our result for equigenerated monomial ideals failing the SLP.

Proof of Theorem 2

We first prove the second part.

  1. (ii)

    Fix an integer i such that \(1\le i\le d-1\). First assume that \({{\,\mathrm{HF}\,}}(R, d-i)\ge {{\,\mathrm{HF}\,}}(R,d)\). Suppose that \(\ell ^i{:}\,R_j\rightarrow R_{i+j}\) does not have maximal rank for some \(j\ge 1\). Using Lemma 1, we get that the map \(\ell ^i{:}\,R_{d-i}\rightarrow R_{d}\) is not surjective. Therefore, Theorem 3 implies that \({{\,\mathrm{HF}\,}}(R,d)\ge d-i+2\). Now assume that \({{\,\mathrm{HF}\,}}(R, d)>{{\,\mathrm{HF}\,}}(R,d-i)\). For \(1\le i\le d-1\) we have

    $$\begin{aligned} {{\,\mathrm{HF}\,}}(R, d) >{{\,\mathrm{HF}\,}}(R,d-i)=\left( {\begin{array}{c}n+d-i-1\\ n-1\end{array}}\right) \ge d-i+2, \end{aligned}$$

    where the last inequality follows inductively from

    $$\begin{aligned} \left( {\begin{array}{c}n+d-i-1\\ n-1\end{array}}\right) = \frac{n+d-i-1}{n-1} \left( {\begin{array}{c}(n-1)+d-i-1\\ (n-1)-1\end{array}}\right) \end{aligned}$$

    and

    $$\begin{aligned} \left( {\begin{array}{c}3+d-i-1\\ 3-1\end{array}}\right) = \left( {\begin{array}{c}d-i+2\\ 2\end{array}}\right) \ge d-i+2. \end{aligned}$$

    In order to show that the bound is sharp for every \(2\le i\le d-1\), consider \(f = y^{i-1}_1(y_2-y_3)^{d-i+1}\in {\mathcal {E}}_d\) and let \(I\subset S\) to be the monomial ideal generated by monomials in \(S_d\) dual to the monomials in \({\mathcal {E}}_d{\setminus }\mathrm {Supp}(f)\). We have that \(f\in (I^{-1})_d\) and

    $$\begin{aligned} {{\,\mathrm{HF}\,}}(R, d) = {{\,\mathrm{HF}\,}}(S, d)-\vert {\mathcal {G}}(I)\vert =\vert \mathrm {supp}(f)\vert = d-i+2, \end{aligned}$$

    where \({\mathcal {G}}(I)\) is the minimal generating set of I. Observe that \(\ell ^i\circ f = 0\) which implies that the differentiation map \(\circ \ell ^i{:}\, (I^{-1})_d\rightarrow (I^{-1})_{d-i}\) is not injective, or equivalently, that \(\ell ^i{:}\,R_{d-i}\rightarrow R_{d}\) is not surjective.

  2. (i)

    Let \(d\ge 3\) and assume that R fails the SLP.

    First suppose that \({{\,\mathrm{HF}\,}}(R, 1)\ge {{\,\mathrm{HF}\,}}(R,d)\). Then using Lemma 2 we conclude that the map \(\ell ^{d-1}{:}\,R_1\rightarrow R_d\) is not surjective and Theorem 3 implies that \({{\,\mathrm{HF}\,}}(R,d)\ge 3\). Now suppose we have that \({{\,\mathrm{HF}\,}}(R, d)> {{\,\mathrm{HF}\,}}(R,1)=n\ge 3\), so we get the desired inequality. In this case, \(d\ge 3\), the sharpness of the bound is implied by the second part. In fact, the polynomial \(f=y^{d-2}_1(y_2-y_3)^2\) is in the kernel of the map \(\circ \ell ^{d-1}{:}\,(I^{-1})_d\rightarrow (I^{-1})_1\) and we have that \({{\,\mathrm{HF}\,}}(R, d) =\vert \mathrm {supp}(f)\vert = 3\).

    Now assume that \(d=2\) and that R fails the SLP.

    If \(n=3\) then a calculation shows that every artinian quadratic monomial ideal in three variables has the SLP, so there is nothing to prove. Thus we assume \(n\ge 4\). By Theorem 1, the map \(\ell {:}\,R_1 \rightarrow R_2\) is surjective when \({{\,\mathrm{HF}\,}}(R,2) < 4\), so by Lemma 2, R has the SLP. Therefore, if R fails the SLP then \({{\,\mathrm{HF}\,}}(R,2)\ge 4\) and the sharpness of the bound is implied by Theorem 1.

\(\square \)

We turn directly to the generalization of Theorem 2.

Theorem 4

Let \(n \ge 3\) and let \(\Bbbk \) be a field of characteristic zero. Let \(I \subset S= \Bbbk [x_1,\ldots ,x_n]\) be an artinian ideal generated in degree \(d \ge 3\), or an artinian monomial ideal \((m_1,\ldots ,m_s)\) such that \(\min \{\deg (m_i)\} = d \ge 3\), or an artinian ideal \((f_1,\ldots ,f_s)\) such that \(\min \{\deg (f_i)\} = d \ge 3\). Let \(R=S/I\) and denote the value of the Hilbert function in degree d of R by \({{\,\mathrm{HF}\,}}(R,d)\).

  1. (i)

    Assume that R fails the SLP. Then

    $$\begin{aligned} {{\,\mathrm{HF}\,}}(R, d) \ge 3. \end{aligned}$$

    Moreover, this is sharp in the sense that for any d there is an example belonging to the specific class for which \(\ell ^{d-1}{:}\,R_1\rightarrow R_d\) fails to be surjective.

  2. (ii)

    Let \(1\le i\le d-1\). If \(\ell ^i\) fails to have maximal rank in some degree then

    $$\begin{aligned} {{\,\mathrm{HF}\,}}(R,d)\ge d-i+2. \end{aligned}$$

    Moreover, the bound is sharp for every \(2\le i\le d-1\): there is an example where \(\ell ^{i}{:}\,R_{d-i}\rightarrow R_d\) is not surjective and the bound is achieved.

Proof

Let \(R^\prime =S/J\) where \(J= {{\,\mathrm{in}\,}}(I)\) is the initial ideal of I with respect to a term order. Notice that J is a monomial ideal such that \(\min \{\deg (m_i)\}=d\ge 3\) and therefore Lemmas 1 and 2 hold for J.

Wiebe’s result [20, Proposition 2.9] states that if \(R^\prime \) has the SLP then the same holds for R. The proof of [20, Proposition 2.9] actually reveals a more general fact: for a general enough \({\tilde{\ell }}\) and for every \(i,j\ge 0\), \({\tilde{\ell }}^j{:}\,R_i\rightarrow R_{i+j}\) has maximal rank if \(\ell ^j{:}\,R^\prime _i\rightarrow R^\prime _{i+j}\) has maximal rank.

The inequalities now follow by the same line as of the proof of Theorem 2. For the sharpness parts, we use that artinian monomial ideals generated in degree d are part of each of the three classes. \(\square \)

Remark 4

For \(d=2\), the bounds in Theorems 1 and 2 coincide, and in fact, in the proof of Theorem 2, we use Theorem 1 to obtain sharp bounds for \({{\,\mathrm{HF}\,}}(R,2)\) for artinian monomial ideals generated in degree 2. But for the classes of artinian ideals in Theorem 4, the same approach does not provide a bound for \({{\,\mathrm{HF}\,}}(R,2)\), since Theorem 1 is only valid for equigenerated monomial ideals.

However, when \(n=3\), if a quadratic artinian ideal I fails the SLP, then \({{\,\mathrm{HF}\,}}(R,2)\ge 4\), which coincides with the bound given in Theorem 2. To see this, notice that if \({{\,\mathrm{HF}\,}}(R,2)\le 2\), then Theorem 3 implies that \(\ell {:}\,[{S/{{\,\mathrm{in}\,}}(I)}]_1\rightarrow {[S/{{\,\mathrm{in}\,}}(I)]}_2\) is surjective and therefore, using Lemma 2, we have that \(S/{{\,\mathrm{in}\,}}(I)\), and thus R, has the SLP. If \({{\,\mathrm{HF}\,}}(R,2)=3\), then I is a complete intersection having Hilbert function (1, 3, 3, 1), which has the SLP according to the Gordan–Noether theorem [4].

4 A connection to the Migliore–Zanello and the Zanello–Zylinski classification results

Migliore and Zanello [13] classified the Hilbert functions that force the WLP, and later Zanello and Zylinski [18] classified the Hilbert functions that force the SLP.

Theorem 5

Let \({{\,\mathrm{H}\,}}{:}\,1,h_1=n, h_2,\dots ,h_e,h_{e+1}=0\), be a possible Hilbert function, according to Macaulay’s theorem [8], and let t be the smallest integer such that \(h_t\le t\). Then we have the following.

  1. (i)

    [13, Theorem 5] All artinian algebras having the Hilbert function \({{\,\mathrm{H}\,}}\) enjoy the WLP if and only if, for all \(i=1,2,\dots , t-1\), we have

    $$\begin{aligned} h_{i-1}=((h_i)_{(i)})_{-1}^{-1}. \end{aligned}$$
  2. (ii)

    [18, Theorem 3.2] All artinian algebras having the Hilbert function \({{\,\mathrm{H}\,}}\) enjoy the SLP if and only if

  • \(n=2\); or

  • \(n>2, h_t\le 2\), and, for all \(i=1,2,\dots ,t-1\), we have

    $$\begin{aligned} h_{i-1}=((h_i)_{(i)})_{-1}^{-1}. \end{aligned}$$

In the theorem above, for integers m and i, the i-binomial expansion of m is denoted by \(m_{(i)}\), that is,

$$\begin{aligned} m=m_{(i)}=\left( {\begin{array}{c}m_i\\ i\end{array}}\right) +\left( {\begin{array}{c}m_{i-1}\\ i-1\end{array}}\right) +\cdots + \left( {\begin{array}{c}m_{j}\\ j\end{array}}\right) , \end{aligned}$$

where \(m_i\ge m_{i-1}\ge \cdots \ge j \ge 1\). Also

$$\begin{aligned} (m_{(i)})_{-1}^{-1}=\left( {\begin{array}{c}m_i-1\\ i-1\end{array}}\right) +\left( {\begin{array}{c}m_{i-1}-1\\ i-1-1\end{array}}\right) +\cdots + \left( {\begin{array}{c}m_{j}-1\\ j-1\end{array}}\right) , \end{aligned}$$

where \(\left( {\begin{array}{c}c\\ d\end{array}}\right) =0\) whenever \(c<d\) or \(d<0\).

We will now discuss how Theorem 5 is related to the results in Theorems 1, 2, and 4.

We consider first the WLP and the case \(n \ge 4\). Suppose I is a monomial ideal equigenerated in degree d and \({{\,\mathrm{HF}\,}}(R,d) \le d\). Both Theorems 1 and 5 part (i) imply that R has the WLP. Now let \({{\,\mathrm{HF}\,}}(R,d)=i\) and suppose that \(d+1 \le i \le 2d-1\). Theorem 1 implies that R has the WLP. On the other hand,

$$\begin{aligned} i_{(d)} = \left( {\begin{array}{c}d+1\\ d\end{array}}\right) + \left( {\begin{array}{c}d-1\\ d-1\end{array}}\right) + \cdots + \left( {\begin{array}{c}d-(i-(d+1))\\ d-(i-(d+1))\end{array}}\right) , \end{aligned}$$

so \((i_{(d)})_{-1}^{-1} = i-1\le 2d-2\ne {{\,\mathrm{HF}\,}}(R,d-1)\). Therefore, the requirement of Theorem 5 part (i) is not satisfied. This shows that there is an artinian ideal such that \({{\,\mathrm{HF}\,}}(R,d) = i \) which fails the WLP. Moreover, by considering the initial ideal of I, Wiebe’s result implies that there is an artinian monomial ideal such that \({{\,\mathrm{HF}\,}}(R,d) = i \) which fails the WLP. A similar argument can be applied for the \(n=3\) case.

We now turn to the SLP. If I is generated in degrees \(d\ge 2\) and \({{\,\mathrm{HF}\,}}(R,d)\le 2\) then one can easily check that \(t=d\) in Theorem 5 part (ii), so R has the SLP. This gives an alternative proof of one direction in part (i) of Theorem 4.

In the quadratic case however, for each \(n \ge 3\) there is an artinian ideal such that \({{\,\mathrm{HF}\,}}(R,2) = 3\) and for which the SLP fails for R by Theorem 5 part (ii), although for all monomial artinian equigenerated ideals such that \({{\,\mathrm{HF}\,}}(R,d) = 3\), the SLP holds according to Theorem 2. Moreover, by considering the initial ideal, by Wiebe’s result we conclude that there is an artinian monomial ideal such that \({{\,\mathrm{HF}\,}}(R,d) =3\) which fails the SLP.