arXiv:1803.08302v1 [] 22 Mar 2018

TANGENT CONES OF MONOMIAL CURVES OBTAINED BY NUMERICAL
DUPLICATION
MARCO D’ANNA, RAHELEH JAFARI, AND FRANCESCO STRAZZANTI
Abstract. Given a numerical semigroup ring R = k[[S]], an ideal E of S and an odd element b ∈ S,
the numerical duplication S ✶b E is a numerical semigroup, whose associated ring k[[S ✶b E]] shares
many properties with the Nagata’s idealization and the amalgamated duplication of R along the
monomial ideal I = (te | e ∈ E). In this paper we study the associated graded ring of the numerical
duplication characterizing when it is Cohen-Macaulay, Gorenstein or complete intersection. We also
study when it is a homogeneous numerical semigroup, a property that is related to the fact that
a ring has the same Betti numbers of its associated graded ring. On the way we also characterize
when grm (I) is Cohen-Macaulay and when grm (ωR ) is a canonical module of grm (R) in terms of
numerical semigroup’s properties, where ωR is a canonical module of R.

Introduction
Let (R, m) be a commutative local ring. The study of the properties of its associated graded ring
grm (R) in connection with the properties of the original ring R is a very difficult and interesting
problem in local algebra and it has been studied from many points of view, in the general case
or for particular kind of rings. One motivation for this study is the fact that in the geometrical
context grm (R) corresponds to the tangent cone of the variety associated with R.
A class for which this problem has been deeply studied is the class of numerical semigroup rings,
i.e. rings of the form k[[S]] = k[[ts | s ∈ S]], where k is a field, t an indeterminate and S ⊆ N an
additive submonoid of the non-negative integers, with finite complement in N. These rings can be
viewed as the completion of the coordinate ring of a monomial curve at the origin (i.e. its singular
point). This means that the associated graded ring corresponds to the tangent cone at the origin
of this curve.
The aim of this paper is to study the tangent cone of monomial curves defined by numerical
duplication, finding numerical condition to determine their properties. Numerical duplication is
a semigroup construction introduced in [10]; starting with a numerical semigroup S, a semigroup
ideal E and an odd element b of S, it allows to construct a new semigroup denoted by S ✶b E,
whose properties depend on E and are often independent of b. For example, if E is a canonical
ideal of S, the semigroup S ✶b E is always symmetric, i.e. k[[S ✶b E]] is always Gorenstein.
ring construction. Let R be a
In [2], the numerical duplication is connected to a more generalL
i i
commutative ring, I be an ideal of R and u, v ∈ R; if R+ (I) =
i≥0 I T ⊂ R[T ] denotes the
corresponding Rees algebra, we set R(I)v,u = R+ (I)/((T 2 + vT + u) ∩ R+ (I)). In particular, in
Date: March 23, 2018.
2010 Mathematics Subject Classification. 13A30, 13H10, 20M14, 20M25.
Key words and phrases. Numerical semigroups, numerical duplication, associated graded ring, Cohen-Macaulay
rings, Gorenstein rings, homogeneous numerical semigroups.
The second author was in part supported by a grant from IPM (No. 96130112).
The third author was partially supported by INdAM, MTM2013-46231-P and MTM2016-75027-P (Ministerio de
Economı́a y Competitividad), and FEDER.
1

2

MARCO D’ANNA, RAHELEH JAFARI, AND FRANCESCO STRAZZANTI

[2] it is proved that if R = k[[S]], I = (te1 , . . . , ter ) and u = tb , then R(I)0,−u ∼
= k[[S ✶b E]], where
E = {e1 , . . . , er } + S is the ideal of S generated by e1 , . . . , er .
One interesting fact about this family of rings is that, as particular cases, we obtain other
constructions such as the Nagata’s idealization (also called trivial extension; take u = v = 0)
or the amalgamated duplication (see [7] and [8]; take v = −1, u = 0). Moreover, many relevant
properties, such as Cohen-Macaulayness and Gorensteinnes are shared by all the rings in the family,
independently of the choice of u and v, see also [3]. Hence, results obtained in a particular case
(like the case of numerical semigroup rings) give information on other kind of rings. For instance,
this construction allowed the authors of [21] to find infinitely many one-dimensional Gorenstein
rings with decreasing Hilbert function, starting from the particular case of numerical duplication.
In this paper we give numerical conditions that characterize when the tangent cone of k[[S ✶b E]]
is Cohen-Macaulay, Gorenstein or a complete intersection and we will see that these properties
depend only on E and not on b. Moreover, as a byproduct, we describe when the canonical module
of grm (k[[S]]) has the expected form, i.e. when it is the associated graded module of the canonical
module of k[[S]]. Subsequently, we study the homogeneous property for S ✶b E; this property has
been introduced in [19] and it is strictly connected to the homogeneous type property, i.e. the
fact that k[[S]] and grm (k[[S]]) share the same Betti numbers. More precisely, in [19] it is proved
that, if S has at most three generators, then S is of homogeneous type if and only if either S is
homogeneous and grm (k[[S]]) is Cohen-Macaulay or grm (k[[S]]) is a complete intersection. In the
case of numerical duplication we characterize the homogeneous property and show that it depends
also on b. Moreover, using this fact, we are able to construct semigroups that are of homogeneous
type but not homogeneous and their associated graded ring is not complete intersection, giving an
answer to [19, Question 4.22].
The structure of the paper is the following. In Section 1, we fix the notation and prove some
results about the associated graded ring of R(I)v,u , in particular, Corollary 1.4 relates the CohenMacaulayness of grm (k[[S ✶b E]]) to the Cohen-Macaulayness of grm (k[[S]]) and grm (I). For this
reason we focus the subsequent section on the Cohen-Macaulayness of grm (I), listing several equivalent conditions in Proposition 2.6. In Section 3, we characterize the Gorenstein and complete
intersection properties of grm (k[[S ✶b E]]), see Theorem 3.6 and Proposition 3.12; moreover, in
Corollary 3.11 we determine when the canonical module of grm (k[[S]]) has the expected form, provided that it is Cohen-Macaulay. In the last section we characterize when S ✶b E is homogeneous
and we construct numerical semigroups that are of homogeneous type but not homogeneous and
their associated graded rings are not complete intersection, see Theorem 4.4 and Example 4.7.1.
Several computations are performed by using the GAP system [13] and, in particular, the NumericalSgps package [11].
1. Preliminaries, idealization and tangent cone of duplication
A numerical semigroup S is a submonoid of (N, +) such that N \ S is finite. It is well known
that S is finitely generated and has a unique minimal system of generators. Throughout the whole
paper, S = hn1 , . . . , nν i is a numerical semigroup minimally generated by n1 < · · · < nν and
R = k[[S]] = k[[tn1 , . . . , tnν ]] is the corresponding numerical semigroup ring with maximal ideal
m = (tn1 , . . . , tnν ). The smallest nonzero element of S, n1 , is called the multiplicity of S and is
denoted by m; it is well known that m = e(R), the multiplicity of R. A relative ideal of S is a
non-empty set E of integers such that E +S ⊆ E and s+E ⊆ S for some s ∈ S. A relative ideal of S
that is contained in S is called an ideal of S. We always assume that an ideal does not contain 0, i.e.
E 6= S. Note that for relative ideals E1 and E2 of S, the set E1 + E2 = {e1 + e2 | e1 ∈ E1 , e2 ∈ E2 }
is also a relative ideal. In particular, for z ∈ Z, z + S = {z + s | s ∈ S} is the principal relative ideal

TANGENT CONES OF MONOMIAL CURVES OBTAINED BY NUMERICAL DUPLICATION

3

of S generated by z. For any ideal E of S, we can always express it as E = (e1 + S) ∪ · · · ∪ (er + S),
for some ei ∈ E; then, we will write E = {e1 , . . . , erS
} + S and we can always assume that the set
{e1 , . . . , er } is minimal, i.e., for all i = 1, . . . , r, ei ∈
/ j6=i (ej + S). It is straightforward to see that
E has a unique minimal set of generators. By difference of two ideals E1 and E2 , we mean the
ideal E1 − E2 = {z ∈ Z | z + E2 ⊆ E1 }. We denote by M = S \ {0} the maximal ideal of S and we
set lM = M + · · · + M . The blowup of S is defined as the numerical semigroup
[
S′ =
(lM − lM ) = hm, n2 − m, . . . , nν − mi.
l

It is well known that S ′ = lM − lM = lM − lm for l large enough (cf. [20, Proposition 1.1]).
Let ωi = min{s ∈ S | s ≡ i (mod m)}. The Apéry set of S with respect to m is the set
Apm (S) = {ω0 = 0, ω1 , . . . , ωm−1 } = {s ∈ S | s − m ∈
/ S}. In the same way we denote Apm (S ′ ) =
′
′
′
{ω0 = 0, ω1 , . . . , ωm−1 }. It follows from the definition that ωi ≥ ωi′ for all i = 0, . . . , m − 1 and we
define the microinvariants of S as the integers ai (S) such that ωi′ + m ai (S) = ωi . Moreover, we set
bi (S) = max{l | ωi ∈ lM }. A criterion for the Cohen-Macaulayness of the associated graded ring,
proved by Barucci and Fröberg in [5, Theorem 2.6], implies the following theorem:
Theorem 1.1. The graded ring grm (R) is Cohen-Macaulay if and only if ai (S) = bi (S) for each
i = 0, . . . , m − 1.
Let E = {e1 , . . . , er } + S be an ideal of S and let b ∈ S be an odd integer. The numerical
duplication of S with respect to E and b is defined in [10] as the numerical semigroup
S ✶b E = 2 · S ∪ {2 · E + b},
where 2 · X = {2x | x ∈ X}. It is easy to see that
S ✶b E = h2n1 , . . . , 2nν , 2e1 + b, . . . , 2er + bi.
As we noticed in the introduction, the numerical duplication can be connected to the construction
of the rings R(I)v,u = R+ (I)/((T 2 + vT + u) ∩ R+ (I)). In fact, if R = k[[S]], I = (te1 , . . . , ter )
and u = tb , then R(I)0,−u ∼
= k[[S ✶b E]]. More precisely, every element of R(I)v,u can be uniquely
written in the form f + gT with the multiplication induced by the equation T 2 + vT + u = 0. Thus,
when R = k[[S]], v = 0 and u = tb the multiplication in R(I)0,−u is given by
(f (t) + g(t)T )(h(t) + l(t)T ) = f (t)h(t) + tb g(t)l(t) + (f (t)l(t) + g(t)h(t))T.
Hence, if I = (te1 , . . . , ter ) is a monomial ideal, it is easy to check that the map R(I)0,−u → k[[S ✶b E]]
given by f (t) + g(t)T 7→ f (t2 ) + g(t2 )tb is an isomorphism (we remark that in [2] the authors forgot
to state the hypothesis that I has to be a monomial ideal).
Now we are interested in studying the associated graded ring of k[[S ✶b E]]. To this aim we prove
a more general result. We recall that the Nagata’s idealization is defined as follows: let A be a ring
and N be an A-module; then, A ⋉ N is the A-module A ⊕ N with the multiplication defined as
(r, m)(s, n) = (rs, rn + sm). If (A, n) is local, then A ⋉ N is local with maximal ideal n := n ⊕ N
and it is well-known that grn (A ⋉ N ) ∼
= grn (A) ⋉ grn (N )(−1); in fact, the homogeneous elements of
degree 1 are the elements of n/n2 ⊕ N/nN . For an element f ∈ A with n-adic order d, the residue
class of f in nd /nd+1 is called the initial form of f and is denoted by f ∗ . We use the same notation
f ∗ to denote the image of f in grn (A).
We also recall that, if (A, n) is local, all the rings A(I)v,u are local with maximal ideal n isomorphic, as A-module, to n ⊕ I ([2, Proposition 2.1]). With this notation, we can state the following
general result.

4

MARCO D’ANNA, RAHELEH JAFARI, AND FRANCESCO STRAZZANTI

Proposition 1.2. Let (A, n) be a local ring and let I be a proper ideal. Assume that both u and v
belong to n. Then grn (A(I)v,u ) ∼
= grn (A) ⋉ grn (I)(−1).
Proof. By the proof of [2, Proposition 2.3], n̄i /n̄i+1 = {r ∗ +x∗ T | r ∗ ∈ ni /ni+1 and x∗ ∈ ni−1 I/ni I}
for all i > 0. Therefore, we get a bijective map ϕ : grn̄ (A(I)v,u ) → grn (A) ⋉ grn (I)(−1) by setting
ϕ(r ∗ + x∗ T ) = (r ∗ , x∗ ) for every homogeneous element r ∗ + x∗ T of grn̄ (A(I)v,u ). This is a ring
isomorphism, because the multiplication of two homogeneous elements of the first ring is induced
by the multiplication in A(I)v,u and then, since u, v ∈ n, we have
ϕ((r ∗ + x∗ T )(s∗ + y ∗ T )) = ϕ((rs − uxy)∗ + (ry + sx − vxy)∗ T ) = ϕ((rs)∗ + (ry + sx)∗ T ) =
= ((rs)∗ , (ry + sx)∗ ) = (r ∗ , x∗ )(s∗ , y ∗ ) = ϕ(r ∗ + x∗ T ) · ϕ(s∗ + y ∗ T ).



In the rest of the paper, E is an ideal of S not containing 0, minimally generated by {e1 , . . . , er }
and I = (te1 , . . . , ter ) is the corresponding monomial ideal of R = k[[S]].
The next corollary follows immediately from Proposition 1.2.
Corollary 1.3. Let D = k[[S ✶b E]] and let n be its maximal ideal. Then, grn (D) ∼
= grm (R) ⋉
grm (I)(−1).
Notice that we can give an explicit isomorphism between the two graded rings grn (D) and
grm (R)⋉ grm (I)(−1), since it is induced by the isomorphism R(I)0,−tb → k[[S ✶b E]]. More precisely,
a degree i homogeneus element of grm (R) ⋉ grm (I)(−1) is in mi /mi+1 ⊕ mi−1 I/mi I; so it is of the
∗
form (x(t)∗ , i(t)∗ ) and it corresponds to x(t2 ) + i(t2 )tb ∈ ni /ni+1 .
From the previous corollary we can deduce the following result (see [1, Corollary 4.14] and [12,
Theorem 5.6]).
Corollary 1.4. Let D = k[[S ✶b E]] and let n be its maximal ideal. Then the following statements
hold.
(1) The graded ring grn (D) is Cohen-Macaulay if and only if grm (R) is Cohen-Macaulay and
grm (I) is a maximal Cohen-Macaulay module of grm (R);
(2) grn (D) is Gorenstein if and only if grm (R) is Cohen-Macaulay and grm (I) is a canonical
module of grm (R).
Notice that if grn (D) is Gorenstein, also D has to be Gorenstein and, therefore, I has to be a
canonical ideal for R. Nevertheless, it is not always true that the canonical module of grm (R) is of
the expected form, i.e. of the form grm (ωR ), with ωR canonical module of R; see Corollary 3.11.
Our aim in the next two sections is to find numerical conditions on E so that grn (D) is CohenMacaulay, Gorenstein or a complete intersection.
2. Cohen-Macaulay property
We would like to combine Theorem 1.1 and Corollary 1.4 (1) to study when the associated graded
ring of the numerical duplication is Cohen-Macaulay. To this purpose we first study the associated
graded module of an ideal in order to establish a result for ideals analogous to Theorem 1.1.
We define the Apéry set of the semigroup ideal E with respect to the multiplicity m as Apm (E) =
{α0 , . . . , αm−1 }, where αi is the smallest element in E that is congruent to i modulo m; we notice
that m may not be in E. Moreover, when we write E = {e1 , . . . , er } + S, we assume that the
generators are in increasing order, so that e1 = min(E).
We define the ideal E ′ of S ′ as
[
E′ =
(E + (l − 1)M ) − lM.
l≥1

TANGENT CONES OF MONOMIAL CURVES OBTAINED BY NUMERICAL DUPLICATION

5

Notice that E ′ = (E + (l − 1)M ) − lM for l large enough.
Lemma 2.1. Let S be a numerical semigroup with maximal ideal M and multiplicity m. Then
E ′ = {e1 − m, . . . , er − m} + S ′ .
Proof. The inclusion (⊇) follows from the fact that each x ∈ {e1 − m, . . . , er − m} + S ′ is of the
form x = ei − m + y with i = 1, . . . , r and y ∈ S ′ . Hence, for l big enough, y + lM ⊆ lM and so
x + lM ∈ (ei − m) + lM = ei + (l − 1)M ⊆ E + (l − 1)M , where the equality holds by [4, Proposition
I.2.1(b)].
Conversely, take x such that x + lM ⊆ E + (l − 1)M , for some l; in particular, x + lm = ei + y,
for some i = 1, . . . , r, and y ∈ (l − 1)M . Hence, x = (ei − m) + (y − (l − 1)m) ∈ (ei − m) + S ′ ⊆
{e1 − m, . . . , er − m} + S ′ .

Note that, if m ∈ E, then 0 ∈ E ′ and so E ′ = S ′ . Let {α′0 , . . . , α′m−1 } be the Apéry set with
respect to m of E ′ . Let ai (E) denote the unique integer such that α′i + m ai (E) = αi . We notice
that ai (E) is indeed the largest number λ such that αi − λm ∈ E ′ , i.e the smallest number λ such
that α′i + λm ∈ E. We also define the order of e ∈ E as the integer
ordE (e) := max{l + 1 | e ∈ lM + E};
moreover, for all i = 0, . . . , m−1, we set bi (E) := ordE (αi ). We will use a(E) and b(E), respectively,
to denote the vectors [a0 (E), . . . , am−1 (E)] and [b0 (E), . . . , bm−1 (E)].
P
P
Remark 2.2. If αi ∈ lM + E, then αi = pj=1 rj sj + e, for some sj ∈ M , e ∈ E and pj=1 rj = l.
Pp
Therefore, αi − (l + 1)m = j=1 rj (sj − m) + (e − m) ∈ E ′ , since e − m ∈ E ′ . In particular,
ai (E) ≥ bi (E).
Lemma 2.3. Let E be an ideal of S. The following statements are equivalent:
(1) ordE (e + m) = ordE (e) + 1, for all e ∈ E;
(2) ordE (e + λm) = ordE (e) + λ for all e ∈ Apm (E) and λ ∈ N;
(3) ai (E) = bi (E) for all i = 0, . . . , m − 1.
Proof. (1)⇒(2). This is clear.
(2)⇒(3). By Remark 2.2, we have ai (E) ≥ bi (E) for all i = 0, . . . , m − 1. As α′i ∈ E ′ , by
definition of E ′ we get α′i + nm ∈ E + (n − 1)M , for n ≫ 0. In particular, it follows that
αi + (n − ai (E))m ∈ E + (n − 1)M and, therefore, since ordE (αi ) = bi (E), the hypothesis implies
bi (E) + n − ai (E) = ordE (αi + (n − ai (E))m) ≥ n.
Hence, bi (E) ≥ ai (E) and the result follows.
(3)⇒(1). Let e ∈ E. Then e = αi + λm for some αi ∈ Apm (E) and λ ≥ 0. If ordE (e + m) >
ordE (e) + 1, then
ordE (e + m) = ordE (αi + (λ + 1)m) > bi (E) + λ + 1 = ai (E) + λ + 1.
P
P
Hence, αi + (λ + 1)m = j rj sj + e, where j rj = ai (E) + λ + 1 and e ∈ E. Moreover, since
α′i = αi − ai (E)m, we get
X
α′i − m = αi + (λ + 1)m − (ai (E) + λ + 2)m =
rj (sj − m) + (e − m) ∈ E ′ ,
j

that is contradiction, because

α′i

∈ Apm

(E ′ ).

Lemma 2.4. The following statements hold true.



6

MARCO D’ANNA, RAHELEH JAFARI, AND FRANCESCO STRAZZANTI

(1) Given a ∈ S and b ∈ E, we have (ta )∗ · (tb )∗ = 0 if and only if ordE (a + b) > ordS (a) +
ordE (b).
(2) For any s ∈ S \ {m}, (ts )∗ is nilpotent.
Proof. The first statement is clear by definition and the second one is the subject of [14, Lemma
5].

Remark 2.5. We notice that the only minimal monomial prime ideal of grm (R) is the ideal generated
by {(tn2 )∗ , . . . , (tnν )∗ }, cf. [18, Corollary 2.3]. Moreover, taking I = (te1 , . . . , ter ), since mn−1 I 6=
mn I for all n, grm (I) has positive dimension and, then, has dimension one.
Proposition 2.6. Let E = {e1 , . . . , er } + S and let I = (te1 , . . . , ter ). The following statements are
equivalent:
(1)
(2)
(3)
(4)

grm (I) is a one-dimensional Cohen-Macaulay grm (R)-module;
(tm )∗ is not a zero-divisor of grm (I);
ordE (e + m) = ordE (e) + 1, for all e ∈ E;
ai (E) = bi (E) for all i = 0, . . . , m − 1.
P
of grm (I). If kj > 0 for some sj 6= m,
Proof. (1)⇒(2). Let f = pi=1 ki (tsi )∗ be a non-zero-divisor
P
then (tsj )∗ is nilpotent by Lemma 2.4(2) and so i6=j ki (tsi )∗ is again a non-zero-divisor. Thus, we
may assume that si = m for all i, in particular (tm )∗ is a non-zero-divisor.
(2)⇒(3). It follows directly by Lemma 2.4(1).
(3)⇒(1). We claim (tm )∗ is not a zero-divisor of grm (I) and the result follows immediately,
since the dimension of grm (I) is one.
on the contrary, that (tm )∗ · f = 0 for some f ∈
Pp Assume,
n−1
n
s
∗
m
I/m I. We may write f = i=1 hi (t i ) , where 0 6= hi ∈ k and s1 < · · · < sp belong to
(n − 1)M + E \ nM + E. Now,
(tm+s1 )∗ =

p
X

−

i=2

hi m+si ∗
(t
) ∈ mn I/mn+1 I.
h1

Since s1 < si for all i = 2, . . . , p, we get (tm+s1 )∗ = 0 ∈ mn I/mn+1 I, that is equivalent to
s1 + m ∈ (n + 1)M + E,
i.e. ordE (m + s1 ) ≥ n + 2, a contradiction.
(3)⇔(4). It is proved in Lemma 2.3.



Since ordS (s) = ordM (s) for every s ∈ M , we re-obtain as a particular case the following known
result.
Corollary 2.7. [14, Theorem 7, Remark 8], [5, Theorem 2.6] The following are equivalent:
(1)
(2)
(3)
(4)

grm (R) is Cohen-Macaulay;
ordS (s + m) = ordS (s) + 1, for all s ∈ M ;
ordS (s + λm) = ordS (s) + λ for all s ∈ Apm (S) and λ ∈ N;
ai (S) = bi (S), for all i = 0, . . . , m − 1.

We are now ready to give a numerical interpretation of Corollary 1.4 (1). We recall that we
denote by (D, n) the ring k[[S ✶b E]].
Theorem 2.8. The associated graded ring grn (D) is Cohen-Macaulay if and only if ai (S) = bi (S)
and ai (E) = bi (E) for all i = 0, . . . , m − 1.

TANGENT CONES OF MONOMIAL CURVES OBTAINED BY NUMERICAL DUPLICATION

7

Proof. By Corollary 1.4 (1) we have to give necessary and sufficient conditions for grm (R) and
grm (I) to be Cohen-Macaulay. The thesis follows immediately by Theorem 1.1 and Proposition
2.6.

Let us explore some consequences of Proposition 2.6.
Corollary 2.9. Let grm (I) be a Cohen-Macaulay grm (R)-module. If m ∈ E, the minimal set of
generators of E is a subset of the minimal generating set of S.
Proof. Assume, on the contrary, that the minimal generating set of E has an element e = s1 + s2
for two positive elements s1 , s2 ∈ S. Then, ordE (e + m) ≥ 3 > ordE (e) + 1 and this contradicts
Lemma 2.3.

Let e ∈ E be such
P that ordE (e) = n;Pby a maximal representation of e we mean a representation
of the form e = i ri si + x such that i ri = n − 1 and x ∈ E.
P
Remark 2.10. Let e ∈ E and e = i ri si + x be a maximal representation
of e. If x = a + s for
P
some a ∈ E and
s
∈
S,
then
we
get
another
representation
e
=
(
r
s
+
s)
+
a that implies s = 0,
i i i
P
as ordE (e) = i ri + 1. In other words, x belongs to the minimal set of generators of E.

Corollary 2.11. Let E be a principal ideal of S. If grm (R) is Cohen-Macaulay, then grm (I) is a
Cohen-Macaulay grm (R)-module. In particular, if E is a principal ideal, grn (D) is Cohen-Macaulay
if and only if grm (R) is Cohen-Macaulay.
P
Proof. Let E = e + S. If a = i ri ni + x is a maximal
representation
of a ∈ E, then x = e by
P
P
As
gr
(R)
is
Cohen-Macaulay,
ord
(
r
n
+
m)
=
r
+
1 by Corollary
2.7. Let
Remark 2.10.
S
i
m
i i i
iP
P ′
P
′
a + m = i ri ni + e be a maximal P
representation of a + m ∈P
E. Then i ri ni = i ri ni + m and,
in particular, ordE (a + m) = ordS ( i ri ni + m) + 1 = ordS ( i ri ni ) + 1 + 1 = ordE (a) + 1. Now,
the Proposition 2.6 implies that grm (I) is a Cohen-Macaulay grm (R)-module. The last statement

follows by Corollary 1.4.
Examples 2.12. 1. Consider the numerical semigroup S = h3, 4i = {0, 3, 4, 6 →}, the ideal
E = {3, 8} + S = {3, 6 →}, and the integer b = 3; then S ✶b E = h6, 8, 9, 19i = {0, 6, 8, 9, 12, 14 →}.
It is not difficult to see that a(S) = b(S) = [0, 1, 2], but a(S ✶b E) = [0, 2, 1, 1, 2, 2] and b(S ✶b E) =
[0, 1, 1, 1, 2, 2]. Then grn (D) is not Cohen-Macaulay, although grm (R) is. In fact a(E) = [1, 2, 2]
and b(E) = [1, 2, 1]
2. Consider the numerical semigroup S = h5, 14, 17i, the ideal E = {14, 20, 22} + S and b = 17.
In this case we have Ap5 (S) = {0, 31, 17, 28, 14}, Ap5 (E) = {0, 20, 31, 22, 28} and Ap10 (S ✶b E) =
{0, 61, 62, 73, 34, 45, 56, 57, 28, 79}. Moreover, it is possible to see that a(S) = b(S) = [0, 2, 1, 2, 1]
and a(S ✶b E) = b(S ✶b E) = [0, 1, 2, 2, 1, 1, 2, 1, 1, 2]; then, both grm (R) and grn (D) are CohenMacaulay.
3. Gorenstein property
In this section we will need to list the elements of the Apéry sets of S and E, with respect to the
multiplicity, in increasing order: hence, we will denote them by Apm (S) = {δ1 = 0 < δ2 < · · · < δm }
and Apm (E) = {β1 < β2 < · · · < βm }. It is straightforward to see that Ap2m (S ✶b E) =
{2δ1 , . . . , 2δm , 2β1 + b, . . . , 2βm + b}.
We define a partial ordering ≤M on Apm (S) by setting δi ≤M δj if there exists δk ∈ Apm (S)
such that δi + δk = δj and ordS (δi ) + ordS (δk ) = ordS (δj ). A numerical semigroup S is said to be
M -pure if all the maximal elements of Apm (S) with respect to ≤M have the same order. In [6,
Theorem 3.14] L. Bryant proves that grm (R) is Gorenstein if and only if it is Cohen-Macaulay and
S is M -pure and symmetric.

8

MARCO D’ANNA, RAHELEH JAFARI, AND FRANCESCO STRAZZANTI

Remark 3.1. If S is M -pure, then grm (R) is Cohen-Macaulay if and only if ordS (δ + λm) =
ordS (δ) + λ for all λ ∈ N and all maximal elements δ ∈ Apm (S) with respect to ≤M . Clearly,
one implication follows from Corollary 2.7. Conversely, if δi ∈ Apm (S), δi <M δ with δ maximal
and δk = δ − δi , then for all λ ∈ N we have
ordS (δi + λm) ≥ ordS (δi ) + λ = ordS (δ) + λ − ordS (δk )
= ordS (δ + λm) − ordS (δk )
= ordS (δi + λm + δk ) − ordS (δk )
≥ ordS (δi + λm) + ordS (δk ) − ordS (δk ) = ordS (δi + λm).
Therefore, the first inequality is an equality and the claim follows from Corollary 2.7. In particular,
if S is M -pure and symmetric, then δm is the only maximal element by [6, Proposition 3.7] and,
thus, grm (R) is Cohen-Macaulay if and only if ordS (δm + λm) = ordS (δm ) + λ for all λ ∈ N.
P
P
Given s ∈ S, we say that a representation s = i si ni is maximal if i si = ordS (s).
P
Lemma 3.2. For a given integer t in T = S ✶b E with maximal representation t = i ri (2ni ) +
P
j sj (2ej + b), the following statements hold:
P
(1) If t is odd, then j sj = 1;
P
(2) If t = 2s is even, then j sj = 0 and ordT (t) = ordS (s).
P
Proof. Suppose that j sj ≥ 2, i.e. in the maximal representation of t there are two elements
of the form 2ej1 + b and 2ej2 + b, not necessarily different. Then, it is possible to replace them
with 2ej1 , 2ej2 and 2b that are three elements of T . In this way we increase the summands
P in the
representation and this is a contradiction, since it is maximal. Hence, if t is odd, then j sj = 1,
P
P
whereas if t is even we have j sj = 0. In the latter case s = i ri ni and, thus, ordS (s) ≥ ordT (t).
P
P
Moreover, if k pk nk is a maximal representation of s, then t = k pk (2nk ) and the thesis follows
immediately.

P
Remark 3.3. In the setting of the previous lemma, if t is odd and t =
i ri (2ni ) + (2e + b) is
a maximal representation, e is necessarily a minimal generator of E, otherwise
e = e′ + s and
P
we increase the summands in the representation.
i ri ni , we have that
P Moreover, setting s =
ordT (t) ≥ ordS (s) + 1 and, conversely, if s = i ri ni is not a maximal representation, the same
holds for the representation of t; hence, ordT (t) = ordS (s) + 1.
On the other hand, if we only assume that t = 2s + (2e + b), with e minimal generator of E, we
cannot conclude that ordT (t) = ordS (s) + 1, since it could be t = 2s + (2e + b) = 2s′ + (2e′ + b)
with ordS (s) < ordS (s′ ).
Let f (S) = max(Z \ S). The standard canonical ideal of S is defined as
K(S) = {x ∈ N | f (S) − x ∈
/ S}.
It is characterized by the following duality property: K(S) − (K(S) − F ) = F , for any relative ideal
F of S; the same property holds for any shift x + K(S). Starting by this fact, that is the numerical
counterpart of the duality for canonical ideals in the one-dimensional rings, Jäger proved in [15,
Satz 5] that any fractional ideal of R = k[[S]], with valuation x + K(S), is a canonical (fractional)
ideal of R. In particular, the monomial ideal corresponding to a proper ideal E = K(S) + x ⊆ S,
with x ∈ S, provides a canonical ideal of R; consequently, E is called a canonical ideal of S. A
numerical semigroup is said to be symmetric if S = K(S) and this notion is the corresponding one
of the Gorenstein property in numerical semigroup theory; more precisely, R is Gorenstein if and
only if S is symmetric. We recall also that S is symmetric if and only if δi + δm−i+1 = δm for all
i = 2, . . . , m − 1, see [23, Proposition 4.10].

TANGENT CONES OF MONOMIAL CURVES OBTAINED BY NUMERICAL DUPLICATION

9

Proposition 3.4. Let E be a canonical ideal of S. Then, T = S ✶b E is M -pure if and only if S
is M -pure. Moreover, in this case ordT (2βm + b) = ordS (δm ) + 1.
Proof. If E = K(S) + x, it is clear that Apm (E) = Apm (K(S)) + x and, thus, β1 = x and
βm = f (S) + m + x = δm + x. Furthermore, since T is symmetric by [10, Proposition 3.1], it easily
follows that 2δi + 2βm+1−i + b = 2βm + b for all i = 2, . . . , m.
Assume that T is M -pure. Since T is symmetric, this means that ordT (2δi )+ordT (2βm+1−i +b) =
ordT (2βm + b) for all i and, in particular,
ordT (2βm + b) = ordT (2δm ) + ordT (2x + b) = ordS (δm ) + 1,
since 2x + b is the smallest
P odd element of T . Let δi be a maximal element of Apm (S) with
respect to ≤M (S) and let j rj (2nj ) + (2e + b) be a maximal representation of 2βm+1−i + b in T .
P
P
Suppose by contradiction that j rj > 0. Clearly, δi + j rj nj = βm − e ∈ S and we claim that
βm − e ∈ Apm (S): in fact, βm − e − m = δm − (e − x) − m = f (S) − k for some k ∈ K(S) and,
thus, it is not in S by definition of K(S). Moreover, since 2(βm − e) + 2e + b = 2βm + b and 2e + b
is a minimal generator of T which is M -pure, it follows that ordT (2βm + b) = ordS (βm − e) + 1.
Furthermore, we already know that


X
X
rj + 1.
ordT (2βm + b) = ordT (2δi ) + ordT 
rj (2nj ) + (2e + b) = ordS (δi ) +
j

j

P
Hence, ordS (δi ) + j rj = ordS (βm − e) and this is a contradiction, since δi is maximal with respect
P
to ≤M (S) . Consequently, we get j rj = 0 and, therefore,
ordS (δm ) + 1 = ordT (2βm + b) = ordT (2δi ) + ordT (2e + b) = ordS (δi ) + 1.
This implies that ordS (δi ) = ordS (δm ) and, hence, S is M -pure.
Conversely,
assume that S is M -pure. First of all we claim that ordT (2βm + b) = ordS (δm ) + 1.
P
Let j rj (2nj ) + (2e + b) be a maximal representation of 2βm + b in T , again e has to be a minimal
P
generator of S and it is easy to see that j rj ∈ Apm (S). Therefore,


X
X
ordT (2βm + b) =
rj + 1 = ordS 
rj nj  + 1 ≤ ordS (δm ) + 1,
j

j

where the inequality follows from the fact that S is M -pure and δm is a maximal element of S.
Moreover, we know that 2δm + 2β1 + b = 2βm + b and then ordT (2βm + b) ≥ ordS (δm ) + 1; hence,
we get the equality.
It is enough to show that 2βm + b is the only maximal elements of Ap2m (T ) with respect of
≤M (T ) . Since T is symmetric, we know that 2δi + 2βm+1−i + b = 2βm + b and, then, it is sufficient
to show that 2δi ≤M (T ) 2βm + b for all i = 1, . . . , m. Moreover, if δi is not maximal in Apm (S), it
is clear that it is not maximal in Ap2m (T ) and, thus, it is enough to consider the elements 2δi with
δi maximal in Apm (S). Finally, from 2δi + 2βm+1−i + b = 2βm + b it follows that
ordS (δm ) + 1 = ordT (2βm + b) ≥ ordT (2δi ) + ordT (2βm+1−i + b) ≥ ordS (δi ) + 1 = ordS (δm ) + 1
for every maximal element δi in Apm (S). Hence, ordT (2βm + b) = ordT (2δi ) + ordT (2βm+1−i + b)
and 2δi ≤M (T ) 2βm + b.


10

MARCO D’ANNA, RAHELEH JAFARI, AND FRANCESCO STRAZZANTI

Example 3.5. If E is not a canonical ideal, both the implications of the previous proposition do
not hold. For instance S = h5, 6, 7i is M -pure, but S ✶5 ({5, 13} + S) = h10, 12, 14, 15, 31i is not M pure. On the other hand, S = h6, 7, 22i is not M -pure, but S ✶7 ({6, 21} + S) = h12, 14, 19, 44, 49i
is M -pure.
Theorem 3.6. Let D = k[[S ✶b E]] and let n be its maximal ideal. Then grn (D) is Gorenstein if
and only if S is M -pure, E is a canonical ideal and grm (R) is Cohen-Macaulay.
Proof. Recall that grn (D) is Gorenstein if and only if it is Cohen-Macaulay and S ✶b E is M -pure
and symmetric [6, Theorem 3.14].
Assume that grn (D) is Gorenstein. By [6, Theorem 3.14] this is equivalent to say that it is
Cohen-Macaulay and S ✶b E is M -pure and symmetric. Since S ✶b E is symmetric, E has to be
a canonical ideal of S ([10, Proposition 3.1]). So we can apply the previous proposition to obtain
that S is M -pure. Finally, by Corollary 1.4 we get that also grm (R) is Cohen-Macaulay.
Conversely, assume that S is M -pure, E is a canonical ideal and grm (R) is Cohen-Macaulay.
Hence Proposition 3.4 and [10, Proposition 3.1] imply that S ✶b E is M -pure and symmetric.
Therefore we have only to show that grn (D) is Cohen-Macaulay. By Remark 3.1 it is enough to
show that ordT (2βm + b + 2λm) = ordT (2βm + b) + λ for all λ ∈ N. Since grm (R) is CohenMacaulay and ordT (2βm + b) = ordS (δm ) + 1 (again by Proposition 3.4), it is enough to show that
ordT (2βm + b + 2λm) = ordS (δm + λm) + 1 for all λ ∈ N. If E = x + K(S), then βm = δm + x and
ordT (2βm + b + 2λm) = ordT (2δm + 2λm + 2x + b) ≥ ordS (δm + λm) + 1.
P
Let 2βm + b + 2λm =
ri (2ni ) + (2e + b) be a maximal
P representation, where e is a minimal
generator of E.
Clearly,
there
exists
γ
∈
N
such
that
ri ni − γm ∈ Apm (S). If γ > λ, then
P
2βm + b > 2( ri ni − γm) + 2e + b ∈ T and, since they are congruent module 2m, this yields a
contradiction; hence, γ ≤ λ. Moreover, ordS (δm ) is the maximum order of the elements of Apm (S),
so using Corollary 2.7, it follows that

X

X
ri ni − γm + γ + 1 ≤
ri ni + 1 = ordS
ordT (2βm + b + 2λm) = ordS
≤ ordS (δm ) + λ + 1 = ordS (δm + λm) + 1.



The next result is a consequence of Corollary 1.4, since a Gorenstein ring is Cohen-Macaulay.
Corollary 3.7. If E is a canonical ideal of an M -pure numerical semigroup S and grm (R) is
Cohen-Macaulay, then grm (I) is Cohen-Macaulay.
Recalling that a principal ideal is canonical if and only if the ring is Gorenstein, we get the
following corollary.
Corollary 3.8. grm (R) is Gorenstein if and only if grn (k[[S ✶b E]]) is Gorenstein for every principal
ideal E of S.
Example 3.9. Consider the numerical semigroup S = h10, 11, 12, 13i. This is M -pure and its
associated graded ring is Cohen-Macaulay, but S is not symmetric and, therefore, grn (R) is not
Gorenstein. On the other hand, if E is a canonical ideal of S, grn (k[[S ✶b E]]) is Gorenstein for all
odd b ∈ S by Theorem 3.6. For instance, E = {10, 11, 12} + S is a canonical ideal and in this case
S ✶11 E = h20, 22, 24, 26, 31, 33, 35i.
As in the example above, there are several cases in which grm (R) is not Gorenstein, but grn (k[[S ✶b
E]]) is.
Corollary 3.10. ([6, Proposition 3.22]) Let E be a canonical ideal of S. If S satisfies one of the
following conditions, then grn (k[[S ✶b E]]) is Gorenstein.

TANGENT CONES OF MONOMIAL CURVES OBTAINED BY NUMERICAL DUPLICATION

(1)
(2)
(3)
(4)
(5)

11

S has embedding dimension 2.
S has maximal embedding dimension, i.e. ν = m.
S is symmetric and ν = m − 1.
S is generated by an arithmetic sequence.
m ≤ 4, except the case S = h4, n2 , n3 i such that S is not symmetric.

For instance, if S has maximal embedding dimension and m 6= 2, then it is not symmetric and so
grm (R) is not Gorenstein, but grn (k[[S ✶b E]]) is Gorenstein for every odd b ∈ S and every canonical
ideal E of S.
Let ωR be a canonical module of R. By Corollary 1.3, it follows that grn (k[[S ✶b E]]) is Gorenstein
if and only if grm (ωR ) is a canonical module of grm (R). In general, in [22, Theorem 3.5] A. Ooishi
proves that, if R is local, the associated graded module of ωR is a canonical module of grm (R) exactly
when grm (R) and grm (ωR ) are Cohen-Macaulay and H(grm (ωR ), t) = (−1)d ta H(grm (R), t−1 ), where
H(M, t) denotes the Hilbert series of a module M , d = dim R and a is the a-invariant of grm (R).
In the light of Theorem 3.6, in the case of numerical semigroup rings, this technical condition
can be replaced by the M -pureness for S:
Corollary 3.11. Let R = k[[S]] be a numerical semigroup ring with canonical module ωR . Then,
grm (ωR ) is a canonical module of grm (R) if and only if grm (R) is Cohen-Macaulay and S is M -pure.
Proof. We can assume that grm (R) is Cohen-Macaulay. By Corollary 1.4, grm (ωR ) is a canonical
module of grm (R) if and only if grn (k[[S ✶b E]]) is Gorenstein, where E is a canonical ideal of S and

b an odd element of S. Then, the thesis follows from Theorem 3.6.
3.1. Complete intersections. In this subsection we focus to the complete intersection property
for grn (k[[S ✶b E]]). We will make use of a characterization proved in [9]: grm (R) is a complete
intersection if and only if it is Cohen-Macaulay and S has γ-rectangular Apéry set. To explain this
result we need some notation. For every i = 2, . . . , ν we define
βS (ni ) = max{h ∈ N | hni ∈ Apm (S) and ord(hni ) = h};
γS (ni ) = max{h ∈ N | hni ∈ Apm (S), ord(hni ) = h and
hni has a unique maximal representation}.
(we write βS (ni ) instead of βi as in [9], since in that paper the generators are listed in increasing
P
b E could not be clear). Let B(S) = { ν λ n |
order, while the ordering of the generators
of
T
=
S
✶
2 i i
P
0 ≤ λi ≤ βS (ni )} and Γ(S) = { ν2 λi ni | 0 ≤ λi ≤ γS (ni )}. In [9, Corollary 2.7] it is proved that
Apm (S) ⊆ Γ(S) ⊆ B(S) and we will say that a numerical semigroup has β- or γ-rectangular Apéry
set if Apm (S) = B(S) or Apm (S) = Γ(S), respectively.
Proposition 3.12. Let T = S ✶b E and D = k[[S ✶b E]].
(1) T has γ-rectangular (resp. β-rectangular) Apéry set if and only if S has γ-rectangular (resp.
β-rectangular) Apéry set and E is principal;
(2) grn (D) is complete intersection if and only if grm (k[[S]]) is complete intersection and E is
principal.
Proof. (1) It easily follows from Lemma 3.2 that βT (2ni ) = βS (ni ) and γT (2ni ) = γS (ni ) for all
i = 2, . . . , ν. On the other hand, if 2ei + b is a generator of T , then βT (2ei + b) = γT (2ei + b) = 1,
since 2(2ei + b) = 2ei + 2ei + 2b has order greater than 2. This implies that the number of the even
elements in Γ(T ) is greater than |Γ(S)| and equal to it if and only if E is principal; in the same

12

MARCO D’ANNA, RAHELEH JAFARI, AND FRANCESCO STRAZZANTI

way, the number of the odd elements in Γ(T ) is greater than |Γ(S)| and they are equal if and only
if E is principal. Therefore,
| Ap2m (T )| = 2| Apm (S)| ≤ 2|Γ(S)| ≤ |Γ(T )|
and, hence, the Apéry set of T is γ-rectangular if and only if all the inequalities above are equalities,
i.e. S has γ-rectangular Apéry set and E is principal. As for the β-rectangularity, it is enough to
apply the same argument.
(2) Recall that the associated graded ring of a numerical semigroup ring is complete intersection
if and only if it is Cohen-Macaulay and the Apéry set of the semigroup is γ-rectangular, see [9,
Theorem 3.6]. Therefore, the thesis follows from the first part of this proposition and by Corollary
2.11.

4. Homogeneous property
Consider the surjective homomorphism ϕ : k[[x1 , . . . , xν ]] → k[[S]] that associates the minimal
generators ni with every xi . It induces an isomorphism between k[[S]] and k[[x1 , . . . , xν ]/IS for
some ideal IS , called the defining ideal of S. In this section we are interested in comparing the
Betti numbers of k[[S]] and grm (k[[S]]) as k[[x1 , . . . , xν ]]-modules. It is well-known that the i-th Betti
number βi (k[[S]]) of k[[S]] is less than or equal to βi (grm (k[[S]])) for all i; if all the equalities hold,
i.e. k[[S]] and grm (k[[S]]) have the same Betti numbers, k[[S]] (and S) is said to be of homogeneous
type [17]. In [19] it is introduced the notion of homogeneous semigroup in order to find numerical
conditions assuring that k[[S]] is of homogeneous type. In fact, it is proved that if S is homogeneous
and grm (k[[S]]) is Cohen-Macaulay, then k[[S]] is of homogeneous type.
In this section we characterize when the numerical duplication S ✶b E is homogeneous in terms
of S, E and b. Let L(z) be the set of the lenghts of the representations of an integer z. In the
following we recall the definition of homogeneous numerical semigroup introduced in [19] and we
generalize it to ideals.
Definition 4.1. Let E = {e1 , . . . , er } + S be an ideal of S and let Apm (E) = {β1 , β2 , . . . , βm } be
the Apéry set of E with respect to the multiplicity.
(1) An integer z is called homogeneous for S if either z ∈
/ S or L(z) is a singleton.
(2) The semigroup S is said to be homogeneous if every element of Apm (S) is homogeneous.
(3) The ideal E is called homogeneous if βi −ej is homogeneous for all i, j and all the non-empty
sets among L(βi − e1 ), L(βi − e2 ), . . . , L(βi − er ) are equal for all i.
Examples 4.2. 1. Let S1 = h4, 5i be a numerical semigroup and consider the ideal E1 = {5, 8}+ S
of S1 . The Apéry set of E1 is Ap4 (E1 ) = {5, 8, 10, 15} and it is easy to see that E1 is homogeneous.
2. Consider again S1 = h4, 5i and E2 = {5} + S. We have Ap4 (E2 ) = {5, 10, 15, 20} and one can
easily check that it is homogeneous.
3. Let S2 = h6, 7, 9, 11i and consider its ideal E3 = {7, 11, 12} + S. In this case we have Ap6 (E3 ) =
{7, 11, 12, 14, 16, 21} and E3 is not homogeneous, since 9 = 21 − 12 and 14 = 21 − 7 have different
order.
If every element of Apm (E) is homogeneous and its generators have the same order as elements
of S, it is easy to see that E is homogeneous. The converse is not true as the first two examples
show.
Lemma 4.3. Let Apm (S) = {δ1 , . . . , δm } and Apm (E) = {β1 , . . . , βm }. If δi ∈
/ 2E + b for every i,
then βj ∈
/ 3E + b for every j.

TANGENT CONES OF MONOMIAL CURVES OBTAINED BY NUMERICAL DUPLICATION

13

Proof. Assume by contradiction that βj = a1 + a2 + a3 + b, for some j with ai ∈ E. By hypothesis
a2 + a3 + b ∈
/ Apm (S), then a2 + a3 + b − m ∈ S and, thus, βj − m = a1 + (a2 + a3 + b − m) ∈ E,
that is a contradiction.

The next theorem shows the importance of the homogeneous property for semigroup ideals.
Theorem 4.4. Let Apm (S) = {δ1 , . . . , δm } and Apm (E) = {β1 , . . . , βm }. Then, S ✶b E is homogeneous if and only if S is homogeneous, E is homogeneous and δi ∈
/ 2E + b for all i.
b
Proof. Recall that Ap2m
{2δ1 , . . . , 2δm , 2β1 + b, . . . , 2βm + b}. AssumeP
first that S ✶b
P(S ✶ E) = P
E is homogeneous. If j rj nj and k sk nk are two representations of δi , then j rj (2nj ) and
P
P
P
b
k sk (2nk ) are two representations of 2δi ; therefore,
j rj =
k sk since S ✶ E is homogeneous,
and so P
S is homogeneous
P as well.
Let k rk nk and l sl nl be
Ptwo representations of βi −
Pej . Then, 2βi + b = 2(βi − ej ) + 2ej + b
has the two representations
r
(2n
)
+
2e
+
b
and
b is a
j
k
k k
l sl (2nl ) + 2ej + b.P Since 2ej + P
b
minimal generator of S ✶ E, the lengths of the representations above are 1 + k rk and 1 + l sl ;
P
P
P
b
thus,
Moreover, if P
βi − ej1 =
k rkP=
l sl , because S ✶ E is homogeneous.
k rk nk and
P
βi − ejP
=
s
n
,
as
above
we
get
2β
+
b
=
r
(2n
)
+
2e
+
b
=
s
(2n
)
+
2e
i
j1
j2 + b and
l l
k
l
2
l P
k k
l l
again k rk = l sl ; hence, E is homogeneous.
P
P
Now assume by contradiction that δi ∈ 2E + b for some i, i.e. δi = j rj nj + k sk ek + b with
P
P
P
ek ∈ S, we can assume that k sk = 2 and, thus, δi =
rj nj + ek1 + ek2 + b.
k sk ≥ 2; since P
Therefore, 2δi = j rj (2nj ) + 2ek1 + b + 2ek2 + b and, consequently, 2δi has a representation in
P
P
S ✶b E of length j rj + 2; on the other hand, ordS✶b E 2δi = ordS δi ≥ j rj + 3 and this yields a
contradiction.
Conversely,
assume
/ 2E + b forP
every i. Let
PE is homogeneous and δi ∈
P that S is homogeneous,
P
2δi = j rj (2nj ) + k sk (2ek + b). Clearly, k sk has to be even, since b is odd. If k sk > 0, it
follows that
P
X
X
sk
δi =
rj nj +
sk ek + k b
2
j
k
P
P
P
and, since k sk ≥ 2, we get δi ∈ 2E + b; contradiction. Hence, 2δi = j rj (2nj ). Let k rk′ (2nk )
P
P
be another representation of 2δi . Then, δi = j rj nj = k rk′ nk and, since S is homogeneous, it
P
P ′
follows that j rj = k rk .
P
P
P
Now let 2βi + b = j rj (2nj ) + k sk (2ek + b). Here k sk is odd and suppose by contradiction
P
that k sk ≥ 3. Then
P
X
X
( k sk ) − 1
b
βi =
rj n j +
sk ek +
2
j
k
P
and, thus, βi ∈ 3E + b, that contradicts Lemma 4.3. Therefore, 2βi + b = j rj (2nj ) + 2ek1 + b.
P ′
Consequently,
if l rl (2nl ) + 2ek2 + b is another representation of 2βi + b, it immediately follows
P
P

that j rj = l rl′ , since E is homogeneous.

The conditions δi ∈
/ 2E + b are true for b ≫ 0, consequently if S ✶b E is homogeneous for some
b
b, then S ✶ E is always homogeneous for b ≫ 0.
Example 4.5. The ideals E1 = {5, 8}+S and E2 = {5}+S of Examples 4.2 are both homogeneous
and S1 = h4, 5i is homogeneous. The Apéry set of S1 is Ap4 (S) = {0, 5, 10, 15} and, since 15 is
both in 2E1 + 5 and 2E2 + 5, it follows that S1 ✶5 E1 = h8, 10, 15, 21i and S1 ✶5 E2 = h8, 10, 15i are
not homogeneous. On the other hand, the smallest element of 2E1 + b and 2E2 + b is 10 + b, thus,

14

MARCO D’ANNA, RAHELEH JAFARI, AND FRANCESCO STRAZZANTI

if b > 5, the elements of Ap4 (S) are neither in 2E1 + b nor in 2E2 + b; it follows that both S1 ✶b E1
and S1 ✶b E2 are homogeneous for any odd b ∈ S except 5. For instance S1 ✶9 E1 = h8, 10, 23, 29i
and S1 ✶9 E2 = h8, 10, 23i are homogeneous.
On the one hand Theorem 4.4 allows to construct homogeneous numerical semigroups (and, consequently, of homogeneous type), but on the other hand it can be also used to construct semigroups
that are not homogeneous. The following result gives an answer to [19, Question 4.22].
Proposition 4.6. Let S be of homogeneous type. If there exists s ∈ M and an odd integer b ∈ S
such that 2s + b ∈ Apm (S), then S ✶b E is of homogeneous type and not homogeneous, where
E = {s} + S. Moreover, grn (k[[S ✶b E]]) is not complete intersection, provided that grm (k[[S]]) is not
complete intersection.
Proof. Since E is principal, the numerical duplication coincides with a particular case of the socalled simple gluing and, then, [24, Theorem 5.2] implies that S ✶b E is of homogeneous type, but
it is not homogeneous by Theorem 4.4. In the case that grm (k[[S]]) is not complete intersection, the

result follows by Proposition 3.12.
Examples 4.7. 1. Consider S = h6, 7, 10i. Its defining ideal is (x1 x22 −x23 , x41 −x22 x3 , x42 −x31 x3 ) and
the set of the minimal generators is also a standard basis. Since S has embedding dimension three,
it is a numerical semigroup of homogeous type by [19, Theorem 4.5]. Its Apéry set with respect to
6 is Ap6 (S) = {0, 7, 10, 14, 17, 21} and, then, 3 · 7 ∈ Ap6 (S). Therefore, the previous proposition
implies that T = S ✶7 h7i = h12, 14, 20, 21i is of homogeneous type, but T is not homogeneous and
its associated graded ring is not complete intersection. In fact, 63 = 3 · 21 = 3 · 14 + 21 ∈ Ap12 (T )
and, according to Macaulay2 [16], the minimal free resolutions of k[[T ]] and its associated ring are
0 → A2 → A5 → A4 → N → 0,
where A = k[[x1 , . . . , x4 ]] and N is either k[[T ]] or grn (k[[T ]]).
2. In the previous example we use [19, Theorem 4.5]: if S has embedding dimension three and
β1 (k[[S]]) = β1 (grm (k[[S]])), then βi (k[[S]]) = βi (grm (k[[S]])) for all i, i.e. S is of homogeneous type.
This is not true if S has 4 minimal generators; for instance if S = h6, 7, 8, 17i, its defining ideal is
generated by the set {x22 − x1 x3 , x2 x23 − x1 x4 , x33 − x2 x4 , x41 − x2 x4 , x31 x2 − x3 x4 , x31 x23 − x24 } that is
also a standard basis, but grm (k[[S]]) is not Cohen-Macaulay.
References
[1] D.D. Anderson, M. Winders, Idealization of a module, J. Commut. Algebra 1 (2009), no. 1, 3–56. 4
[2] V. Barucci, M. D’Anna, F. Strazzanti, A family of quotients of the Rees algebra, Commun. Algebra 43 (2015),
no. 1, 130–142. 1, 2, 3, 4
[3] V. Barucci, M. D’Anna, F. Strazzanti, Families of Gorenstein and almost Gorenstein rings, Ark. Mat. 54 (2016),
no. 2, 321–338. 2
[4] V. Barucci, D.E. Dobbs, M. Fontana, Maximality properties in numerical semigroups and applications to onedimensional analytically irreducible local domain, Mem. Amer. Math. Soc. 125, no. 598, 1997. 5
[5] V. Barucci, R. Fröberg, Associated graded rings of one dimensional analytically irreducible rings, J. Algebra 304
(2006) n.1, 349–358. 3, 6
[6] L. Bryant, Goto numbers of a numerical semigroup ring and the Gorensteiness of associated graded rings, Commun. Algebra 38 (2010), no. 6, 2092–2128. 7, 8, 10
[7] M. D’Anna, A construction of Gorenstein rings, J. Algebra 306 (2006), no. 2, 507–519. 2
[8] M. D’Anna, M. Fontana, An amalgamated duplication of a ring along an ideal: basic properties, J. Algebra Appl.
6 (2007), no. 3, 443–459. 2
[9] M. D’Anna, V. Micale, A. Sammartano, When the associated graded ring of a semigroup ring is Complete
Intersection, J. Pure Appl. Algebra 217 (2013), no. 6, 1007–1017. 11, 12

TANGENT CONES OF MONOMIAL CURVES OBTAINED BY NUMERICAL DUPLICATION

15

[10] M. D’Anna, F. Strazzanti, The numerical duplication of a numerical semigroup, Semigroup Forum 87 (2013),
no. 1, 149–160. 1, 3, 9, 10
[11] M. Delgado, P.A. Garcı́a-Sánchez, J. Morais, “NumericalSgps” – a GAP package, Version 1.1.5 (2017)
http://www.gap-system.org/Packages/numericalsgps.html. 2
[12] R.M. Fossum, P.A. Griffith, I. Reiten, Trivial extensions of abelian categories. Homological algebra of trivial extensions of abelian categories with applications to ring theory. Lecture Notes in Mathematics, Vol. 456.
Springer-Verlag, Berlin-New York, 1975. 4
[13] The GAP Group,
GAP – Groups, Algorithms, and Programming,
Version 4.8.4 (2016).
http://www.gap-system.org. 2
[14] A. Garcı́a, Cohen-Macaulayness of the associated graded of a semigroup ring, Commun. Algebra 10 (1982),
393–415. 6
[15] J. Jäger, Längenberechnung und kanonische ideale in eindimensionalen ringen, Arch. Math. 29 (1997), 504–512.
8
[16] D.R. Grayson, M.E. Stillman, Macaulay2, a software system for research in Algebraic Geometry, available at
http://www.math.uiuc.edu/Macaulay2/. 14
[17] J. Herzog, M.E. Rossi, G. Valla, On the depth of the symmetric algebra, Trans. Amer. Math. Soc. 296 (1986),
no. 2, 577–606. 12
[18] I-C. Huang, Residual complex on the tangent cone of a numerical semigroup ring, Acta Math. Vietnam. 40
(2015), no. 1, 149–160. 6
[19] R. Jafari, S. Zarzuela Armengou, Homogeneous numerical semigroups, arXiv:1603.01078v1 (2016). 2, 12, 14
[20] J. Lipman, Stable ideals and Arf rings, Amer. J. Math. 93 (1971), 649–685. 3
[21] A. Oneto, F. Strazzanti, G. Tamone, One-dimensional Gorenstein local rings with decreasing Hilbert function, J.
Algebra 489 (2017), 91–114. 2
[22] A. Ooishi, On the associated graded modules of canonical modules, J. Algebra 141 (1991), 143–157. 11
[23] J.C. Rosales, P.A. Garcı́a-Sánchez, Numerical Semigroups, Springer Developements in Mathematics, Vol 20,
2009. 8
[24] D.I. Stamate, Betti numbers for numerical semigroup rings, to appear in Multigraded Algebra and Applications
(V. Ene, E. Miller, Eds.) Springer Proceedings in Mathematics & Statistics, arXiv:1801.00153v1. 14
Marco D’Anna - Dipartimento di Matematica e Informatica - Università degli Studi di Catania Viale Andrea Doria 6 - 95125 Catania - Italy
E-mail address: mdanna@dmi.unict.it
Raheleh Jafari - Mosaheb Institute of Mathematics, Kharazmi University, and School of Mathematics, Institute for Research in Fundamental Sciences (IPM), P. O. Box 19395-5746, Tehran, Iran.
E-mail address: rjafari@ipm.ir
Francesco Strazzanti - Institut de Matemàtica - Universitat de Barcelona - Gran Via de les Corts
Catalanes 585 - 08007 Barcelona - Spain
E-mail address: francesco.strazzanti@gmail.com

