ON DELTA INVARIANTS AND INDICES OF IDEALS

arXiv:1705.05042v1 [] 15 May 2017

TOSHINORI KOBAYASHI
Abstract. Let R be a Cohen-Macaulay local ring with a canonical module. We consider
Auslander’s (higher) delta invariants of powers of certain ideals of R. Firstly, we shall
provide some conditions for an ideal to be a parameter ideal in terms of delta invarints.
As an application of this result, we give upper bounds for orders of Ulrich ideals of
R when R has Gorenstein punctured spectrum. Secondly, we extend the definition of
indices to the ideal case, and generalize the result of Avramov-Buchweitz-Iyengar-Miller
on the relationship between the index and regularity.

1. Introduction
Let (R, m, k) be a Cohen-Macaulay local ring with a canonical module. The Auslander
δ-invariant δR (M) for a finitely generated R-module M is defined to be the rank of
maximal free summand of the a minimal Cohen-Macaulay approximation of M. For an
integer n ≥ 0, the n-th δ-invariant is also defined by Auslander, Ding and Solberg [2] as
δRn (M) = δR (ΩnR M), where ΩnR M denotes the n th syzygy module of M in the minimal
free resolution.
On these invariants, combining the Auslander’s result (see[2, Corollary 5.7]) and Yoshino’s
one[13], we have the following theorem.
Theorem 1.1 (Auslander, Yoshino). Let d > 0 be the Krull dimension of R. Consider
the following conditions.
(a) R is a regular local ring.
(b) There exists n ≥ 0 such that δ n (R/m) > 0.
(c) There exists n > 0 and l > 0 such that δ n (R/ml ) > 0.
Then, the implications (a) ⇔ (b) ⇒ (c) hold. The implication (b) ⇒ (a) holds if
depth grm (R) ≥ d − 1.
Here we denote by grI (R) the associated graded ring of R with respect to an ideal I
of R. In this paper, we characterize parameter ideals in terms of (higher) δ-invariants as
follows.
Theorem 1.2. Let (R, m) be a Cohen-Macaulay local ring with a canonical module ω,
having a infinite residue field k and Krull dimension d > 0. Put I be an m-primary ideal
of R such that I/I 2 is a free R/I-module. Consider the following conditions.
(a) δ(R/I) > 0.
(b) I is a parameter ideal of R.
(c) ∃n ≥ 0 such that δ n (R/I) > 0.
2010 Mathmatics subject Classification. 13A30, 13C14, 13H10.
Key words and phrases. Cohen-Macaulay ring, Cohen-Macaulay approximation, Ulrich ideal.
1

2

TOSHINORI KOBAYASHI

(d) ∃n > 0 and l > 0 such that δ n (R/I l ) > 0.
Then, the implications (a) ⇒ (b) ⇔ (c) ⇒ (d) hold. The implication (d) ⇒ (c) holds if
depth grI (R) ≥ d − 1 and I i /I i+1 is a free R/I-module for any i > 0. The implication (b)
⇒ (a) also holds if I ⊂ tr(ω).
Here tr(ω) is the trace ideal or ω. that is, the image of the natural homomorphism
ω ⊗R HomR (ω, R) → R mapping x ⊗ f to f (x) for x ∈ ω and f ∈ HomR (ω, R). This result
recovers the Theorem 1.1 by letting I = m.
On the other hand, Ding studies the δ-invariant of R/ml with l ≥ 1 and defines the
index index(R) of R to be the smallest number l such that δ(R/ml ) = 1.
Extending this, we define the index for an ideal.
Definition 1.3. For an ideal I of R, we define the index index(I) of I to be the infimum
of integers l ≥ 1 such that δR (R/I l ) = 1.
The definition above recovers the ordinary index by taking the maximal ideal.
Using the argument of Ding [5] concerning on indices of rings, Avramov, Buchweitz,
Iyengar and Miller[3, Lemma 1.5] showed the following equality.
Theorem 1.4 (Avramov-Buchweitz-Iyengar-Miller). Assume that R is a Gorenstein local
ring and grm (R) is a Cohen-Macaulay graded ring. Then index(R) = reg(grm (R)) + 1.
The other main aim of this paper is to prove the following result.
Theorem 1.5. Let R be a Cohen-Macaulay local ring having a canonical module and Krull
dimension d > 0, and I be an ideal of R such that grI (R) is a Cohen-Macaulay graded
ring and I l /I l+1 is R/I-free for 1 ≤ l ≤ index I. Then we have index I ≥ reg(grI (R)) + 1.
The equality holds if I ⊂ tr(ω).
Note that this theorem recovera Theorem 1.4 by letting I = m.
There are some examples of ideals which satisfy the whole conditions in Theorem 1.2
and 1.5. One of them is the maximal ideal m in the case that grm (R) is Cohen-Macaulay
(for example, R is a hypersurface or a localization of a homogeneous graded ring.)
Other interesting examples are Ulrich ideals. These ideals are defined in [6] and many
examples of Ulrich ideals are given in [6] and [7]. We shall show in Section 3 that Ulrich
ideals satisfy the assumption of Theorem 1.2 and 1.5.
We have an application of Theorem 1.2 concerning Ulrich ideals as follows.
Corollary 1.6. Let I be an Ulrich ideal of R that is not a parameter ideal. Assume
that R is Gorenstein on the punctured spectrum. Then I 6⊂ mindex(R) . In particular,
sup{n | I ⊂ mn for any Ulrich ideal I that is not a parameter ideal} is finite.
We prove this result in Section 3.
2. Proofs
Throughout this section, let (R, m, k) be a Cohen-Macaulay local ring of dimension
d > 0 with a canonical module ω, and assume that k is infinite. We recall some basic
properties of the Auslander δ-invariant.

3

For a finitely generated R-module M, a short exact sequence
(2.0.1)

p

0→Y →X −
→M →0

is called a Cohen-Macaulay approximation of M if X is a maximal Cohen-Macaulay Rmodule and Y has finite injective dimension over R. We say that the sequence (2.0.1)
is minimal if each endomorphism φ of X with p ◦ φ = p is an automorphism of X. It
is known (see [1], [8]) that a minimal Cohen-Macaulay approximation of M exists and is
unique up to isomorphism.
If the sequence (2.0.1) is a minimal Cohen-Macaulay approximation of M, then we define the (Auslander) δ-invariant δ(M) of M as the maximal rank of a free direct summand
of X. We denote by δ n (M) the δ-invariant of n-th syzygy Ωn M of M in the minimal free
resolution for n ≥ 0.
Lemma 2.1. Let N be a maximal Cohen-Macaulay R-module. Then δ 1 (N) = 0. In
particular, δ n (M) = 0 for n ≥ d + 1 and any finitely generated R-module M.
Proof. Suppose that δ 1 (N) > 0. Then ΩN has a free direct summand. Let ΩN = X ⊕ R.
(σ,τ )T

π

There is a short exact sequence 0 → X ⊕ R −−−→ R⊕m −
→ N → 0. According to [12,
Lemma 3.1], there exist exact sequences
τ

(2.1.1)

0→R−
→ R⊕m → B → 0,

(2.1.2)

0 → R⊕m → A ⊕ B → N → 0

for some R-modules A, B. By the sequence (2.1.2), B is a maximal Cohen-Macaulay
R-module. In view of (2.1.1), B is a free R-module provided that B has finite projective
dimension from (2.1.1). Then, the sequence (2.1.1) splits and τ has a left inverse map.
This contradicts that the map π is minimal.

We now remark on δ-invariants under reduction by a regular element. The following
lemma is shown in [9, Corollary 2.5].
Lemma 2.2. Let M be a finitely generated R-module and x ∈ m be a regular element on
M and R. If 0 → Y → X → M → 0 is an minimal Cohen-Macaulay approximation of
M, then
0 → Y /xY → X/xX → M/xM → 0
is a minimal Cohen-Macaulay approximation of M/xM over R/(x). In particular, it
holds that δR (M) ≤ δR/(x) (M/xM).
In the proofs of our theorems, the following lemma plays a key role. We remark that
in the case I = m, similar statements are shown in [5] and [13].
Lemma 2.3. Let l > 0 be an integer, I be an m-primary ideal of R and x ∈ I \ I 2 be
an R-regular element. Assume that I i /I i+1 is a free R/I-module for any 1 ≤ i ≤ l and
the multiplication map x : I i−1 /I i → I i /I i+1 is injective for any 1 ≤ i ≤ l, where we set
I 0 = R. Then the following hold.
(1) xI i = (x) ∩ I i+1 for all 0 ≤ i ≤ l.
(2) I i /I i+1 ∼
= I i−1 /I i ⊕ I i /(xI i−1 + I i+1 ) for all 1 ≤ i ≤ l.
(3) I i /xI i ∼
= I i−1 /I i ⊕ I i /xI i−1 for all 1 ≤ i ≤ l.

4

TOSHINORI KOBAYASHI

(4) (I i + (x))/xI i ∼
= R/I i ⊕ I i /xI i−1 for all 1 ≤ i ≤ l.
(5) (I i + (x))/x(I i + (x)) ∼
= R/(I i + (x)) ⊕ I i /xI i−1 for all 1 ≤ i ≤ l.
Proof. (1): We prove this by induction on i. If i = 0, there is nothing to prove. Let i > 0.
The injectivity of x : I i−1 /I i → I i /I i+1 shows that xI i−1 ∩ I i+1 = xI i . By the indcution
hypothesis, xI i−1 = (x) ∩ I i . Thus it is seen that xI i = (x) ∩ I i (x) ∩ I i ∩ I i+1 = (x) ∩ I i+1 .
(2): As R/I is an Artinian ring, the injective map x : I i−1 /I i → I i /I i+1 of free R/Imodules is split injective. We can also see that the cokernel of this map is I i /(xI i−1 +I i+1 ).
Therefore we have an isomorphism I i /I i+1 ∼
= I i−1 /I i ⊕ I i /(xI i−1 + I i+1 ).
(3): We have the following natural commutative dialgram with exact rows:
0

I i−1 /I i
/

x

I i /xI i
/

/

I i /xI i−1

0
/

=



0

I i−1 /I i
/



x



I i /I i+1
/

/

I i /(xI −1 + I i+1 )

0
/

We already saw in (2) that the second row is a split exact sequence, and thus the
first row is also a split exact sequence. Therefore we have an isomorphism I i /xI i ∼
=
I i−1 /I i ⊕ I i /xI i−1 .
(4): The cokernel of the multiplication map x : R/I i → (I i +(x))/xI i is (I i +(x))/(x) =
I i /((x) ∩ I i ), which coincides with I i /xI i−1 by (1). Consider the following commutative
diagram with exact rows:
0

x

I i−1 /I i
/

/

I i /xI i

ι1



0
/

R/I i

I i /xI i−1
/

ι2

/

0

=



x

/



(I i + (x))/xI i
/

I i /xI i−1
/

0

Here ι1 , ι2 are the natural inclutions. The first row is a split exact sequence as in (3).
Therefore the second row is also a split exact sequence and we have an isomorphism
(I i + (x))/xI i ∼
= R/I i ⊕ I i /xI i−1 .
(5): The cokernel of the multiplication map x : R/(I i + (x)) → (I i + (x))/x(I i + (x))
is (I i + (x))/(x) = I i /xI i−1 . We can get the following commutative diagram with exact
rows:
0
/

R/I i

x

/

(I i + (x))/xI i

π1



0
/

R/(I i + (x))

I i /xI i−1
/

π2
x

(I i + (x))/x(I i + (x))

0

=


/

/

/



I i /xI i−1
/

0

Here π1 , π2 are the natural surjections. Then we can prove (5) in a manner similar to
(4).

In the case that the dimension d is at most 1, the δ-invariants mostly vanish.
Lemma 2.4. Assume d ≤ 1 and I is an m-primary ideal of R. If δ(I) > 0, then I is a
parameter ideal of R.
Proof. Since d ≤ 1, the m-primary ideal I is a maximal Cohen-Macaulay R-module.
Therefore the condition δ(I) > 0 provides that I has a free direct summand. We have

5

I = J + (x) and J ∩ (x) = 0 for some ideal J and R-regular element x ∈ I. Let y ∈ J.
Then xy ∈ J ∩ (x) = 0. Since x is R-regular, the equality xy = 0 implies y = 0. This
shows that J = 0 and I = (x).

Now we can prove Theorem 1.2.
Proof of Theorem 1.2. (b) ⇒ (c): If I is a parameter ideal, then Ωd (R/I) = R and hence
δ d (R/I) = 1 > 0.
(a), (c) ⇒ (b): Assume that δ(R/I) > 0. Then the inequality δ(I) > 0 also holds
because I/I 2 is a free R/I-module and thus there is a surjective homomorphism I → R/I.
Therefore we only need to prove the implication (c) ⇒ (b) in the case n > 0. We show
the implication by induction on the dimension d.
If d = 1, then n = 1 by Lemma 2.1. Using Lemma 2.4, it follows that I is a parameter
ideal.
Now let d > 1. Take x ∈ I \ mI to be an R-regular element. Then the image of x in
the free R/I-module I/I 2 forms a part of a free basis over R/I. This provides that the
map x : R/I → I/I 2 is injective. We see from Lemma 2.2 that
(2.4.1)

n−1
n−1
δR/(x)
(I/xI) = δR/(x) (ΩR/(x)
(I/xI))
n−1
= δR/(x) (ΩR
(I) ⊗R R/(x))

n−1
≥ δR (ΩR
I) = δRn (R/I) > 0.
Applying Lemma 2.3 (3) to i = 1, we have an isomorphism I/xI ∼
= R/I ⊕I/(x) and hence
n−1
n−1
n−1
we obtain an equality δR/(x)
(I/xI) = δR/(x)
(R/I) + δR/(x)
(I/(x)). It follows from (2.4.1)
n−1
n−1
that δR/(x) (R/I) > 0 or δR/(x) (I/(x)). Note that the ideal I := I/(x) of R := R/(x)
2

satisfies the same condition as (c), that is, the module I/I is free over R/I = R/I,
2
because I/I = I/((x) + I 2 ) is a direct summand of I/I 2 by Lemma 2.3 (2). By the
induction hypothesis, the ideal I is a parameter ideal of R. Then we see that I is also a
parameter ideal of R.
(c) ⇒ (d): This implication is trivial.
Next we prove by induction on d the implication (d) ⇒ (b) when depth grI (R) ≥ d − 1
and I i /I i+1 is a free R/I-module for any i > 0. If d = 1, then δ(I l ) > 0 by Lemma 2.1.
By Lemma 2.4, it follows that I l is a parameter ideal. Set (y) := I l . Taking a minimal
reduction (t) of I, we have I m+1 = tI m for any m ≫ 0. Setting m = pl, we obtain that
I∼
= y p I = I m+1 = tI m = (ty p ). This shows that I is a parameter ideal.
Assume d > 1. Since k is infinite, there is an element x ∈ I \I 2 such that the initial form
n−1
x∗ ∈ G is a non-zerodivisor of G. We see from Lemma 2.2 that δR/(x)
(I l /xI l ) ≥ δRn (R/I l ) >
0 in the same way as (2.4.1). Applying Lemma 2.3 (3), we get an isomorphism I l /xI l ∼
=
n−1
n−1
n−1
I l−1 /I l ⊕ I l /xI l−1 and then we see that δR/(x)
(I l /xI l ) = δR/(x)
(I l−1 /I l ) + δR/(x)
(I l /xI l−1 ).
n−1
n−1
Since I l−1 /I l is a free R/I-module, we have δR/(x)
(R/I) > 0 or δR/(x)
(I l /xI l−1 ) > 0.
n−1
In the case that δR/(x)
(R/I) > 0, we already showed that I is a parameter ideal. So
n−1
we may assume that δR/(x) (I l /xI l−1 ) > 0. The equality xI l−1 = I l ∩ (x) in Lemma 2.3
(1) shows that the image I l of I l in R/(x) coinsides with I l /xI l−1 . Thus it holds that
l
i
i+1
n−1
n−1
δR/(x)
(I ) = δR/(x)
(I l ) > 0. We also note that I /I
is free over R/I by Lemma 2.3 (3).

6

TOSHINORI KOBAYASHI

By the induction hypothesis, I is a parameter ideal of R/(x). This implies that I is also
a parameter ideal of R.
Finaly, the implication (b) ⇒ (a) follows from the proof of [10, Theorem 11.42].

Next, to prove Theorem 1.5, we start by recalling the definition of regularity; see [11,
Definition 3].
Definition 2.5. Let A be a positively graded homogeneous ring and M be a finitely
generated graded A-module. Then the (Castelnuovo-Mumford) regularity of M is defined
by regA (M) = sup{i + j|HAi + (M)j 6= 0}.
Here we state some properties of regularity.
Remark 2.6. Let A and M be the same as in the definition above.
(1) Let a ∈ A be a homogeneous M-regular element of degree 1. Then we have
regA/(a) (M) = regA (M).
(2) If A is an artinian ring, then reg(M) = max{p | Mp 6= 0}.
Now let us state the proof of Theorem 1.5.
Proof of Theorem 1.5. Since k is infinite, there exists a regular sequence x1 , . . . , xd of R
in I such that the sequence of initial forms x∗1 , . . . , x∗d makes a homogeneous system of
parameters of grI (R). Then the eqularity grI (R)/(x∗1 , . . . , x∗d ) = grI ′ (R′ ) holds, where
R′ = R/(x1 , . . . , xd ) and I ′ = I/(x1 , . . . , xd ). It holds that reg(grI (R)) = reg(grI ′ (R′ )) =
max{p| grI ′ (R′ )p 6= 0} = max{p| grI (R)p 6⊂ (x∗1 , . . . , x∗d )} = max{p|I p 6⊂ (x1 , . . . , xd )}. To
show the inequality index(I) ≥ regI (R) + 1, it is enough to check that I p ⊂ (x1 , . . . , xd ) if
δ(R/I p ) > 0. We prove this by induction on d.
Let R be the quotient ring R/(x1 ) and I be the ideal I/(x1 ) of R. Suppose δR (R/I p ) > 0.
Then, since there is a surjection from J := I p + (x) to R/I p by Lemma 2.3 (4), δR (J) is
greater than 0 . Lemma 2.2 yields that δR (J/x1 J) ≥ δR (J) > 0. Using Lemma 2.3 (5),
we obtain an isomorphism J/x1 J ∼
= R/J ⊕ I p /x1 I p−1, and hence δR (J/x1 J) = δR (R/J) +
p
p−1
δR (I /x1 I ). Therefore we see that δR (R/J) > 0 or δR (I p /x1 I p−1 ) > 0. Now assume
that d = 1. If δR (I p /x1 I p−1) > 0, then I p /x1 I p−1 = R since I p /x1 I p−1 = I p /(x1 ) ∩ I p is
an ideal of the Artinian ring R and we apply Lemma 2.4. Therefore I p = R and this is a
contradiction. So we get δR (R/J) > 0. In this case, R/J must have an R-free summand.
This shows that J = (x1 ) and I p ⊂ (x1 ).
Next we assume that d > 1. By Theorem 1.2, δR (I p /x1 I p−1 ) = 0. So we have
p
δR (R/J) > 0. Then R/J = R/(I p + (x1 )) = R/I hold. By the induction hypothep
sis, I ⊂ (x2 , . . . , xd )/(x1 ). Hence we get I p ⊂ (x1 , . . . , xd ).
It remains to show that index(I) = reg(grI (R)) + 1 if I ⊂ tr(ω). We only need to prove
that I p ⊂ (x1 , . . . , xd ) implies δ(R/I p ) > 0. This immidiately follows from the inequalities
δ(R/I p ) ≥ δ(R/(x1 , . . . , xd )) and δ(R/(x1 , . . . , xd )) > 0 by applying Theorem 1.2 (b)⇒
(a) to the ideal (x1 , . . . , xd ).

3. examples
In this section, R, m, k), and d are the same as in the previous section. Let I be an
m-primary ideal of R. To begin with, let us recall the definition of Ulrich ideals.

7

Definition 3.1. We say that I is an Ulrich ideal of R if it satisfies the follwing.
(1) grI (R) is a Cohen-Macaulay ring with a(grI (R)) ≤ 1 − d.
(2) I/I 2 is a free R/I-module.
Here we denote by a(grI (R)) the a-invariant of a(grI (R)). Since k is infinite, the
condition (1) of Definition 3.1 is equivalent to saying that I 2 = QI for some/any minimal
reduction Q of I.
Next, we prove that Ulrich ideals satisfies the assumption of Theorem 1.2 and 1.5.
Proposition 3.2. Let I be an Ulrich ideal of R. Then I l /I l+1 is a free R/I-module for
any l ≥ 1.
Proof. We use induction on l. By definition, I/I 2 is free over R/I. Let l > 1, and
take a minimal reduction Q of I. Consider the canonical exact sequence 0 → I l /Ql →
Ql−1 /Ql → Ql−1 /I l → 0 of R/Q-modules. Then Ql−1 /Ql is a free R/Q-module and
Ql−1 /I l = Ql−1 /IQl−1 = R/I ⊗R/Q Ql−1 /Ql is a free R/I-module. Therefore I l /Ql =
ΩR/Q ((R/I)⊕m ) = ΩR/Q (R/I)⊕m = (I/Q)⊕m for some m. Since I/Q is free over R/I,
I l /Ql is also a free R/I-module. We now look at the canonical exact sequence 0 →
Ql /I l+1 → I l /I l+1 → I l /Ql → 0 of R/I-modules. Then as we already saw, I l /Ql Ql /I l+1
are both free over R/I. Thus the sequence is split exact and I l /I l+1 is a free R/Imodule.

Now we give the proof of Corollary 1.6.
Proof of Corollary 1.6. It follows from [4, Theorem 1.1] that index(R) is finite number. Since I is not a parameter ideal, we have δ(R/I) = 0 by Theorem 1.2. If I ⊂
mindex(R) , then we have a surjective homomorphism R/I → R/mindex(R) and thus δ(R/I) ≥
δ(R/mindex(R) ) > 0. This is a contradiction.

To end this section, we give an example of an ideal showing that the condition I 2 /I 3 is
free over R/I does not implies that I l /I l+1 is free over R/I for any l ≥ 1.
Example 3.3. Let S = k[[x, y]] be the formal power series ring in two variables, n be the
maximal ideal of S, L = (x4 )S, J = (x2 , y)S, R = S/L be the quotient ring of S by L
and I be the ideal J/L of R. Then I/I 2 is free over R/I but I 2 /I 3 is not so.
Proof. We note that J is a parameter ideal of S and therefore J l /J l+1 is free over S/J for
any l ≥ 1. Since I 2 = (J 2 + L)/L = J 2 /L, we have I/I 2 = (J/L)/(J 2 /L) = J/J 2 which
is free over S/J = R/I. On the other hand, J 3 6⊃ L so I 2 /I 3 6= J 2 /J 3 . But L ⊂ nJ 2 ,
and hence the minimal number of generators µR (I 2 ) is equal to µS (J 2 ). If I 2 /I 3 is a free
R/I-module (hence free over S/J), then I 2 /I 3 and J 2 /J 3 have the same rank µR (I 2 ).
However, there is a natural surjective homomorphism φ : J 2 /J 3 → I 2 /I 3 , so φ must be
an isomorphism. This contradicts that I 2 /I 3 6= J 2 /J 3 .

Acknowlegments. The author is grateful to his supervisor Ryo Takahashi for giving him
helpful advice throughout the paper.

8

TOSHINORI KOBAYASHI

References
[1] M. Auslander and R. O. Buchweitz, The homological theory of maximal CohenMacaulay approximations, Mem. Soc. Math. France 38 (1989), 5-37.
[2] M. Auslander, S. Ding, Ø. Solberg, Liftings and weak liftings of modules, J. Algebra 156 (1993),
273–317.
[3] L. L. Avramov, R.-O. Buchweitz, S. B. Iyengar, and C. Miller, Homology of perfect complexes, Adv. in Math. 223 (2010), 1731-1781.
[4] S. Ding, A note on the index of Cohen-Macaulay local rings, Comm. Algebra 21 (1993), 53-71.
[5] S. Ding, The associated graded ring and the index of a Gorenstein local ring, Proc. Amer. Math.
Soc. 120 (1994), 1029-1033.
[6] S. Goto, K.Ozeki, R. Takahashi, K. Watanabe, K. Yoshida, Ulrich ideals and modules, Math.
Proc. Cambridge Philos. Soc. 156 (2014), no. 1, 137–166.
[7] S. Goto, K.Ozeki, R. Takahashi, K. Watanabe, K. Yoshida, Ulrich ideals and modules over
two-dimensional rational singularities, Nagoya Math. J. 221 (2016), no. 1, 69–110.
[8] M. Hashimoto and A. Shida, Some remarks on index and generalized Loewy length of a Gorenstein
local ring, J. Algebra 187 (1997), no. 1, 150-162.
[9] K.Yoshida, A note on minimal Cohen-Macaulay approximations, Communications in Algebra 24(1)
(1996), 235–246.
[10] G. J. Leuschke; R. Wiegand, Cohen-Macaulay Representations, Mathematical Surveys and
Monographs, vol. 181, American Mathematical Society, Providence, RI, 2012.
[11] A. Ooishi, Castelnuovo’s regularity of graded rings and modules, Hiroshima Math. J. 12 (1982),
627–644.
[12] R. Takahashi, Syzygy modules with semidualizing or G-projective summands J. Algebra 295 (2006),
no. 1, 179–194.
[13] Y. Yoshino, On the higher delta invariants of a Gorenstein local ring, Proc. Amer. Math. Soc. 124
(1996), 2641–2647.
Graduate School of Mathematics, Nagoya University, Furocho, Chikusaku, Nagoya,
Aichi 464-8602, Japan
E-mail address: m16021z@math.nagoya-u.ac.jp

