Abstract
We conjecture that a class of Artinian Gorenstein Hilbert algebras called full Perazzo algebras always have minimal Hilbert function, fixing codimension and length. We prove the conjecture in length four and five, in low codimension. We also prove the conjecture for a particular subclass of algebras that occurs in every length and certain codimensions. As a consequence of our methods we give a new proof of part of a known result about the asymptotic behavior of the minimum entry of a Gorenstein Hilbert function.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Gorenstein algebras appear as cohomology rings in several categories. For instance, real orientable manifolds, projective varieties, Kahler manifolds, convex polytopes, matroids, Coxeter groups and tropical varieties are examples of categories for which the ring of cohomology is an Artinian Gorenstein \({\mathbb {K}}\)-algebra. The fundamental point is that these algebras can be characterized as algebras satisfying Poincaré duality, see [13].
We deal with standard graded Artinian Gorenstein \({\mathbb {K}}\)-algebras over a field of characteristic zero. A natural and classical problem consists in understanding their possible Hilbert function, sometimes also called Hilbert vector. When the codimension of the algebra is less than or equal to 3, all possible Hilbert vectors were characterized in [20]; in particular, they are unimodal, i.e. they never strictly increase after a strict decrease. While it is known that non unimodal Gorenstein h-vectors exist in every codimension greater than or equal to 5 (see [3,4,5]), it is open whether non unimodal Gorenstein h-vectors of codimension 4 exist. For algebras with codimension 4 having small initial degree the Hilbert vector is unimodal (see [16, 19]).
Consider the family \(\mathcal{A}\mathcal{G}_{{\mathbb {K}}}(r,d)\) of standard graded Artinian Gorenstein \(\mathbf {{\mathbb {K}}}\)-algebras of socle degree d and codimension r. By Poncaré duality, the Hilbert function of \( A\in \mathcal{A}\mathcal{G}_{{\mathbb {K}}}(r,d)\) is a symmetric vector \({{\,\textrm{Hilb}\,}}(A)= (1,r,h_2, \ldots , h_{d-2}, r, 1)\), that is \(h_k=h_{d-k}\). There is a natural partial order in this family given by:
if \(h_i \le {\tilde{h}}_i\), for all \(i \in \{2, \ldots , d-2\}\). The maximal Hilbert functions are associated to compressed algebras and completely described in [12]. In fact the Hilbert vector of a compressed Gorenstein algebra is a maximum in \(\mathcal{A}\mathcal{G}_{{\mathbb {K}}}(r,d)\). On the other hand, classifying minimal Hilbert functions is a hard problem. We do not know in general if there is a minimum. Moreover, given two comparable Gorenstein Hilbert functions, it is not true that any symmetric vector between them is Gorenstein. Some partial results in this direction were obtained in [21] and called the interval conjecture.
The first example of a non-unimodal Gorenstein h-vector was given by Stanley (see [20, Example 4.3]). He showed that the h-vector (1, 13, 12, 13, 1) is indeed a Gorenstein h-vector. In [14] the authors showed that Stanley’s example is optimal, i.e. if we consider the h-vector (1, 12, 11, 12, 1), it is not Gorenstein. We say that a vector is totally non unimodal if
A totally non-unimodal Gorenstein Hilbert vector exists for every socle degree \(d\ge 4\) when the codimension r is large enough. It is related to a conjecture posed by Stanley and proved in [15, 17] and also a consequence of our Proposition 2.3, see Corollary 2.4.
From Macaulay–Matlis duality, every standard graded Artinian Gorenstein \({\mathbb {K}}\)-algebra can be presented by a quotient of a ring of differential operators by a homogeneous ideal that is the annihilator of a single form in the dual ring of polynomials. full Perazzo algebras are associated with full Perazzo polynomials, they are the family that we will study in detail. Perazzo polynomials are related to Gordan and Noether theory of forms with vanishing Hessian (see [18, Chapter 7], [9]). In [9] the author introduced the terminology Perazzo algebras to denote the Artinian Gorenstein algebra associated to a Perazzo polynomial. In [1, 8] the authors study the Hilbert vector and the Lefschetz properties for Perazzo algebras in codimension 5. In [7] the authors study full Perazzo algebras focusing on socle degree 4, showing that they have minimal Hilbert vector in some cases. In this paper we deal with codimension greater than 13 and we are more interested in full Perazzo algebras. In the case of socle degree 4 we recall the known results.
We now describe the contents of the paper in more detail. In the first section we recall the basics on Macaulay–Matlis duality, see Theorem 1.1. In the next subsection we recall the classical bounds for Hilbert functions given by Macaulay, Gotzman and Green summarized in Theorem 1.4.
In the second section we recall the definition of full Perazzo algebras and we pose the full Perazzo Conjecture (see Conjecture 2.6). A full Perazzo polynomial of type m and degree d is a bigraded polynomial of bidegree \((1,d-1)\) given by \(f=\sum x_jM_j\) where \(\{M_j|j =1, \ldots , \left( {\begin{array}{c}m+d-2\\ d-1\end{array}}\right) \}\) is a basis for \({\mathbb {K}}[u_1, \ldots , u_m]_{(d-1)}\). The associated Artinian Gorenstein algebra is called full Perazzo algebra (see Sect. 2 for more details).
Conjecture
Let H be the Hilbert vector of a full Perazzo algebra of type \(m\ge 3\) and socle degree \(d\ge 4\) and let \(r=r(m,d)\) its codimension. Then H is minimal in the family of Hilbert vectors of Artinian Gorenstein algebras of codimension r and socle degree d, that is, if \({\hat{H}}\) is a comparable Artinian Gorenstein Hilbert vector such that \({\hat{H}} \preceq H\), then \({\hat{H}}=H\).
In the third section we prove special cases of the Conjecture in socle degree 4 and we try to fill the gaps in order to classify all possible Hilbert functions up to codimension 25 (see Theorem 3.6, Corollary 3.7 and Proposition 3.8). In socle degree 5 we prove the Conjecture for \(m \in \{3,4,5,6,7,8,9,10\}\) (see Theorem 3.15) and a stronger version of the conjecture for \(m = 3\) (see Corollary 3.16).
In the fourth section we prove our main result that the full Perazzo Conjecture is true for arbitrary socle degree \(d \ge 4\) and type \(m=3\).
Theorem
Every full Perazzo algebra with socle degree \(d \ge 4\) of type \(m=3\) has minimal Hilbert function.
In the last section we give a new proof of part of a result originally proved in [17], concerning the asymptotic behavior of the minimum entry of a Gorenstein Hilbert function (see Theorem 5.2).
2 Preliminaries
Most of the background material presented here can be found in [7].
2.1 Macaulay–Matlis duality
In this section we recall some basic results from Macaulay–Matlis duality for Artinian Gorenstein algebras over a field \({\mathbb {K}}\) of characteristic zero. We recall that in characteristic zero we can use a differential version of Macaulay–Matlis duality.
Let \(A={\mathbb {K}}[X_1,\ldots ,X_n]/I = \bigoplus _{i=0}^d A_i\) be a standard graded Artinian \({\mathbb {K}}\)-algebra with \(A_d \ne 0\). The Hilbert function of A can be described by the vector \({{\,\textrm{Hilb}\,}}(A) = (1, h_1, \ldots , h_d)\) where \(h_i=\dim A_i\). We say that A is Gorenstein if \(\dim A_d =1\) and for every \(i =1, \ldots , d\), the natural pairing given by multiplication \(A_i \times A_{d-i} \rightarrow A_d \simeq {\mathbb {K}}\) is perfect. There is an isomorphism \(A_i^* \simeq A_{d-i}\). In this context, d is the socle degree of the algebra and assuming \(I_1=0\), n is the codimension of A.
Let us regard the polynomial algebra \(R={\mathbb {K}}[x_1, \ldots , x_n]\) as a module over the algebra \(Q={\mathbb {K}}[X_1,\ldots ,X_n]\) via the identification \(X_i = \partial /\partial x_i.\) If \(f\in R\) we set
More generally, given any Q submodule M of R we define the ideal of Q:
On the other side we have the notion of inverse system. Given \(I \subset Q\) be an ideal, we define the inverse system \(I^{-1}\) which is a Q submodule of R:
By Macaulay–Matlis duality we have a bijection:
From the Theory of Inverse Systems, we get the following characterization of standard Artinian Gorenstein graded \({\mathbb {K}}\)-algebras. A proof of this result can be found in [13, Theorem 2.1].
Theorem 1.1
(Double annihilator Theorem of Macaulay) Let \(R = {\mathbb {K}}[x_1,\ldots ,x_n]\) and let \(Q = {\mathbb {K}}[X_1,\ldots , X_n]\) be the ring of differential operators. Let \(A= \bigoplus _{i=0}^dA_i = Q/I\) be an Artinian standard graded \({\mathbb {K}}\)-algebra. Then A is Gorenstein if and only if there exists \(f\in R_d\) such that \(A\simeq Q/{\text {Ann}}(f)\).
In the sequel we always assume that \({\text {char}}({\mathbb {K}})=0\), \(A=Q/I\), \(I={{\,\textrm{Ann}\,}}_Q(f)\) and \(I_1=0\).
We will deal with standard bigraded Artinian Gorenstein algebras \(A=\bigoplus _{i=0}^d A_i,\) \(A_d\ne 0\), with \(A_k=\bigoplus _{i=0}^k A_{(i,k-i)}\), \(A_{(d_1,d_2)}\ne 0\) for some \(d_1,d_2\) such that \(d_1+d_2=d\), we call \((d_1,d_2)\) the socle bidegree of A. Since \(A^*_k \simeq A_{d-k} \) and since duality is compatible with direct sum, we get \(A_{(i,j)}^* \simeq A_{(d_1-i,d_2-j)}\).
Let \(R={\mathbb {K}}[x_1,\ldots ,x_n,u_1,\ldots ,u_m]\) be the polynomial ring viewed as standard bigraded ring in the sets of variables \(\{x_1,\ldots ,x_n\}\) and \(\{u_1,\ldots ,u_m\}\) and let \(Q={\mathbb {K}}[X_1,\ldots ,X_n,U_1,\ldots ,U_m]\) be the associated ring of differential operators.
We want to stress that the bijection given by Macaulay–Matlis duality preserves bigrading, that is, there is a bijection:
If \(f \in R_{(d_1,d_2)}\) is a bihomogeneous polynomial of total degree \(d=d_1+d_2\), then \(I = {{\,\textrm{Ann}\,}}_Q(f) \subset Q\) is a bihomogeneous ideal and \(A = Q/I\) is a standard bigraded Artinian Gorenstein algebra of socle bidegree \((d_1,d_2)\) and codimension \(r=m+n\) if we assume, without loss of generality, that \(I_1=0\).
Remark 1.2
With the previous notation, all bihomogeneous polynomials of bidegree \((1,d-1)\) can be written in the form
where \(g_i \in {\mathbb {K}}[u_1,\ldots ,u_m]_{d-1}\). The associated algebra, \(A = Q/{{\,\textrm{Ann}\,}}_Q(f)\), is bigraded, has socle bidegree \((1,d-1)\) and we assume that \(I_1=0,\) so \({{\,\textrm{codim}\,}}A = m+n\).
2.2 Classical bounds of Hilbert function
We recall some classical bounds for the growth of the Hilbert function of Artinian \({\mathbb {K}}\)-algebras. The three main results are due to Macaulay, Gotzmann and Green; before stating them, we need to recall the following definition:
Definition 1.3
Let k and i be positive integers. The i-binomial expansion of k, denoted by \(k_{(i)},\) is
where \(k_i>k_{i-1}>\cdots >k_j\ge j\ge 1\).
An expansion of type (1) always exists and is unique (see, e.g., [6, Lemma 4.2.6]). Following [6], we define for any integers a and b,
where we set \(\left( {\begin{array}{c}s\\ c\end{array}}\right) =0\) whenever \(s<c\) or \(c<0\).
Theorem 1.4
Let \(A=R/I\) be a standard graded \({\mathbb {K}}\)-algebra, and \(L\in A\) a general linear form (according to the Zariski topology). Denote by \(h_d\) the degree d entry of the Hilbert function of A and by \(h'_d\) the degree d entry of the Hilbert function of A/(L). Then:
- (Macaulay):
-
\(\displaystyle h_{d+1}\le ((h_d)_{(d)})^{+1}_{+1}\).
- (Gotzmann):
-
If \(h_{d+1}=((h_d)_{(d)})^{+1}_{+1}\) and I is generated in degrees \(\le d+1\), then
$$\begin{aligned} h_{d+s}= ((h_d)_{(d)})^s_s \text{ for } \text{ all } s\ge 1. \end{aligned}$$ - (Green):
-
\(\displaystyle h'_d\le ((h_d)_{(d)})^{-1}_0\).
Proof
For Macaulay, see [6, Theorem 4.2.10]. For Gotzmann, see [6, Theorem 4.3.3] or [10]. For Green, see [11, Theorem 1]. \(\square \)
Definition 1.5
A sequence of non-negative integers \(h=(1,h_1,h_2,\ldots ,h_i,\ldots )\) is said to be an \({\mathcal {O}}\)-sequence if it satisfies Macaulay’s Theorem (1.4) for all i.
Recall that when A is Artinian and Gorenstein, then its Hilbert function is a finite, symmetric \({\mathcal {O}}\)-sequence.
3 Minimal Gorenstein Hilbert functions
We recall the construction of full Perazzo algebras, introduced in [7].
Definition 2.1
Let \({\mathbb {K}}[x_1,\ldots ,x_n,u_1,\ldots ,u_m]\) be the polynomial ring in the n variables \(x_1,\ldots ,x_n\) and in the m variables \(u_1,\ldots ,u_m.\) A Perazzo polynomial is a reduced bihomogeneous polynomial \(f\in {\mathbb {K}}[x_1,\ldots ,x_n,u_1,\ldots ,u_m]_{(1,d-1)}\), of degree d, of the form
with \(g_i\in {\mathbb {K}}[u_1,\ldots ,u_m]_{d-1}\), for \(i=1,\ldots ,n\), linearly independent and algebraically dependent polynomials in the variables \(u_1,\ldots ,u_m\). The associated algebra is called a Perazzo algebra, it has codimension \(m+n\) and socle degree d.
Now we fix \(m\ge 2\) and we consider the m variables \(u_1,\ldots ,u_m\). For a multi-index \(\alpha =(e_1, \ldots , e_m)\) with \(e_{1}+\cdots +e_{m}=d-1\), let
be a \({\mathbb {K}}\)-linear basis for \(Q_{d-1} \) and denote \(\tau _m = \dim Q_{d-1} =\left( {\begin{array}{c}m+d-2\\ d-1\end{array}}\right) \).
Definition 2.2
Let \(f\in {\mathbb {K}}[x_1,\ldots ,x_{\tau _m},u_1,\ldots ,u_m]_{(1,d-1)}\) be a Perazzo polynomial of degree d of form:
In this case f is called full Perazzo polynomial of type m and degree d. The associated algebra is a full Perazzo algebra of socle degree d and codimension \(m+ \tau _m\).
Proposition 2.3
Let A be a full Perazzo algebra of type \(m\ge 2\) and socle degree d. Then for \(k=0,\ldots , \lfloor \frac{d}{2}\rfloor \)
In particular, its Hilbert function is totally non-unimodal for \(r>>0\).
Proof
Using the bigrading of A and considering that the polynomial f has degree 1 in the variables \(x_1,\ldots ,x_{\tau _m}\), fixed \(k=0,\ldots ,\lfloor \frac{d}{2}\rfloor \), we have the following decomposition:
-
(i)
It is clear that \(A_{(0,k)}=Q_{(0,k)}\), hence \(\dim A_{(0,k)}=\dim Q_{(0,k)}= \left( {\begin{array}{c}m+k-1\\ k\end{array}}\right) \).
-
(ii)
We have \(A^*_{(1,k-1)}\simeq A_{(0,d-k)}\) and \(A_{(0,d-k)}=Q_{(0,d-k)},\) hence \(\dim A_{(1,k-1)}=\dim Q_{(0,d-k)}=\left( {\begin{array}{c}m+d-k-1\\ d-k\end{array}}\right) \).
To verify that the Hilbert vector is asymptotically totally non unimodal it is enough to see that as a function of m, \(h_k(m) \simeq \frac{1}{(d-k)!}m^{d-k}\) for \(k \le d/2\). \(\square \)
Corollary 2.4
For every \(d\ge 4\) there is a positive integer \(r_0\) such that for all \(r\ge r_0\) there is an Artinian Gorenstein algebra with socle degree d and codimension r having a totally non unimodal Hilbert vector.
Proof
Let m be large enough in order to guarantee that the Hilbert vector of the full Perazzo algebra \(A=Q/{{\,\textrm{Ann}\,}}(f)\), of type m and socle degree d has a totally non unimodal Hilbert vector. For every \(r > m+ \left( {\begin{array}{c}m+d-2\\ d-1\end{array}}\right) \), let \(s=r - [m+ \left( {\begin{array}{c}m+d-2\\ d-1\end{array}}\right) ]\) and consider the algebra \(A'=Q'/{{\,\textrm{Ann}\,}}(g)\) where \(Q'= Q[Y_1, \ldots , Y_s]\) and \(g = f + \sum _{i=1}^s Y_i^d\). It is easy to see that the Hilbert vector of \(A'\) is given by \(h'_k = h_k + s\) for \(k\ne 0,d\), therefore, it is totally non-unimodal and the result follows. \(\square \)
Let \(d \ge 4\), \(r\ge 3\). Consider the family \(\mathcal{A}\mathcal{G}(r,d)\) of standard graded artinian Gorenstein \(\mathbf {{\mathbb {K}}}\)-algebras of socle degree d and codimension r. In this section we will consider \({\mathbb {K}}\), a fixed field of characteristic 0. We know that the Hilbert function of \( A\in \mathcal{A}\mathcal{G}(r,d)\) is a symmetric vector \({{\,\textrm{Hilb}\,}}(A)= (1,r,h_2, \ldots , h_{d-2}, r, 1)\), with \(h_i=h_{d-i}\) by Poincaré duality.
Consider the family of length d symmetric vectors of type \((1,r,h_2, \ldots , h_{d-2}, r, 1)\), where \(h_i=h_{d-i}\). There is a natural partial order in this family
If \(h_i \le {\tilde{h}}_i\), for all \(i \in \{2, \ldots , d-2\}\). This order can be restricted to \(\mathcal{A}\mathcal{G}(r,d)\) which becomes a poset.
Definition 2.5
Let r, d be fixed positive integers and let H be a length \(d+1\) symmetric vector \((1,r,h_2, \ldots , h_{d-2}, r, 1)\). We say that H is a minimal Artinian Gorenstein Hilbert function of socle degree d and codimension r if there is an Artinian Gorenstein algebra such that \({{\,\textrm{Hilb}\,}}(A)=H\) and H is minimal in \(\mathcal{A}\mathcal{G}(r,d)\) with respect to \(\preceq \). To be precise, if \({\hat{H}}\) is a comparable Artinian Gorenstein Hilbert vector such that \({\hat{H}}\preceq H\), then \({\hat{H}}=H\).
We now present the full Perazzo Conjecture.
Conjecture 2.6
Let H be the Hilbert vector of a full Perazzo algebra of type m and socle degree d. Then H is minimal in \(\mathcal{A}\mathcal{G}(r,d)\).
4 Minimal Gorenstein Hilbert functions in low socle degree
In this section we study Gorenstein Hilbert functions of algebras with socle degree 4 and 5. Part of the results in socle degree 4 can be found in [7].
4.1 Minimal Gorenstein Hilbert functions in socle degree 4
In socle degree 4, a Gorenstein sequence is of the form
Let \(\mu (r)\) be the integer such that \((1,r,\mu (r),r,1)\) is a Gorenstein sequence, but \((1,r,\mu (r)-1,r,1)\) is not a Gorenstein sequence. Then \(\mu (r) \le h \le \left( {\begin{array}{c}r+1\\ 2\end{array}}\right) .\)
It is well known that (1, r, h, r, 1) is a Gorenstein sequence if and only if \(\mu (r) \le h \le \left( {\begin{array}{c}r+1\\ 2\end{array}}\right) \) (see [21]). We set \(\delta (r)=r-\mu (r).\) This function was introduced in [15] and also studied in [7]. The function \(\delta (r)\) is not decreasing, so \(\delta (r) \le \delta (r+1),\) for every r (see [15, Proposition 8]).
By Remark 5.4 in [7], if \(\delta (r-1) < \delta (r)\) then \(\delta (r)=\delta (r-1)+1.\)
Definition 3.1
We say that the Gorenstein sequence \((1,r,\mu (r),r,1)\) is minimal. Moreover we say that the Gorenstein sequence \((1,r,\mu (r),r,1)\) is strongly minimal if \(\delta (r-1) < \delta (r).\)
By Remark 5.4 in [7], if \((1,r,\mu (r),r,1)\) is strongly minimal, then \(\delta (r)=\delta (r-1)+1.\)
The minimal r such that \((1,r,\mu (r),r,1)\) is not unimodal is \(r=13\) [14]. So \(\delta (r)=0\) for \(r \le 12.\)
Proposition 3.2
\(\delta (r)=1\) iff \(13 \le r \le 19.\)
Consequently the sequence (1, 13, 12, 13, 1) is strongly minimal.
Proof
The sequence (1, 13, 12, 13, 1) is a Gorenstein sequence. This was originally proved by Stanley in [20]. This sequence is also the Hilbert Function of the full Perazzo algebra with \(m=3.\) In [14, Proposition 3.1], it was proved that (1, 12, 11, 12, 1) is not a Gorenstein sequence. Consequently \(\delta (12)=0,\) therefore \(\delta (r)=0\) for every \(r \le 12.\) In [2, Theorem 4.1], was shown that (1, 19, 17, 19, 1) is not a Gorenstein sequence, so \(\delta (r)=1\) for \(13 \le r \le 19.\) In [14, Remark 3.5], was observed that (1, 20, 18, 20, 1) is a Gorenstein sequence, so for \(r \ge 20\) we have that \(\delta (r)\ge 2.\) \(\square \)
Corollary 3.3
\(\delta (20)=2.\) Consequently the sequence (1, 20, 18, 20, 1) is strongly minimal.
Proof
In [14, Remark 3.5], it was observed that (1, 20, 18, 20, 1) is a Gorenstein sequence. So, by Remark 5.4 in [7], \(\delta (20)=2.\) \(\square \)
Proposition 3.4
Let \(m \ge 3.\) We have that
Proof
For \(r=m+\left( {\begin{array}{c}m+2\\ 3\end{array}}\right) \) there exists the full Perazzo Algebra. It realizes the Gorenstein sequence
So \(\delta \left( m+\left( {\begin{array}{c}m+2\\ 3\end{array}}\right) \right) \ge \left( {\begin{array}{c}m+2\\ 3\end{array}}\right) +m-m(m+1)=\left( {\begin{array}{c}m+2\\ 3\end{array}}\right) -m^2=\left( {\begin{array}{c}m\\ 3\end{array}}\right) .\) \(\square \)
Lemma 3.5
Let (1, r, h, r, 1) be a Gorenstein sequence. Let \(u=r-h,\) with \(u \ge 0\). Then
Proof
Let A be a Gorenstein algebra with Hilbert function (1, r, h, r, 1) and let L be a general linear form. Using the same argument as in Proposition 3.1 in [14], we get that the Hilbert function of A/(L) is of the type
By the theorems of Green and of Macaulay we have \(s \le (r_{(3)})^{-1}_{0}\) and
Consequently
In particular, for \(t=(r_{(3)})^{-1}_{0}-s\) we are done. \(\square \)
Theorem 3.6
\(\delta (24)=4\) and \(\delta (40)=10.\)
Proof
By Proposition 3.4, \(\delta (24) \ge \left( {\begin{array}{c}4\\ 3\end{array}}\right) =4.\) We have to prove that (1, 24, 19, 24, 1) is not a Gorenstein sequence. Indeed \(24_{(3)}=\left( {\begin{array}{c}6\\ 3\end{array}}\right) +\left( {\begin{array}{c}3\\ 2\end{array}}\right) +\left( {\begin{array}{c}1\\ 1\end{array}}\right) ,\) so \((24_{(3)})^{-1}_{0}=11.\) Since \(u=5\) we have that
By Lemma 3.5, (1, 24, 19, 24, 1) is not a Gorenstein sequence.
By Proposition 3.4, \(\delta (40) \ge \left( {\begin{array}{c}5\\ 3\end{array}}\right) =10.\) We have to prove that (1, 40, 29, 40, 1) is not a Gorenstein sequence. Indeed \(40_{(3)}=\left( {\begin{array}{c}7\\ 3\end{array}}\right) +\left( {\begin{array}{c}3\\ 2\end{array}}\right) +\left( {\begin{array}{c}2\\ 1\end{array}}\right) ,\) so \((40_{(3)})^{-1}_{0}=22.\) Since \(u=11\) we have that
By Lemma 3.5, (1, 40, 29, 40, 1) is not a Gorenstein sequence. \(\square \)
Corollary 3.7
\(\delta (25)=4.\)
Proof
By Theorem 3.6 and by Theorem 2.5 in [14], (1, 25, 21, 25, 1) is a Gorenstein sequence, so \(\delta (25) \ge 4.\) We have to prove that (1, 25, 20, 25, 1) is not a Gorenstein sequence. Indeed \(25_{(3)}=\left( {\begin{array}{c}6\\ 3\end{array}}\right) +\left( {\begin{array}{c}3\\ 2\end{array}}\right) +\left( {\begin{array}{c}2\\ 1\end{array}}\right) ,\) so \((25_{(3)})^{-1}_{0}=12.\) Since \(u=5\) we have that
By Lemma 3.5, (1, 25, 20, 25, 1) is not a Gorenstein sequence. \(\square \)
Proposition 3.8
\(2\le \delta (21) \le \delta (22)\le \delta (23) \le 4.\)
Proof
This follows trivially by the fact that \(\delta (20)=2\) and \(\delta (24)=4.\) \(\square \)
Proposition 3.9
\(20\le \delta (62)\le 21.\)
Proof
By Proposition 3.4, for \(m=6,\) we get that (1, 62, 42, 62, 1) is a Gorenstein sequence.
On the other hand, (1, 62, 40, 62, 1) is not a Gorenstein sequence by Lemma 3.5. Indeed
and
\(\square \)
Proposition 3.10
\(\delta (26) = 4 = \delta (27).\)
Proof
For \(r=26\), we have to prove that (1, 26, 21, 26, 1) is not a Gorenstein sequence. Indeed, let \(A=R/I\) be a Gorenstein algebra with Hilbert function (1, 26, 21, 26, 1), L be a general linear form. We set \(J = (I_{\le 3})\), \(\bar{J} = (J,L)/(L)\) and \(S=R/(L)\). By the theorems of Green and of Macaulay and repeating the above method, \(R/\bar{J}\) has Hilbert function (1, 25, 8, 13). As \(R/\bar{J}\) has maximal growth from degree 2 to degree 3 and \(\bar{J}\) has no new generators in degree 4, by Gotzmann’s theorem we get \(h_{R/\bar{J}}(t) = \left( {\begin{array}{c}t+2\\ 2\end{array}}\right) + t.\) Therefore, \(\bar{J}\) is the saturated ideal, in all degrees \(\ge 2\) of the union of a plane and a line in \({\mathbb {P}}^{24}\). It follows that, up to saturation, J is the ideal of a scheme T given by the union in \({\mathbb {P}}^{25}\) of a 3-dimensional linear variety, a plane and m points (possibly embedded). Hence, \(50 \le h_{R/\bar{J}}(4) \le 45\), which is absurd.
Now, for \(r=27\), following the same argument as above, we prove that the sequence (1, 27, 22, 27, 1) is not Gorenstein. In this case we conclude \(50 \le h_{R/\bar{J}}(4) \le 46.\) \(\square \)
4.2 Minimal Gorenstein Hilbert functions in socle degree 5
In socle degree 5, a Gorenstein sequence is of the form
Let \(\mu (r)\) be the integer such that \((1,r,\mu (r),\mu (r),r,1)\) is a Gorenstein sequence, but \((1,r,\mu (r)-1,\mu (r)-1,r,1)\) is not a Gorenstein sequence. Then \(\mu (r) \le h \le \left( {\begin{array}{c}r+1\\ 2\end{array}}\right) .\)
It is well known that (1, r, h, h, r, 1) is a Gorenstein sequence iff \(\mu (r) \le h \le \left( {\begin{array}{c}r+1\\ 2\end{array}}\right) \) (see [21]). We set \(\delta (r)=r-\mu (r).\)
Definition 3.11
We say that the Gorenstein sequence \((1,r,\mu (r),\mu (r),r,1)\) is minimal. Moreover we say that the Gorenstein sequence \((1,r,\mu (r),\mu (r),r,1)\) is strongly minimal if \(\delta (r-1) < \delta (r).\)
Proposition 3.12
In socle degree 5 we have
\(\delta (r)=0\) iff \(r\le 16.\)
\(\delta (r)=1\) iff \(r=17.\)
For \(18 \le r \le 25,\) \(\delta (r)=2\)
Proof
For \(18 \le r \le 25,\) see Theorem 3.4 and Remark 3.5 in [14]. \(\square \)
Lemma 3.13
Let (1, r, h, h, r, 1) be a Gorenstein sequence. Let \(u=r-h.\) Then
Proof
Analogous to Lemma 3.5. \(\square \)
Proposition 3.14
Let \(m \ge 3.\) We have that
Proof
For \(r=m+\left( {\begin{array}{c}m+3\\ 4\end{array}}\right) \) there exists the full Perazzo Algebra. It realizes the Gorenstein sequence
So
\(\square \)
Theorem 3.15
For \(m \in \{3,4,5,6,7,8,9,10\},\) we have \(\delta \left( m+\left( {\begin{array}{c}m+3\\ 4\end{array}}\right) \right) = \frac{m+5}{4}\left( {\begin{array}{c}m\\ 3\end{array}}\right) .\) That is, the full Perazzo conjecture is true in these cases.
Proof
By Proposition 3.14, we have to prove that for \(m \in \{3,4,5,6,7,8,9,10\},\) the sequence
is not a Gorenstein sequence.
The case \(m=3\) will be dealt with in general in the next section. We can assume \(m\ge 4\).
For \(m=4\) we have to prove that the sequence (1, 39, 29, 29, 39, 1) is not a Gorenstein sequence. Indeed, using Lemma 3.13, we have:
For \(m=5\) we have to prove that the sequence (1, 75, 49, 49, 75, 1) is not a Gorenstein sequence. Indeed, by Lemma 3.13, we have:
For \(m=6\) we have to prove that the sequence (1, 132, 76, 76, 132, 1) is not a Gorenstein sequence. Indeed, using Lemma 3.13, we have:
For \(m=7\) we have to prove that the sequence (1, 217, 111, 111, 217, 1) is not a Gorenstein sequence. Indeed, by Lemma 3.13, we have:
For \(m=8\) we have to prove that the sequence (1, 338, 155, 155, 338, 1) is not a Gorenstein sequence. Indeed, using Lemma 3.13, we have:
For \(m=9\) we have to prove that the sequence (1, 504, 209, 209, 504, 1) is not a Gorenstein sequence. Indeed, using symmetry, Green’s theorem and Macaulay’s theorem, the following diagram represents the Hilbert functions of R/I, R/(I : L) and R/(I, L)
By Lemma 3.5 the middle line is not a Gorenstein sequence.
For \(m=10\) we have to prove that the sequence (1, 725, 274, 274, 725, 1) is not a Gorenstein sequence. Indeed, using symmetry, Green’s theorem and Macaulay’s theorem, the following diagram represents the Hilbert functions of R/I, R/(I : L) and R/(I, L)
By Lemma 3.5 the middle line is not a Gorenstein sequence. \(\square \)
Corollary 3.16
The Gorenstein vector
is strongly minimal.
Proof
By the previous theorem we know that it is a minimal Gorenstein Hilbert vector. We have to prove that (1, 17, 15, 15, 17, 1) is not a Gorenstein sequence. Indeed, by Proposition 3.12, \(\delta (17)=1.\) \(\square \)
5 A family of minimal Gorenstein Hilbert functions
Consider the family of full Perazzo algebras of type \(m=3\) and socle degree \(d\ge 4\). Its Hilbert function is given by \(h_k= \left( {\begin{array}{c}k+2\\ k\end{array}}\right) + \left( {\begin{array}{c}2+2q-k\\ 2q-k\end{array}}\right) \), for \(k\le \lfloor d/2 \rfloor \) and by symmetry we get \(h_{d-k}= h_k\).
Lemma 4.1
Let \(k \le \lfloor d/2 \rfloor \). Then we have:
Proof
First of all, consider \(d> 2k-1\). In this case, \( d-k+1 >k\), i.e. \((d-k+1)+ (d-k) + \cdots + (d-2k+3) > k+ (k-1)+ \cdots +2+1= k(k+1)/2= \left( {\begin{array}{c}k+1\\ 2\end{array}}\right) \).
We have: \((\left( {\begin{array}{c}k+1\\ 2\end{array}}\right) )_{(d-k)}< \left( {\begin{array}{c}d-k+1\\ d-k\end{array}}\right) + \left( {\begin{array}{c}d-k\\ d-k-1\end{array}}\right) + \cdots \left( {\begin{array}{c}d-2k+3\\ d-2k+2\end{array}}\right) \). Then
Now there are only two other cases to consider: 1) \(d=2k-1\), 2) \(d=2k\).
They are similar, we will do the details for \(d=2k\). In this case, we have:
Indeed we know that the k-binomial expansion of \(\left( {\begin{array}{c}k+1\\ 2\end{array}}\right) \) has two blocks
\((\left( {\begin{array}{c}k+1\\ 2\end{array}}\right) )_{(k)} = [\left( {\begin{array}{c}k+1\\ k\end{array}}\right) + \left( {\begin{array}{c}k\\ k-1\end{array}}\right) + \ldots + \left( {\begin{array}{c}j+1\\ j\end{array}}\right) ] + [\left( {\begin{array}{c}j-1\\ j-1\end{array}}\right) + \cdots + \left( {\begin{array}{c}i\\ i\end{array}}\right) ]\). The first block consists of binomials of type \(\left( {\begin{array}{c}s+1\\ s\end{array}}\right) \) and the second one of type \(\left( {\begin{array}{c}s\\ s\end{array}}\right) \).
Therefore:
If \(k-j+1 >k-2\), then \(j\le 2\), but the cases \(j=1\) and \(j=2\) are not possible. In fact, suppose, \(j=2\), since:
It is absurd for \(k>2\). The case \(j=1\) is analogous, the result follows. \(\square \)
Theorem 4.2
Every full Perazzo algebra with socle degree \(d \ge 4\) of type \(m=3\) has minimal Hilbert function.
Proof
We want to show that the Hilbert vector of the full Perazzo algebra \(H=(1, h_1,h_2,h_3, \ldots ,h_{d-1},h_d=1)\) with \(h_k=\left( {\begin{array}{c}m+k-1\\ k\end{array}}\right) +\left( {\begin{array}{c}m+d-k-1\\ d-k\end{array}}\right) \) is a minimal Gorenstein Hilbert vector. Let
be a comparable Artinian Gorenstein Hilbert vector \({\hat{H}} \preceq H\) of length \(d+1\) and \({\hat{h}}_1=h_1\). We will proceed in steps to show that \({\hat{H}} = H\). Consider, on the contrary, one of the following situations:
-
(1)
For some \(k \in \{2, \ldots , \lfloor d/2 \rfloor -1 \}\), \({\hat{h}}_k<h_k\);
-
(2)
For \(d=2q\), suppose that \({\hat{h}}_t=h_t\) for all \(t<q\) and \({\hat{h}}_q<h_q\);
-
(3)
For \(d=2q+1\), suppose that \({\hat{h}}_t=h_t\) for all \(t<q\) and \({\hat{h}}_q<h_q\).
We will show that all of these situations give rise to a contradiction.
(1). Let \(A=Q/I\) with \(I={{\,\textrm{Ann}\,}}(f)\) be a standard graded Artinian Gorenstein \({\mathbb {K}}\)-algebra such that \(H_A={\hat{H}}\) with \({\hat{h}}_k =\dim A_k <h_k=\left( {\begin{array}{c}m+k-1\\ k\end{array}}\right) +\left( {\begin{array}{c}m+d-k-1\\ d-k\end{array}}\right) \) for some \(k \in \{2, \ldots , \lfloor d/2 \rfloor -1 \}\). Suppose that k is minimal satisfying this property, that is, for \(t<k\) we get \({\hat{h}}_t = h_t\), by the comparability hypothesis. Let \(L \in A_1\) be a generic linear form and let \(S=Q/(L)\). We get the following exact sequence:
with \({\overline{I}}=\dfrac{(I,L)}{L}\) and \((I:L)= Ann(f)\) and \(f'=L(f)\) denoting the derivative of f with respect to \(L\in Q\). Therefore Q/(I : L) is also Gorenstein. We get the following diagram:
We have \({\hat{h}}_{d-k+1}= {\hat{h}}_{k-1} = h_{k-1} = h_{d-k+1} = \left( {\begin{array}{c}k+1\\ k-1\end{array}}\right) + \left( {\begin{array}{c}d-k+3\\ d-k+1\end{array}}\right) \). The \((d-k+1)\)-binomial decomposition of \(h_{d-k+1}\) is \((h_{d-k+1})_{(d-k+1)}=\left( {\begin{array}{c}d-k+3\\ d-k+1\end{array}}\right) + (\left( {\begin{array}{c}k+1\\ k-1\end{array}}\right) )_{(d-k)}\). By Green’s theorem we have
By Lemma 4.1, we have
We consider only the case \(h'_{d-k+1}=d\), the other cases are similar.
We have \(a_{k-1}={\hat{h}}_{d-k+1}-d\), \(h'_k={\hat{h}}_{k}-({\hat{h}}_{d-k+1}-d)\). Since \({\hat{h}}_k \le h_k-1\) we have \(h_k'\le h_{k} -h_{d-k+1}+d-1 \).
We recall that
Therefore
We obtain \(h'_k \le 2k-2\). Thence \(h'_k \le 2k-2= k+1+k-3\) which implies that \((h'_k)_k \le \left( {\begin{array}{c}k+1\\ k\end{array}}\right) + \left( {\begin{array}{c}k-1\\ k-1\end{array}}\right) + \cdots + \left( {\begin{array}{c}3\\ 3\end{array}}\right) \).
By Macaulay’s theorem applied \(d-2k+1\) times we have
\(h'_{d-k+1}\le ((h'_{k})_{k})^{d-2k+1}_{d-2k+1} \le \left( {\begin{array}{c}k+1+d-2k+1\\ k+d-2k+1\end{array}}\right) +k-3= k+1+d-2k+1+k-3\)
therefore \(d\le d-1\),a contradiction.
(2). Case \(d=2q\) is even. Suppose that \({\hat{h}}_t=h_t\) for all \(t<q\) and \({\hat{h}}_q<h_q\). Let \(L\in Q\) be a generic linear form and \(S=Q/(L)\). We have the following exact sequence:
where \({\overline{I}}=\dfrac{(I,L)}{L}\) and \((I:L)= Ann(f)\), \(f'=L(f)\), that is, Q/(I : L) is also Gorenstein. In the middle we get the following diagram:
Since \((h_{q+1})_{(q+1)}=(\left( {\begin{array}{c}q+3\\ q+1\end{array}}\right) + (\left( {\begin{array}{c}q+1\\ 2\end{array}}\right) )_q\), from Green’s theorem
By Lemma 4.1 we have
We study the case \(h_{q+1}'=2q\), the other cases are similar.
We have \(a_{q-1}'= h_{q+1}-2q\), \(h'_{q}= {\hat{h}}_{q}-a_{q-1} \le h_{q}-h_{q+1} +2q-1\), then \(h'_{q} \le 2q-2= (q+1)+(q-3)\).
Therefore
with \(\left( {\begin{array}{c}q-1\\ q-1\end{array}}\right) + \left( {\begin{array}{c}q-2\\ q-2\end{array}}\right) + \cdots + \left( {\begin{array}{c}3\\ 3\end{array}}\right) \) being counted \(q-3\) times.
From Macaulay’s theorem we have \(h'_{q+1} \le ((h'_{q})_{(q)})^{+1}_{+1}\), hence
It is a contradiction.
(3). If \(d= 2q+1\) is odd. Suppose that \({\hat{h}}_t=h_t\) for all \(t<q\) and \({\hat{h}}_q<h_q\). By the same argument:
Since \(h_{q+2}= \left( {\begin{array}{c}q+4\\ q+2\end{array}}\right) + \left( {\begin{array}{c}q+1\\ 2\end{array}}\right) \) and \((h_{q+2})_{q+2}= \left( {\begin{array}{c}q+4\\ q+2\end{array}}\right) + \left( \left( {\begin{array}{c}q+1\\ 2\end{array}}\right) \right) _{q+1} \), by Green’s theorem
We consider only the case \(h'_{q+2}= 2q+1\). We have \(a_{q-1}= h_{q+2}- (2q+1)\), \(h'_{q}= {\hat{h}}_{q}-a_{q-1}\). Then \(h'_{q} \le h_{q} -1- a_{q-1}\), \(h'_{q} \le h_{q} -1-( h_{q+2}- (2q+1))\), thence \(h_q' \le 2q-2\). We have
Therefore
where the terms \(\left( {\begin{array}{c}q-1\\ q-1\end{array}}\right) + \cdots + \left( {\begin{array}{c}3\\ 3\end{array}}\right) \) are \(q-3\).
By Macaulay’s theorem we have
the last terms are \(q-3\).
By Macaulay’s theorem we have
then \(2q+1 \le 2q\).
It is a contradiction. The result follows. \(\square \)
6 Asymptotic behavior of the minimum
In this section we give a new proof of part of Theorem 3.6 in [17].
Let \(P_{m} = m + \left( {\begin{array}{c}m+d-2\\ d-1\end{array}}\right) \) be the codimension of a full Perazzo algebra of type m. Denote by \(\mu _{d,k}(r)\) the minimal entry in degree k of a Gorenstein h-vector with codimension r and socle degree d.
Lemma 5.1
\(\mu _{d,k}(P_{m}) \ge \left( {\begin{array}{c}m+d-k-1\\ d-k\end{array}}\right) \).
Proof
We proceed by induction on k.
For \(k=1\), we have \(\mu _{d,1}(P_{m}) = P_{m} = m + \left( {\begin{array}{c}m+d-2\\ d-1\end{array}}\right) > \left( {\begin{array}{c}m+d-2\\ d-1\end{array}}\right) \).
Now, suppose that
From Theorem 2.4 in [17], we get
By inductive hypothesis, and by basic properties of binomial expansions, we have: \(\left( \left( \mu _{d,k-1}(P_{m})\right) _{(d-k+1)}\right) _{-1}^{-1} > \left( {\begin{array}{c}m+d-k-1\\ d-k\end{array}}\right) \) and \(\left( \left( \mu _{d,k-1}(P_{m})\right) _{(d-k+1)}\right) _{-d+2k+1}^{-d+2k} > \left( {\begin{array}{c}m+k\\ k+2\end{array}}\right) .\)
So,
as we wanted.\(\square \)
Theorem 5.2
(Migliore–Nagel–Zanello [17]) Let A be a Gorenstein algebra of codimension r and socle degree d. Then, for all \(k < \lfloor d/2 \rfloor \)
Proof
For any integer \(r>> 0\) there is a unique integer \(P_{m} = m + \left( {\begin{array}{c}m+d-2\\ d-1\end{array}}\right) \) such that
Applying the function \(\mu _{d,k}\) we have
By Lemma 5.1
Therefore
where \(o(m^{s})\) denote all terms of degree less than s.
On other hand, since \(P_{m} \le r \le P_{m+1}\), then
Multiplying, we get
Since in both sides the limit exists and are the same, the result follows.\(\square \)
Change history
04 June 2024
A Correction to this paper has been published: https://doi.org/10.1007/s13398-024-01619-7
References
Abdallah, N., Altafi, N., De Poi, P., Fiorindo, L., Iarrobino, A., Marques, P.M., Nicklasson, L.: Hilbert functions and Jordan type of Perazzo Artinian algebras (2023). arXiv preprint arXiv:2303.16768
Ahn, J., Migliore, J.C., Shin, Y.S.: Green’s theorem and Gorenstein sequences. J. Pure Appl. Algebra 222, 387–413 (2018)
Bernstein, D., Iarrobino, A.: A nonunimodal graded Gorenstein Artin algebra in codimension five. Commun. Algebra 20(8), 2323–2336 (1992)
Boij, M.: Graded Gorenstein Artin algebras whose Hilbert functions have a large number of valleys. Commun. Algebra 23(1), 97–103 (1995)
Boij, M., Laksov, D.: Nonunimodality of graded Gorenstein Artin algebras. Proc. Am. Math. Soc. 120(4), 1083–1092 (1994)
Bruns, W., Herzog, H.J.: Cohen–Macaulay rings (No. 39). Cambridge University Press (1998)
Cerminara, A., Gondim, R., Ilardi, G., Zappala, G.: On the Hilbert function of Gorenstein algebras of socle degree four. J. Pure Appl. Algebra 224, 106434 (2020)
Fiorindo, L., Mezzetti, E., Miró-Roig, R.M.: Perazzo 3-folds and the weak Lefschetz property. J. Algebra 626, 56–81 (2023)
Gondim, R.: On higher Hessians and the Lefschetz properties. J. Algebra 489, 241–263 (2017)
Gotzmann, G.: Eine Bedingung für die Flachheit und das Hilbertpolynom eines graduierten Ringes. Math. Z. 158(1), 61–70 (1978)
Green, M.: Restrictions of linear series to hyperplanes, and some results of Macaulay and Gotzmann. In: Algebraic Curves and Projective Geometry (pp. 76–86). Springer, Berlin (1989)
Iarrobino, A., Kanev, V.: Power Sums, Gorenstein Algebras, and Determinantal Loci. Springer, Berlin (1999)
Maeno, T., Watanabe, J.: Lefschetz elements of Artinian Gorenstein algebras and Hessians of homogeneous polynomials. Illinois J. Math. 53, 593–603 (2009)
Migliore, J., Zanello, F.: Stanley’s nonunimodal Gorenstein \(h\)-vector is optimal. Proc. Am. Math. Soc. 145(1), 1–9 (2017)
Migliore, J., Nagel, U., Zanello, F.: On the degree two entry of a Gorenstein \(h\)-vector and a conjecture of Stanley. Proc. Am. Math. Soc. 136(8), 2755–2762 (2008)
Migliore, J., Nagel, U., Zanello, F.: A characterization of Gorenstein Hilbert functions in codimension four with small initial degree. Math. Res. Lett. 15(2), 331–349 (2008)
Migliore, J., Nagel, U., Zanello, F.: Bounds and asymptotic minimal growth for Gorenstein Hilbert functions. J. Algebra 321(5), 1510–1521 (2009)
Russo, F.: On the Geometry of Some Special Projective Varieties. Lecture Notes of the Unione Matematica Italiana, vol. 18. Springer (2016)
Seo, S., Srinivasan, H.: On unimodality of Hilbert functions of Gorenstein Artin algebras of embedding dimension four. Commun. Algebra 40(8), 2893–2905 (2012)
Stanley, R.P.: Hilbert functions of graded algebras. Adv. Math. 28(1), 57–83 (1978)
Zanello, F.: Interval Conjectures for level Hilbert functions. J. Algebra 321(10), 2705–2715 (2009)
Acknowledgements
We would like to thank the anonymous referee for the careful reading, suggestions and corrections of a previous version of the manuscript. A CNPq Research Fellowship partially supported the second named author (Proc. 309094/2020-8).
Funding
Open access funding provided by Università degli Studi di Napoli Federico II within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bezerra, L., Gondim, R., Ilardi, G. et al. On minimal Gorenstein Hilbert functions. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 118, 29 (2024). https://doi.org/10.1007/s13398-023-01523-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-023-01523-6