arXiv:1211.0738v1 [] 5 Nov 2012

On a transform of an acyclic complex of length 3
Kosuke Fukumuro, Taro Inagawa and Koji Nishida∗
Graduate School of Science, Chiba University,
1-33 Yayoi-Cho, Inage-Ku, Chiba-Shi, 263-8522, JAPAN

Abstract
Let (R , m) be a Cohen-Macaulay local ring and Q a parameter ideal of R .
Suppose that an acyclic complex F• of length 3 which is an R-free resolution of an
ideal a of R is given. In this paper, we describe a concrete procedure to get an
acyclic complex ∗F• of length 3 that becomes an R-free resolution of a :R Q . As
an application, we compute the symbolic powers of ideals generated by maximal
minors of certain 2 × 3 matrices.

1

Introduction

Let (R, m) be a 3-dimensional Cohen-Macaulay local ring and x1 , x2 , x3 an sop for R . We
put Q = (x1 , x2 , x3 )R . Suppose that an acyclic complex
ϕ3

ϕ2

ϕ1

0 −→ F3 −→ F2 −→ F1 −→ F0 = R
of finitely generated free R-modules such that Im ϕ3 ⊆ QF2 is given. In this paper, we
describe an operation to get an acyclic complex
∗ϕ

∗ϕ

∗ϕ

0 −→ ∗F3 −→ ∗F2 −→ ∗F1 −→ ∗F0 = R
3

2

1

such that Im ∗ϕ1 = Im ϕ1 :R Q and Im ∗ϕ3 ⊆ m ∗F2 , which is called the ∗-transform of F•
with respect to x1 , x2 , x3 . As we give a practical condition for ∗F3 to be vanished, it is
possible to consider when the depth of R/(Im ϕ1 :R Q) is positive.
If R is a regular local ring and a is an ideal of R , taking a regular sop and the minimal
free resolution of a as x1 , x2 , x3 and F• , respectively, we get an acyclic complex ∗F• , which
is a free resolution of a :R m . Here, let us notice that we can again take the ∗-transform
of ∗F• with respect to a regular sop since Im ∗ϕ3 ⊆ m ∗F2 , and a free resolution of a :R m2
is induced. Repeating this operation, for any k > 0 , we get a free resolution of a :R mk .
Moreover, in the case where dim R/a > 0 , it is possible to find the minimal integer k > 0
such that depth R/(a :R mk ) > 0 .
∗

The last author is supported by KAKENHI (23540042)

1

As an application of the transformation stated above, we can compute the symbolic
powers of an ideal I generated by the maximal minors of the matrix
 α

x yβ zγ
,
′
′
′
y β z γ xα
where x, y, z is an sop for R and α, β, γ, α′, β ′, γ ′ are positive integers. As is well known,
R/I is a Cohen-Macaulay local ring with dim R/I = 1 . The n-th symbolic power of I is
defined by
\
I (n) =
I n Rp ∩ R ,
p ∈ MinR (R/I)

and so, if J is an m-primary ideal such that depth R/(I n :R J) > 0 , we have I (n) =
I n :R J . Because I is generated by a d-sequence, it is possible to describe a minimal
′′
′′
′′
free resolution of I n , and we can take its ∗-transform with respect to xα , y β , z γ , where
α′′ = min{ α, α′ }, β ′′ = min{ β, β ′ } and γ ′′ = min{ γ, γ ′ } . If the length of the resulting
′′
′′
′′
acyclic complex is still 3 , we have depth R/(I n :R (xα , y β , z γ )) = 0 , and it means
′′
′′
′′
I n :R (xα , y β , z γ ) ( I (n) . Then, we take once more the ∗-transform with respect to
suitable powers of x, y, z . By repeating such operation several times, we can reach I (n) .
In Section 4, we carry it out for n = 2, 3 . Our method is completely different from that
used in [2] and [5], in which I (2) and I (3) are computed in the case where R is a regular
local ring with the maximal ideal m = (x, y, z)R and I is a prime ideal.
In the last section, assuming that R is a regular local ring and x, y, z is a regular sop
for R , we compute the length of I (n) /I n for all n ≥ 1 in the case where I is generated by
the maximal minors of the matrix


x y z
.
y z x2
Starting from a minimal free resolution of I n , we repeat the operation to take the ∗transform with respect to x, y, z successively. Then we get a free resolution of I n :R mk
for any k ≥ 1 , and it follows that I (n) = I n :R mq , where q is the largest integer with
q ≤ n/2 . As our method enables us to compute the length of (I n :R mk )/(I n :R mk−1 ) for
any k ≥ 1 , we get to know the length of I (n) /I n exactly . As a consequence of our result,
we see that the ǫ-multiplicity of I , which is an invariant defined by
3!
·ℓR ( I (n) /I n )
n→∞ n3

ǫ(I) := lim

(cf. [1], [6]), coincides with 1/2 .
Throughout this paper, R is a 3-dimensional Cohen-Macaulay local ring with the
maximal ideal m . If an R-module is a direct sum of finite number of R-modules, its
elements are denoted by column vectors. In particular, if an R-module F is a direct sum
of two R-modules, say F = G ⊕ H , the elements in F of the form
 
 
0
g
(g ∈ G, h ∈ H)
and
h
0
are denoted by [g] and hhi , respectively. Moreover, if V is a subset of G , then the family
{ [g] }g∈V is denoted by [V ] . Similarly hW i is defined for a subset W of H . If T is a
subset of an R-module, we denote by R·T the R-submodule generated by T .
2

2

Preliminaries

In this section, we summarize preliminary results. Although they might be well known,
we give the proofs for completeness. Let us begin with the following lemma.
Lemma 2.1 Let G• and F• be acyclic complexes, whose boundary maps are denoted by ∂•
and ϕ• , respectively. Suppose that a chain map σ• : G• −→ F• is given and σ0−1 (Im ϕ1 ) =
Im ∂1 holds. Then the mapping cone Con(σ• ) is acyclic. Hence, if G• and F• are complexes
of finitely generated free R-modules, then Con(σ• ) gives an R-free resolution of Im ϕ1 +
Im σ0 .
Proof. We put C• = Con(σ• ) and denote its boundary map by d• . Then


ϕi (−1)i−1 σi−1
Ci = Fi ⊕ Gi−1 , di =
0
∂i−1
for any i ≥ 2 and
C1 = F1 ⊕ G0 ,
Let us take any

C0 = F0 ,

d1 =

ϕ1 σ0



.

 
x1
∈ Ker d1 .
y0

Then ϕ1 (x1 ) + σ0 (y0 ) = 0 , so y0 ∈ σ0−1 (Im ϕ1 ) = Im ∂1 . Hence there exists y1 ∈ G1
such that y0 = ∂1 (y1 ) . We have ϕ1 (∂1 (y1 )) = σ0 (∂1 (y1 )) = σ0 (y0 ) = −ϕ1 (x1 ) , and so,
ϕ1 (x1 + σ1 (y1 )) = 0 . This means that there exists x2 ∈ F2 such that x1 + σ1 (y1 ) = ϕ2 (x2 )
as H1 (F• ) = 0 . Then

 
  
x2
ϕ2 (x2 ) − σ1 (y1 )
x1
∈ Im d2 .
= d2
=
y1
∂1 (y1 )
y0
Therefore we get H1 (C• ) = 0 . On the other hand, the exact sequence
0 −→ G• (−1) −→ C• −→ F• −→ 0
of complexes induces a long exact sequence
· · · −→ Hi−1 (G• ) −→ Hi (C• ) −→ Hi (F• ) −→ · · ·
of homology modules. If i ≥ 2 , Hi−1 (G• ) = Hi (F• ) = 0 , and so, Hi (C• ) = 0 . Thus we
have seen that C• is an acyclic complex.
Lemma 2.2 Let C•• be a double complex such that Cpq = 0 unless 0 ≤ p, q ≤ 3 . For
any p, q ∈ Z , we denote the boundary maps Cpq −→ Cp−1,q and Cpq −→ Cp,q−1 by d′pq and
d′′pq , respectively. If Cp• and C•q are acyclic for any 0 ≤ p, q ≤ 3 , we have the following
assertions on the total complex T• , whose boundary map is denoted by d• .

3

(1) Suppose that ξ0 ∈ C0,3 and ξ1 ∈ C1,2 such that d′′0,3 (ξ0 ) + d′1,2 (ξ1 ) = 0 are given.

Then there exist ξ2 ∈ C2,1 and ξ3 ∈ C3,0 such that t ξ0 ξ1 ξ2 ξ3 ∈ Ker d3 ⊆ T3 =
C0,3 ⊕ C1,2 ⊕ C2,1 ⊕ C3,0 .

(2) Let t ξ0 ξ1 ξ2 ξ3 ∈ Ker d3 ⊆ T3 = C0,3 ⊕ C1,2 ⊕ C2,1 ⊕ C3,0 and let ξ3 ∈ Im d′′3,1 .

Then t ξ0 ξ1 ξ2 ξ3 ∈ Im d4 . In particular, ξ0 ∈ Im d′1,3 .

Proof. (1) Because d′1,1 (d′′1,2 (ξ1 )) = d′′0,2 (d′1,2 (ξ1 )) = d′′0,2 (−d′′0,3 (ξ0)) = 0 , it follows that
d′′1,2 (ξ1 ) ∈ Ker d′1,1 = Im d′2,1 . So, we can write d′′1,2 (ξ1 ) = d′2,1 (ξ2 ) , where ξ2 ∈ C2,1 . Then
d′2,0 (d′′2,1 (ξ2 )) = d′′1,1 (d′2,1 (ξ2 )) = d′′1,1 (d′′1,2 (ξ1 )) = 0 , and so d′′2,1 (ξ2 ) ∈ Ker d′2,0 = Im d′3,0 .
Hence there exists ξ3 ∈ C3,0 such that d′′2,1 (ξ2 ) = −d′3,0 (ξ3 ) . Now we have
 
 ′′
  
ξ0
′
d
(ξ
)
+
d
(ξ
)
0
0
1
0,3
1,2
ξ1 
 = −d′′1,2 (ξ1 ) + d′2,1 (ξ2 ) = 0 ,
d3 
ξ2 
d′′2,1 (ξ2 ) + d′3,0 (ξ3 ))
0
ξ3
and so we get the required assertion.

(2) Because t ξ0 ξ1 ξ2 ξ3 ∈ Ker d3 , we have (i) d′′0,3 (ξ0 ) + d′1,2 (ξ1 ) = 0 , (ii)
−d′′1,2 (ξ1)+d′2,1 (ξ2 ) = 0 and (iii) d′′2,1 (ξ2 )+d′3,0 (ξ3 ) = 0 . On the other hand, as ξ3 ∈ Im d′′3,1 ,
there exists η3 ∈ C3,1 such that ξ3 = −d′′3,1 (η3 ) . Then, as d′3,0 (ξ3 ) = −d′3,0 (d′′3,1 (η3 )) =
−d′′2,1 (d′3,1(η3 )) , by (iii) we get ξ2 − d′3,1 (η3 ) ∈ Ker d′′2,1 = Im d′′2,2 . So, we can write
ξ2 − d′3,1 (η3 ) = d′′2,2 (η2 ) , where η2 ∈ C2,2 . Then d′2,1 (ξ2 ) = d′2,1 (d′3,1 (η3 ) + d′′2,2 (η2 )) =
d′2,1 (d′′2,2 (η2 )) = d′′1,2 (d′2,2 (η2 )) , and so by (ii) we get ξ1 − d′2,2 (η2 ) ∈ Ker d′′1,2 = Im d′′1,3 .
Hence there exists η1 ∈ C1,3 such that ξ1 − d′2,2 (η2 ) = −d′′1,3 (η1 ) . This means d′1,2 (ξ1 ) =
d′1,2 (d′2,2 (η2 ) − d′′1,3 (η1 )) = −d′1,2 (d′′1,3 (η1 )) = −d′′0,3 (d′1,3 (η1 )) , and so by (i) we get ξ0 −
d′1,3 (η1 ) ∈ Ker d′′0,3 . However, as C0,• is acyclic and C0,4 = 0 , d′′0,3 is injective. Hence
ξ0 = d′1,3 (η1 ) . Now we have

  
 
d′1,3 (η1 )
ξ0
η1
−d′′1,3 (η1 ) + d′2,2 (η2 ) ξ1 
  
d4 η2  = 
 d′′2,2 (η2 ) + d′3,1 (η3 )  = ξ2  ,
η3
ξ3
−d′′3,1 (η3 )
and the proof is completed.
Lemma 2.3 Suppose that
ϕ

ψ

ρ

0 −→ F −→ G −→ H −→ L
is an exact sequence of R-modules. Then the following assertions hold.
(1) If there exists a homomorphism φ : G −→ F of R-modules such that φ ◦ ϕ = idF ,
then
∗ψ
ρ
0 −→ ∗G −→ H −→ L
is exact, where ∗G = Ker φ and ∗ψ is the restriction of ψ to ∗G .
4

(2) If F = ′F ⊕ ∗F , G = ′G ⊕ ∗G , ϕ(′F ) = ′G and ϕ(∗F ) ⊆ ∗G , then
∗ψ

∗ϕ

ρ

0 −→ ∗F −→ ∗G −→ H −→ L
is exact, where ∗ϕ and ∗ψ are the restrictions of ϕ and ψ to ∗F and ∗G , respectively.
Proof. (1) First, we take any u ∈ Ker ρ . As Im ψ = Ker ρ , there exists v ∈ G such
that ψ(v) = u . Then, setting ∗v = v − ϕ(φ(v)) , we have ∗v ∈ ∗G and ψ(∗v) = ψ(v) = u ,
and so u ∈ ψ(∗G) . Hence Ker ρ = Im ∗ψ .
Next, we take any ∗v ∈ ∗G such that ψ(∗v) = 0 . As Im ϕ = Ker ψ , there exists w ∈ F
such that ϕ(w) = ∗v . Then w = φ(ϕ(w)) = φ(∗v) = 0 , and so ∗v = ϕ(0) = 0 . Hence ∗ϕ is
injective.
(2) First, we take any u ∈ Ker ρ . As Im ψ = Ker ρ , there exists v ∈ G such that
ψ(v) = u . We write v = ′v + ∗v , where ′v ∈ ′G and ∗v ∈ ∗G , and choose ′w ∈ ′F so that
ϕ(′w) = ′v . Then we have u = ψ(ϕ(′w) + ∗v) = ψ(∗v) ∈ ψ(∗G) . Hence Im ∗ψ = Ker ρ .
Next, we take any ∗v ∈ ∗G such that ψ(∗v) = 0 . As Im ϕ = Ker ψ , there exists
w ∈ F such that ϕ(w) = ∗v . We write w = ′w + ∗w , where ′w ∈ ′F and ∗w ∈ ∗F . Then
∗
v − ϕ(∗w) = ϕ(′w) ∈ ′G ∩ ∗G = 0 . This means ∗v = ϕ(∗w) ∈ ϕ(∗G) . Hence Im ∗ϕ = Ker ∗ψ ,
and the proof is completed.

3

∗-transform

Let R be a 3-dimensional Cohen-Macaulay local ring with the maximal ideal m and
ϕ3

ϕ2

ϕ1

0 −→ F3 −→ F2 −→ F1 −→ F0 = R
be an acyclic complex of finitely generated free R-modules such that Im ϕ3 ⊆ QF2 , where
Q = (x1 , x2 , x3 ) is a parameter ideal of R . We put a = Im ϕ1 , which is an ideal of R . In
this section, transforming F• suitably, we aim to construct an acyclic complex
∗ϕ

∗ϕ

3

2

∗ϕ

1

0 −→ ∗F3 −→ ∗F2 −→ ∗F1 −→ ∗F0 = R
of finitely generated free R-modules such that Im ∗ϕ3 ⊆ m∗F2 and Im ∗ϕ1 = a :R Q . Let
us call ∗F• the ∗-transform of F• with respect to x1 , x2 , x3 .
In this operation, we use the Koszul complex K• = K• (x1 , x2 , x3 ) . Let e1 , e2 , e3 be an
R-free basis of K1 and set ě1 = e2 ∧ e3 , ě2 = e1 ∧ e3 , ě3 = e1 ∧ e2 . Then ě1 , ě2 , ě3 is an
R-free basis of K2 . Furthermore e1 ∧ e2 ∧ e3 is an R-free basis of K3 . The boundary maps
of K• which we denote by ∂• satisfy
∂1 (ei ) = xi for any i = 1, 2, 3 ,
∂2 (ei ∧ ej ) = xi ej − xj ei if 1 ≤ i < j ≤ 3 ,
∂3 (e1 ∧ e2 ∧ e3 ) = x1 ě1 − x2 ě2 + x3 ě3 .
As x1 , x2 , x3 is an R-regular sequence, K• gives an R-free resolution of R/Q . Hence, for
any R-module M , We have the following commutative diagram;
HomR (K2 , M)
=
↓∼
M ⊕3

HomR (∂3 , M )

−→

(x1 −x2 x3 )

−→

HomR (K3 , M) −→ Ext3R (R/Q , M) −→ 0 (ex)
=
↓∼
M

−→
5

M/QM

−→ 0 (ex) ,

which implies Ext3R (R/Q , M) ∼
= M/QM . Using this fact, we show the next result.
Theorem 3.1 (a :R Q)/a ∼
= F3 /QF3 .
Proof. As is well known, we have
(a :R Q)/a ∼
= HomR (R/Q , R/a) .
Applying HomR (R/Q, • ) to the exact sequence 0 −→ a −→ R −→ R/a −→ 0 , we get
HomR (R/Q , R/a) ∼
= Ext1R (R/Q , a)
as HomR (R/Q , R) = Ext1R (R/Q , R) = 0 . We put L = Ker ϕ1 = Im ϕ2 and consider the
exact sequences
ϕ1

ϕ3

0 −→ L −→ F1 −→ a −→ 0 and 0 −→ F3 −→ F2 −→ L −→ 0 .
Because ExtiR (R/Q , Fj ) = 0 for any 0 ≤ i ≤ 2 and 0 ≤ j ≤ 3 , we get
Ext1R (R/Q , a) ∼
= Ext2R (R/Q , L)
and the commutative diagram
ϕ̃3

0 −→ Ext2R (R/Q , L) −→ Ext3R (R/Q , F3 ) −→ Ext3R (R/Q , F2 ) (ex)
=
=
↓∼
↓∼
F3 /QF3

ϕ

3
−→

F2 /QF2

(ex) ,

where ϕ̃3 and ϕ3 denote the maps induced from ϕ3 . Let us notice ϕ3 = 0 as Im ϕ3 ⊆ QF2 .
Hence
Ext2R (R/Q , L) ∼
= F3 /QF3 ,
and so the required isomorphism follows.
Let us fix an R-free basis of F3 , say { wλ }λ∈Λ . Let { v(i,λ) }1≤i≤3 , λ∈Λ be a family of
elements in F2 such that
3
X
ϕ3 (wλ ) =
xi ·v(i,λ)
i=1

for any λ ∈ Λ . We put Λ̃ = { 1 , 2 , 3 } × Λ . The next result is the essential part of the
process to get ∗F• .
Theorem 3.2 There exists a chain map σ• : K• ⊗R F3 −→ F•
0 −→ K3 ⊗R F3
↓ σ3
0 −→
F3

∂3 ⊗id

−→ K2 ⊗R F3
↓ σ2
ϕ3
−→
F2

satisfying the following conditions.
6

∂2 ⊗id

−→ K1 ⊗R F3
↓ σ1
ϕ2
−→
F1

∂1 ⊗id

−→ K0 ⊗R F3
↓ σ0
ϕ1
−→
F0

(1) σ0−1 (Im ϕ1 ) = Im (∂1 ⊗ idF3 ) .
(2) Im σ0 + Im ϕ1 = a :R Q .
(3) σ2 (ěi ⊗ wλ ) = (−1)i ·v(i,λ) for any (i, λ) ∈ Λ̃ .
(4) σ3 ((e1 ∧ e2 ∧ e3 ) ⊗ wλ ) = −wλ for any λ ∈ Λ .
Proof. Let us consider the double complex K• ⊗R F• .

· · · −→

..
.
y

∂i ⊗ idFj

−→

Ki ⊗R Fj

yidKi ⊗ ϕj

· · · −→ Ki ⊗R Fj−1

..
.
y

∂i ⊗ idFj−1

−→

Ki−1 ⊗R Fj

−→ · · ·


yidKi−1 ⊗ ϕj

Ki−1 ⊗R Fj−1 −→ · · ·


y
..
.


y
..
.

We can take it as C•• in 2.2. Let T• be the total complex and P
d• be its boundary map. For
any λ ∈ Λ , we set ξ0 (λ) = 1 ⊗ wλ ∈ K0 ⊗ F3 and ξ1 (λ) = − 3i=1 ei ⊗ v(i,λ) ∈ K1 ⊗R F2 .
Then we have
(idK0 ⊗ ϕ3 )(ξ0 (λ)) + (∂1 ⊗ idF2 )(ξ1 (λ)) = 0 ,
and so by 2.2 there exist ξ2 (λ) ∈ K2 ⊗R F1 and ξ3 (λ) ∈ K3 ⊗R F0 such that
t

d

3
( ξ0 (λ) ξ1 (λ) ξ2 (λ) ξ3 (λ) ) ∈ Ker (T3 −→
T2 ) .

When this is the case, the following equalities hold;
(i) − (idK1 ⊗ ϕ2 )(ξ1(λ)) + (∂2 ⊗ idF1 )(ξ2 (λ)) = 0 ,
(ii) (idK2 ⊗ ϕ1 )(ξ2 (λ)) + (∂3 ⊗ idF0 )(ξ3 (λ)) = 0 .
Here we write
ξ2 (λ) = −

3
X

ěi ⊗ u(i,λ) and ξ3 (λ) = (e1 ∧ e2 ∧ e3 ) ⊗ dλ ,

i=1

where u(i,λ) ∈ F1 and dλ ∈ F0 = R . Then by (i) we get


 ϕ2 (v(1,λ) ) = −x2 ·u(3,λ) − x3 ·u(2,λ)
ϕ2 (v(2,λ) ) = x1 ·u(3,λ) − x3 ·u(1,λ)
(iii)


ϕ2 (v(3,λ) ) = x1 ·u(2,λ) + x2 ·u(1,λ)

for any λ ∈ Λ . Moreover, the equality (ii) implies

(iv) xi ·dλ = (−1)i−1 ·ϕ1(u(i,λ) )
7

for any (i, λ) ∈ Λ̃ . Now we define σ0 : K0 ⊗R F3 −→ F0 and σ1 : K1 ⊗R F3 −→ F1 by
setting σ0 (1 ⊗ wλ ) = dλ for any λ ∈ Λ and σ1 (ei ⊗ wλ ) = (−1)i−1 ·u(i,λ) for any (i, λ) ∈ Λ̃ .
The maps σ2 : K2 ⊗R F3 −→ F2 and σ3 : K3 ⊗R F3 −→ F3 are defined as in (3) and (4).
Then, by (iii) and (iv), we see that σ• : K• ⊗R F3 −→ F• is a chain map.
Let us prove (1). Because Im (∂1 ⊗ idF3 ) is obviously contained in σ0−1 (Im ϕ1 ) , we have
to show the converse inclusion. Take any η0 ∈ K0 ⊗R F3 such that σ0 (η0 ) ∈ Im ϕ1 . We
write
X
X
aλ ·ξ0(λ) ,
aλ ⊗ wλ =
η0 =
λ∈Λ

λ∈Λ

where aλ ∈ R for any λ ∈ Λ , and set
X
ηi =
aλ ·ξi (λ) ∈ Ki ⊗R F3−i
λ∈Λ

for i = 1, 2, 3 . Then,
t

( η0 η1 η2 η3 ) =

X

aλ · t ( ξ0(λ) ξ1 (λ) ξ2 (λ) ξ3 (λ) ) ∈ Ker d3 .

X

aλ ·((e1 ∧ e2 ∧ e3 ) ⊗ dλ )

λ∈Λ

Furthermore, we have
η3 =

λ∈Λ

= (e1 ∧ e2 ∧ e3 ) ⊗

X

aλ ·σ0 (1 ⊗ wλ )

λ∈Λ

= (e1 ∧ e2 ∧ e3 ) ⊗ σ0 (η0 ) ,
and so η3 ∈ Im (idK3 ⊗ ϕ1 ) . Hence η0 ∈ Im (∂1 ⊗ idF3 ) by (1) of 2.2.
Finally we prove (2). Let us consider the following commutative diagram
K1 ⊗R F3
↓ σ1
F1

∂1 ⊗idF3

−→
ϕ1

−→

K0 ⊗R F3 −→ F3 /QF3 −→ 0 (ex)
↓ σ0
↓ σ0
F0
−→
R/a
−→ 0 (ex) .

where σ 0 is the map indeuced from σ0 . Notice that by (iv) we have dλ ∈ a :R Q
for any λ ∈ Λ , and so Im σ0 ⊆ a :R Q . Hence Im σ 0 ⊆ (a :R Q)/a . On the other
hand, as σ0−1 (Im ϕ1 ) = Im (∂1 ⊗ idF3 ) , we see that σ 0 is injective. Therefore we get
Im σ 0 = (a :R Q)/a since (a :R Q)/a ∼
= F3 /QF3 by 3.1 and F3 /QF3 has a finite length.
Thus the assertion (2) follows and the proof is completed.
In the rest, σ• : K• ⊗R F3 −→ F• is the chain map constructed in 3.2. Then, by 2.1
the mapping cone Con (σ• ) gives an R-free resolution of a :R Q , that is,
K2 ⊗R F3
K0 ⊗R F3 ∗
K1 ⊗R F3 ′
ϕ1
ϕ2
ψ3
⊕
⊕
⊕
−→ F0 = R ,
0 → K3 ⊗R F3 −→
−→
−→
F3
F1
F2
ψ4

8

is acyclic and Im ∗ϕ1 = a :R Q , where






∂1 ⊗ idF3 0
∂2 ⊗ idF3 0
∂3 ⊗ idF3
′
, ∗ϕ1 = (σ0 ϕ1 ) .
, ϕ2 =
, ψ3 =
ψ4 =
−σ1
ϕ2
σ2
ϕ3
−σ3
Because σ3 : K3 ⊗R F3 −→ F3 is an isomorphism, we can define
φ = (0 −

σ3−1

K2 ⊗R F3
⊕
) :
−→ K3 ⊗R F3 .
F3

Then φ ◦ ψ4 = idK3 ⊗R F3 and Ker φ = K2 ⊗R F3 . Hence, by (1) of 2.3, we get the acyclic
complex
∗ϕ
′ϕ
′ϕ
1
2
3
0 −→ ′F3 −→ ′F2 −→ ∗F1 −→ ∗F0 = R ,
where
′

F3 = K2 ⊗R F3 ,

K1 ⊗R F3
⊕
F2 =
,
F2

′



K0 ⊗R F3
∂2 ⊗ idF3
′
⊕
.
F1 =
and ϕ3 =
σ2
F1

∗

Although Im ′ϕ3 may not be contained in m ′F2 , removing non-minimal components
from ′F3 and ′F2 , we get free R-modules ∗F3 and ∗F2 such that
∗ϕ

∗ϕ

∗ϕ

0 −→ ∗F3 −→ ∗F2 −→ ∗F1 −→ ∗F0 = R
3

2

1

is acyclic and Im ∗ϕ3 ⊆ m ∗F2 , where ∗ϕ3 and ∗ϕ2 are the restrictions of ′ϕ3 and ′ϕ2 ,
respectively. In the rest of this section, we describe a concrete procedure to get ∗F3 and
∗
F2 . For that purpose, we use the following notation. As is described in Introduction, for
any ξ ∈ K1 ⊗R F3 and η ∈ F2 ,
 
 
0
ξ
′
∈ ′F2 .
∈ F2 and hηi :=
[ξ] :=
η
0
In particular, for any (i, λ) ∈ Λ̃ , we denote [ei ⊗ wλ ] by [i, λ] . Moreover, for a subset
U ⊆ F2 , hUi := {hui}u∈U .
Now, let us choose a subset ′Λ of Λ̃ and a subset U of F2 so that
{v(i,λ) }(i,λ) ∈ ′Λ ∪ U
is an R-free basis of F2 . We would like to choose ′Λ as big as possible. The following
almost obvious fact is useful to find ′Λ and U .
Lemma 3.3 Let V be an R-free basis of F2 . If a subset ′Λ of Λ̃ and a subset U of V
satisfy
(i) | ′Λ | + | U | ≤ | V | , where | · | denotes the number of elements of the set, and
(ii) V ⊆ R·{ v(i,λ) }(i,λ) ∈ ′Λ + R·U + mF2 ,
9

then { v(i,λ) }(i,λ) ∈ ′Λ ∪ U is an R-free basis of F2 .
Let us notice that
{[i, λ]}(i,λ) ∈ Λ̃ ∪ {hv(i,λ) i}(i,λ) ∈ ′Λ ∪ hUi
is an R-free basis of ′F2 . We define ∗F2 to be the direct summand of ′F2 generated by
{[i, λ]}(i,λ) ∈ Λ̃ ∪ hUi .
Let ∗ϕ2 be the restriction of ′ϕ2 to ∗F2 . We need the next result at the final step of the
process to compute symbolic powers.
Theorem 3.4 If we can take Λ̃ itself as ′Λ , then
∗ϕ

∗ϕ

2

1

0 −→ ∗F2 −→ ∗F1 −→ ∗F0 = R
is acyclic. Hence we have depth R/(a :R Q) > 0 .
Proof. If ′Λ = Λ̃ , there exists a homomorphism φ : ′F2 −→ ′F3 such that
φ ([i, λ]) = 0 for any (i, λ) ∈ Λ̃ ,
φ (hv(i,λ) i) = (−1)i ·ěi ⊗ wλ for any (i, λ) ∈ Λ̃ ,
φ (hui) = 0 for any u ∈ U .
Then φ ◦ ′ϕ3 = id′F3 and Ker φ = ∗F2 . Hence by (1) of 2.3 we get the required assertion.
In the rest of this section, we assume ′Λ ( Λ̃ and put ∗Λ = Λ̃ \ ′Λ . Then, for any
(j, µ) ∈ ∗Λ , it is possible to write
X (j,µ)
X
v(j,µ) =
a(i,λ) ·v(i,λ) +
bu(j,µ) ·u ,
u∈U

(i,λ) ∈ ′Λ

(j,µ)

(j,µ)

where a(i,λ) , bu

(j,µ)

∈ R . Here, if ′Λ is big enough, we can choose every bu

from m . In

(j,µ)

fact, if bu
6∈ m for some u ∈ U , then we can replace ′Λ and U by ′Λ ∪ { (j, µ) } and
U \ { u } , respectively. Furthermore, because of a practical reason, let us allow that some
terms of v(i,λ) for (i, λ) ∈ ∗Λ with non-unit coefficients appear in the right hand side, that
is, for any (j, µ) ∈ ∗Λ , we write
X (j,µ)
X
v(j,µ) =
a(i,λ) ·v(i,λ) +
bu(j,µ) ·u ,
u∈U

(i,λ) ∈ Λ̃

where
(j,µ)
a(i,λ)

∈



R if (i, λ) ∈ ′Λ
m if (i, λ) ∈ Λ̃

and bu(j,µ) ∈ m .

Using this expression, for any (j, µ) ∈ ∗Λ , the following element in ′F3 can be defined.
X
(j,µ)
∗
w(j,µ) := (−1)j ·ěj ⊗ wµ +
(−1)i+1 a(i,λ) ·ěi ⊗ wλ .
(i,λ) ∈ Λ̃

10

Lemma 3.5 For any i ∈ {1, 2, 3} , let si and ti be integers such that si < ti and {1, 2, 3} =
{i, si , ti } . Then, for any (j, µ) ∈ ∗Λ , we have
ϕ3 (∗w(j,µ) ) = (−1)j xsj ·[tj , µ] + (−1)j+1xtj ·[sj , µ]
X
X
(j,µ)
+
(−1)i+1 a(i,λ) ·{xsi ·[ti , λ] − xti ·[si , λ]} +
bu(j,µ) ·hui .

′

u∈U

(i,λ) ∈ Λ̃

As a consequence, we have ′ϕ3 (∗w(j,µ) ) ∈ m ∗F2 for any (j, µ) ∈ ∗Λ .
Proof. By the definition of ′ϕ3 , for any (j, µ) ∈ ∗Λ , we have
′

ϕ3 (∗w(j,µ) ) = [(∂2 ⊗ idF3 )(∗w(j,µ) )] + hσ2 (∗w(j,µ) )i .

Because
(∂2 ⊗ idF3 )(∗w(j,µ) ) = (−1)j ·∂2 ěj ⊗ wµ +

X

(j,µ)

(−1)i+1 a(i,λ) ·∂2 ěi ⊗ wλ

(i,λ) ∈ Λ̃
j

= (−1) ·∂2 (esj ∧ etj ) ⊗ wµ +

X

(j,µ)

(−1)i+1 a(i,λ) ·∂2 (esi ∧ eti ) ⊗ wλ

(i,λ) ∈ Λ̃
j

= (−1) ·(xsj etj − xtj esj ) ⊗ wµ
X
(j,µ)
(−1)i+1 a(i,λ) ·(xsi eti − xti esi ) ⊗ wλ
+
(i,λ) ∈ Λ̃

and
σ2 (∗w(j,µ) ) = (−1)j ·σ2 (ěj ⊗ wµ ) +
= v(j,µ) −
=

X

X

X

(j,µ)

(−1)i+1 a(i,λ) ·σ2 (ěi ⊗ wλ )

(i,λ) ∈ Λ̃
(j,µ)
a(i,λ) ·v(i,λ)

(i,λ) ∈ Λ̃

bu(j,µ) ·u ,

u∈U

we get the required equality.
Let ∗F3 be the R-submodule of ′F3 generated by { ∗w(j,µ) }(j,µ) ∈ ∗Λ and let ∗ϕ3 be the
restriction of ′ϕ3 to ∗F3 . By 3.5 we have Im ∗ϕ3 ⊆ ∗F2 . Thus we get a complex
∗ϕ

∗ϕ

∗ϕ

0 −→ ∗F3 −→ ∗F2 −→ ∗F1 −→ ∗F0 = R .
3

2

1

This is the complex we desire. In fact, the following result holds.
Theorem 3.6 (∗F• , ∗ϕ• ) is an acyclic complex of finitely generated free R-modules with
the following properties.
(1) Im ∗ϕ1 = a :R Q and Im ∗ϕ3 ⊆ m ∗F2 .
11

(2) { ∗w(j,µ) }(j,µ) ∈ ∗Λ is an R-free basis of ∗F3 .
(3) { [i, λ] }(i,λ) ∈ Λ̃ ∪ hUi is an R-free basis of ∗F2 .
Proof. First, let us notice that {ěi ⊗ wλ }(i,λ) ∈ Λ̃ is an R-free basis of ′F3 and
ěj ⊗ wµ ∈ R· ∗w(j,µ) + R·{ěi ⊗ wλ }(i,λ) ∈ ′Λ + m ′F3
for any (j, µ) ∈ ∗Λ . Hence, by Nakayama’s lemma it follows that ′F3 is generated by
{ěi ⊗ wλ }(i,λ) ∈ ′Λ ∪ {∗w(j,µ) }(j,µ) ∈ ∗Λ ,
which must be an R-free basis since rankR ′F3 = | Λ̃ | = | ′Λ | + | ∗Λ | . Let ′′F3 be the
R-submodule of ′F3 generated by { ěi ⊗ wλ }(i,λ) ∈ ′Λ . Then ′′F3 ⊕ ∗F3 .
Next, let us recall that
{[i, λ]}(i,λ) ∈ Λ̃ ∪ {hv(i,λ) i}(i,λ) ∈ ′Λ ∪ hUi
is an R-free basis of ′F2 . Because
hv(i,λ) i = (−1)i · ′ϕ3 (ěi ⊗ wλ ) + (−1)i ·[∂2 ěi ⊗ wλ ] ,
we see that
{[i, λ]}(i,λ) ∈ Λ̃ ∪ {′ϕ3 (ěi ⊗ wλ )}(i,λ) ∈ ′Λ ∪ hUi
is also an R-free basis. Let ′′F2 = R·{ ′ϕ3 (ěi ⊗ wλ ) }(i,λ) ∈ ′Λ . Then ′F2 = ′′F2 ⊕ ∗F2 .
It is obvious that ′ϕ3 (′′F3 ) = ′′F2 . Moreover, by 3.5 we get ′ϕ3 (∗F3 ) ⊆ ∗F2 . Therefore,
by (2) of 2.3, it follows that ∗F• is acyclic. We have already seen (3) and the first assertion
of (1). The second assertion of (1) follows from 3.5. Moreover, the assertion (2) is now
obvious.

4

Computing symbolic powers

Let x, y, z be an sop for R and I an ideal of R generated by the maximal minors of the
matrix
 α

x yβ zγ
Φ=
,
′
′
′
y β z γ xα
where α, β, γ, α′, β ′, γ ′ are positive integers. As is well known, R/I is a Cohen-Macaulay
ring with dim R/I = 1 . In this section, we give a minimal free resolution of I n for any
n > 0 , and consider its ∗-transform in order to compute the symbolic power I (n) . We
put
′
′
′
′
′
′
a = z γ+γ − xα y β , b = xα+α − y β z γ , c = y β+β − xα z γ .
Then, I = (a, b, c)R and we have the next result (See [3] for the definition of d-sequences).
Lemma 4.1 The following assertions hold.
′

′

′

(1) xα a + y β b + z γ c = 0 and y β a + z γ b + xα c = 0 .
12

(2) Let p ∈ AssR (R/I) . Then IRp is generated by any two elements of a, b, c .
(3) Any two elements of a, b, c form an ssop for R .
(4) a, b, c is an unconditioned d-sequence.
Proof. (1) These equalities can be checked directly.
p
(2) Let us prove IRp = (a, b)Rp . If x ∈ p , then y, z ∈ (a, c, x)R ⊆ p , and so p = m ,
which contradicts to the Cohen-Macaulayness of R/I . Hence x 6∈ p . Then
′

′

′

c = −(y β a + z γ b)/xα ∈ (a, b)Rp ,
which means IRp = (a, b)Rp . p
(3) For example, as x, z ∈ (a, b, y)R , it follows that a, b is an ssop for R .
(4) Let us prove that a, b, c is a d-sequence. As a, b is a regular sequence by (3),
it is enough to show (a, b)R :R c2 = (a, b)R :R c . We obviously have (a, b)R :R c2 ⊇
(a, b)R :R c . Take any q ∈ AssR (R/(a, b)R :R c) . As R/(a, b)R :R c ֒→ R/(a, b)R , we
have htR q = 2 . If c ∈ q , then q ∈ MinR (R/I) , and so IRq = (a, b)Rq by (2), which
means
(a, b)Rq :Rq c2 = (a, b)Rq :Rq c = Rq .
If c 6∈ q , we have
(a, b)Rq :Rq c2 = (a, b)Rq :Rq c = (a, b)Rq .
Therefore we get the required equality.
We take an indeterminate t and consider the Rees algebra R[It] . Moreover, we take
three indeterminates A, B, C and put S = R[A, B, C] . We regard S as a Z-graded ring by
setting deg A = deg B = deg C = 1 . Let π : S −→ R[It] be the graded homomorphism of
R-algebras such that π(A) = at, π(B) = bt and π(C) = ct . By (4) of 4.1 it follows that
Ker π is generated by linear forms (cf. [4, Theorem 3.1]). On the other hand,
tΦ

(a b c)

0 −→ R⊕2 −→ R⊕3 −→ R −→ R/I −→ 0
is a minimal free resolution of R/I . Hence Ker π is generated by
′

′

′

f := xα A + y β B + z γ C and g := y β A + z γ B + xα C .
Thus we get S/(f, g)S ∼
= R[It] . Then, as f, g is a regular sequence of S ,
(−g
(f g)
f )
π
0 −→ S(−2) −→ S(−1) ⊕ S(−1) −→ S −→ R[It] −→ 0
is a graded S-free resolution of R[It] . Now we take its homogeneous part of degree n ,
and get the next result.
Theorem 4.2 For any n ≥ 2 ,
(−g
(f g)
f )
ǫ
0 −→ Sn−2 −→ Sn−1 ⊕ Sn−1 −→ Sn −→ R
is acyclic and it is a minimal free resolution of I n , where Sd (d ∈ Z) is the R-submodule
of S consisting of homogeneous elements of degree d and ǫ is the R-linear map defined by
substituting a, b, c for A, B, C , respectively.
13

Let us denote the complex in 4.2 by (F•1 , ϕ1• ) , that is, we set
F31 = Sn−2 , F21 = Sn−1 ⊕ Sn−1 , F11 = Sn , F01 = R ,
 1
ϕ13 = −g
, ϕ2 = (f g) and ϕ11 = ǫ .
f

Then F•1 is an acyclic complex of finitely generated free R-modules and Im ϕ11 = I n . The
number ”1” of F•1 means that it is the first acyclic complex we need for computing I (n) .
Our strategy is as follows. Taking the ∗-transform of F•1 with respect to suitable powers
of x, y, z , we get ∗F•1 , which is denoted by F•2 . If its length is still 3, we again take some
∗-transform of F•2 and get F•3 . By repeating this operation successively, we eventually
get an acyclic complex F•k of length 2 . Then the family { F•i }1≤i≤k of acyclic complexes
has the complete information on I (n) .
′′
′′
′′
Let α′′ = min{α, α′ } , β ′′ = min{β , β ′ } , γ ′′ = min{γ , γ ′ } and Q = (xα , y β , z γ )R .
Because f and g are elements of Q , we have Im ϕ13 ⊆ QF21 , and so by 3.1 we get the
following.
n
Theorem 4.3 (I n :R Q)/I n ∼
= (R/Q)⊕( 2 ) .
′′

′′

′′

Now we are going to take the ∗-transform of F•1 with respect to xα , y β , z γ . At first,
we have to fix Λ1 , which is an R-free basis of F31 . For any 0 ≤ d ∈ Z , let us denote by
mdA,B,C the set {Ai B j C k | 0 ≤ i, j, k ∈ Z and i + j + k = d} , which is an R-free basis of
n−2
n−2
Sd . We take mA,B,C
as Λ1 . Then, for any M ∈ mA,B,C
, we have to write
′′

′′

′′

1
β
1
γ
1
ϕ13 (M) = xα ·v(1,M
) + y ·v(2,M ) + z ·v(3,M ) ,
1
1
where v(i,M
) ∈ F2 for i = 1, 2, 3 . As is described at the end of Introduction, for h ∈ Sn−1 ,
let us denote the elements
 
 
0
h
∈ F21 = Sn−1 ⊕ Sn−1
and
h
0
n−2
by [h] and hhi , respectively. Then, for any M ∈ mA,B,C
, we have


−gM
ϕ13 (M) =
fM

 β′
′
′
−y AM − z γ BM − xα CM
=
xα AM + y β BM + z γ CM
′

′

′

= −y β ·[AM] − z γ ·[BM ] − xα ·[CM]
+ xα ·hAMi + y β ·hBMi + z γ ·hCMi
′′

′′

′′

1
β
1
γ
1
= xα ·v(1,M
) + y ·v(2,M ) + z ·v(3,M ) ,

where
′′

′

′′

′′

′

′′

1
α−α
·hAMi − xα −α ·[CM] ,
v(1,M
) = x
1
β−β
v(2,M
·hBMi − y β −β ·[AM ] ,
) = y
′

′′

′′

1
γ−γ
·hCMi − z γ −γ ·[BM] .
v(3,M
) = z

14

We set Λe1 = {1, 2, 3} × Λ1 and we have to choose its subset ′Λ1 as big as possible so
1
1
that {v(i,M
) }(i,M ) ∈ ′Λ1 is a part of an R-free basis of F2 . For that purpose, we need to fix
a canonical R-free basis of F21 . For a subset H of Sn−1 , we denote the families {[h]}h∈H
n−1
n−1
and {hhi}h∈H by [H] and hHi , respectively. Let us notice that [mA,B,C
] ∪ hmA,B,C
i is an
1
R-free basis of F2 .
Setting n = 2 , we get the next result.
Theorem 4.4 (cf. [2]) I (2) = I 2 :R Q and I (2) /I 2 ∼
= R/Q .
Proof. By replacing rows and columns of Φ and by replacing x, y, z if necessary, we may
assume that one of the following conditions are satisfied;
(i) α ≤ α′ , β ≤ β ′ , γ ≤ γ ′ ;

(ii) α ≥ α′ , β ≤ β ′ , γ ≤ γ ′ .

Let n = 2 . Then Λ1 = { 1 } . In the case (i), we have α′′ = α, β ′′ = β, γ ′′ = γ and
′

′

′

1
1
1
v(1,1)
= hAi − xα −α ·[C] , v(2,1)
= hBi − y β −β ·[A] , v(3,1)
= hCi − z γ −γ ·[B] .
1
Then, as [m1A,B,C ]∪hm1A,B,C i is an R-free basis, by 3.3 we see that {v(i,1)
}i=1,2,3 ∪[m1A,B,C ] is
an R-free basis of F21 . On the other hand, in the case (ii), we have α′′ = α′ , β ′′ = β, γ ′′ = γ
and
′

′

′

1
1
1
v(1,1)
= xα−α ·hAi − [C] , v(2,1)
= hBi − y β −β ·[A] , v(3,1)
= hCi − z γ −γ ·[B] .
1
Then, {v(i,1)
}i=1,2,3 ∪ {hAi, [A], [B]} is an R-free basis of F21 . In either case, we can take
Λe1 as ′Λ1 . Hence, by 3.4 we see depth R/(I 2 :R Q) > 0 , and so I (2) = I 2 :R Q . The second
assertion follows from 4.3.

Similarly as the proof of 4.4, in order to study I (n) for n ≥ 3 , we have to consider
dividing the situation into several cases. In the rest of this section, let us assume
α = 1 , α′ = 2 , 2β ≤ β ′ , 2γ ≤ γ ′ ,
and explain how to compute I (3) using ∗-transforms. We have α′′ = 1, β ′′ = β and γ ′′ = γ .
Let n = 3 . Then Λ1 = {A, B, C} and we have
′

′

1
1
1
v(1,A)
= hA2 i − x·[AC] , v(2,A)
= hABi − y β −β ·[A2 ] , v(3,A)
= hACi − z γ −γ ·[AB] ,
′

′

1
1
1
= hBCi − z γ −γ ·[B 2] ,
= hB 2 i − y β −β ·[AB] , v(3,B)
= hABi − x·[BC] , v(2,B)
v(1,B)
′

′

1
1
1
v(1,C)
= hACi − x·[C 2] , v(2,C)
= hBCi − y β −β ·[AC] , v(3,C)
= hC 2 i − z γ −γ ·[BC] .

We set ′Λ1 = {(1, A) , (2, A) , (3, A) , (2, B) , (3, B) , (3, C)} ⊆ Λe1 = {1, 2, 3} × {A, B, C} .
Then we have the following.
2
1
1
Lemma 4.5 {v(i,M
) }(i,M ) ∈ ′Λ1 ∪ [mA,B,C ] is an R-free basis of F2 .

15

Proof. Let us recall that [m2A,B,C ] ∪ hm2A,B,C i is an R-free basis of F21 . Because |′Λ1 | =
2
1
|m2A,B,C | = 6 and hm2A,B,C i ⊆ R·{v(i,M
) }(i,M ) ∈ ′Λ1 +R·[mA,B,C ] , we get the required assertion
by 3.3.
Let K• = K• (x, y β , z γ ) . By 3.2 there exists a chain map σ•1 : K• ⊗R F31 −→ F•1 such
1
e1
that Im σ01 + Im ϕ11 = I 3 :R Q and σ21 (ěi ⊗ M) = (−1)i · v(i,M
) for any (i, M) ∈ Λ =
{1, 2, 3} × {A, B, C} . Moreover, we get an acyclic complex
′ϕ1

′ϕ1

∗ϕ1

3 ′ 1
2 ∗ 1
1 ∗ 1
0 −→ ′F31 −→
F2 −→
F1 −→
F0 = R ,

where
′ 1
F3

=

K2 ⊗R F31

,

′ 1
F2

K1 ⊗R F31
⊕
=
,
1
F2

∗ 1
F1

K0 ⊗R F31
⊕
=
,
1
F1

′ 1
ϕ3

=



∂2 ⊗ idF31
σ21



,

and ∗ϕ11 = ( σ01 ϕ11 ) . Let us recall our notation introduced in Section 3. For any (i, M) ∈
Λe1 we set


ei ⊗ M
∈ ′F31 .
[i, M ] = [ei ⊗ M ] =
0
On the other hand, for any η ∈ F21 , we set
 
0
∈ ′F21 .
hηi =
η
In particular, as F21 = S2 ⊕ S2 , h[h]i ∈ ′F21 is defined for any h ∈ S2 . We set h[m2A,B,C ]i =
{h[M]i}M ∈m2A,B,C . Let ∗F21 be the R-submodule of ′F21 generated by
{[i, M ]}(i,M ) ∈ Λf1 ∪ h[m2A,B,C ]i ,
and let ∗ϕ12 be the restriction of ′ϕ12 to ∗F21 . In order to define ∗F31 , we set ∗Λ1 = Λe1 \ ′Λ1 =
{(1, B) , (1, C) , (2, C)} . We need the next result which can be checked directly.
Lemma 4.6 The following equalities hold;
′

1
1
v(1,B)
= v(2,A)
− x·[BC] + y β −β ·[A2 ] ,
′

1
1
v(1,C)
= v(3,A)
− x·[C 2 ] + z γ −γ ·[AB] ,
′

′

1
1
v(2,C)
= v(3,B)
− y β −β ·[AC] + z γ −γ ·[B 2 ] .
1
′ 1
∗ 1
So, we define the elements ∗w(i,M
) ∈ F3 for (i, M) ∈ Λ as follows;
∗ 1
w(1,B)
∗ 1
w(1,C)
∗ 1
w(2,C)

= −ě1 ⊗ B − ě2 ⊗ A ,
= −ě1 ⊗ C + ě3 ⊗ A ,
= ě2 ⊗ C + ě3 ⊗ B .
16

∗ 1
1
Let ∗F31 be the R-submodule of ′F31 generated by {∗w(i,M
) }(i,M )∈∗Λ1 and let ϕ3 be the
restriction of ′ϕ13 to ∗F31 . Thus we get a complex
∗ϕ1

∗ϕ1

∗ϕ1

3 ∗ 1
2 ∗ 1
1 ∗ 1
0 −→ ∗F31 −→
F2 −→
F1 −→
F0 = R .

2
∗ 1
∗ 1
Let us denote (∗F•1 , ∗ϕ1• ) by (F•2 , ϕ2• ) . Moreover, we put w(i,M
) = w(i,M ) for (i, M) ∈ Λ .
Then, by 3.5 and 3.6 we have the next result.

Lemma 4.7 (F•2 , ϕ2• ) is an acyclic complex of finitely generated free R-modules satisfying
the following conditions.
(1) Im ϕ21 = I 3 :R Q .
2
2
2
(2) {w(1,B)
, w(1,C)
, w(2,C)
} is an R-free basis of F32 .

(3) {[i, M ]}(i,M ) ∈ Λf1 ∪ h[m2A,B,C ]i is an R-free basis of F22 .
(4) The following equalities hold;
2
ϕ23 (w(1,B)
) = −y β ·[3, B] + z γ ·[2, B] − x·[3, A] + z γ ·[1, A]
′

− x·h[BC]i + y β −β ·h[A2 ]i ,
2
ϕ23 (w(1,C)
) = −y β ·[3, C] + z γ ·[2, C] + x·[2, A] − y β ·[1, A]
′

− x·h[C 2]i + z γ −γ ·h[AB]i ,
2
ϕ23 (w(2,C)
) = x·[3, C] − z γ ·[1, C] + x·[2, B] − y β ·[1, B]
′

′

− y β −β ·h[AC]i + z γ −γ ·h[B 2 ]i .
We put Λ2 = ∗Λ1 = {(1, B) , (1, C) , (2, C)} and Λe2 = {1, 2, 3} × Λ2 . We simply denote
(j, (i, M)) ∈ Λe2 by (j, i, M) . Then


 (1, 1, B) , (2, 1, B) , (3, 1, B) , 
(1, 1, C) , (2, 1, C) , (3, 1, C) ,
Λe2 =
.


(1, 2, C) , (2, 2, C) , (3, 2, C)

As we are assuming 2β ≤ β ′ and 2γ ≤ γ ′ , by (4) of 4.7 we get

2
2
β
2
γ
2
ϕ23 (w(i,M
) ) = x·ϕ(1,i,M ) + y ·ϕ(2,i,M ) + z ·ϕ(3,i,M )

for any (i, M) ∈ Λ2 , where
′

2
2
2
v(1,1,B)
= −[3, A] − h[BC]i , v(2,1,B)
= −[3, B] + y β −2β ·h[A2 ]i , v(3,1,B)
= [2, B] + [1, A] ,
′

2
2
2
v(1,1,C)
= [2, A] − h[C 2 ]i , v(2,1,C)
= −[3, C] − [1, A] , v(3,1,C)
= [2, C] + z γ −2γ ·h[AB]i ,
′

2
2
v(1,2,C)
= [3, C] + [2, B] , v(2,2,C)
= −[1, B] − y β −2β ·h[AC]i and
′

2
= −[1, C] + z γ −2γ ·h[B 2 ]i .
v(3,2,C)
2
2
2
2
Thus a family {v(j,i,M
f
2 of elements in F2 is fixed and we see Im ϕ3 ⊆ QF2 .
) }(j,i,M ) ∈ Λ
Because Im ϕ21 :R Q = (I 3 :R Q) :R Q = I 3 :R Q2 and F32 ∼
= R⊕3 , by 3.1 we get the next
result.

17

Theorem 4.8 Let α = 1 , α′ = 2 , 2β ≤ β ′ and 2γ ≤ γ ′ . Then we have
(I 3 :R Q2 )/(I 3 :R Q) ∼
= (R/Q)⊕3 .
The following relation, which can be checked directly, is very important.
2
2
2
Lemma 4.9 v(3,1,B)
+ v(2,1,C)
+ v(1,2,C)
= 2·[2, B] .

By 3.2 there exists a chain map σ•2 : K• ⊗R F32 −→ F•2 such that Im σ02 + Im ϕ21 = I 3 :R
2
j 2
e2
Q2 and σ22 (ěj ⊗ w(i,M
) ) = (−1) ·v(j,i,M ) for any (j, i, M) ∈ Λ . Moreover, we get an acyclic
complex
′ϕ2

′ϕ2

∗ϕ2

3 ′ 2
2 ∗ 2
1 ∗ 2
0 −→ ′F32 −→
F2 −→
F1 −→
F0 = R ,

where
′ 2
F3

=

K2 ⊗R F32

,

′ 2
F2

K1 ⊗R F32
=
⊕
,
2
F2

∗ 2
F1

K0 ⊗R F32
=
⊕
,
2
F1

′ 2
ϕ3

=



∂2 ⊗ idF32
σ22



,

and ∗ϕ21 = (σ02 ϕ21 ) . In order to remove non-minimal components from ′F32 and ′F22 , we
2
would like to choose a subset ′Λ2 of Λe2 as big as possible so that {v(j,i,M
) }(j,i,M )∈′Λ2 is a part
2
of an R-free basis of F2 .
Theorem 4.10 Let α = 1 , α′ = 2 , 2β ≤ β ′ and 2γ ≤ γ ′ . Suppose that 2 is a unit in R .
Then, we can take Λe2 itself as ′Λ2 . Hence depth R/(I 3 :R Q2 ) > 0 , and so I (3) = I 3 :R Q2 .
Moreover, we have ℓR ( I (3) /I 3 ) = 6·ℓR( R/Q ) .
Proof. We would like to show that
2
2
{v(j,i,M
f
2 ∪ h[mA,B,C ]i
) }(j,i,M ) ∈ Λ

is an R-free basis of F22 . Let us recall that
{[i, M ]}(i,M ) ∈ Λf1 ∪ h[m2A,B,C ]i
is an R-free basis of F22 . Because |Λe1 | = |Λe2 | , we have to prove

2
2
{[i, M ]}(i,M ) ∈ Λf1 ⊆ G := R·{v(j,i,M
f
2 + R·h[mA,B,C ]i .
) }(j,i,M ) ∈ Λ

2
+ h[C 2 ]i ∈ G . Similarly, we can easily see that [3, A] ,
In fact, we have [2, A] = v(1,1,C)
[1, B] , [3, B] , [1, C] and [2, C] are included in G . Moreover, as 2 is a unit in R , we have
2
2
[2, B] ∈ G by 4.9. Then [1, A] = v(3,1,B)
− [2, B] ∈ G and [3, C] = v(1,2,C)
− [2, B] ∈ G .
The last assertion holds since

ℓR ( I (3) /I 3 ) = ℓR ( (I 3 :R Q2 )/I 3 )
= ℓR ( (I 3 :R Q2 )/(I 3 :R Q) ) + ℓR ( (I 3 :R Q)/I 3 )
= 3·ℓR( R/Q ) + 3·ℓR ( R/Q )
18

by 4.3 and 4.8. Thus the proof is completed.
In the rest of this section, let us consider the case where ch R = 2 . In this case, we
have
2
2
2
v(3,1,B)
+ v(2,1,C)
+ v(1,2,C)
= 0.
We set ′Λ2 = Λe2 \ { (3, 1, B) } . Then, it is easy to see that

2
2
{v(j,i,M
) }(j,i,M ) ∈ ′Λ2 ∪ { [2, B] } ∪ h[mA,B,C ]i

is an R-free basis of F22 . For any (j, i, M) ∈ Λe2 , let us simply denote [j, (i, M)] =
2
′ 2
[ej ⊗ w(i,M
) ] ∈ F2 by [j, i, M ] . Then
2
2
{ [j, i, M ] }(j,i,M ) ∈ Λf2 ∪ { hv(j,i,M
) i }(j,i,M ) ∈ ′Λ2 ∪ { h[2, B]i } ∪ hh[mA,B,C ]ii

is an R-free basis of ′F22 . Let ∗F22 be the R-submodule of ′F22 generated by
{ [j, i, M] }(j,i,M ) ∈ Λf2 ∪ { h[2, B]i } ∪ hh[m2A,B,C ]ii
and let ∗ϕ22 be the restriction of ′ϕ22 to ∗F22 . In order to define ∗F32 , we set ∗Λ2 = Λe2 \ ′Λ2 =
{(3, 1, B)} . Because
2
2
2
v(3,1,B)
= −v(2,1,C)
− v(1,2,C)
,
2
∈ ′F32 to be
we define ∗w(3,1,B)
2
2
2
−ě3 ⊗ w(1,B)
+ ě2 ⊗ w(1,C)
− ě1 ⊗ w(2,C)
.
2
and let ∗ϕ23 be the restriction of
Let ∗F32 be the R-submodule of ′F32 generated by ∗w(3,1,B)
′ 2
ϕ3 to ∗F32 . Thus we get a complex
∗ϕ2

∗ϕ2

∗ϕ2

3 ∗ 2
2 ∗ 2
1 ∗ 2
0 −→ ∗F32 −→
F2 −→
F1 −→
F0 = R .

2
3
. Then, by 3.5
Let us denote (∗F•2 , ∗ϕ2• ) by (F•3 , ϕ3• ) . Moreover, we put w(3,1,B)
= ∗w(3,1,B)
and 3.6 we have the next result.

Lemma 4.11 (F•3 , ϕ3• ) is an acyclic complex of finitely generated free R-modules satisfying the following conditions.
(1) Im ϕ31 = I 3 :R Q2 .
3
(2) w(3,1,B)
is an R-free basis of F33 .

(3) { [j, i, M] }(j,i,M ) ∈ Λf2 ∪ { h[2, B]i } ∪ hh[m2A,B,C ]ii is an R-free basis of F23 .
(4) The following equality holds ;
3
ϕ33 (w(3,1,B)
) = −x·[2, 1, B] + y β ·[1, 1, B] + x·[3, 1, C]

− z γ ·[1, 1, C] − y β ·[3, 2, C] + z γ ·[2, 2, C] .
19

We put Λ3 = ∗Λ2 = {(3, 1, B)} and Λe3 = {1, 2, 3}×Λ3 . We simply denote (i, (3, 1, B)) ∈
Λe3 by (i, 3, 1, B) . Then Λe3 = { (i, 3, 1, B) }i=1,2,3 . By (4) of 4.11 we have
3
3
3
3
ϕ33 (w(3,1,B)
) = x·v(1,3,1,B)
+ y β ·v(2,3,1,B)
+ z γ ·v(3,3,1,B)
,

where
3
v(1,3,1,B)
= [3, 1, C] − [2, 1, B] ,

3
v(2,3,1,B)
= [1, 1, B] − [3, 2, C] and
3
v(3,3,1,B)
= [2, 2, C] − [1, 1, C] .

3
Thus a family {v(i,3,1,B)
}i=1,2,3 of elements in F23 is fixed and we see Im ϕ33 ⊆ QF23 . Because

Im ϕ31 :R Q = (I 3 :R Q2 ) :R Q = I 3 :R Q3
and F33 ∼
= R , by 3.1 we get the next result.
Theorem 4.12 Let α = 1 , α′ = 2 , 2β ≤ β ′ , 2γ ≤ γ ′ and ch R = 2 . Then we have
(I 3 :R Q3 )/(I 3 :R Q2 ) ∼
= R/Q .
It is easy to see that
2
{v(i,3,1,B)
}i=1,2,3



 [2, 1, B] , [3, 1, B] , 
[1, 1, C] , [2, 1, C] ,
∪
∪ hh[m2A,B,C ]ii


[1, 2, C] , [3, 2, C]

is an R-free basis of F23 . Therefore, by 3.4 we get the following result.

Theorem 4.13 Let α = 1 , α′ = 2 , 2β ≤ β ′ , 2γ ≤ γ ′ and ch R = 2 . Then, it follows
that depth R/(I 3 :R Q3 ) > 0 , and so I (3) = I 3 :R Q3 . Moreover, we have ℓR ( I (3) /I 3 ) =
7·ℓR( R/Q ) = 7αβ ·ℓR( R/(x, y, z)R ) .
The last assertion of 4.13 holds since ℓR ( I (3) /I 3 ) coincides with
ℓR ( (I 3 :R Q3 )/(I 3 :R Q2 ) ) + ℓR ( (I 3 :R Q2 )/(I 3 :R Q) ) + ℓR ( (I 3 :R Q)/I 3 )
= ℓR ( R/Q ) + 3·ℓR( R/Q ) + 3·ℓR( R/Q )
by 4.3, 4.8 and 4.12.

5

Computing ǫ-multiplicity

Let R be a 3-dimensional regular local ring with the maximal ideal m = (x, y, z)R . Let
I be the ideal generated by the maximal minors of the matrix


x y z
.
y z x2
20

We will compute the length of I (n) /I n for all n using the ∗-transforms. As a consequence
of our result, we get ǫ(I) = 1/2 , where
3!
·ℓR ( I (n) /I n ) ,
n→∞ n3

ǫ(I) := lim

which is the invariant called ǫ-multiplicity of I (cf. [1], [6]). Let us maintain the same
notations as in Section 4. So, a = z 2 − x2 y , b = x3 − yz , c = y 2 − xz , S = R[A, B, C] ,
f = xA + yB + zC and g = yA + zB + x2C . Furthermore, we need the following notations
which is not used in Section 4. For any 0 ≤ d ∈ Z , we denote the set {B β C γ | 0 ≤ β , γ ∈
Z and β + γ = d} by mdB,C , and for a monomial L and a set S consisting of monomials,
we denote the set {LM | M ∈ S} by L·S .
Let n ≥ 2 . Then the complex
(−g
(f g)
f )
ǫ
0 −→ Sn−2 −→ Sn−1 ⊕ Sn−1 −→ Sn −→ R
is acyclic and gives a minimal free resolution of I n . We denote this complex by (F•1 , ϕ1• ) .
n−2
As Λ1 , which is an R-free basis of F31 = Sn−2 , we take mA,B,C
. Then, for any M ∈ Λ1 ,
we have
1
1
1
ϕ13 (M) = x·v(1,M
) + y·v(2,M ) + z·v(3,M ) ,
where
1
1
1
v(1,M
) = hAM i − x·[CM] , v(2,M ) = hBM i − [AM ] , v(3,M ) = hCMi − [BM ] .

Hence, by 3.1 we get the following.
n
Lemma 5.1 (I n :R m)/I n ∼
= (R/m)⊕( 2 ) .

The next result can be checked directly.
n−4
Lemma 5.2 Suppose n ≥ 4 . Then, for any N ∈ mA,B,C
, we have
1
1
1
1
1
1
v(3,A
2 N ) = v(2,ABN ) − v(1,B 2 N ) + v(1,ACN ) − x·v(2,C 2 N ) + x·v(3,BCN ) .

Let Λe1 = {1, 2, 3} × Λ1 . Then the following result holds.

Lemma 5.3 As an R-module, F21 = Sn−1 ⊕ Sn−1 is generated by
1
n−2
{v(i,M
] , [BC n−2 ] , [C n−1]} .
f
1 ∪ {[AC
) }(i,M ) ∈ Λ

Proof. Let G be the sum of the R-submodule of F21 generated by the elements stated
n−1
n−1
above and mF21 . It is enough to show that [mA,B,C
] and hmA,B,C
i are contained in G .
n−1
First, let us prove hLi ∈ G for any L ∈ mA,B,C . We write L = Aα B β C γ , where
0 ≤ α, β, γ ∈ Z and α + β + γ = n − 1 . If α > 0 ,
1
α−1 β γ
hLi = hA·Aα−1B β C γ i = v(1,A
B C ] ∈ G.
α−1 B β C γ ) + x·[C ·A

21

Hence, we have to consider the case where α = 0 . However, as
1
n−2
hC n−1i = hC ·C n−2i = v(3,C
] ∈ G and
n−2 ) + [B ·C
1
n−2
hBC n−2 i = hB ·C n−2i = v(2,C
] ∈ G,
n−2 ) + [A·C

we may assume β ≥ 2 . Then, as
hLi = hB ·B β−1C γ i
1
β−1 γ
= v(2,B
C ]
β−1 C γ ) + [A·B
1
β−2 γ
= v(2,B
C ]
β−1 C γ ) + [B ·AB
1
1
β−2 γ
= v(2,B
C i
β−1 C γ ) − v(3,AB β−2 C γ ) + hC ·AB

and as hC ·AB β−2C γ i = hA·B β−2C γ+1 i , we get hLi ∈ G .
n−1
n−1
n−2
n−2
Next, we prove [mA,B,C
] ⊆ G . Let us notice mA,B,C
= A·mA,B,C
∪ B ·mB,C
∪ {C n−1 } .
n−2
n−2
For any M ∈ mA,B,C
and any X ∈ mB,C
, we have
1
[AM ] = −v(2,M
) + hBM i ∈ G

and

1
[BX] = −v(3,X)
+ hCXi ∈ G .

Hence, the proof is complete as [C n−1 ] ∈ G holds obviously.
Now, let q be the largest integer such that q ≤ n/2 . For any 1 ≤ k ≤ q , we would
like to construct an acyclic complex
ϕk

ϕk

ϕk

1
2
3
F0k = R
F1k −→
F2k −→
0 −→ F3k −→

of finitely generated free R-modules satisfying the following conditions.
(♯k1 ) Im ϕk1 = I n : mk−1 .
n−2k
k
(♯k2 ) F3k has an R-free basis indexed by Λk := mA,B,C
, say {wM
}M ∈ Λk .
k
(♯k3 ) Let Λek = {1, 2, 3} × Λk . Then, there exists a family {v(i,M
f
k of elements in
) }(i,M ) ∈ Λ
F2k satisfying the following conditions .
k
k
k
k
(i) For any M ∈ Λk , ϕk3 (w(i,M
) ) = x·v(1,M ) + y·v(2,M ) + z·v(3,M ) .

(ii) If k < q , for any N ∈ Λk+1 := mn−2k−2
A,B,C ,
k
k
k
k
k
k
v(3,A
2 N ) = v(2,ABN ) − v(1,B 2 N ) + v(1,ACN ) − x·v(2,C 2 N ) + x·v(3,BCN ) .
k
k
(iii) There exists a subset U k of F2k such that {v(i,M
generates F2k
f
k ∪ U
) }(i,M ) ∈ Λ
and

 

n − 2k
n − 2k + 2
k
k
,
+
|U | = rank F2 − 3·
2
2

where the last binomial coefficient is regarded as 0 if k = q .

22

Let us notice that the acyclic complex (F•1 , ϕ1• ) , which is already constructed, satisfies
1
(♯12 ) (wM
is M itself for M ∈ Λ1 ) and (♯13 ). So, we assume 1 ≤ k < q and an acyclic
complex (F•k , ϕk• ) satisfying the required conditions is given. Taking the ∗-transform of
(F•k , ϕk• ) with respect to x, y, z , we would like to construct (F•k+1 , ϕk+1
• ).
First, we have the following result since the conditions (♯k1 ), (♯k2 ) and (i) of (♯k3 ) are
satisfied and (I n :R mk−1 ) :R m = I n :R mk .
(♯11 ),

Lemma 5.4 (I n :R mk )/(I n :R mk−1 ) ∼
= F3k /mF3k , so


n − 2k + 2
n
k
n
k−1
.
ℓR ( (I :R m )/(I :R m ) ) =
2
If Γ is a subset of Λk and 1 ≤ i ≤ 3 , we denote by (i, Γ) the subset {(i, M) | M ∈ Γ}
n−2k
of Λek . Let us notice that Λk is a disjoint union of A2 ·Λk+1, A·mn−2k−1
and mB,C
. We set
B,C
′ k

n−2k
Λ = (1, Λk ) ∪ (2, Λk ) ∪ (3, A·mn−2k−1
∪ mB,C
).
B,C

Then the next result holds.
k
k
k
Lemma 5.5 {v(i,M
) }(i,M ) ∈ ′Λk ∪ U is an R-free basis of F2 .

Proof. Because
n−2k
|′Λk | = 2 · |Λk | + |A·mn−2k−1
∪ mB,C
|
B,C

= 2 · |Λk | + |Λk \ A2 ·Λk+1|
= 3 · |Λk | − |Λk+1 |

 

n − 2k
n − 2k + 2
,
−
= 3·
2
2
by (iii) of (♯k3 ) we have |′Λk | + |U k | = rank F2k . Hence, by 3.3 it is enough to show that,
k
k
for any N ∈ Λk+1 , v(3,A
2 N ) is contained in the sum of the R-submodule of F3 generated
n−2k−2−α
k
k
k
α
by {v(i,M
. Then,
) }(i,M ) ∈ ′Λk ∪ U and mF2 . We write N = A X , where X ∈ mB,C
using the equalities in (ii) of (♯k3 ), the required containment can be proved by induction
on α .
Let ∗F2k be the R-submodule of ′F2k generated by
{[i, M]}(i,M ) ∈ Λfk ∪ hU k i ,
k
where [i, M] = [ei ⊗ wM
] for any (i, M) ∈ Λek , and let ∗ϕk2 be the restriction of ′ϕk2 to ∗F2k .
In order to define ∗F3k , we notice Λek \ ′Λk = {(3, A2 N) | N ∈ Λk+1 } . Looking at (ii) of
k
′ k
(♯k3 ), we define ∗w(3,A
2 N ) ∈ F3 to be
k
k
k
k
k
−ě3 ⊗ wAk 2 N − ě2 ⊗ wABN
− ě1 ⊗ wB
2 N + ě1 ⊗ wACN + x · ě2 ⊗ wC 2 N + x · ě3 ⊗ wBCN

23

k
for any N ∈ Λk+1 . Let ∗F3k be the R-submodule of ′F3k generated by {∗w(3,A
2 N ) }N ∈ Λk+1
∗ k
′ k
∗ k
and let ϕ3 be the restriction of ϕ3 to F3 . Thus we get a complex
∗ϕk

∗ϕk

∗ϕk

3 ∗ k
2 ∗ k
1 ∗ k
0 −→ ∗F3k −→
F2 −→
F1 −→
F0 = R .

k+1
k
Let us denote (∗F•k , ∗ϕk• ) by (F•k+1 , ϕk+1
= ∗w(3,A
2 N ) for any
• ) . Moreover, we put wN
N ∈ Λk+1 . Then, by 3.5 and 3.6 we have the next result.

Lemma 5.6 (F•k+1 , ϕk+1
• ) is an acyclic complex satisfying the following conditions.
(1) Im ϕk+1
= I n :R mk .
1
k+1
(2) {wN
}N ∈ Λk+1 is an R-free basis of F3k+1 .

(3) {[i, M ]}(i,M ) ∈ Λfk ∪ hU k i is an R-free basis of F2k+1 .
(4) For any N ∈ Λk+1 , the following equality holds ;
k+1
ϕK+1
(wN
) = −x · [2, A2 N ] + y · [1, A2 N ] − x · [3, ABN] + z · [1, ABN ]
3
− y · [3, B 2 N ] + z · [2, B 2 N ] + y · [3, ACN] − z · [2, ACN]
+ x2 [3, C 2 N ] − xz · [1, C 2 N] + x2 [2, BCN ] − xy · [1, BCN] .
k+1
The assertions (1) and (2) of the lemma above imply that (F•k+1 , ϕk+1
• ) satisfies (♯1 )
and (♯2k+1) , respectively. Moreover, by (4) we have
k+1
k+1
k+1
k+1
ϕk+1
3 (wN ) = x · v(1,N ) + y · v(2,N ) + z · v(3,N )

for any N ∈ Λk+1, where
k+1
2
2
v(1,N
) = −[2, A N ] − [3, ABN ] + x · [3, C N ] + x · [2, BCN] ,
k+1
2
2
v(2,N
) = [1, A N] − [3, B N ] + [3, ACN] − x · [1, BCN] ,
k+1
2
2
v(3,N
) = [1, ABN ] + [2, B N ] − [2, ACN] − x · [1, C N] .
k+1
k+1
Thus a family {v(i,N
satisfying (i) of (♯k+1
k+1 of elements in F2
3 ) is fixed, where
) }(i,N ) ∈ Λg
k+1 = {1, 2, 3} × Λk+1 . The next result, which can be checked directly, insists that (ii)
Λg

of (♯k+1
3 ) is satisfied if k + 1 < q .

Lemma 5.7 Suppose k + 1 < q . Then n − 2k − 4 ≥ 0 and we have
k+1
k+1
k+1
k+1
k+1
k+1
v(3,A
2 L) = v(2,ABL) − v(1,B 2 L) + v(1,ACL) − x · v(2,C 2 L) + x · v(3,BCL)

for any L ∈ Λk+2 := mn−2k−4
A,B,C .
If Γ is a subset of Λk and 1 ≤ i ≤ 3 , we denote by [ i, Γ ] the family {[i, M]}M ∈ Γ of
elements in K1 ⊗R F3k . The next result means that (iii) of (♯k+1
3 ) is satisfied.
24

Lemma 5.8 We set
n−2k
U k+1 = [1, A·mn−2k−1
∪ mB,C
] ∪ [ 3, Λk ] ∪
B,C

{[2, ABC n−2k−2 ] , [2, AC n−2k−1] , [2, BC n−2k−1] , [2, C n−2k ]} ∪ hU k i .
k+1
k+1
Then {v(i,N
generates F2k+1 and
k+1 ∪ U
) }(i,N ) ∈ Λg

|U

k+1

|=

rank F2k+1


 

n − 2k − 2
n − 2k
.
+
− 3·
2
2

k+1
Proof. Let G be the sum of the R-submodule of F2k+1 generated by {v(i,N
k+1 ∪
) }(i,N ) ∈ Λg

U k+1 and mF2k+1 . We would like to show G = F2k+1 . Let us recall that
[ 1, Λk ] ∪ [ 2, Λk ] ∪ [ 3, Λk ] ∪ hU k i
is an R-free basis of F2k+1 and notice that Λk is a disjoint union of A2 ·Λk+1 , A·mn−2k−1
A,B,C
n−2k
and mB,C
. Because [3, Λk ] ⊆ U k+1 , it is enough to show [ 1, A2 ·Λk+1 ] ∪ [ 2, Λk ] ⊆ G .
First, we prove [ 1, A2 ·Λk+1 ] ⊆ G . Let us take any N ∈ Λk+1 . Then
k+1
2
[1, A2 N ] = v(2,N
) + [3, B N] − [3, ACN] + x · [1, BCN] ∈ G ,

and so the required inclusion follows.
Next, we prove [ 2, Λk ] ⊆ G . Because
k+1
2
[2, A2 N] = −v(1,N
) − [3, ABN] + x · [3, C N] + x · [2, BCN] ∈ G

for any N ∈ Λk+1 , we have [2, A2 ·Λk+1] ⊆ G . Furthermore, for any B β C γ ∈ mn−2k−1
, we
B,C
β γ
β γ
k+1
get [2, AB C ] ∈ G . In fact, [2, AB C ] ∈ U
if β = 0 or 1 , and if β ≥ 2 , we have
[2, AB β C γ ] = [2, B 2 ·AB β−2C γ ]
k+1
2 β−1 γ
= v(3,AB
C ] + [2, A2 B β−2 C γ+1 ]+
β−2 C γ ) − [1, A B

x·[1, AB β−2C γ+2 ] ∈ G .
n−2k
Hence [2, A·mn−2k−1
] ⊆ G . In order to prove [2, mB,C
] ⊆ G , we newly take any B β C γ ∈
B,C
n−2k
mB,C
. We have [2, B β C γ ] ∈ U k+1 if β = 0 or 1 , and if β ≥ 2 , we have

[2, B β C γ ] = [2, B 2 ·B β−2 C γ ]
β−1 γ
k+1
C ] + [2, AB β−2 C γ+1 ] + x·[1, B β−2C γ+2 ] ∈ G .
= v(3,B
β−2 C γ ) − [1, AB
Hence the required inclusion follows, and we have seen the first assertion of the theorem.
By (3) of 5.6 we have rank F2k+1 = 3·|Λk | + |U k | . On the other hand,
|U k+1 | = |Λk \ A2 ·Λk+1| + |Λk | + 4 + |U k |
= 2·|Λk | − |Λk+1 | + 4 + |U k | .

25

Hence we get
rank F2k+1 − |U k+1 | = |Λk | + |Λk+1 | − 4

 

n − 2k
n − 2k + 2
−4
+
=
2
2

 

n − 2k − 2
n − 2k
,
−
= 3·
2
2
and so the second assertion holds.
Thus we have constructed an acyclic complex
ϕq

ϕq

ϕq

1
2
3
F0q = R
F1q −→
F2q −→
0 −→ F3q −→

of finitely generated free R-modules satisfying (♯q1 ), (♯q2 ) and (♯q3 ). Of course, n − 2q =
0 or 1 , and

{1}
if n − 2q = 0
q
Λ =
{A, B, C} if n − 2q = 1 .
The second condition of (iii) of (♯q3 ) implies rank F2q = |Λeq | + |U q | . Hence, by the first
q
q
condition of (iii) of (♯q3 ), we see that {v(i,M
q ∪ hU i must be an R-free basis of
f
) }(i,M ) ∈ Λ
q
F2 . Therefore, by 3.4 we get the next result.
Theorem 5.9 depth R/(I n :R mq ) > 0 , and so I (n) = I n :R mq .
Let us compute ℓR ( I (n) /I n ) . By 5.9 and 5.4 we have
ℓR ( I

(n)

n

/I ) =

q
X

n

k

n

k−1

ℓR ( (I : m )/(I : m

k=1


q 
X
n − 2k + 2
.
)) =
2
k=1

As a consequence, we get the next result.
Theorem 5.10 The following equality holds ;
 



1
1
n
+
2
n
+
1


−
−


 2
3
2
4
ℓR ( I (n) /I n ) =






1
n
+
2
n
+
1
1


−
−

3
2
2
4

 
1 n
1
−
if n is even,
8 1
8
 
1 n
if n is odd.
8 1

References
[1] S. D. Cutkosky, J. Herzog and H. Srinivasan, Asymptotic growth of algebras associated
to powers of ideals, Math. Proc. Cambridge Philos. Soc. 148 (2010), 55 – 72.
[2] S. Goto, K. Nishida and Y. Shimoda, Topics on symbolic Rees algebras for space
monomial curves, Nagoya Math. J. 124 (1991), 99 – 132.
26

[3] C. Huneke The theory of d-sequences and powers of ideals, Adv. Math., 46 (1982),
249–279.
[4] C. Huneke, On the symmetric and Rees algebra of an ideal generated by a d-sequence,
J. Algebra, 62 (1980), 268–275.
[5] G. Knödel, P. Schenzel and R. Zonsarow, Explicit computations on symbolic powers
of monomial curves in affine space, Comm. Algebara, 20 (1992), No. 7, 2113–2126.
[6] B. Ulrich and J. Validashti, Numerical criteria for integral dependence, Math. Proc.
Cambridge Philos. Soc. 151 (2011), 95 – 102.

27

