FRÖBERG’S CONJECTURE AND THE INITIAL IDEAL
OF GENERIC SEQUENCES
VAN DUC TRUNG

Abstract

arXiv:1803.04997v1 [] 13 Mar 2018

Let K be an infinite field and let I = (f1 , · · · , fr ) be an ideal in the polynomial
ring R = K[x1 , · · · , xn ] generated by generic forms of degrees d1 , · · · , dr . In the case
r = n, following an effective method by Gao, Guan and Volny, we give a description
of the initial ideal of I with respect to the degree reverse lexicographic order. Thanks
to a theorem due to Pardue (2010), we apply our result to give a partial solution to
a longstanding conjecture stated by Fröberg (1985) on the Hilbert series of R/I.

1

Introduction
Let R = K[x1 , · · · , xn ] be the polynomial ring in n variables over an infinite field

K. A homogeneous ideal I in R is said to be of type (n; d1 , · · · , dr ) if it is generated by
r forms of degree di for i = 1, · · · , r. The Hilbert function of A = R/I is by definition
HFA (t) := dimK Rt /It for every t ≥ 0 and it reflects important information of the ideal
I. We are interested in the behavior of the Hilbert function of generic ideals of type
(n; d1 , · · · , dr ). We adopt the definition of generic ideals given by Fröberg in [8] because
it is more suitable for our approach. Assume that K is an extension of a base field F .
Definition 1.1. (1) A form of degree d in K[x1 , · · · , xn ] is called generic over F if it
is a linear combination of all monomials of degree d and all coefficients are algebraically
independent over F .
(2) A homogeneous ideal (f1 , · · · , fr ) is called generic if all fi are generic forms with all
the coefficients algebraically independent over F .
Other definitions in the literature appear in terms of the affine space whose points are
the coefficients of the r forms and we say that a property of such sequences is generic if it
holds in a nonempty Zariski open subset of the affine space, see for instance [16] or [17].
The property ought to hold for a randomly chosen sequence. The Hilbert function of a
generic ideal of type (n; d1 , · · · , dn ) is the Hilbert function of a regular sequence, hence
P
the generating Hilbert series HSA (z) := t≥0 HFA (t)z t is well known
HSA (z) =

Qn

− z di )
.
(1 − z)n

i=1 (1

1

In general if A is a graded standard K-algebra and f ∈ Rd is a generic form, it is
natural to guess that for every t ≥ 0, the multiplication map
f

At −
→ At+d
is of maximal rank (either injective or surjective), hence
HFA/f A (t) = max{0, HFA (t) − HFA (t − d)}.
In terms of the corresponding Hilbert series this can be rewritten as


HSA/f A (z) = (1 − z j )HSA (z) ,
P i
P
P i
where for a power series
ai z one has ⌈ ai z i ⌉ =
bi z , with bi = ai if aj > 0 for all

j ≤ i, and bi = 0 otherwise. Following the terminology of Pardue in [17], if this is the
case, we say that f is semi-regular. A sequence of homogeneous polynomials f1 , · · · , fr
is a semi-regular sequence on A if each fi is semi-regular on A/(f1 , · · · , fi−1 ). Clearly
regular sequences are semi-regular sequences. This approach motivated a longstanding
conjecture stated in 1985 by Fröberg.
Conjecture 1.2. (Fröberg’s Conjecture). Let I = (f1 , · · · , fr ) be a generic homogeneous
ideal of type (n; d1 , · · · , dr ) in R = K[x1 , · · · , xn ]. Then the Hilbert series of A = R/I is
given by
HSA (z) =

Qr


− z di )
.
(1 − z)n

i=1 (1

This problem is of central interest in commutative algebra in the last decades and a
great deal was done (see for instance Anick [2], Fröberg [8], Fröberg-Hollman [9], FröbergLöfwall [10], Fröberg-Lundqvist [11], Moreno-Socı́as [16], Pardue [17], Stanley [19], Valla
[20]). A large number of validations through computational methods push to a positive
answer. Fröberg’s Conjecture is known to be true for r ≤ n (complete intersection);
n = 2 [8]; n = 3 [2]; r = n + 1 (almost complete intersection) with charK = 0 [8];
d1 = · · · = dr = 2 and n ≤ 11, d1 = · · · dr = 3 and n ≤ 8 [9].
Denote by inτ (I) the initial ideal of I with respect to a term order τ on R. Because
the Hilbert series of R/I and of R/ inτ (I) coincide for every τ , a rich literature has been
developed with the aim to characterize the initial ideal of generic ideals with respect to
suitable term orders. In the case r = n, Moreno-Socı́as stated a conjecture describing the
initial ideal of generic ideals with respect to the degree reverse lexicographic order. From
now on, the initial ideal of I will be always with respect to the degree reverse lexicographic
order and it will be denoted simply by in(I). For general facts and properties on the degree
reverse lexicographic order see for instance [7, Proposition 15.2]. It is natural to guess
generic complete intersections share special initial ideals. We present here Moreno-Socı́as’
Conjecture.
2

Conjecture 1.3. (See Moreno-Socı́as [15].) Let I = (f1 , · · · , fn ) be a generic homogeneous ideal of type (n; d1 , · · · , dn ) in K[x1 , · · · , xn ]. Then in(I) is almost reverse lexicographic, i.e, if xµ is a minimal generator of in(I) then every monomial of the same degree
and greater than xµ must be in in(I) as well.
Moreno-Socı́as’ Conjecture was proven in the case n = 2 by Aguire et al. [1] and
Moreno-Socı́as [16], n = 3 by Cimpoeas [6], n = 4 by Harima and Wachi [14], and
P
sequences d1 , · · · , dn satisfying di > i−1
j=1 dj − i + 1 for every i ≥ 4 by Cho and Park
assuming charK = 0 [5]. Without restriction on the characteristic of K, by using an

incremental method from [12], Capaverde and Gao improved the result of Cho and Park.
They gave a complete description of the initial ideal of I in the case d1 , · · · , dn satisfies
P
di ≥ i−1
j=1 dj − i − 1 for every i. In particular they proved Moreno-Socı́as’ Conjecture
under the above conditions, see [4, Theorem 3.19]. Moreno-Socı́as’ Conjecture implies

Fröberg’s Conjecture and Pardue stated a conjecture which is equivalent to Fröberg’s
Conjecture ([17, Theorem 2]) by a slight modification of the requirement on the initial
ideal.
For every monomial xα ∈ K[x1 , · · · , xn ], denote by max(xα ) the largest index i such
that xi divides xα . It is easy to see that Moreno-Socı́as’ Conjecture implies the following
conjecture stated by Pardue.
Conjecture 1.4. [17, Conjecture E] Let I = (f1 , · · · , fn ) be a generic homogeneous
ideal of type (n; d1 , · · · , dn ) in K[x1 , · · · , xn ]. If xµ is a minimal generator of in(I) and
max(xµ ) = m then every monomial of the same degree in the variables x1 , · · · , xm−1 must
be in in(I) as well.
Our aim is to study Fröberg’s Conjecture directly through the above conjecture instead
of Moreno-Socı́as’ Conjecture.
Definition 1.5. Let I = (f1 , · · · , fn ) be a generic homogeneous ideal in K[x1 , · · · , xn ].
Suppose xα is a generator of in(I) and max(xα ) = m. We say xα satisfies property P if
every monomial of the same degree in the variables x1 , · · · , xm−1 is also in in(I).
Thus, in order to claim Conjecture 1.4 is true for I, we need to prove that every
minimal generator of in(I) satisfies property P . By using the incremental method from
[4] and [12], in Proposition 3.3, we give an explicit description of the initial ideal of generic
ideals with respect to the degree reverse lexicographic order. This is a crucial point for
proving Theorem 3.1 that gives an inductive method for proving Conjecture 1.4.
In Theorem 4.3, we prove that Conjecture 1.4 holds true for every generic ideal if
n ≤ 3. If n ≥ 4, in Theorem 4.4, we prove Conjecture 1.4 for generic ideals of type
3

(n; d1 , · · · , dn ) where d1 ≤ · · · ≤ dn and



d1 + · · · + di−1 − i + 1
di ≥ min d1 + · · · + di−2 − i + 2,
2

(1)

for every 4 ≤ i ≤ n. Here ⌊a⌋ denotes the greatest integer less or equal to a.
As application, in Theorem 4.6, we prove that Fröberg’s Conjecture holds true for
generic ideals of type (n; d1 , · · · , dr ) with r ≤ 3 or r ≥ 4 and d1 ≤ · · · ≤ dr verifying
condition (1). Our hope is that our results will be successfully applied to give new insights
in proving Fröberg’s Conjecture. All the computations in this paper have been performed
by using Macaulay2 [13].
We would like to point out that, at the end of our paper, we realized that independently
Bertone and Cioffi in [3, Corollary 3.9] proved Moreno-Socı́as’ Conjecture with a condition
similar to (1) under the assumption charK = 0. The methods and the aim are lightly
different even if strictly related.

2

Preliminaries
Let R′ = K[x1 , · · · , xn , z] be the polynomial ring in n + 1 variables and fix the

order on the variables x1 > · · · > xn > z. Let (I, g) = (f1 , · · · , fn , g) be a generic
homogeneous ideal of type (n + 1; d1, · · · , dn , d) in R′ . Note that, I = (f1 , · · · , fn ) is
a generic homogeneous ideal of type (n + 1; d1 , · · · , dn ) in R′ . Define π : R′ −→ R =
K[x1 , · · · , xn ] to be the ring homomorphism that takes z to zero, fixing the elements in
K and the variables x1 , · · · , xn . Let J = π(I) be the image of I. Then J is a generic
homogeneous ideal of type (n; d1 , · · · , dn ) in R. We recall that we consider always the
degree reverse lexicographic order.
Proposition 2.1. in(I) and in(J) have the same minimal generators.
Proof. From a property of the degree reverse lexicographic order in [7, Proposition 15.12],
we get π(in(I)) = in(J). On the other hand, since z is regular in R′ /I, by [7, Theorem
15.13] z is regular in R′ / in(I). Furthermore, by [7, Theorem 15.14] the minimal generators
of in(I) are not divisible by z. Thus, in(I) and in(J) have the same minimal generators.

Let B = B(J) be the set of monomials in R which are not in in(J) and we call them
the standard monomials with respect to J. We set
δ = d1 + · · · + dn − n,
δ ∗ = d1 + · · · + dn−1 − (n − 1),
4

 
δ
.
σ = min δ ,
2


∗

It is known that A = R/J is a complete intersection and the Hilbert series of A is a
P
symmetric polynomial of degree δ, say HSA (z) = δi=0 ai z i , with
0 < a0 < a1 < · · · < aσ = · · · = aδ−σ > · · · > aδ−1 > aδ > 0.

Notice that ai = |Bi | where Bi is the set of monomials of degree i in B (see for instance
[16, Proposition 2.2]).
The set of standard monomials with respect to a generic ideal of type (n; d1 , · · · , dr )
depends only on (n; d1 , · · · , dr ). So, we denote it by B(n; d1 , · · · , dr ). We will describe
more clearly the set of standard monomials in the case r = n, that is B = B(n; d1 , · · · , dn ).
For each 1 ≤ i ≤ σ, define
e 0 = {xµ ∈ Bi | max(xµ ) < n}.
B
i

Proposition 2.2. The structure of B = B(n; d1 , · · · , dn ) is as follows,
e 0 ∪ xn B
e 0 ∪ · · · ∪ xi−1 B
e 0 ∪ {xi }
(1) Bi = B
i
i−1
n
1
n
ei0 ∪ xn Bi−1 , for all 1 ≤ i ≤ σ.
=B

e 0 ∪ xi+1 B
e 0 ∪ · · · ∪ xσ+i−1 B
e 0 ∪ {xσ+i }
(2) Bσ+i = xin B
σ
n
σ−1
n
1
n
= xin Bσ , for all 0 ≤ i ≤ δ − 2σ.

e 0 ∪ xδ−2i+1 B
e 0 ∪ · · · ∪ xδ−i−1 B
e 0 ∪ {xδ−i }
(3) Bδ−i = xnδ−2i B
i
n
i−1
n
1
n
= xnδ−2i Bi , for all 0 ≤ i ≤ σ.

Proof. (1) For 1 ≤ i ≤ σ, we have ai−1 < ai . Let S denote the subset of Bi consisting of
the ai−1 smallest monomials in Bi . By [4, Lemma 3.5] we get S = xn Bi−1 . It is clear that
e 0 ⊆ Bi \ S. Conversely, for every monomial xα ∈ Bi \ S. Assume that xα ∈
e0 . Then xn
B
/B
i

i

divides xα , so that xα /xn ∈ Bi−1 . This implies a contradiction since xα = xn (xα /xn ) ∈ S.
e 0 = Bi \ S and (1) holds.
Thus, B
i

(2) For 0 ≤ i ≤ δ − 2σ, we have aσ+i = aσ . By [4, Lemma 3.5] we get Bσ+i = xin Bσ .

δ
(3) Since σ ≤ , by [4, Lemma 3.4] we get Bδ−i = xnδ−2i Bi for 0 ≤ i ≤ σ.
2
e0, · · · , B
e0.
Remark 2.3. (1) B = B(n; d1 , · · · , dn ) is determined by B
1

e 0 | = ai − ai−1 = a′ > 0, for all 1 ≤ i ≤ σ.
(2) |B
i
i

σ

In the following example, we show explicitly the structure of B(n; d1 , · · · , dn ) according

to Proposition 2.2.
5

Example 2.4. Let B = B(4; 2, 3, 3, 4) be the set of standard monomials with respect to a
e 0 |.
generic ideal of type (4; 2, 3, 3, 4). Then δ = 8; σ = 4. Denote by ai = |Bi | and a′ = |B
i

i

We have

B0 = {1}

⇒ a0 = 1.

e 0 ∪ {x4 } where B
e 0 = {x1 , x2 , x3 }
B1 = B
1
1

e 0 ∪ x4 B1 where B
e 0 = {x1 x2 , x2 , x1 x3 , x2 x3 , x2 }
B2 = B
2
2
2
3

e30 ∪ x4 B2 where B
e30 = {x1 x2 x3 , x22 x3 , x1 x23 , x2 x23 , x33 }
B3 = B
e 0 ∪ x4 B3 where B
e 0 = {x2 x3 , x4 }
B4 = B
4
4
3
3

⇒ a′1 = 3, a1 = 4.
⇒ a′2 = 5, a2 = 9.
⇒ a′3 = 5, a3 = 14.
⇒ a′4 = 2, a4 = 16.

B5 = x24 B3

⇒ a5 = a3 = 14.

B6 = x44 B2

⇒ a6 = a2 = 9.

B7 = x64 B1

⇒ a7 = a1 = 4.

B8 = x84 B0

⇒ a5 = a3 = 1.

In the next section, we will see how to construct B(n + 1, d1 , · · · , dn+1) starting from
B(n, d1 , · · · , dn ) by using the incremental method introduced in [12] and adapted to our
situation in [4].

3

Main results
Let (I, g) = (f1 , · · · , fn , g) be a generic homogeneous ideal of type (n+1; d1 , · · · , dn , d)

in R′ = K[x1 , · · · , xn , z]. Define CI to be the set of the coefficients of the polynomials
f1 , · · · , fn and F̄ = F (CI ) ⊂ K. Let G = {g1 , · · · , gt } be the reduced Gröbner basis of I
with respect to the degree reverse lexicographic order. Then g1 , · · · , gt are homogeneous
polynomials in F̄ [x1 , · · · , xn , z]. Reducing g modulo G we obtain a polynomial that is
a K-linear combination of all monomials of degree d in E with coefficients that are still
algebraically independent over F̄ . Hence, from now on we assume that g is reduced
modulo G and the coefficients of g are algebraically independent over F̄ .
In order to construct B(n + 1, d1 , · · · , dn+1) from B(n, d1 , · · · , dn ) we need to compare
in(I, g) and in(I). We recall here the incremental method to construct in(I, g) from in(I),
for more details see [4, Section 3]. Let E = B(n + 1, d1 , · · · , dn ) be the set of standard
monomials with respect to I and B = B(n; d1 , · · · , dn ) be the set of standard monomials
with respect to J = π(I). Denote by Ei the set of monomials of degree i in E for every
i ≥ 0. Note that, for 0 ≤ i ≤ δ, we have
Ei = Bi ∪ zBi−1 ∪ z 2 Bi−2 ∪ · · · ∪ z i−1 B1 ∪ z i B0 ,
and for i > δ, we have Ei = z i−δ Eδ .
6

Let 0 ≤ i ≤ δ, denote by Ei the column vector whose entries are the monomials
in Ei listed in decreasing order. For each monomial xα ∈ Ei , reducing the product
′
xα g ∈ Ri+d
modulo G we obtain a polynomial, say the reduced form of xα g, that is a

K-linear combination of monomials in Ei+d . Note that each coefficient of the reduced
form of xα g is a F̄ -linear combination of coefficients of polynomial g. Let Mi denote the
matrix such that
Ei .g ≡ Mi Ei+d (mod G),

(2)

where Ei+d denotes the column vector whose entries are the monomials in Ei+d listed
in decreasing order. By [4, Lemma 3.2] the rows of Mi are linearly independent. This
means that rank(Mi ) = |Ei | = ai + ai−1 + · · · + a0 . Furthermore, the monomials in Ei+d
corresponding to the |Ei | first linearly independent columns of Mi are the generators that
will be added to in(I) to form in(I, g). Note that some of the monomials we add might
be redundant. In this section, we will prove the following main result.
Theorem 3.1. Let (I, g) = (f1 , · · · , fn , g) be a generic homogeneous ideal of type (n +
1; d1, · · · , dn , d) in R′ = K[x1 , · · · , xn , z], where d1 ≤ · · · ≤ dn ≤ d. If d ≥ σ and
Conjecture 1.4 is true for J = π(I), then Conjecture 1.4 is also true for (I, g).
The proof needs a deep investigation given in Proposition 3.3, Proposition 3.6 and
Proposition 3.7. First of all we notice that Theorem 3.1 can be deduced from [4, Proposition 3.12] when d ≥ δ. Indeed, by [4, Proposition 3.12], if d ≥ δ then
in(I, g) = (in(I), z d−δ Bδ , z d−δ+2 Bδ−1 , · · · , z δ+d−2 B1 , z δ+d B0 ).
Let xµ be a generator of in(I, g) in z d−δ Bδ , z d−δ+2 Bδ−1 , · · · , z δ+d−2 B1 , z δ+d B0 . We claim
xµ satisfies property P . Indeed, if d > δ then xµ is divisible by z and deg(xµ ) = k > δ.
Hence, every monomial xα of degree k in variables x1 , · · · , xn is not in Ek = z k−δ Eδ , so
that xα ∈ in(I) ⊂ in(I, g). If d = δ then
in(I, g) = (in(I), xδn , z 2 Bδ−1 , · · · , z 2δ−2 B1 , z 2δ B0 ).
If xµ is a monomial in z 2 Bδ−1 , · · · , z 2δ−2 B1 , z 2δ B0 , then xµ satisfies property P through a
similar argument as above. On the other hand, it is not hard to see that xδn also satisfies
properties P. Thus, if Conjecture 1.4 is true for J with d ≥ δ, then every minimal generator
of in(I, g) satisfies property P . This means Conjecture 1.4 is true for (I, g).
Consider now the case d < δ. Set i∗ = ⌊ δ−d
⌋. The following lemma will be useful for
2
proving Proposition 3.3.
Lemma 3.2. For i > j ≥ i∗ , we have ad+i ≤ ad+j . Furthermore, the monomials of Bd+i
are multiples of the ad+i smallest monomials in Bd+j .
7

Proof. Since d + i∗ ≥ ⌊ 2δ ⌋ ≥ σ , so d + i > d + j ≥ σ. Hence, ad+i ≤ ad+j . Let S denote
the subset of Bd+j consisting of the ad+i smallest monomials in Bd+j . By [4, Lemma 3.5
(ii)] we have Bd+i = xi−j
n S.
By convention, we use the following notation. Let B be a finite subset of monomials
in R = K[x1 , · · · , xn ] and denote by B = {xα1 , · · · , xαk } the set of monomials in B listed
in decreasing order. Let S be a subset of [1, k] and denote BS = {xαi ∈ B | i ∈ S}. The
set of generators of in(I, g) can be described as the following.
Proposition 3.3. Let (I, g) = (f1 , · · · , fn , g) be a generic ideal of type (n+1; d1 , · · · , dn , d)
in R′ = K[x1 , · · · , xn , z], where d1 ≤ · · · ≤ dn ≤ d and d < δ. Let B = B(n; d1 , · · · , dn )
be the set of standard monomials with respect to a generic ideal of type (n; d1 , · · · , dn ) in
R = K[x1 , · · · , xn ].
(1) If δ − d ≡ 0 ( mod 2) then
{1}

Si∗
2
δ−d
1
Bd ,
in(I, g) = (in(I), Bd , BSd+1
, · · · , Bd+i
∗ , z Bd+i∗ −1 , · · · , z

z δ−d+2 Bd−1 , · · · , z δ+d−2 B1 , z δ+d B0 ),
(2) If δ − d ≡ 1 ( mod 2) then
{1}

δ−d
i∗
1
Bd ,
, · · · , BSd+i
in(I, g) = (in(I), Bd , BSd+1
∗ , Bd+i∗ +1 , zBd+i∗ , · · · , z

z δ−d+2 Bd−1 , · · · , z δ+d−2 B1 , z δ+d B0 ),
where Si is a subset of [1, ad+i ] containing ai elements for every i = 1, · · · , i∗ .
Proof. Since g is a combination of all monomials in Ed = Bd ∪ zBd−1 ∪ · · · ∪ z d B0 , we can
write
g = vd Bd + vd−1 Bd−1 z + · · · + v1 B1 z d−1 + v0 z d ,
where vi is the row vector of the coefficients of g corresponding to the monomials in Bi .
Denote the last coefficient of vd by cd . Note that cd is the coefficient corresponding to
the monomial xdn . Set vd∗ = vd \ {cd }. We will construct a set of generators for in(I, g) by
using incremental method.


For i = 0, we have E0 = {1} and M0 is a row matrix vd vd−1 · · · v1 v0 . Hence,

the first column of M0 is linearly independent. Thus, the largest monomial of Bd will be
added.

8

For 1 ≤ i ≤ i∗ , equation (2) can be explicitly written in the following form


Bi









 zBi−1 




 .. 
 .  .g ≡ 




z i−1 B 
1


z i B0

Bd+i zBd+i−1

· · · z i−1 Bd+1 z i Bd

· · · z d+i

Γi,d+i

···

···

0
..
.

Γi,d+i−1

Γi,d+1

Γi,d

Γi−1,d+i−1 · · · Γi−1,d+1 Γi−1,d
..
..
..
..
.
.
.
.

0

0

···

Γ1,d+1

Γ1,d

0

0

···

0

Γ0,d

Γi,0




· · · Γi−1,0 

.. 
..
.
. 

· · · Γ1,0 

· · · Γ0,0

(3)

Denote by Ai , Ai−1 , · · · , A1 , A0 the submatrices of Mi formed by the columns corresponding to the monomials in Bd+i , zBd+i−1 , · · · , z i−1 Bd+1 , z i Bd respectively.
We now consider the block Γi,d+i . Note that the entries of Γi,d+i are the F̄ -linear
δ−d
combinations of the coefficients in vd . Since i ≤
, we have i < σ and
2
e 0 ∪ xn B
e 0 ∪ · · · ∪ xi−1 B
e 0 ∪ {xi }.
Bi = B
i

i−1

n

1

n

Since d + i ≤ δ − i, we have ad+i ≥ ai and the ai smallest monomials in Bd+i are
e 0 ∪ xd+1 B
e 0 ∪ · · · ∪ xd+i−1 B
e 0 ∪ {xd+i }.
xdn Bi = xdn B
i
n
i−1
n
1
n

e 0 , for some 0 ≤ j ≤ i and xβ ∈ B
e 0 . Then
Let xα ∈ Bi . Suppose xα = xjn xβ ∈ xjn B
i−j
i−j
β
d+j e 0
xα xdn = xd+j
n x ∈ xn Bi−j ⊂ Bd+i .

Thus, the term cd .xα xdn of the product xα g is reduced mod G. Therefore, in the coefficients
of the reduced form of the product xα .g, cd will appear only in the coefficient of the
β
monomial xd+j
n x ∈ Bd+i . Thus,


L
· · · cd + L1,k
L1,k+1
···
L1,ad+i

 1,1

L
·
·
·
L
c
+
L
·
·
·
L
2,k
d
2,k+1
2,ad+i

 2,1
Γi,d+i =  .
,
.
.
.
.
.
..
..
..
..
..

 ..


Lai ,1 · · ·
Lai ,k
Lai ,k+1
· · · cd + Lai ,ad+i

where k = ad+i − ai + 1 and Li,j is a F̄ -linear combination of the coefficients in vd∗ . Hence,

the ai last columns of Γi,d+i are linearly independent. So, rank(Γi,d+i ) = ai . This implies
that the ai first linearly independent columns of Mi are the ai first linearly independent
columns of Ai (before defined). Define Si to be the subset of [1, ad+i ] such that its elements
are the indices of the ai first linearly independent columns of Ai . Then the generators
i
. Since the ai−1 last columns of Γi−1,d+i−1
which will be added are the elements in BSd+i

are linearly independent again, we have
rank

Γi,d+i

Γi,d+i−1

0

Γi−1,d+i−1
9

!

= ai + ai−1 .

Therefore, the ai−1 next linearly independent columns of Mi are the ai−1 first linearly
independent columns of Ai−1 and so on. We have the ai + ai−1 + · · · + a0 first linearly
independent columns of Mi are the ai , ai−1 , · · · , a1 , a0 first linearly independent columns
of Ai , Ai−1 , · · · , A1 , A0 respectively.
However, the monomials in zBd+i−1 , · · · , z i−1 Bd+1 , z i Bd corresponding to the first
linearly independent columns of Ai−1 , · · · , A1 , A0 respectively are redundant since they
are multiples of the monomials that were added in the steps i − 1, · · · , 1, 0. Thus, in the
i
step i, only the monomials BSd+i
will be added.
i∗
Indeed, since
Note that, in the case δ − d ≡ 0 (mod 2) we have BSd+i
∗ = Bd+i∗ .

d + i∗ = δ − i∗ , by [4, Lemma 3.4] we have ad+i∗ = aδ−i∗ = ai∗ . Hence, Si∗ = [1, ad+i∗ ].
For i∗ < i < δ − d, equation (2) also has form as in (3). Let Λi denote the square
submatrix of Mi given by
· · · z d+2i−δ Bδ−i

···
Γi,δ−i

···
Γi−1,δ−i 
.

..
..

.
.

· · · Γδ−d−i,δ−i

B
zBd+i−1
 d+i
Γ
Γi,d+i−1
 i,d+i
 0
Γi−1,d+i−1

Λi =  .
..
 ..
.

0
0
Then, Mi has form
Mi =

Λi

Ω

0

Mδ−d−i−1

!

.

By [4, Proposition 3.16] Λi is nonsingular. Hence, the first linearly independent
columns of Mi are given by all the columns of Λi and the columns corresponding to
the first linearly independent columns of Mδ−d−i−1 . Note that the monomials in Ed+i
corresponding to the first linearly independent columns of Mδ−d−i−1 are redundant since
they are multiplies of monomials were already added in the step δ −d−i−1. Furthermore,
by using Lemma 3.2,for i = i∗ + 1, · · · , δ − d − 1, we obtain the following.
• If δ − d ≡ 0 (mod 2) then only the monomials in z 2 Bd+i∗ −1 , · · · , z δ−d−2 Bd+1 will be
added.
• If δ − d ≡ 1 (mod 2) then only the monomials in Bd+i∗ +1 , zBd+i∗ , · · · , z δ−d−2 Bd+1
will be added.
Finally, for δ − d ≤ i ≤ δ, by [4, Corollary 3.11] the monomials in z δ−d Bd , z δ−d+2 Bd−1 ,
· · · , z δ+d−2 B1 , z δ+d B0 will be added.
Remark 3.4. (1) The set of generators of in(I, g) appearing in Proposition 3.3 is not
{1}

minimal. For instance the monomial z δ−d Bd
10

{1}

is a multiple of Bd . However, with

respect to the property P, we will see that the problems only come from the monomials
1
i∗
in BSd+1
, · · · , BSd+i
∗.

(2) The set of generators of in(I, g) in Proposition 3.3 is determined by the monomials in
1
i∗
BSd+1
, · · · , BSd+i
∗.

The following lemma will be useful for proving Proposition 3.6.
Lemma 3.5. Bd+i ⊂ in(I, g) for every i > i∗ .
Proof. If δ − d ≡ 0 (mod 2), by Proposition 3.3 Bd+i∗ ⊂ in(I, g). Hence, by Lemma 3.2
Bd+i ⊂ in(I, g). If δ − d ≡ 1 (mod 2) then Bd+i∗ +1 ⊂ in(I, g), and Lemma 3.5 follows
from Lemma 3.2 again.
{1}

In the next proposition, we will prove that the generators of in(I, g) not in in(I), Bd ,
1
i∗
BSd+1
, · · · , BSd+i
∗ satisfy property P in any case.

Proposition 3.6. (1) If δ − d ≡ 0 (mod 2), then the generators of in(I, g) in z 2 Bd+i∗ −1 ,
· · · , z δ−d Bd , z δ−d+2 Bd−1 , · · · , z δ+d−2 B1 , z δ+d B0 satisfy property P .
(2) If δ − d ≡ 1 (mod 2), then the generators of in(I, g) in Bd+i∗ +1 , zBd+i∗ , · · · , z δ−d Bd ,
z δ−d+2 Bd−1 , · · · , z δ+d−2 B1 , z δ+d B0 satisfy property P .
Proof. (1) If xµ is a generator of in(I, g) in z 2 Bd+i∗ −1 , · · · , z δ−d Bd , z δ−d+2 Bd−1 , · · · ,
z δ+d−2 B1 , z δ+d B0 , then xµ is divisible by z and deg(xµ ) = k > d + i∗ . For every monomial
xα of degree k in variables x1 , · · · , xn , if xα ∈ Bk , by Lemma 3.5, then we have xα ∈
in(I, g). Otherwise xα ∈
/ Bk , so that xα ∈ in(I) ⊂ in(I, g). Thus, xµ satisfies property P .
(2) If xµ is a generator of in(I, g) in Bd+i∗ +1 , then xµ is divisible by xn because
α
∗
Bd+i∗ +1 = xd+1
n Bi∗ . Hence, for every monomial x of degree d + i + 1 in variables

x1 , · · · , xn−1 , we have xα ∈
/ Bd+i∗ +1 , so that xα ∈ in(I) ⊂ in(I, g). Thus, xµ satisfies
property P .
If xµ is a generator of in(I, g) in zBd+i∗ , · · · , z δ−d Bd , z δ−d+2 Bd−1 , · · · , z δ+d−2 B1 ,
z δ+d B0 . Then, by an argument as in (1), xµ satisfies property P .
i∗
1
, · · · , BSd+i
We still have to prove that the generators of in(I, g) in BSd+1
∗ satisfy property

P . Under condition d ≥ σ, we get the following.
1
i∗
Proposition 3.7. If d ≥ σ, then the generators of in(I, g) in BSd+1
, · · · , BSd+i
∗ satisfy

property P .
Proof. Since d ≥ σ , by Propsition 2.2 the monomials in Bd+1 , · · · , Bd+i∗ are divisible by
i
, for some 1 ≤ i ≤ i∗ , then xµ is divisible
xn . Hence, if xµ is a generator of in(I, g) in BSd+i

by xn . This follows xµ satisfies property P because for every monomial xα of degree d + i
in variables x1 , · · · , xn−1 , we have xα ∈
/ Bd+i , so that xα ∈ in(I) ⊂ in(I, g).
11

Proof of Theorem 3.1. If δ − d ≡ 0 (mod 2), by Proposition 3.3 we have
{1}

2
δ−d
1
i∗
Bd ,
in(I, g) = (in(I), Bd , BSd+1
, · · · , BSd+i
∗ , z Bd+i∗ −1 , · · · , z

z δ−d+2 Bd−1 , · · · , z δ+d−2 B1 , z δ+d B0 ).
{1}

The monomial Bd

satisfies property P because it is the largest monomial of Bd . By

i∗
1
, · · · , BSd+i
Proposition 3.7 and Proposition 3.6 (1) the generators of in(I, g) in BSd+1
∗ and

in z 2 Bd+i∗ −1 , · · · , z δ−d Bd , z δ−d+2 Bd−1 , · · · , z δ+d−2 B1 , z δ+d B0 satisfy property P . Hence,
if Conjecture 1.4 is true for J = π(I), then every minimal generator of in(I, g) satisfies
property P , so that Conjecture 1.4 is true for in(I, g).
If δ − d ≡ 1 (mod 2), then Theorem 3.1 is proved by a similar argument as above.
From Proposition 3.3, we have the following corollary that describes more explicitly
the set of the standard monomials with respect to (I, g) in case d < δ.
Corollary 3.8. Let (I, g) = (f1 , · · · , fn , g) be a generic homogeneous ideal of type (n +
1; d1, · · · , dn , d) in K[x1 , · · · , xn , z], where d1 ≤ · · · ≤ dn ≤ d and d < δ. Let B =
B(n; d1 , · · · , dn ) and F = B(n + 1; d1, · · · , dn , d).
(2) If δ − d ≡ 1 (mod 2), then

(1) If δ − d ≡ 0 (mod 2), then
F0 = B0

F0 = B0

F1 = B1 ∪ zF0
..
.

F1 = B1 ∪ zF0
..
.
Fd−1 = Bd−1 ∪ zFd−2

Fd−1 = Bd−1 ∪ zFd−2
(1,ad ]

Fd = Bd
Fd+1 =
..
.

[1,a
]\S
Bd+1d+1 1

[1,a

(1,ad ]

Fd = Bd

∪ zFd−1

∗

−1
Fd+i∗ −1 = Bd+id+i
∗ −1

Fd+1 =
..
.

∪ zFd

]\Si∗ −1

∪ zFd−1

[1,a
]\S
Bd+1d+1 1

[1,a

∗ ]\Si∗

Fd+i∗ = Bd+id+i
∗

∪ zFd+i∗ −2

∪ zFd

∪ zFd+i∗ −1

Fd+i∗ +1 = z 2 Fd+i∗ −1
..
.

Fd+i∗ = zFd+i∗ −1
..
.
Fδ = z δ−d+1 Fd−1

Fδ = z δ−d+1 Fd−1

Fδ+1 = z δ−d+3 Fd−2
..
.

Fδ+1 = z δ−d+3 Fd−2
..
.
Fδ+d−1 = z δ+d−1 F0 .

Fδ+d−1 = z δ+d−1 F0 .

Thus, in order to construct F = B(n + 1, d1 , · · · , dn , d) from B = B(n; d1 , · · · , dn ) we
i∗
1
, · · · , BSd+i
only need to know explicitly the monomials in BSd+1
∗ . In the following example,

12

we help the reader to construct in(I, g) from in(I) and B(n; d1 , · · · , dn ) according to
Proposition 3.3. Moreover, we construct F = B(n+1; d1 , · · · , dn , d) from B(n; d1 , · · · , dn )
according to Corollary 3.8.
Example 3.9. Let (I, g) = (f1 , · · · , f4 , g) be the generic ideal of type (5; 2, 3, 3, 4, 5) in
K[x1 , · · · , x4 , z]. Let B = B(4; 2, 3, 3, 4) as in Example 2.4. Then δ = 8, σ = 4, d = 5 and
⌋ = 1. We write g as reduced form as the following
i∗ = ⌊ δ−d
2
g = v5 B5 + v4 B4 z + · · · + v1 B1 z 4 + z 5 .
For i = 0, The largest monomials of B5 will be added, in this case it is x1 x2 x23 x24 .
For i = 1,

B1

E1 .g ≡ M1 E6 ⇔

z

!

B6
.g ≡

zB5 · · · z 5 B1 z 6

Γ1,6 Γ1,5 · · ·
0

Γ0,5 · · ·

Γ1,1 Γ1,0
Γ0,1 Γ0,0

!

,

6
e 0 ∪{x4 } and B6 = x4 B
e0 5 e0
where B1 = B
1
4 2 ∪x4 B1 ∪{x4 }. The monomials in B6 corresponding

to the a1 = 4 first linearly independent columns of Γ1,6 will be added. By using Macaulay2

to compute in(I, g), we see that the 4 largest monomials of B6 are the minimal generators
of in(I, g). This means that the 4 first columns of Γ1,6 are linearly independent, so that
[1,4]

BS6 1 = B6 . Thus, the set of generators of in(I, g) as in Proposition 3.3 is
{1}

[1,4]

in(I, g) = (in(I), B5 , B6 , B7 , zB6 , z 3 B5 , z 5 B4 , z 7 B3 , z 9 B2 , z 11 B1 , z 13 ).
Let F = B(5; 2, 3, 3, 4, 5) be the set of the standard monomials with respect to (I, g).
Denote by fi = |Fi | and f ′ = |Fe0 |. By Corollary 3.8, we have
i

i

F0 = {1}

⇒ f0 = 1.

F1 = B1 ∪ {z}

⇒ f1′ = 4, f1 = 5.

F2 = B2 ∪ zF1

⇒ f2′ = 9, f2 = 14.

F3 = B3 ∪ zF2

⇒ f3′ = 14, f3 = 28.

F4 = B4 ∪ zF3

⇒ f4′ = 16, f4 = 44.

(1,14]
F5 = Fe50 ∪ zF4 where Fe50 = B5

⇒ f5′ = 13, f5 = 57.

(4,9]
F6 = Fe60 ∪ zF5 where Fe60 = B6

⇒ f6′ = 5, f6 = 62.

F7 = z 2 F5 ; F8 = z 4 F4 ; · · · ; F11 = z 10 F1 ; F12 = z 12 F0 .

i
are the ai largest monomials of Bd+i
In [4, Lemma 3.14], it is conjectured that BSd+i

for every i = 0, · · · , i∗ . However, in the following example, we show that this conjecture
is not true.
13

Example 3.10. Let (I, g) = (f1 , · · · , f5 , g) be the generic ideal of type (6; 2, 3, 3, 4, 5, 5) in
K[x1 , · · · , x5 , z]. Let F = B(5; 2, 3, 3, 4, 5) as in Example 3.9 with the variable x5 instead
⌋ = 3. Here F plays the same role
of variable z. Then δ = 12, σ = 6, d = 5 and i∗ = ⌊ δ−d
2
of B in Proposition 3.3. We write
g = v5 F5 + v4 F4 z + · · · + v1 F1 z 4 + z 5 .
For i = 0, The largest monomials of F5 will be added, in this case it is x22 x3 x24 .
For i = 1,

E1 .g ≡ M1 E6 ⇔

F1
z

!

zF5 · · · z 5 F1 z 6

F6
.g ≡

Γ1,6 Γ1,5 · · ·
0

Γ0,5 · · ·

Γ1,1 Γ1,0
Γ0,1 Γ0,0

!

,

6
e0
e 0 ∪ {x5 } and F6 = F
e 0 ∪ x5 F
e 0 · · · ∪ x5 F
where F1 = F
5
5 1 ∪ {x5 }. The monomials in F6
1
6

corresponding to the f1 = 5 first linearly independent columns of Γ1,6 will be added. We

have

F1 .g ←→ Γ1,6 F6 ⇔

e0
F
1
x5

!

.g ←→

e 0 x5 F
e 0 · · · x5 F
e0 6
F
6
5
5 1 x5

Ω1,6 Ω1,5 · · ·
0

Ω0,5 · · ·

Ω1,1 Ω1,0

Ω0,1 Ω0,0

!

,

e 0 | = f ′ = 4 and |F
e 0 | = f ′ = 5, we get rank(Ω1,6 ) ≤ 4. By using Macaulay2 to
Since |F
1
1
6
6

compute in(I, g), we see that the 4 largest monomials of F6 are the minimal generators of
in(I, g). This means that the 4 first columns of Ω1,6 are linearly independent. Hence the
5 first linearly independent columns of Γ1,6 are the 4 first columns and the 6-th column.
[1,4]

Thus FS6 1 = F6
{6}
F6

4

=

{1}
x5 F5

{6}

{6}

∪ F6 . However the monomial F6

and

{1}
F5

is not a minimal generator because

was already added in step i = 0.

Application for Fröberg’s Conjecture
In [17, Theorem 2], Pardue proved that Fröberg’s Conjecture is equivalent to Conjec-

ture 1.4. In order to prove the equivalence of the conjectures, Pardue used the notion of
semi-regular sequences already quoted in the introduction and introduced in [17, Section
3]. Regular sequences and semi-regular sequences can be characterized by Hilbert series.
Proposition 4.1. [17, Proposition 1] Let A = K[x1 , · · · , xn ]/I, where I is a homogeneous
ideal, and f1 , · · · , fr are homogeneous polynomials of degree d1 , · · · , dr . Then,
(1) f1 , · · · , fr is a semi-regular sequence on A if and only if for all s = 1, · · · , r
lQ

m
s
di
HSA/(f1 ,··· ,fs) (z) =
HS
(z)
.
(1
−
z
)
A
i=1
14

(2) f1 , · · · , fr is a regular sequence on A if and only if
Q

r
di
HSA/(f1 ,··· ,fr ) (z) =
HSA (z).
(1
−
z
)
i=1

In [17, Theorem 2], Pardue proved that Conjecture 1.4 is equivalent to the following

conjecture.
Conjecture 4.2. [17, Conjecture C] Let I = (f1 , · · · , fn ) be a generic homogeneous ideal
of type (n; d1 , · · · , dn ) in K[x1 , · · · , xn ]. Then xn , xn−1 , · · · , x1 is a semi-regular sequence
on A = K[x1 , · · · , xn ]/I.
We apply now Theorem 3.1 to get partial answers to Conjecture 1.4 and Conjecture
4.2. Let d1 ≤ · · · ≤ dn be n positive integers. For every 1 ≤ i ≤ n, we set
δi = d1 + · · · + di − i,

 
δi
for all i ≥ 2.
σi = min δi−1 ,
2
Theorem 4.3. Let I = (f1 , · · · , fn ) be a generic homogeneous ideal of type (n; d1 , · · · , dn )
in K[x1 , · · · , xn ] with n ≤ 3 and d1 ≤ · · · ≤ dn . Then, Conjecture 1.4 is true for I.
Proof. It is known that Conjecture 1.4 is true in case n ≤ 2. For n = 3, we have J = π(I)
is a generic ideal of type (2; d1 , d2 ). Hence, Conjecture 1.4 is true for J. Since



d1 + d2 − 2
d3 ≥ σ2 = min d1 − 1,
,
2
by Theorem 3.1 we have that Conjecture 1.4 is true for I.
Theorem 4.4. Let I = (f1 , · · · , fn ) be a generic homogeneous ideal of type (n; d1 , · · · , dn )
in K[x1 , · · · , xn ] with n ≥ 4 and d1 ≤ · · · ≤ dn . If di ≥ σi−1 for all 4 ≤ i ≤ n, then
Conjecture 1.4 is true for I.
Proof. We prove by induction on n. For n = 4, we have J = π(f1 , f2 , f3 ) is a generic ideal
of type (3; d1, d2 , d3 ). By Theorem 4.3, Conjecture 1.4 is true for J. Since d4 ≥ σ3 , by
Theorem 3.1 we have that Conjecture 1.4 is true for I.
For n > 4, we have J = π(f1 , · · · , fn−1 ) is a generic ideal of type (n − 1; d1, · · · , dn−1)
with di ≥ σi−1 for all 4 ≤ i ≤ n − 1. Hence, by induction Conjecture 1.4 is true for J.
Since, dn ≥ σn−1 , by Theorem 3.1 we have that Conjecture 1.4 is true for I.
Since Conjecture 1.4 is equivalent to Conjecture 4.2, we also get a partial answer to
Conjecture 4.2.
Theorem 4.5. Let I = (f1 , · · · , fn ) be a generic homogeneous ideal of type (n; d1 , · · · , dn )
in K[x1 , · · · , xn ] with d1 ≤ · · · ≤ dn . If di ≥ σi−1 for all 4 ≤ i ≤ n (in case n ≥ 4), then
xn , xn−1 , · · · , x1 is a semi-regular sequence on K[x1 , · · · , xn ]/I.
15

We apply now Theorem 4.5 to prove the main result of this section.
Theorem 4.6. Let I = (f1 , · · · , fr ) be a generic homogeneous ideal of type (n; d1 , · · · , dr )
in R = K[x1 , · · · , xn ] with d1 ≤ · · · ≤ dr . If di ≥ σi−1 for all 4 ≤ i ≤ r (in case r ≥ 4),
then the Hilbert series of R/I is given by
HSR/I (z) =


− z di )
.
(1 − z)n

Qr

i=1 (1

Proof. Since Fröberg’s Conjecture is known to be true if r ≤ n, we only have to consider
the case r > n. Let R′ = K[x1 , · · · , xr ] be the polynomial ring in r variables and view R as
R = R′ /(xr , · · · , xn+1 ). Then, there exist the generic homogeneous polynomials f1′ , · · · , fr′
of type (r; d1, · · · , dr ) in R′ such that fi is the image of fi′ in R = R′ /(xr , · · · , xn+1 ). Set
A = R′ /(f1′ , · · · , fr′ ). It is known that A is the complete intersection and Hilbert series of
A is given by
HSA (z) =

Qr

− z di )
.
(1 − z)r

i=1 (1

Applying Theorem 4.5 for (f1′ , · · · , fr′ ) we have xr , · · · , xn+1 , · · · , x1 is a semi-regular
sequence on A. By Proposition 4.1 we get


HSA/(xr ,··· ,xn+1 ) (z) = (1 − z)

r−n



HSA (z) =


− z di )
,
(1 − z)n

Qr

i=1 (1

and Theorem 4.6 follows from the following isomorphisms.
A/(xr , · · · , xn+1 ) ∼
= R/(f1 , · · · , fr ).
= R′ /(f1′ , · · · , fr′ , xr , · · · , xn+1 ) ∼

Acknowledgements
I thank my advisor Maria Evelina Rossi for suggesting the problem and for providing
helpful suggestions throughout the preparation of this manuscript. I am also grateful to
the department of Mathematics of Genova University for supporting my PhD program.
The main algorithm that I used in this paper is the incremental method from [12] and
[4]. So, I also wish to thank Gao, Guan, Volny and Capaverde for providing this effective
approach.

References
1. E. Aguirre, A. S. Jarrah and R. Laubenbacher, Generic ideals and Moreno-Socı́as
conjecture, In Proceedings of the 2001 International Symposium on Symbolic and
Algebraic Computation (New York, 2001), ACM, 21-23.
16

2. D.J. Anick, Thin algebras of embedding dimension three, J. Algebra 100 (1986), 235259.
3. C. Bertone and F. Cioffi, Construction of almost revlex ideals with Hilbert function
of some complete intersections, arXiv:1803.02330 [].
4. J. Capaverde and S. Gao, Gröbner bases of generic ideals, arXiv:1711.05309v1
[] 14 Nov 2017.
5. Y. H. Cho and J. P. Park, Conditions for generic initial ideals to be almost reverse
lexicographic, J. Algebra 319, 7 (2008), 2761-2771.
6. M. Cimpoeas, Generic initial ideal for complete intersections of embedding dimension
three with strong Lefschetz property, Bull. Math. Soc. Sci. Math. Roumanie (N. S.)
50(98), 1 (2007), 33-36.
7. D. Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry,
Springer-Verlag, New York, 1995.
8. R. Fröberg, An inequality for Hilbert series of graded algebras, Mathematica Scandinavica 56 (1985), 117-144.
9. R. Fröberg and J. Hollman, Hilbert Series for Ideals Generated by Generic Forms, J.
Symbolic Computation 17 (1994), 149-157.
10. R. Fröberg and C. Löfwall, On Hilbert series for commutative and noncommutative
graded algebra, J. Pure Appl. Algebra 76 (1991), 33-38.
11. R. Fröberg and S. Lundqvist, Extremal Hilbert series, arXiv:1711.01232v1 []
3 Nov 2017.
12. S. Gao, Y. Guan and F. Volny IV, A new incremental algorithm for computing
Gröbner bases, In ISSAC’10: Proceeding of the 2010 International Symposium on
Symbolic and Algebraic Computation (Munich, Germany, 2010), ACM, 13-19.
13. D. Grayson, M. Stillman, Macaulay2, a software system for research in algebraic
geometry, available at www.math.uiuc.edu/Macaulay2
14. T. Harima and A. Wachi, Generic initial ideals, graded Betti numbers, and kLefschetz properties, Comm. Algebra 37, 11 (2009), 4012-4025.
15. G. Moreno-Socı́as, Autour de la fonction de Hilbert-Samuel (escaliers d’idéaux polynomiaux), Thèse, École Polytechnique, 1991.

17

16. G. Moreno-Socı́as, Degrevlex Gröbner bases of generic complete intersections, Journal
of Pure and Applied Algebra 180 (2003), 263-283.
17. K. Pardue, Generic sequences of polynomials, Journal of Algebra 423 (2010), 579-590.
18. R. P. Stanley, Hilbert functions of graded algebras, Advances in Math. 28 (1978), no.
1, 57-83.
19. R. P. Stanley, Weyl groups, the Hard Lefschetz theorem and the Sperner property,
SIAM J.Algebraic Discrete Methods 1 (1980), 168-184.
20. G. Valla, Problems and Results on Hilbert Functions of Graded Algebras, In: Elias J.,
Giral J.M., Mir-Roig R.M., Zarzuela S. (eds) Six Lectures on Commutative Algebra.
Progress in Mathematics. Birkhuser, Basel (1998), 293-344.
Address: Van Duc Trung, Department of Mathematics, University of Genoa, Via Dodecaneso 35, 16146-Genova, Italy.
E-mail address: vanductrung@dima.unige.it (or vanductrung1985@gmail.com)

18

