CONSTRUCTION OF ALMOST REVLEX IDEALS WITH HILBERT
FUNCTION OF SOME COMPLETE INTERSECTIONS

arXiv:1803.02330v1 [] 6 Mar 2018

CRISTINA BERTONE AND FRANCESCA CIOFFI
Abstract. We prove the existence of the almost revlex ideal J ⊂ K[x1 , . . . , xn ] with the
same Hilbert function of a complete intersection ideal I generated by n forms of degrees
d1 ≤ · ·P· ≤ dn , when for every i ≥ 4 the degrees satisfy the condition di ≥ ūi−1 + 1 =
o
nj i−1 d −i+1 k P
i−2
j=1 j
, j=1 dj − i + 2 + 1. We also show that, for every t ≥ ūn + 1, all
min
2
terms of degree t outside J are divisible by the last variable. This further property of J
has an important role in our inductive and constructive proof. We explicitly construct
Jt , for every t up to the regularity of I, by induction. Thanks to a theorem of Cho and
Park (2008), our result gives a new partial solution to the Moreno-Socias conjecture over
a field of characteristic 0, in the case di ≥ ūi−1 + 1 for every i ≥ 4.

Introduction
Given an Artinian strongly stable ideal J ⊂ K[x1 , . . . , xn ] in n variables, over a field
K, it is straightforward that there exists an integer ℓ such that for every t ≥ ℓ the terms
of degree t outside J are divisible by the last variable. As a consequence, the Hilbert
function of K[x1 , . . . , xn ]/J is decreasing from ℓ on.
We observe that, in case we deal with the Hilbert function H of a complete intersection,
the minimal integer ℓ with the above property is related to the explicit construction of
the almost reverse lexicographic ideal with Hilbert function H.
More precisely, let H be the Hilbert function of a complete intersection defined by n
forms of degrees d1 ≤ · · · ≤ dn in n variables over a field K. We prove that, if the following
condition is satisfied for every i ≥ 4,
i−2
nj Pi−1 dj − i + 1 k X
o
j=1
(⋆)
di ≥ min
,
dj − i + 2 + 1,
2
j=1
then there exists the almost reverse lexicographic ideal J with Hilbert function H; further,njevery
term
of degree t outside
Pn
k P
o J is divisible by the last variable, for every t ≥
n−1
j=1 dj −n
min
, j=1 dj − n + 1 + 1 (see Theorem 3.8).
2
The further property that, for suitable t, the terms of degree t outside J are divisible
by the last variable is crucial in the inductive and constructive proof we provide for our
result, together with the combinatorial properties of the first expansion of the sous-escalier
of a strongly stable ideal [14, 15, 16] and the particular structure of the Hilbert function
of a complete intersection [21].
Thanks to the interesting connection between the generic initial ideal of generic forms
and almost reverse lexicographic ideals that is given by Y. H. Cho and J. P. Park in [3,
Theorem 2.11] over a field of characteristic 0, we can show that our result has consequences
in the study of the generic initial ideal (with respect to the reverse lexicographic term
1

2

CRISTINA BERTONE AND FRANCESCA CIOFFI

order) of an ideal generated by generic forms. To this aim, we recall the Moreno-Socias
conjecture (see [18, Conjecture 4.1]):
Let K be an infinite field. If I is a homogeneous ideal generated by polynomial
generic forms over K, then the generic initial ideal gin(I) of I is almost reverse
lexicographic.
Thus, thanks to [3, Theorem 2.11], the result we present in this paper proves the MorenoSocias conjecture over a field of characteristic 0 in the case condition (⋆) is satisfied, for
every i ≥ 4 (see Corollary 3.9). Indeed, discussions about generic properties of a sequence
of forms in the polynomial ring K[x1 , . . . , xn ] show that, in order to prove the MorenoSocias conjecture, it is enough to consider Artinian ideals, hence n generic forms, which
generate a complete intersection (see [20, Section 4]).
It is noteworthy that the Moreno-Socias conjecture implies the Fröberg conjecture (see
[9, 20] and the references therein, and [19] for a recent contribution) and the Pardue
conjecture (see [20, 3]). For some main results about these conjectures and connections
with the Stanley and Lefschetz properties, we refer to [1, 18, 3, 20, 17, 2], and to the
references therein.
As far as we know, the Moreno-Socias conjecture has already been proved, mostly in
characteristic 0, for n = 2 in [1], for n ≤ 3 in [18, Proposition 4.2], for n = 4 and d1 = 2 in
P
Pi−1
[10], if di > ( i−1
j=1 dj ) − i + 1 for every i ≥ 4 in [3, Corollary 2.12], if di ≥ (
j=1 dj ) − i − 1
for every i in [2, Theorem 3.19], and also in other particular cases in [4].
1. Background
Let R := K[x1 , . . . , xn ] be the polynomial ring over an infinite field K in n variables
endowed with the degree reverse lexicographic term order ≻ such that
P x1 ≻ · · · ≻ xn . In
this setting, for every term τ := xα1 1 . . . xαnn 6= 1 we let deg(τ ) := ni=1 αi be its degree
and we define min(τ ) := max{i | αi 6= 0}, which is the index of the minimal variable that
appears in τ with a non-null exponent. If min(τ ) = i, we will say that “τ has minimal
variable xi ”. We denote by T the set of the terms of R.
For every integer t, we denote by Rt the K-vector space of homogeneous polynomials
of R of degree t, for every subset Γ ⊂ R, we let Γt := Γ ∩ Rt and denote by hΓt i the
K-vector space generated by Γt .
Definition 1.1. A subset L ⊂ Tt is a reverse lexicographic segment (revlex segment, for
short) if, for every τ ∈ L and τ ′ ∈ Tt , τ ′ ≻ τ implies that τ ′ belongs to L (see the paper
[5] for other types of segments).
We refer to [22, 23] for definitions and results about Hilbert functions of standard graded
K-algebras. When we consider a homogeneous ideal I ⊂ R and the Hilbert function HR/I
of R/I, we equivalently say “the Hilbert function of I”.
Given a monomial ideal J ⊂ R, we denote by BJ the minimal monomial basis of J
and by N (J) the sous-escalier of J, that is the set T \ J of terms of R outside J. Recall
that, for every integer t, the cardinality of N (J)t coincides with the value of the Hilbert
function of R/J at the degree t.
Definition 1.2. A monomial ideal J ⊂ R is a reverse lexicographic ideal (revlex ideal,
for short) if Jt ∩ T is a revlex segment, for every degree t. A monomial ideal J ⊂ R is an
almost reverse lexicographic ideal (or weakly reverse lexicographic ideal or almost revlex

3

ideal, for short) if, for every minimal generator τ ∈ BJ of J, a term τ ′ ∈ Tdeg(τ ) belongs
to J if τ ′ ≻ τ (see [7]).
Example 1.3. Let H be the Hilbert function of the general rational curve of degree 5 in
P3K . The following almost revlex ideal J = (x32 , x22 x1 , x2 x21 , x31 , x23 x21 ) ⊂ K[x1 , . . . , x4 ] has
Hilbert function H and is not a revlex ideal because J4 ∩ T is not a revlex segment.
Remark 1.4. If J is an almost revlex ideal in the polynomial ring in n − 1 variables
K[x1 , . . . , xn−1 ] ⊂ R, then the ideal JR is an almost revlex ideal too.
Definition 1.5. A monomial ideal J ⊂ R is strongly stable if, for all τ ∈ J and for every
x τ
variable xi such that τ is divisible by xi , the term xji belongs to J for every xj ≻ xi .
Remark 1.6. (See [11, Definitions 8 and 10, and Remark 11], for example). A revlex ideal
is an almost revlex ideal. If J, J ′ ⊂ S are almost revlex ideals such that HS/J (t) = HS/J ′ (t)
for every t, then J = J ′ . An almost revlex ideal is strongly stable, in particular a revlex
ideal is strongly stable and an ideal generated by a revlex segment is strongly stable too.
If I ⊂ R is a homogeneous ideal of R, we denote by I≤t the ideal generated in R by the
homogeneous polynomials of I of degree ≤ t and by αI := min{t : HR/I (t) < t+n−1
}=
t
min{t : It 6= 0} the initial degree of I. Moreover, we denote by reg(I) the regularity of
I, that is the minimal integer m such that the h-th syzygy module of I is generated in
degrees ≤ m + h, for every h ≥ 0.
If J ⊂ R is a strongly stable ideal, then the first expansion of N (J)t is E(N (J)t) :=
Tt+1 \ ({x1 , . . . , xn } · Jt ).
Remark 1.7. [14, 15, 16] If J ⊂ R is a strongly stable ideal, then it is well-known that,
for every degree t, the first expansion E(N (J)t) of N (J)t is equal to N (J≤t )t+1 . The
first expansion can be directly computed without repetitions and in increasing order with
respect to the reverse lexicographic order as follows, where in square brackets we denote
a list of terms of Tt that is increasingly ordered with respect to ≻:
(1.1)

E(N (J)t ) =

n−1
G

xn−i · [τ ∈ N (J)t : min(τ ) ≤ n − i].

i=0

Thus, if ℓ is an integer such that N (J)ℓ ∩K[x1 , . . . , xn−1 ] = ∅ and H is the Hilbert function
of R/J, then for every t ≥ ℓ we immediately obtain:
(i) N (J)t ∩ K[x1 , . . . , xn−1 ] = ∅,
(ii) H(t) ≥ H(t + 1).
This is a weaker situation than that considered in [15, Proposition 2.13].
Given a homogeneous ideal I ⊂ R, we denote by in(I) its initial ideal with respect to
the degree revlex term order. The ideals I and in(I) have the same Hilbert function.
Referring to [8, Section 15.9], we recall the well-known result that there is a non-empty
open subset A of the general linear group GLK (n) of the invertible matrices of order n
with entries in K such that in(g(I)) is a constant monomial ideal, for every g ∈ A. This
constant ideal in(g(I)) is denoted by gin(I) and called the generic initial ideal of I. In
our setting, gin(I) is invariant under the action of the Borel subgroup of lower-triangular
invertible matrices, hence it is a Borel-fixed ideal. A strongly stable ideal is Borel-fixed
and the converse holds in characteristic 0.

4

CRISTINA BERTONE AND FRANCESCA CIOFFI

Q
Following [21, 20], the set ri=1 Rdi of sequences f1 , . . . , fr of r homogeneous polynomials
of degrees d1 , . . . , dr can be considered as an affine space in which the coordinates of the
points are the coefficients of the polynomials in the sequence. Thus, we can say that a
property of a sequence of homogeneous
polynomials f1 , . . . , fr is generic if it holds on a
Q
nonempty Zariski-open subset of ri=1 Rdi and that a generic property holds for a generic
sequence of forms or for generic forms. We have that n generic forms in R generate a
complete intersection ideal I ⊂ R (see [21, page 531] or [20, page 582]).
Remark 1.8. Referring to [13], a proper ideal I in a Noetherian ring is called a complete
intersection if the length µ(I) of the shortest system of minimal generators of I is equal to
the height h(I) of I. A proper ideal I that is generated by a regular sequence in a Noetherian ring is a complete intersection and the converse holds if the ring is Cohen-Macaulay,
like a polynomial ring over a field is [13, Definition 3.11, Corollary 5.11, Theorem 3.14].
We end this section with a result due to Y. H. Cho and J. P. Park, which will be used
in Corollary 3.9 because it gives a crucial connection between the generic initial ideal of
generic forms and almost revlex ideals. The proof of this result is based on the description
of generic initial ideals given in [8] by means of extensors.
Theorem 1.9. [3, Theorem 2.11] Assume that the field K has characteristic 0. Let J be an
almost revlex ideal in R = K[x1 , . . . , xn ]. Suppose that I is a homogeneous ideal generated
by generic forms in R. If J and I have the same Hilbert function, then gin(I) = J.
2. Preliminary results
In this section, we formulate in terms of generic forms some results that are well-known
for complete intersections and which have some important consequences for our aims.
Proposition 2.1. The Hilbert function H of an ideal I ⊂ R generated byP
n generic forms
of degrees d1 ≤ · · · ≤ dn is symmetric and the regularity of I is reg(I) = nj=1 dj − n + 1.
Proof. We know that n generic forms in R generate an Artinian complete intersection
and a complete intersection is Gorenstein. Then, the first assertion is a consequence of [6,
Theorem (Hilbert Functions under Liaison)]. The second assertion directly follows from
the shape of the minimal free resolution of a complete intersection, which is obtained from
a Koszul complex [12, Example 13.16].

Example 2.2.
(a) The Hilbert function H of the ideal I generated by 3 generic forms of degree 2 in
K[x1 , x2 , x3 ] assumes the values H(0) = 1, H(1) = 3, H(2) = 3, H(3) = 1, and
H(t) = 0 for every t ≥ 4. Indeed, H is symmetric and reg(I) = 4. The function
H also is the Hilbert function of the revlex ideal J = (x21 , x1 x2 , x22 , x1 x23 , x2 x23 , x43 ).
We have gin(J) = J because J is strongly stable, and hence Borel-fixed. Thus, by
Theorem 1.9 the ideal J is the generic initial ideal of any ideal generated by 3 generic
forms of degree 2 in K[x1 , . . . , x3 ], over a field K of characteristic 0.
(b) The Hilbert function H of the ideal generated by 4 generic forms of degree 2 in
K[x1 , . . . , x4 ] assumes the values H(0) = 1, H(1) = 4, H(2) = 6, H(3) = 4, H(4) = 1,
and H(t) = 0 for every t ≥ 5. Indeed, H is symmetric and reg(I) = 5. The function H
also is the Hilbert function of the revlex ideal J = (x21 , x1 x2 , x22 , x1 x3 , x2 x23 , x33 , x2 x3 x4 ,
x23 x4 , x1 x34 , x2 x34 , x3 x34 , x54 ). As before, by Theorem 1.9 the ideal J is the generic initial

5

ideal of any ideal generated by 4 generic forms of degree 2 in K[x1 , . . . , x4 ], over a
field K of characteristic 0.
The following very classical result connects the Hilbert function of a K-algebra with
the Hilbert function of a general hypersurface section (for example, see [12, Lecture 13]).
Lemma 2.3. If M ⊂ R is a homogeneous ideal and F ∈ R is a form of degree d that is
not a zero-divisor in R/M, then HR/M (t) − HR/M (t − d) = HR/(I,F ) (t), for every t.
Proof. It is enough
 apply the

 of a Hilbert function on the short exact
property
 additive
 to
·F
R
R
R

−→ M −→ (M,F ) −→ 0.
sequence 0 −→ M
t−d

t

t

Proposition 2.4. Let H the Hilbert function of the ideal I ⊂ R generated by n generic
forms of degrees d1 ≤ · · · ≤ dn−1 ≤ dn and H ′ the Hilbert function of the ideal I ′ ⊂
K[x1 , . . . , xn−1 ] generated by n − 1 generic forms of degrees d1 ≤ · · · ≤ dn−1 . For every t
(2.1)

H(t) =

t
X
j=0

H ′ (j) −

t−d
Xn

H ′ (j).

j=0

P
Proof. The Hilbert function of J ′ := gin(I ′ )R is tj=0 H ′(j), for every t. We can also
P
observe that H(t) ≤ tj=0 H ′ (j), for every t ≥ 0, because I contains the ideal I¯ generated
by the given first n − 1 generic forms of I and I¯ has the same Hilbert function as J ′ . By
applying Lemma 2.3 to M = I¯ and I = (M, F ), we obtain formula (2.1).

Notation 2.5. Let d1 ≤ · · · ≤ dn be n positive integers. For every 1 ≤ i ≤ n, we will
need the following notation:
P
• mi := ( ij=1 dj ) − i;
o
n
mi
• ū1 := 0 and ūi := min ⌊ 2 ⌋, mi−1 .
The following result is a weaker version of [21, Theorem 1 and Corollary 2], where the
behavior of the Hilbert function H of a complete intersection is precisely described. Here,
we only recall the conditions we need in order to prove our main result.
Theorem 2.6. The Hilbert function H of an ideal I ⊂ R generated by n generic forms
of degrees d1 ≤ · · · ≤ dn is strictly increasing in the range [0, ūn ] and is decreasing in the
range [ūn , reg(I)].
Proof. We can refer to [21, Theorem 1 and Corollary 2], because n generic forms in R
generate a complete intersection.

Corollary 2.7. In the same setting of Proposition 2.4, we have:
(i) H(t + 1) + H ′ (t) − H ′ (t + 1) + H ′ (t − dn + 1) − H ′ (t − dn ) =
H(t) + H ′ (t) − H ′ (t − dn ), for every t;
(ii) if dn ≥ ūn , then H ′(t + 1 − dn ) − H ′ (t + 1) ≥ 0, for every t ≥ dn ;
(iii) if dn < ūn , then H ′ (t + 1) − H ′(t + 1 − dn ) > 0, for every dn ≤ t < ūn .
Proof. Item (i) is an immediate consequence of Proposition 2.4. Items (ii) and (iii) follow
from item (i) and Theorem 2.6.

Example 2.8. If n = 4 and d1 = 4, d2 = 5, d3 = 7, d4 = 8, then m1 = 3, m2 = 7, m3 = 13,
m4 = 20, ū2 = 3, ū3 = 6, ū4 = 10 and the Hilbert functions of Proposition 2.4 are:

6

CRISTINA BERTONE AND FRANCESCA CIOFFI

t
H(t)
H ′ (t)
t
Σj=0 H ′ (j)

0
1
1
1

1 2 3 4 5 6 7
8
9 10 11 12 13 14 15
4 10 20 34 51 70 89 105 116 120 116 105 89 70 . . .
3 6 10 14 17 19 19 17 14 10
6
3
1
0 ...
4 10 20 34 51 70 89 106 130 140 146 149 150 150 . . .

3. Main result
Let d1 ≤ · · · ≤ dn−1 ≤ dn be n positive integers. In this section, we continue to denote
by H the Hilbert function of the ideal I generated by n generic forms in R of degrees
d1 ≤ · · · ≤ dn−1 ≤ dn and by H ′ the Hilbert function of the ideal I ′ generated by n − 1
generic forms in K[x1 , . . . , xn−1 ] of degrees d1 ≤ · · · ≤ dn−1 .
We will prove that under the assumption (⋆), i.e. di ≥ ūi−1 + 1 for every i ≥ 4, there
exists the almost revlex ideal J with Hilbert function H and the terms of degree t outside
J are divisible by xn , for every t ≥ ūn + 1. We will repeatedly use Remark 1.7.
Proposition 3.1. (Base Case) If n = 2, there exists the revlex ideal in K[x1 , x2 ] with
Hilbert function H. In particular, αJ [2] = d1 = ū2 + 1.
Proof. It is enough to recall that the following revlex ideal in K[x1 , x2 ]
(xd11 , xd11 −1 xd22 −d1 +1 , xd11 −2 xd22 −d1 +3 , . . . , xd11 −k xd22 −d1 +2k−1 , . . . , x1 xd21 +d2 −3 , xd21 +d2 −1 )
has the same Hilbert function of the ideal generated by two generic forms of degrees
d1 ≤ d2 (see [1, Corollary 2.2] and [18, Proposition 4.2]).

Lemma 3.2. Let 1 < d1 ≤ · · · ≤ dn−1 ≤ dn be n ≥ 3 positive integers. Then:
(i) d3 ≥ d2 ≥ ū2 + 1.
(ii) If ūn ≥ t ≥ dn , then ūn−1 > t − dn .
(iii) If ūn ≤ ūn−1 then d1 = dn .
Proof. For item (i), it is enough to observe that ū2 ≤ d2 − 1 by the definition.
For item (ii), the hypotheses are ⌊ m2n ⌋ ≥ t ≥ dn and mn−1 ≥ t ≥ dn . Then, ⌊ mn−1
⌋=
2
d1 +···+dn−1 −n+1
mn
⌊
⌋ > ⌊ 2 ⌋ − dn ≥ t − dn and mn−2 = d1 + · · · + dn−2 − n + 2 > mn−1 − dn ≥
2
t − dn .
For item (iii), on the contrary assume d1 < dn . We have four possible cases.
If ūn = ⌊ m2n ⌋ ≤ mn−1 and ūn−1 +1 = ⌊ mn−1
⌋+1, then ūn−1 +1 = ⌊ d1 +···+d2n−1 −n+1 ⌋+1 ≤
2
⌊ m2n ⌋, because 1 − dn ≤ −2 being 1 < d1 < dn .
⌋ + 1, then ūn−1 + 1 ≤
If ūn = ⌊ m2n ⌋ ≤ mn−1 and ūn−1 + 1 = mn−2 + 1 ≤ ⌊ mn−1
2
mn
⌋
+
1
≤
⌊
⌋,
as
before.
⌊ mn−1
2
2
If ūn = mn−1 ≤ ⌊ m2n ⌋ and ūn−1 + 1 = mn−2 + 1 ≤ ⌊ mn−1
⌋ + 1, then mn−2 + 1 =
2
d1 + · · · + dn−2 − n + 2 + 1 ≤ mn−1 , because 2 − dn−1 ≤ 0.
⌋ + 1 < mn−2 + 1, we have ūn ≤ ūn−1 only
If ūn = mn−1 < ⌊ m2n ⌋ and ūn−1 + 1 = ⌊ mn−1
2
if d1 + · · · + dn ≤ n − 1, that is impossible.

Example 3.3. In order to have an example in which the hypothesis of the statement of
Lemma 3.2(iii) holds, we can consider n = 3, and then ū3 = 1 = ū2 and 2 = d1 = d2 = d3 .
Proposition 3.4. (Core of the Inductive Step) Let ūn ≥ t ≥ dn ≥ ūn−1 + 1 and Je =
et
Je≤t ⊂ R be an almost revlex ideal with HR/Je(h) = H(h), for every h ≤ t, and N (J)
consisting of
H(t − 1) terms with minimal variable xn ,

7

H ′(t) − H ′ (t − dn ) terms with minimal variable xn−1 .
Then, we can construct an almost revlex ideal J = J≤t+1 so that HR/J (h) = H(h) for
every h ≤ t + 1 and
(1) if ūn > t, then N (J)t+1 consists of
H(t) terms with minimal variable xn ,
H ′ (t + 1) − H ′ (t + 1 − dn ) terms with minimal variable xn−1 ;
(2) if ūn = t, then N (J)ūn +1 consists of terms with minimal variable xn .
e t ) consists of
Proof. In both cases the first expansion E(N (J)
′
′
H(t) = H(t − 1) + H (t) − H (t − dn ) terms with minimal variable xn ,
H ′(t) − H ′ (t − dn ) terms with minimal variable xn−1 ,
which are N := H(t + 1) + H ′ (t) − H ′ (t + 1) + H ′ (t + 1 − dn ) − H ′ (t − dn ) terms of degree
t + 1, by Corollary 2.7(i).
If t < ūn , then N ≥ H(t + 1), because H ′ (t) − H ′ (t + 1) ≥ 0 by Theorem 2.6, being
t ≥ dn ≥ ūn−1 +1, and H ′ (t+1−dn )−H ′ (t−dn ) > 0 by Theorem 2.6, being t−dn +1 ≤ ūn−1
e t ) exactly s := N − H(t + 1)
thanks to Lemma 3.2(ii). Hence, we can remove from E(N (J)
terms that by construction we can choose to be the highest possible τ1 , . . . , τs divisible by
xn−1 because N −H(t+1) = H ′(t)−H ′ (t+1)+H ′(t+1−dn )−H ′(t−dn ) ≤ H ′ (t)−H ′ (t−dn )
by Corollary 2.7(iii). Thus, we define J so that J≤t = Je≤t , Jt+1 := hJet+1 ∪ {τ1 , . . . , τs }i,
hence J is almost revlex and N (J)t+1 consists of
H(t) terms with minimal variable xn .
H ′(t + 1) − H ′ (t + 1 − dn ) terms with minimal variable xn−1 .
If t = ūn , we now show that the number H ′(ūn ) − H ′ (ūn − dn ) of terms with minimal
e ūn ) is lower than or equal to the number s of terms of degree
variable xn−1 in E(N (J)
e ūn ). By Corollary 2.7(i)
ūn + 1 that we need to remove from the first expansion E(N (J)
we have
H(ūn + 1) + H ′(ūn ) − H ′(ūn + 1) + H ′ (ūn + 1 − dn ) − H ′ (ūn − dn ) =
= H(ūn ) + H ′ (ūn ) − H ′ (ūn − dn )
and, being H(ūn ) ≥ H(ūn + 1) due to Theorem 2.6, we obtain the claim. Denoting by
e ūn ), we define J so that J≤ūn = Je≤ūn , Jūn +1 :=
τ1 , . . . , τs the greatest terms in E(N (J)
hJeūn +1 ∪ {τ1 , . . . , τs }i, hence J is almost revlex and every term in N (J)ūn +1 has minimal
variable xn .

From now, we denote by J [i] the generic initial ideal of the ideal generated by i generic
forms of degrees d1 ≤ · · · ≤ di in K[x1 , . . . , xi ], for every 1 ≤ i ≤ n.
Proposition 3.5. (Ending of the Inductive Step) Let t > ūn and Je = Je≤t ⊂ R be
e t consisting of
an almost revlex ideal with HR/Je(h) = H(h), for every h ≤ t, and N (J)
terms with minimal variable xn . Then, we can construct the almost revlex ideal J so that
HR/J (v) = H(v) and, for every v ≥ t, every term in N (J)v is divisible by xn .
e t consists of H(t) terms with minimal variable xn . Then,
Proof. By the hypothesis, N (J)
e t ) exactly contains H(t) terms of degree v := t+1 with minimal
the first expansion E(N (J)
variable xn , by Remark 1.7. Being v > ūn , we have H(v − 1) ≥ H(v), by Theorem 2.6.
e t ) and define
Letting s := H(v−1)−H(v), we take the greatest s terms τ1 , . . . , τs in E(N (J)
J so that J≤t = Je≤t , Jv := hJev ∪ {τ1 , . . . , τs }i, hence J is almost revlex and N (J)v consists

8

CRISTINA BERTONE AND FRANCESCA CIOFFI

of terms with minimal variable xn . We repeat this construction until v = reg(J [n] ), so
that H(v) = 0.

Lemma 3.6. Assume 1 < d = d1 = d2 = · · · = dn and n ≥ 3.
(i) If d ≥ ūi−1 + 1 for every i ≥ 4, then either n = 3 or n = 4 and d = 2.
(ii) If ūi ≥ d ≥ ūi−1 + 1 for every i ≥ 3, then n = 3 and d ≥ 3.
(iii) If n = 3 and ū3 ≤ ū2 , then d = 2.
Proof. For item (i), from Lemma 3.2(i) we have d3 = d ≥ ū2 + 1 = d and, if d4 =
⌋ + 1 = ⌊ 3d−1
⌋, then d = 2. Moreover, we have 2 = d5 < ū4 + 1.
d ≥ ū3 + 1 = ⌊ 3d−3
2
2
⌋ ≥ d only if d ≥ 3. For item (iii), we have
For item (ii), we observe that ū3 = ⌊ 3d−3
2
ū3 + 1 ≤ ū2 + 1 = d. If m2 + 1 = ū3 + 1 ≤ d, then d2 ≤ 1, that is impossible in the given
setting. If ⌊ m23 ⌋ + 1 = ū3 + 1 ≤ d, then d ≤ 2.

Proposition 3.7. (Inductive Step) Let n ≥ 3 and ūn ≥ dn ≥ ūn−1 + 1. If there is the
¯t
almost revlex ideal J¯ ⊂ K[x1 , . . . , xn−1 ] with Hilbert function H ′ and all terms in N (J)
divisible by xn−1 , for every t ≥ ūn−1 + 1, then there is the almost revlex ideal J ⊂ R with
Hilbert function H and all terms in N (J)t divisible by xn , for every t ≥ ūn + 1.
Proof. Excluding the case d1 = · · · = dn = 1, which is obvious, we have 1 < d1 ≤ · · · ≤ dn .
Being n ≥ 3, by Lemma 3.6(ii), we have either dn > d1 = αJ > 1 or n = 3 and d3 ≥ 3.
Recall that H ′(t) is the Hilbert function of the ideal I ′ ⊂ K[x1 , . . . , xn−1 ] generated by
n − 1 generic forms in K[x1 , . . . , xn−1 ]. By the hypothesis, there exists the almost revlex
¯ t divisible by
ideal J¯ ⊂ K[x1 , . . . , xn−1 ] with Hilbert function H ′ (t) and all terms in N (J)
¯ ⊂ R.
xn−1 , for every t ≥ ūn−1 + 1. Consider the ideal Je := JR
Recall that H(t) denotes the Hilbert function of an ideal generated by n generic forms
e we now construct the almost revlex ideal
in R of degrees d1 ≤ · · · ≤ dn . Starting from J,
J with Hilbert function H(t) such that all terms in N (J)t are divisible by xn , for every
t ≥ ūn + 1. We transform Je by removing suitable terms from the sous-escalier of Je at
every degree t ≥ dn , in order to decrease its Hilbert function, which is greater than H(t)
by Proposition 2.4.
e t consists of H ′(t) terms
From the hypothesis, for every t ≥ dn ≥ ūn−1 + 1 > 1, N (J)
Pt−1 ′
with minimal variable xn−1 and j=0 H (j) terms with minimal variable xn .
We begin
by setting Jt = Jet , for every t < dn , and observing that
Pdnour construction
H(dn ) = j=0 H ′ (j) − H ′ (0). Hence, at degree t = dn we need to remove only 1 = H ′ (0)
e dn . From the hypothesis we have dn ≤ ūn ≤ mn−1 = reg(J [n−1] ) − 1.
term from N (J)
Then, we can choose the highest possible term τ in N (J ′)dn divisible by xn−1 , because
H ′ (dn ) 6= 0. So, we define Jdn := hJedn ∪ {τ }i and obtain N (J)dn consisting of
H(dn − 1) terms with minimal variable xn ,
H ′(dn ) − H ′ (0) terms with minimal variable xn−1 .
Now, we can assume to have J≤t satisfying the hypotheses of Proposition 3.4.
If t < ūn , then we are in the case (1) of Proposition 3.4, and if t + 1 < ūn then we can
apply again Proposition 3.4.
If t = ūn , then we are in the case (2) of Proposition 3.4 and, for every t ≥ ūn + 1,
we obtain J≤t with N (J)t only consisting of terms with minimal variable xn , applying

Proposition 3.5.

9

Theorem 3.8. (Main Result) Assume di ≥ ūi−1 + 1, for every i ≥ 4. Then, there exists
the almost revlex ideal J ⊂ R with Hilbert function H(t) and all terms in N (J)t divisible
by xn , for every t ≥ ūn + 1.
Proof. By induction on n, if n = 2 the statement holds by Proposition 3.1. Assume n ≥ 3.
By Lemma 3.6, we have either dn > d1 or n = 3 or n = 4 and 2 = d1 = d2 = d3 = d4 . For
this last case, we refer to Example 2.2 where ū4 + 1 = d4 = 2. So, we can assume dn > d1
or n = 3. By the hypothesis, there exists the almost revlex ideal J¯ ⊂ K[x1 , . . . , xn−1 ] with
¯ t divisible by xn−1 , for every t ≥ ūn−1 + 1.
Hilbert function H ′ (t) and all terms in N (J)
¯ ⊂ R and let Jt := Jet , for every t < dn . We distinguish four
Consider the ideal Je := JR
cases.
If ūn ≥ dn ≥ ūn−1 + 1, then we argue as in Proposition 3.7.
If dn ≥ ūn + 1 and ūn + 1 ≤ ūn−1 + 1, then dn = d1 by Lemma 3.2, and then n = 3, 4
and d1 = 2 by Lemma 3.6(i) and (iii). In this case we have ū3 = ū2 = 1 and ū4 = 2, so
we have only the case n = 3 and d1 = 2 for which we refer to Example 2.2.
e dn = N (Je≤dn −1 )dn only
If dn ≥ ūn + 1 > ūn−1 + 1 and dn ≥ reg(J [n−1] ), then N (J)
consists of termsP
with minimal variable xn and we can apply Proposition 3.5. Moreover,
we have H(t) = tj=0 H ′ (t), for every t < dn , and then reg(J [n−1] ) = ūn + 1 = dn .
If dn ≥ ūn + 1 > ūn−1 + 1 and dn < reg(J [n−1] ) then we can begin our construction
Pn
as in the proof of Proposition 3.7, as follows. We have H(dn ) = dj=0
H ′ (j) − H ′ (0) so
e dn . Assuming
that at degree t = dn we need to remove only 1 = H ′ (0) term from N (J)
e dn divisible
dn ≤ reg(J [n−1] ) − 1, then we can choose the highest possible term τ in N (J)
′
by xn−1 , because H (dn ) 6= 0. So, we define Jdn := hJedn ∪ {τ }i and obtain J almost
degrevlex with Hilbert function H(t) for every t ≤ dn and N (J)dn consisting of
H(dn − 1) terms with minimal variable xn ,
H ′(dn ) − H ′ (0) terms with minimal variable xn−1 .
By Corollary 2.7(i) we have:
H(dn ) + H ′ (dn − 1) − H ′ (dn ) + H ′(0) − H ′ (−1) = H(dn − 1) + H ′ (dn − 1) − H ′ (−1)
hence H(dn ) − H ′ (dn ) + H ′ (0) = H(dn − 1) and H ′ (dn ) − H ′(0) ≤ 0 because H(dn − 1) ≥
H(dn ) by Theorem 2.6. In particular, we obtain H ′ (dn ) − H ′ (0) = 0 because H ′ (dn ) > 0
and H ′ (0) = 1. Thus, we can repeatedly apply Proposition 3.5 obtaining that all the terms
of degree t outside J have minimal variable xn , for every t ≥ dn = reg(J [n−1]P
)−1. Further,
dn = reg(J [n−1] ) − 1 and H(dn ) = H(dn − 1). Moreover, we have H(t) = tj=0 H ′ (t), for
every t < dn = reg(J [n−1] ) − 1, and then reg(J [n−1] − 1) = ūn + 1 = dn by the property of

ūn described in Theorem 2.6.
Corollary 3.9. Let K be a field of characteristic 0. If d1 ≤ · · · ≤ dn are n positive
integers so that
i−2
nj Pi−1 dj − i + 1 k X
o
j=1
di ≥ ūi−1 + 1 = min
,
dj − i + 2 + 1
2
j=1
for every i ≥ 4, then the generic initial ideal gin(I) of the ideal I generated by n generic
forms of degrees d1 , . . . , dn in R is almost revlex and all terms of degree t outside gin(I)
are divisible by xn , for every t ≥ ūn + 1.
Proof. The statement is a consequence of Theorems 1.9 and 3.8.



10

CRISTINA BERTONE AND FRANCESCA CIOFFI

Remark 3.10. We highlight that, given a degree t, the condition that the terms in N (J)t
are divisible by xn is weaker than the condition that Jt ∩T is a revlex segment. Indeed, we
can construct the almost revlex ideal J with the same Hilbert function of a complete intersection generated by forms of degrees d1 = d2 = d3 = 4, d4 = 5, d5 = 6 in K[x1 , . . . , x5 ],
although Theorem 3.8 does not apply to this case. We can see that N (J)10 only contains
terms divisible by x5 , but J10 ∩ T is not a revlex segment. Instead, in next Example
3.11, we construct an almost revlex ideal which becomes a revlex segment at the minimal
degree at which its sous-escalier only contains terms divisible by the last variable.
Example 3.11. The Hilbert function H of a complete intersection generated by 3 forms of
degrees d1 = 3, d2 = 4, d3 = 4 in K[x1 , x2 , x3 ] is:
t 0 1 2 3 4 5 6 7 8
H(t) 1 3 6 9 10 9 6 3 1

We have ū2 = 2 and ū3 = 4 and, as expected, there exists the following almost revlex
ideal J ⊂ K[x1 , x2 , x3 ] with Hilbert function H:
J = (x31 , x22 x21 , x32 x1 , x52 , x3 x42 , x33 x2 x21 , x33 x22 x1 , x33 x32 , x53 x21 , x53 x2 x1 , x53 x22 , x73 x1 , x73 x2 , x93 ).
We can observe that the term x42 belongs to N (J)4 . Hence, there is a term of degree ū3 = 4
outside J which is not divisible by the last variable x3 . Thus, the result of Theorem 3.8
concerning the divisibility of the terms in N (J) by the last variable is sharp.
In order to give a direct experience of computation, let us show how we obtain J
from the almost revlex ideal J ′ = (x31 , x22 x21 , x42 x1 , x62 )K[x1 , x2 , x3 ], where note that BJ ′
generates in K[x1 , x2 ] the almost revlex ideal having the same Hilbert function as the
complete intersection generated by two forms of degrees d1 = 3, d2 = 4. We have
t
H(t)
H ′ (t)
t
Σj=0 H ′ (j)

0
1
1
1

1
3
2
3

2
6
3
6

3 4 5 6 7 8 9 10
9 10 9 6 3 1 0 . . .
3 2 1 0 0 0 0 ...
9 11 12 12 12 12 12 . . .

′
and d3 = 4 ≥ ū2 + 1 = 3. We let J≤3 = J≤3
and observe that the first expansion E(N (J)3 )
contains 9 terms with minimal variable x3 and 3 with minimal variable x2 :

x43 , x33 x2 , x33 x1 , x23 x22 , x23 x2 x1 , x23 x21 , x3 x32 , x3 x22 x1 , x3 x2 x21 , x42 , x32 x1 , x22 x21 .
So, we need to remove the two greatest terms x32 x1 , x22 x21 from this expansion obtaining
J≤4 = J≤3 + (x22 x21 , x32 x1 ). The first expansion E(N (J)4) contains 10 terms with minimal
variable x3 and 1 with minimal variable x2 :
x53 , x43 x2 , x43 x1 , x33 x22 , x33 x2 x1 , x34 x21 , x23 x32 , x23 x22 x1 , x23 x2 x21 , x3 x42 , x52 .
So, we need to remove the 2 greatest terms x3 x42 , x52 from this expansion obtaining J≤5 =
J≤4 + (x3 x42 , x52 ). The first expansion E(N (J)5) contains 9 terms with minimal variable
x3 :
x63 , x53 x2 , x53 x1 , x43 x22 , x43 x2 x1 , x43 x21 , x33 x32 , x33 x22 x1 , x33 x2 x21 .
So, we need to remove the greatest 3 terms x33 x32 , x33 x22 x1 , x33 x2 x21 from this expansion
obtaining J≤6 = J≤5 + (x33 x2 x21 , x33 x22 x1 , x33 x32 ). The first expansion E(N (J)6) contains 6
terms with minimal variable x3 :
x73 , x63 x2 , x63 x1 , x53 x22 , x53 x2 x1 , x53 x21 .

11

So, we need to remove the greatest 3 terms x53 x22 , x53 x2 x1 , x53 x21 from this expansion obtaining J≤7 = J≤6 + (x53 x22 , x53 x2 x1 , x53 x21 ). The first expansion E(N (J)7) contains 3 terms with
minimal variable x3 :
x83 , x73 x2 , x73 x1 .
So, we need to remove the 2 greatest terms x73 x2 , x73 x1 from this expansion obtaining
J≤8 = J≤7 + (x73 x2 , x73 x1 ). The first expansion E(N (J)8) contains 1 term with minimal
variable x3 . So we remove this last term x93 from this expansion obtaining J = J≤9 .
Example 3.12. Theorem 3.8 and, hence, Corollary 3.9 can be applied to the cases that
have been considered in Examples 2.8 and 3.11 and also in the following cases.
If n = 4, d1 = 3, d2 = 4, d3 = 4, d4 = 14, then we have ū2 = 2, ū3 = 4, ū4 = 8 and the
Hilbert functions of Proposition 2.4 are:
t
H(t)
H ′ (t)
Σtj=0 H ′ (j)

0
1
1
1

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
4 10 19 29 38 44 47 48 48 48 48 48 48 47 44
3 6 9 10 9 6 3 1 0 0 0 0 0 0 . . .
4 10 19 29 38 44 47 48 48 48 48 48 48 48 . . .

In this case, we have d4 ≥ ū4 + 1 > ū3 + 1, d4 > reg(J [n−1]) = ū4 + 1 = 9.
If we take d4 = 8 instead of 14, then we have ū4 + 1 = reg(J [n−1 ]) − 1 = d4 = 8 and
t 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
H(t) 1 4 10 19 29 38 44 47 47 47 44 38 29 19 10 4 1

4. Conclusions
In this paper we prove that there exists the almost revlex ideal J ⊂ K[x1 , . . . , xn ] with
the same Hilbert function of an Artinian complete intersection generated by n forms of
degrees d1 ≤ · · · ≤ dn , if the degrees d1 , . . . , dn satisfy the condition
i−2
nj Pi−1 dj − i + 1 k X
o
j=1
di ≥ ūi−1 + 1 = min
,
dj − i + 2 + 1,
2
j=1
for every i ≥ 4. Moreover, we show that all terms of degree t outside J are divisible by the
last variable, for every t ≥ ūn + 1 (see Theorem 3.8). This further property of J has an
important role in our inductive and constructive proof. Thanks to a theorem of Cho and
Park [3, Theorem 2.11], our result can be applied in order to state that the Moreno-Socias
conjecture holds over a field of characteristic 0, in the case di ≥ ūi−1 + 1 for every i ≥ 4,
which is considered in this context for the first time (see Corollary 3.9).
Acknowledgment
The authors are members of “National Group for Algebraic and Geometric Structures,
and their Applications” (GNSAGA - INDAM).
References
[1] Edith Aguirre, Abdul Salam Jarrah, and Reinhard Laubenbacher, Generic ideals and Moreno-Socı́as
conjecture, Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2001, pp. 21–23.
[2] Juliane Capaverde and Shuhong Gao, Gröbner Bases of Generic Ideals, Available at
http://arxiv.org/abs/1711.05309, 2017, Preprint.

12

CRISTINA BERTONE AND FRANCESCA CIOFFI

[3] Young Hyun Cho and Jung Pil Park, Conditions for generic initial ideals to be almost reverse
lexicographic, J. Algebra 319 (2008), no. 7, 2761–2771.
[4] Mircea Cimpoea¸s, A note on the generic initial ideal for complete intersections, Bull. Math. Soc.
Sci. Math. Roumanie (N.S.) 50(98) (2007), no. 2, 119–130.
[5] Francesca Cioffi, Paolo Lella, Maria Grazia Marinari, and Margherita Roggero, Segments and Hilbert
schemes of points, Discrete Math. 311 (2011), no. 20, 2238–2252.
[6] E. D. Davis, A. V. Geramita, and F. Orecchia, Gorenstein algebras and the Cayley-Bacharach theorem, Proc. Amer. Math. Soc. 93 (1985), no. 4, 593–597.
[7] Todd Deery, Rev-lex segment ideals and minimal Betti numbers, The Curves Seminar at Queen’s,
Vol. X (Kingston, ON, 1995), Queen’s Papers in Pure and Appl. Math., vol. 102, Queen’s Univ.,
Kingston, ON, 1996, pp. 193–219.
[8] David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag,
New York, 1995, With a view toward algebraic geometry.
[9] Ralf Fröberg, An inequality for Hilbert series of graded algebras, Math. Scand. 56 (1985), no. 2,
117–144.
[10] Tadahito Harima, Sho Sakaki, and Akihito Wachi, Generic initial ideals of some monomial complete
intersections in four variables, Arch. Math. (Basel) 94 (2010), no. 2, 129–137. MR 2592759
[11] Tadahito Harima and Akihito Wachi, Generic initial ideals, graded Betti numbers, and k-Lefschetz
properties, Comm. Algebra 37 (2009), no. 11, 4012–4025.
[12] Joe Harris, Algebraic geometry, Graduate Texts in Mathematics, vol. 133, Springer-Verlag, New
York, 1992, A first course.
[13] Ernst Kunz, Introduction to commutative algebra and algebraic geometry, Birkhäuser Boston, Inc.,
Boston, MA, 1985, Translated from the German by Michael Ackerman, With a preface by David
Mumford.
[14] F. S. Macaulay, Some properties of enumeration in the theory of modular systems, Proc. London
Math. Soc. (1926), no. 26, 531–555.
[15] Maria Grazia Marinari and Luciana Ramella, Some properties of Borel ideals, J. Pure Appl. Algebra
139 (1999), no. 1-3, 183–200, Effective methods in algebraic geometry (Saint-Malo, 1998).
[16] Maria Grazia Marinari and Luciana Ramella, Borel ideals in three variables, Beiträge Algebra Geom.
47 (2006), no. 1, 195–209.
[17] J. Migliore and R. M. Miró-Roig, Ideals of general forms and the ubiquity of the weak Lefschetz
property, J. Pure Appl. Algebra 182 (2003), no. 1, 79–107.
[18] Guillermo Moreno-Socı́as, Degrevlex Gröbner bases of generic complete intersections, J. Pure Appl.
Algebra 180 (2003), no. 3, 263–283.
[19] Gleb Nenashev, A note on Fröberg’s conjecture for forms of equal degrees, C. R. Math. Acad. Sci.
Paris 355 (2017), no. 3, 272–276.
[20] Keith Pardue, Generic sequences of polynomials, J. Algebra 324 (2010), no. 4, 579–590.
[21] Les Reid, Leslie G. Roberts, and Moshe Roitman, On complete intersections and their Hilbert functions, Canad. Math. Bull. 34 (1991), no. 4, 525–535.
[22] Richard P. Stanley, Hilbert functions of graded algebras, Advances in Math. 28 (1978), no. 1, 57–83.
[23] Giuseppe Valla, Problems and results on Hilbert functions of graded algebras, Six lectures on commutative algebra (Bellaterra, 1996), Progr. Math., vol. 166, Birkhäuser, Basel, 1998, pp. 293–344.
Dipartimento di Matematica “G. Peano”, Università degli Studi di Torino, Italy
Dipartimento di Matematica e Applicazioni “R. Caccioppoli”, Università degli Studi di
Napoli Federico II, Italy

