arXiv:1802.00307v1 [] 1 Feb 2018

APPLICATIONS AND HOMOLOGICAL PROPERTIES OF LOCAL
RINGS WITH DECOMPOSABLE MAXIMAL IDEALS
SAEED NASSEH, SEAN SATHER-WAGSTAFF, RYO TAKAHASHI,
AND KELLER VANDEBOGERT
Abstract. We construct a local Cohen-Macaulay ring R with a prime ideal
p ∈ Spec(R) such that R satisfies the uniform Auslander condition (UAC),
but the localization Rp does not satisfy Auslander’s condition (AC). Given
any positive integer n, we also construct a local Cohen-Macaulay ring R with
a prime ideal p ∈ Spec(R) such that R has exactly two non-isomorphic semidualizing modules, but the localization Rp has 2n non-isomorphic semidualizing
modules. Each of these examples is constructed as a fiber product of two local rings over their common residue field. Additionally, we characterize the
non-trivial Cohen-Macaulay fiber products of finite Cohen-Macaulay type.

1. Introduction
Throughout this paper, let (R, mR , k) be a (commutative noetherian) local ring.
Many invariants and properties of local rings behave well with respect to localization. For instance, if p ∈ Spec(R), then dim(Rp ) 6 dim(R); if moreover R is
Cohen-Macaulay, then Rp is Cohen-Macaulay and the type of Rp is at most the type
of R. On the other hand, some invariants and properties can behave unpredictably,
e.g., the depth of R can increase, decrease, or not change under localization.
The first point of this article is to construct two examples of local rings with
interesting localization behavior with respect to homological properties, beginning
with the following.
Auslander Conditions. Section 3 is devoted to the following conditions from [14],
motivated by a conjecture of Auslander from [1, p. 815] and [11, p. 1].
(AC) for every finitely generated R-module M there exists an integer bM > 0
such that, for every finitely generated R-module N , if ExtiR (M, N ) = 0 for
i ≫ 0, then ExtiR (M, N ) = 0 for all i > bM .
(UAC) there exists an integer b > 0 such that, for all finitely generated R-modules
M and N , if ExtiR (M, N ) = 0 for i ≫ 0, then ExtiR (M, N ) = 0 for all i > b.
The following theorem (proved in Proof 3.1) is the first main result of this paper.
It says that the conditions (AC) and (UAC) need not be preserved by localization.
One interpretation of the result is that these conditions are poor measures of the
severity of the singularity of R, even when R is complete, since intuition says that
Rp should be no more singular than R. See also Theorem 3.3.
2010 Mathematics Subject Classification. 13C13, 13C14, 13D07, 18A30.
Key words and phrases. Auslander conditions; decomposable maximal ideal; fiber product;
finite Cohen-Macaulay type; semidualizing modules.
Takahashi was partly supported by JSPS Grants-in-Aid for Scientific Research 16K05098.
1

2

S. NASSEH, S. SATHER-WAGSTAFF, R. TAKAHASHI, AND K. VANDEBOGERT

Theorem A. Let k be any field which is not algebraic over a finite field. There
exists a complete local Cohen-Macaulay k-algebra R of Krull dimension 1 with decomposable maximal ideal such that
(a) R has type 2, multiplicity 13, and embedding codepth 6 and satisfies (UAC),
(b) R is the completion of a local ring that is essentially of finite type over k, and
(c) there is a prime ideal p ∈ Spec(R) such that the localization Rp is Gorenstein
of multiplicity 12 and embedding codepth 5 and does not even satisfy (AC).
Semidualizing Modules. Section 4 focuses on the following modules introduced
by Foxby [6]. A finitely generated R-module C is semidualizing if one has R ∼
=
HomR (C, C) and ExtiR (C, C) = 0 for all i > 1. For instance, the free module R1
is semidualizing. A dualizing module for R is a semidualizing R-module of finite
injective dimension; this is the same as Grothendieck’s canonical module over a
Cohen-Macaulay ring from [12].
The next result is proved in Proof 4.1. It say that the number of isomorphism
classes of semidualizing modules can grow under localization. As with the preceding
result, one can interpret this as saying that the number of isomorphism classes of
semidualizing R-modules is a poor measure of the severity of the singularity of R.
Theorem B. Let n be a positive integer, and let k be a field. Then there is a
complete local Cohen-Macaulay k-algebra R of Krull dimension 1 with decomposable
maximal ideal such that
(1) R is the completion of a local ring that is essentially of finite type over k,
(2) R has type 1 + 2n , multiplicity 1 + 3n , embedding codepth 2n + 1, and only two
non-isomorphic semidualizing modules, namely its free module of rank 1 and
its dualizing module, and
(3) R has a prime ideal p such that Rp has type 2n , multiplicity 3n , embedding
codepth 2n, and exactly 2n non-isomorphic semidualizing modules.
Finite Cohen-Macaulay Type. The rings of Theorems A and B have decomposable maximal ideals, which means that they are realized as non-trivial fiber
products; see Fact 2.1 below. Such rings have very rigid homological properties, as
one sees, e.g., in [5, 16, 17, 20, 22]. For instance, they satisfy (UAC), they have at
most the two trivial semidualizing modules, they are G-regular, and they satisfy
the Auslander-Reiten Conjecture.
On the other hand, some properties are rarely satisfied by rings with decomposable maximal ideals. For instance, they are never integral domains (hence, never
regular), and they are rarely Gorenstein; see [5, Observation 3.2] or Corollary 2.7
below where it is shown that such a ring is Gorenstein if and only if it is a hypersurface of dimension 1. A related characterization of the Cohen-Macaulay property
is in Fact 2.2.
This leads to the second point of the present article: to similarly characterize
when a local ring R with decomposable maximal ideal is Cohen-Macaulay with
finite Cohen-Macaulay type, that is, with only finitely many isomorphism classes
of indecomposable maximal Cohen-Macaulay modules. This is the subject of Section 5, the main result of which is stated next and proved in Proof 5.10 below. For
it, recall that a local ring is analytically unramified provided that its completion is
reduced. In particular, each analytically unramified local ring is itself reduced.
Theorem C. Assume that the maximal ideal mR is decomposable. Then the following conditions are equivalent.

DECOMPOSABLE MAXIMAL IDEALS

3

(i) The ring R is Cohen-Macaulay and has finite Cohen-Macaulay type.
(ii) One has R ∼
= S ×k T where S is an analytically unramified hypersurface
of Krull dimension 1 and multiplicity at most 2 and T is regular of Krull
dimension 1, i.e., a discrete valuation ring.
(iii) One has R ∼
= S ×k T where S and T are Cohen-Macaulay of Krull dimension 1
with finite Cohen-Macaulay type and R has multiplicity at most 3.
When these conditions are satisfied, one has dim(R) = 1.
In addition, Theorem 5.13 characterizes the local rings of depth at most 1 with
decomposable maximal ideal and finite Cohen-Macaulay type. Lastly, we note that
Section 2 contains foundational material.
2. Background on Local Rings
We begin this section with an observation of Ogoma [22, Lemma 3.1].
Fact 2.1. A local ring R is a fiber product if it has the form
R∼
= S ×k T = {(s, t) ∈ S × T | πS (s) = πT (t)}
where (S, mS , k) and (T, mT , k) are local rings with a common residue field k, and
πS : S → k and πT : T → k are the natural surjections. Such a fiber product is
non-trivial if S 6= k 6= T . Note that S ×k T is automatically a local ring with
maximal ideal mS×k T = mS ⊕ mT and residue field k. In particular, the maximal
ideal of S ×k T is decomposable. We identify the maximal ideals of S and T with
the ideals mS ⊕ 0 and 0 ⊕ mT , respectively, of S ×k T . Under this identification,
there are ring isomorphisms S ∼
= (S ×k T )/mT and T ∼
= (S ×k T )/mS .
Conversely, assume that mR is decomposable as mR = I ⊕J, and set S = R/I and
∼
=
T = R/J. Then there is an isomorphism R −
→ S ×k T given by r 7→ (r + I, r + J).
Under this isomorphism, we have I ∼
= mT and J ∼
= mS .
Fact 2.2. Assume that mR is decomposable as mR = I ⊕ J, and set S = R/I and
T = R/J. By work of Lescot [17], we have equalities
dim R = max{dim S, dim T }
depth R = min{depth S, depth T, 1}.
In particular, R is Cohen-Macaulay if and only if S and T are both Cohen-Macaulay
and dim S = dim T 6 1. See also Christensen, Striuli, and Veliche [5, Remark 3.1].
Definition 2.3. Recall that the Poincaré series and the Bass series of a finitely
generated R-module M are the formal power series
X
R
PM
(t) :=
rankk (ExtiR (M, k))ti
i>0

M
IR
(t) :=

X

rankk (ExtiR (k, M ))ti

i>0

R
(t) is the minimal number of generators of
respectively. The constant term of PM
R
R
M , denoted β0 (M ) = rankk (HomR (M, k)). The order of the Bass series IR
(t) is
depth R
R
depth(R), and the coefficient of t
in IR (t) is the type of R, denoted r(R).

b denote the mR -adic completion of R. Then R is a hyDefinition 2.4. Let R
b ∼
persurface if there is a presentation R
= Q/a where Q is a regular local ring

4

S. NASSEH, S. SATHER-WAGSTAFF, R. TAKAHASHI, AND K. VANDEBOGERT

and a is principal. Equivalently, if the embedding codepth of R is ecodepth(R) =
β0R (mR ) − depth(R), then R is a hypersurface if and only if ecodepth(R) 6 1. (In
particular, we take the perspective that a regular local ring is a hypersurface.) The
embedding dimension of R is edim(R) = β0R (mR ).
Remark 2.5. An alternate definition of the term “hypersurface” asks R itself to be
of the form Q/a where Q is regular and a is principal. Heitmann and Jorgensen [13]
show that our definition is less restrictive than this one.
Next, we document the Bass series and type of a non-trivial fiber product.
Fact 2.6. Assume that mR is decomposable as mR = I ⊕ J, and set S = R/I
and T = R/J. Using results of Lescot [17, Theorem 3.1] and Kostrikin and
Šafarevič [16], the Bass series and type of R are as follows.
Case 1: S and T are both singular, i.e., non-regular.
tPkS (t)PkT (t) + ISS (t)PkT (t) + ITT (t)PkS (t)
PkT (t) + PkS (t) − PkS (t)PkT (t)

r(S) + r(T )
if depth S = 0 = depth T





r(S)
if depth S = 0 < depth T





r(T
)
if
depth T = 0 < depth S

r(R) = r(S) + r(T ) + 1 if depth S = 1 = depth T



r(S) + 1
if depth S = 1 < depth T





r(T
)
+
1
if
depth T = 1 < depth S



1
if 1 < depth S, depth T .

R
IR
(t) =

In particular, recalling the characterization of the Cohen-Macaulay property for R
from Fact 2.6, we conclude in this case that R is not Gorenstein. (This follows
from a case-by-case analysis of the options for r(R). For instance, if depth S = 0 =
depth T , then R is Cohen-Macaulay but has r(R) = r(S) + r(T ) > 2. In the next
case depth S = 0 < depth T , then R is not Cohen-Macaulay. And so on.)
Case 2: S is singular and T is regular of dimension n > 1. (We require n > 1 in
this case, otherwise T = k, contradicting the non-triviality of our fiber product.)
tPkS (t)(1 + t)n + ISS (t)(1 + t)n − tn+1 PkS (t)
PkT (t) + PkS (t) − PkS (t)PkT (t)


if depth S = 0
r(S)
r(R) = r(S) + 1 if depth S = 1


1
if 1 < depth S.

R
IR
(t) =

Also as in the previous case, we conclude that R is never Gorenstein in this case.
Case 3: S and T are regular of dimensions m, n > 1 respectively.
t(1 + t)m+n − tm+1 (1 + t)n − tn+1 (1 + t)m
PkT (t) + PkS (t) − PkS (t)PkT (t)
r(R) = 1

R
IR
(t) =

Note in this case that R is Gorenstein if and only if it is Cohen-Macaulay, i.e., if
and only if m = n = 1. See also Christensen, Striuli, and Veliche [5, Remark 3.1].
The next result summarizes some of the points of Fact 2.6. It is almost certainly
well-known to the experts, in light of [5, 17],

DECOMPOSABLE MAXIMAL IDEALS

5

Corollary 2.7. The following conditions on the local ring R are equivalent.
(i) The maximal ideal mR is decomposable, and R is Gorenstein.
(ii) The maximal ideal mR is decomposable, and R is a dimension-1 hypersurface.
(iii) There is an isomorphism R ∼
= S ×k T where (S, mS , k) and (T, mT , k) are
regular of dimension 1, i.e., where S and T are discrete valuation rings.
Proof. For (iii) =⇒ (ii), see [5, Observation 3.2]. The implication (ii) =⇒ (i) is
old news, and (i) =⇒ (iii) is from Fact 2.6.

Definition 2.8. The (Hilbert-Samuel) multiplicity of the local ring R is the positive
d
integer e(R) = limn→∞ length(R/mn+1
R )/n . In other words, e(R) is the normalized leading coefficient of the Hilbert polynomial representing the Hilbert function
length(R/mn+1
R ) for n ≫ 0. Recall the formula
X
length(Rp )e(R/p)
(2.8.1)
e(R) =
dim(R/p)
=dim(R)

where the sum is taken over all primes p ∈ Spec(R) with dim(R/p) = dim(R); see,
e.g., [18, A.26 Proposition].
Fact 2.9. Let R ∼
= S ×k T be a non-trivial fiber product. The condition mS mT = 0
implies that every prime ideal of R contains mS or mT . From the isomorphisms
R/mS ∼
= T and R/mT ∼
= S, we then conclude that
Spec(R) = {mS ⊕ q | q ∈ Spec(T )} ∪ {p ⊕ mT | p ∈ Spec(S)}.
Following this notation, we have ht(mS ⊕ q) = ht(q) and R/(mS ⊕ q) ∼
= T /q, so
dim(R/(mS ⊕ q)) = dim(T /q), and similarly for the prime p ⊕ mT . Furthermore,
it is straightforward to show that if q 6= mT , then RmS ⊕q ∼
= Tq , and similarly for
p ⊕ mT . Thus, we use the formula (2.8.1) to conclude that


if dim(S) > dim(T )
e(S)
e(R) = e(T )
if dim(S) < dim(T )


e(S) + e(T ) if dim(S) = dim(T ).

Fact 2.10. Let X, Y be finite lists of power series variables over the field k, and
let k((Y )) denote the field of fractions of k[[Y ]]. Let I ⊆ (X)k[[Y , X]] be an ideal of
k[[Y , X]] such that each Xi has a positive power in I, that is, such that the quotient
k[[Y , X]](X) /(I) has finite, positive length. Then it is straightforward to show that
there is an isomorphism
k[[Y , X]](X) ∼ k((Y ))[[X]]
.
=
(I)
(I)
3. Auslander Conditions and Localizations
With the preliminaries out of the way, we dive into the proof of our first main
theorem from the introduction.
Proof 3.1 (Proof of Theorem A). A result of Jorgensen and Şega [15, Theorem (1)]
provides a finite dimensional Gorenstein k-algebra A that does not satisfy (AC).
Moreover, the ring A is constructed as follows. Fix an element α ∈ k that has

6

S. NASSEH, S. SATHER-WAGSTAFF, R. TAKAHASHI, AND K. VANDEBOGERT

infinite order in the multiplicative group k × . In the polynomial ring k[X1 , . . . , X5 ],
consider the ideal a generated by the following quadratic forms:
αX1 X3 + X2 X3 , X1 X4 + X2 X4 , X32 + αX1 X5 − X2 X5 ,
X42 + X1 X5 − X2 X5 , X12 , X22 , X3 X4 , X3 X5 , X4 X5 , X52 .
Let b = ak[[X1 , . . . , X5 ]]. Then A = k[X1 , . . . , X5 ]/a ∼
= k[[X1 , . . . , X5 ]]/b is a finite
dimensional Gorenstein k-algebra of length 12 and embedding dimension 5 that does
not satisfy (AC). (The isomorphism here is due to the fact that a contains a power
of each variable Xi .) In particular, if α is fixed, and Y is a power series variable,
let k((Y )) denote the field of fractions of the power series ring k[[Y ]] as in Fact 2.10
and set c = ak((Y ))[[X1 , . . . , X5 ]]; then the ring k((Y ))[[X1 , . . . , X5 ]]/c is a finite
dimensional Gorenstein k((Y ))-algebra of length 12 and embedding dimension 5
that does not satisfy (AC).
Now, set a′ = ak[[Y, X1 , . . . , X5 ]] and S = k[[Y, X1 , . . . , X5 ]]/a′ ∼
= A[[Y ]]. Then S
is local and Gorenstein of Krull dimension 1 and multiplicity 12. Let Z be another
power series variable, and consider the fiber product
k[[Y, X1 , . . . , X5 , Z]]
R = S ×k k[[Z]] ∼
(3.1.1)
=
(a, Y Z, X1 Z, . . . , X5 Z)
The isomorphism comes from the fact that the quotient ring in this display has
decomposable maximal ideal (Z) ⊕ (X1 , . . . , X5 , Y ), by construction; see Fact 2.1.
Then R is a complete local k-algebra. (One can also deduce the completeness of R
from [10, Lemme(19.3.2.1(iii))].) Also, R is the completion of a local ring that is
essentially of finite type over k, because of (3.1.1) and the specific list of generators
for a. From [21, Corollaries 6.3 and 6.6], we know that R satisfies (UAC) with
b = depth(R). Furthermore, R is Cohen-Macaulay of Krull dimension 1, type 2,
and multiplicity 13, by Facts 2.2, 2.6, and 2.9. By inspecting (3.1.1), one concludes
that edim(R) = 7.
Set P = (X1 , . . . , X5 , Z)k[[Y, X1 , . . . , X5 , Z]] and exploit the isomorphism (3.1.1)
to set p = P R. One checks readily that p is prime. We localize at p in the next
display, using the condition Y ∈
/ P for the second isomorphism.
∼ k[[Y, X1 , . . . , X5 , Z]]P =
∼ k[[Y, X1 , . . . , X5 ]](X1 ,...,X5 ) =
∼ k((Y ))[[X1 , . . . , X5 ]]
Rp =
(a, Y Z, X1 Z, . . . , X5 Z)
(a)
c
The third isomorphism is from Fact 2.10. As we noted in the first paragraph of
this proof, this ring is Gorenstein of multiplicity 12 and embedding dimension 5
and does not satisfy (AC), so R and Rp have the desired properties.

Remark 3.2. Of course, we would love to have an example like the above one with
type 1, since that would answer the question [14, Section 6, #3] of whether the AB
property localizes. However, since Gorenstein rings with decomposable maximal
ideals are hypersurfaces by Corollary 2.7, and hypersurfaces are AB rings by [2,
Theorem 4.7], our methods here will not yield such an example.
Proof 3.1 above uses the ring from [15, Theorem (1)] that is denoted A in that
paper. Using the ring B from [15, Corollary 3.3(2)] in the same way, we obtain the
following result.
Theorem 3.3. Let k be any field which is not algebraic over a finite field. There
exists a complete local Cohen-Macaulay k-algebra R of Krull dimension 1 with decomposable maximal ideal such that

DECOMPOSABLE MAXIMAL IDEALS

7

(a) R has type 4, multiplicity 9, and embedding codepth 5 and satisfies (UAC),
(b) R is the completion of a local ring that is essentially of finite type over k, and
(c) there is a prime ideal p ∈ Spec(R) such that the localization Rp has type 3,
multiplicity 8, and embedding codepth 4 and does not even satisfy (AC).
Remark 3.4. We do not know whether the rings constructed in Theorems A
and 3.3 are minimal with respect to embedding codepth, type, or multiplicity. It is
known from [3] that if ecodepth(Rp ) 6 3 or if Rp is Gorenstein with ecodepth(Rp ) 6
4 or if e(Rp ) 6 7, then Rp satisfies (UAC). However, it is not clear what happens,
say, when r(Rp ) = 2 or e(R) = 8. Thus, we pose the following.
Question 3.5. Does there exist a complete local Cohen-Macaulay ring R of Krull
dimension 1 with a prime ideal p ∈ Spec(R) such that the following hold?
(a) R has type 2, multiplicity 8, and embedding codepth 5 and satisfies (UAC), and
(b) the localization Rp is Gorenstein of multiplicity 8 and embedding codepth 5
and does not satisfy (AC).
or
(a) R has type 2, multiplicity 8, and embedding codepth 4 and satisfies (UAC), and
(b) the localization Rp has type 2, multiplicity 8, and embedding codepth 4 and
does not satisfy (AC).
4. Semidualizing Modules and Localization
Next, we prove our second main theorem from the introduction.
Proof 4.1 (Proof of Theorem B). To build the ring R, consider the list of variables
X = X1,1 , X2,1 , . . . , X1,n , X2,n , and set
I = (X1,1 , X2,1 )2 + · · · + (X1,n , X2,n )2 ⊆ k[[X]].
Then the quotient ring
S0 ∼
= k[[X]]/I ∼
= (k[X1,1 , X2,1 ]/(X1,1 , X2,1 )2 )⊗k · · ·⊗k (k[X1,n , X2,n ]/(X1,n , X2,n )2 ).
is artinian and local of type 2n , embedding dimension 2n, and length 3n .
Let Y be another variable, and set
S = k[[X, Y ]]/(I) ∼
= S0 [[Y ]].
Note that S is Cohen-Macaulay of dimension 1, type 2n , embedding dimension
2n + 1, and multiplicity 3n .
Also, let T = k[[Z]] where Z is yet another variable, and set
k[[Z, X, Y ]]
.
R = S ×k T ∼
=
(I, ZX, ZY )

(4.1.1)

The isomorphism comes from the fact that the quotient ring in this display has
decomposable maximal ideal (Z) ⊕ (X, Y ), by construction; see Fact 2.1. Then R
is Cohen-Macaulay of dimension 1, type 1 + 2n , and multiplicity 1 + 3n by Facts 2.2,
2.6, and 2.9. Also, we have edim(R) = 2n+2, and R is the completion of a local ring
that is essentially of finite type over k, because of (4.1.1) and the specific form of
I. In particular, R is Cohen-Macaulay and complete, so it has a dualizing module.
It follows from [20, Corollary 4.6] that R has exactly two semidualizing modules,
up to isomorphism, namely its free module of rank 1 and its dualizing module.

8

S. NASSEH, S. SATHER-WAGSTAFF, R. TAKAHASHI, AND K. VANDEBOGERT

From the presentation (4.1.1), it is straightforward to show that the ideal p =
(Z, X)R is prime, since I is generated by monomials in X. Furthermore, localization
at p inverts the variable Y , so we have
k[[Z, X, Y ]](Z,X)
k[[Z, X, Y ]](Z,X) ∼ k[[X, Y ]](X)
Rp ∼
=
=
=
(I, ZX, ZY )
(I, ZX, Z)
(I)
Y
]]
k[[X,
(X)
∼
.
Rp =
(X1,1 , X2,1 )2 + · · · + (X1,n , X2,n )2

(4.1.2)

As Rp is a flat, local extension of the ring k[[X]]/I ∼
= S0 , and the maximal ideal of
S0 extends to the maximal ideal of Rp , we have r(Rp ) = r(S0 ) = 2n and e(Rp ) =
e(S0 ) = 3n . From (4.1.2), we have edim(Rp ) = 2n.
Thus, it remains to show that Rp has exactly 2n non-isomorphic semidualizing
modules. To this end, note that Fact 2.10 shows that
Rp ∼
=

k[[Y , X]](X)
k((Y ))[[X]]
∼
.
=
(X1,1 , X2,1 )2 + · · · + (X1,n , X2,n )2
(X1,1 , X2,1 )2 + · · · + (X1,n , X2,n )2

Using the right-hand quotient in this display, we conclude from [23, Corollary 4.11]
that Rp has exactly 2n non-isomorphic semidualizing modules, as desired.

Remark 4.2. The special case n = 2 is already interesting here. In this case note
that r(R) = 5, which (being prime) automatically implies that R has at most two
semidualizing modules by [24, Theorem C(b)], and e(R) = 10. Furthermore, the
localization Rp has type 4, embedding codepth 4, and multiplicity 9 (the smallest
values for these invariants that allow for a non-trivial semidualizing module by loc.
cit., [3], and Proposition 4.5 below, respectively).
Note that rings of composite type may have only trivial semidualizing modules.
So one can imagine the existence of an example of a complete Cohen-Macaulay
local ring A of type 4, embedding codepth 4, and multiplicity 9 with only trivial semidualizing modules and with a prime ideal P such that AP has non-trivial
semidualizing modules. (It would follow automatically that AP also has type 4, embedding codepth 4, and multiplicity 9 by [24, Theorem C(b)], [4, Corollary 3.3.12],
Proposition 4.5 and [19, (40.1) Theorem].
Alas, at this point we do not know whether such an example can actually be
constructed, hence the following.
Question 4.3. Let R be Cohen-Macaulay with r(R) = 4 = ecodepth(R), e(R) = 9
and only trivial semidualizing modules. For each non-maximal prime ideal p ∈
Spec(R), can the localization Rp have non-trivial semidualizing modules?
Noting that the ring in our example is not an integral domain, we also pose the
following.
Question 4.4. Let R be a Cohen-Macaulay local normal domain with only trivial
semidualizing modules. For each non-maximal prime ideal p ∈ Spec(R), can the
localization Rp have non-trivial semidualizing modules? (Note that such an example
would necessarily have dim(R) > 4 since it would satisfy (R1 ).)
Here is the proposition referred to in Remark 4.2. In the case where R is generically Gorenstein with dim(R) = 1 and e(R) 6 6, it can be obtained from [8,
Theorem 1.4(2)] and [23, Proposition 3.1].

DECOMPOSABLE MAXIMAL IDEALS

9

Proposition 4.5. Let R be a Cohen-Macaulay local ring with e(R) 6 8. Then R
has at most two non-isomorphic semidualizing modules, namely its free module of
rank 1 and its dualizing module (if it has one).
Proof. If e(R) 6 7 or r(R) 6 3, then the result follows from [3] or [24, Theorem C(b)], respectively. Thus, we assume without loss of generality that e(R) = 8
and r(R) > 4. If mR is principal, then R is a hypersurface, hence Gorenstein, and
we are done. Thus, we assume without loss of generality that edim(R) > 2.
A result of Grothendieck [9, Proposition (0.10.3.1)] provides a flat local ring
homomorphism (R, mR , k) → (R′ , mR′ , k ′ ) such that k ′ is algebraically closed and
mR′ = mR R′ . Composing with the natural map from R′ to its m′ -adic completion,
we assume that R′ is complete. Then R′ is Cohen-Macaulay with e(R′ ) = e(R) 6 8.
By [7, Theorem II(c)], it suffices to prove the result for R′ , so we assume that R is
complete with algebraically closed (hence, infinite) residue field.
Thus, the maximal ideal mR has a minimal reduction (x)R generated by part of
a minimal generating sequence for mR . In particular, the sequence x is a system
of parameters for R, so it is R-regular since R is Cohen-Macaulay. The quotient
R′′ = R/(x)R is artinian of length equal to e(R) = 8. Another application of loc.
cit. shows that it suffices to prove the result for R′′ , so we assume that R is artinian
with length 8.
Claim: If Soc(R) ∩ (mR r m2R ) 6= ∅, then mR is decomposable. Indeed, if
∼
=

⊆

z ∈ Soc(R) ∩ (mR r m2R ), then the composition of the maps k −
→ Rz −
→ mR ։
mR /m2R ։ k shows that Rz is a direct summand of mR . Since mR is not principal
by assumption, it follows that mR is decomposable, as desired.
From the claim, if Soc(R) ∩ (mR r m2R ) 6= ∅, then we are done by [20, Corollary 4.6]. Thus, we assume without loss of generality that Soc(R) ⊆ m2R . It follows
that 4 6 r(R) = lengthR (Soc(R)) 6 lengthR (m2R ), so
edim(R) = length(R) − 1 − lengthR (m2R ) 6 8 − 1 − 4 = 3.
Thus, the desired conclusion follows from [3].



5. Fiber Products of Finite Cohen-Macaulay Type
The main goal of this section is to prove Theorem C from the introduction. See
also Theorem 5.13 for a non-Cohen-Macaulay result.
Notation 5.1. Let reg(R) denote the set of R-regular elements of the local ring R,
and let Q(R) be the total quotient ring of R. To be clear, in the case depth(R) =
0, we simply have Q(R) = R, and in the case depth(R) > 1, we have Q(R) =
reg(R)−1 R. Note that this is the same as the usual definition of Q(R) where one
inverts all the non-zero-divisors of R. Indeed, the depth-0 case is clear. In the case
of positive depth, since R is local, the set NZD(R) of non-zero-divisors of R is the
union of reg(R) and the set R× of units of R; from this, it follows readily that
NZD(R)−1 R = reg(R)−1 R.
e denote the integral closure of R in Q(R). In the case depth(R) = 0 this
Let R
e = R.
simply yields R
Note that the conclusion of the next result fails if depth(S) = 0 because then
^
S ×k T = S ×k T 6= Se × Te.

10

S. NASSEH, S. SATHER-WAGSTAFF, R. TAKAHASHI, AND K. VANDEBOGERT

Lemma 5.2. Let R ∼
= S ×k T be a non-trivial fiber product with depth(R) > 1, that
is, with depth(S), depth(T ) > 1. Then there is a natural R-module isomorphism
e∼
R
= Se × Te.

Proof. Recall that the definition of S ×k T implies in particular that it is naturally
a subring of the cartesian product S × T , so
S ×k T ⊆ S × T ⊆ Se × Te ⊆ Q(S) × Q(T ).

Let i : S ×k T → Q(S) × Q(T ) be the inclusion map.
It is straightforward to show that reg(S ×k T ) = reg(S) × reg(T ). It follows that
i(reg(S ×k T )) = i(reg(S) × reg(T )) ⊆ Q(S)× × Q(T )× = (Q(S) × Q(T ))× .

Using the universal mapping property for localizations, one concludes that i induces a well-defined ring homomorphism i′ : Q(S ×k T ) → Q(S) × Q(T ) given by
i′ ((s, t)/(σ, τ )) = (s/σ, t/τ ).
Claim 1: the map i′ is an isomorphism. To see that i′ is injective, notice that
0 = i′ ((s, t)/(σ, τ )) = (s/σ, t/τ ) implies for instance s/σ = 0 in Q(S). Since Q(S) is
obtained from S by inverting non-zero-divisors, it follows that s = 0, and similarly
t = 0, so (s, t)/(σ, τ ) = (0, 0)/(σ, τ ) = 0.
To see that i′ is surjective, let (s/σ, t/τ ) ∈ Q(S) × Q(T ). Note that we cannot
automatically conclude that (s/σ, t/τ ) = i′ ((s, t)/(σ, τ )) ∈ Im(i′ ) because we do
not know whether (s, t) is in S ×k T . However, since (σ, τ ) is in mS × mT , we do
have (sσ, tτ ) ∈ mS × mT ⊆ S ×k T . Thus, we have
(s/σ, t/τ ) = (sσ/σ 2 , tτ /τ 2 ) = i′ ((sσ, tτ )/(σ 2 , τ 2 )) ∈ Im(i′ )
so i′ is surjective. This establishes Claim 1.
Claim 2: i′ (S^
×k T ) = Se × Te. To verify the containment ⊆, let (s, t)/(σ, τ ) ∈
^
S ×k T be given; we need to show that (s/σ, t/τ ) ∈ Se × Te. That is, we need
s/σ ∈ Se and t/τ ∈ Te. We have already seen that s/σ ∈ Q(S) and t/τ ∈ Q(T ).
Consider a monic polynomial f (X) = X n + (a1 , b1 )X n−1 + · · · + (an , bn ) over
S ×k T satisfied by (s, t)/(σ, τ ). Set g(X) = X n + a1 X n−1 + · · · + an ∈ S[X] and
h(X) = X n + b1 X n−1 + · · · + bn ∈ T [X]. Then it suffices to show that g(s/σ) = 0
and h(t/τ ) = 0. Direct computation shows that
     
 
s
t
(s, t)
′
′
= g
,h
(0, 0) = i (0) = i f
(σ, τ )
σ
τ
This establishes the containment ⊆.
For the reverse containment ⊇, we first show that i′ (S^
×k T ) ⊇ Se × 0. To this
e
end, let s/σ ∈ S be given. By assumption, we have σ ∈ mS , so sσ ∈ mS ; thus,
because of the equality s/σ = sσ/σ 2 we may assume without loss of generality that
s ∈ mS . In particular, we have (s, 0) ∈ S ×k T .
Now, let g(X) = X n + a1 X n−1 + · · · + an ∈ S[X] be a monic polynomial
satisfied by s/σ. Multiply by X if necessary to assume that an = 0. For j =
1, . . . , n − 1 let bj ∈ T be such that (aj , bj ) ∈ S ×k T , and let bn = 0. Then with
h(X) = X n + b1 X n−1 + · · · + bn ∈ T [X], we have h(0) = bn = 0. Consider the
monic polynomial f (X) = X n + (a1 , b1 )X n−1 + · · · + (an , bn ) over S ×k T , and let
τ ∈ reg(T ). Using the element (s, 0)/(σ, τ ) ∈ Q(S ×k T ) we again compute directly:
     
 
s
0
(s, 0)
′
= g
,h
= (0, 0).
i f
(σ, τ )
σ
τ

DECOMPOSABLE MAXIMAL IDEALS

11

The fact that i′ is injective implies that f ((s, 0)/(σ, τ )) = 0, so (s, 0)/(σ, τ ) ∈
S^
×k T . By construction, we see that




(s, 0)
s 0
= i′
∈ i′ (S^
×k T ).
,
(s/σ, 0) =
σ τ
(σ, τ )
This implies that i′ (S^
×k T ) ⊇ Se × 0.
The containment i′ (S^
×k T ) ⊇ 0 × Te is established similarly. Since i′ (S^
×k T )
is closed under addition, it follows that i′ (S^
×k T ) ⊇ Se × Te, as desired. This
establishes Claim 2.
In particular, Claim 2 implies that the map i′ induces an R-module isomorphism
e∼
R

= Se × Te, as desired.

Lemma 5.3. Let R ∼
= S ×k T be a non-trivial fiber product with depth(R) > 1, that
is, with depth(S), depth(T ) > 1. Then there is a natural R-module isomorphism
e + R)/R ∼
(mR R
= ((mS Se + S)/S) ⊕ ((mT Te + T )/T ). In particular, the module
e
(mR R + R)/R is cyclic if and only if (mS Se + S)/S and (mT Te + T )/T are both
cyclic and one of them is 0.

e ∩ A = mA . Indeed, the conProof. We note that if A is a local ring, then mA A
e
e
tainment mA A ∩ A ⊇ mA holds because A is a ring extension of A. For the reverse
e
containment, use the Cohen-Seidenberg theorems to find a maximal ideal n ⊆ A
e
such that n ∩ A = mA . This implies that mA ⊇ mA A ∩ A, as desired.
In particular, this implies that
e+A
e
e
mA A
mA A
mA A
∼
=
.
=
e∩A
A
mA
mA A
e + R)/R ∼
Now, for the isomorphism (mR R
= ((mS Se + S)/S) ⊕ ((mT Te + T )/T ),
we use the previous paragraph along with Lemma 5.2:

e+R
e
e ⊕ (mT Te)
mR R
mR R
(mS ⊕ mT )(Se × Te) ∼ (mS S)
∼
∼
=
=
=
R
mR
mS ⊕ mT
mS ⊕ mT
e
e
e
e
mT T ∼ mS S + S
mT T + T
mS S
∼
⊕
⊕
=
=
mS
mT
S
T
e + R)/R is cyclic if and only if (mS Se + S)/S
In particular, this shows that (mR R
e

and (mT T + T )/T are both cyclic and one of them is 0.
Lemma 5.4. Assume that mR is decomposable. If R has finite Cohen-Macaulay
type, then dim(R) > 1.

Proof. If R has finite Cohen-Macaulay type and dim(R) = 0, then R is a principal ideal ring by [18, 3.3 Theorem]; however, this contradicts the fact that mR is
decomposable.

Remark 5.5. Lemma 5.4 shows that if (S, mS , k) and (T, mT , k) have finite CohenMacaulay type, then R = S ×k T may not have finite Cohen-Macaulay type. Indeed,
consider the rings S = k[x]/(x2 ) and T = k[y]/(y 2 ), both of which have finite
Cohen-Macaulay type since they are principal ideal rings; see [18, 3.3 Theorem].
However, the fiber product R = S ×k T ∼
= k[x, y]/(x2 , xy, y 2 ) is not a principal ideal
ring, so it has infinite (i.e., non-finite) Cohen-Macaulay type by loc. cit.

12

S. NASSEH, S. SATHER-WAGSTAFF, R. TAKAHASHI, AND K. VANDEBOGERT

Lemma 5.6. Let (R, mR ) be a local non-artinian ring such that miR ∩ Nil(R) = 0
for i ≫ 0. Then e(R/ Nil(R)) = e(R). In particular, if R has dimension 1 and
finite Cohen-Macaulay type, then e(R) = e(R/ Nil(R)) 6 3.
Proof. Set R′ = R/ Nil(R), and observe that the map Spec(R) → Spec(R′ ) given
by p 7→ p′ := p/ Nil(R) is a well-defined bijection. Furthermore the isomorphism
R′ /p′ ∼
= R/p implies that dim(R′ ) = dim(R) and dim(R′ /p′ ) = dim(R/p). In
particular, one has dim(R′ /p′ ) = dim(R′ ) if and only if dim(R/p) = dim(R).
Now, for each prime p ∈ Min(R), we have p 6= mR since R is not artinian, so
0 = (miR ∩ Nil(R))p = (mR )ip ∩ Nil(R)p = Rp ∩ pp = pp .
Thus, the ring Rp is a field, so length(Rp ) = 1. Since the ring R′ is reduced,
the ring (R′ )p′ is also a field, so length(Rp′ ′ ) = 1 as well. Thus, the isomorphism
R′ /p′ ∼
= R/p conspires with the formula (2.8.1) to imply the following.
X
X
e(R) =
length(Rp )e(R/p) =
length(Rp′ ′ )e(R′ /p′ ) = e(R′ )
p

p′

Here the first sum is taken over all {p ∈ Min(R) | dim(R/p) = dim(R)}, and
similarly for the second sum.
In particular, if R has dimension 1 and finite Cohen-Macaulay type, then R′
has finite Cohen-Macaulay type and we have miR ∩ Nil(R) = 0 for i ≫ 0 by [18,
4.16 Theorem]. Thus, it follows from the previous paragraph that e(R) = e(R′ ) 6 3
because of [18, 4.10 and A.29(iv) Theorems].

Lemma 5.7. Let R ∼
= S ×k T be a non-trivial fiber product, and let M and M ′ be
finitely generated S-modules.
(a) The module M ⊕ 0 is indecomposable over R if and only if M is indecomposable
over S.
(b) One has M ⊕ 0 ∼
= M ′ over S.
= M ′ ⊕ 0 over R if and only if M ∼
(c) One has depthR (M ⊕ 0) = depthS (M ).
(d) The module M ⊕ 0 is maximal Cohen-Macaulay over R if and only if M is
maximal Cohen-Macaulay over S and dim(S) > dim(T ).
Proof. (a) It is straightforward to show that if M is decomposable over S, then
M ⊕ 0 is decomposable over R. Conversely, if M ⊕ 0 is decomposable over R, then
it must decompose as M ⊕ 0 ∼
= (M1 ⊕ 0) ⊕ (M2 ⊕ 0), so M must be decomposable
over S. (Alternately, if M ⊕ 0 is decomposable over R, then it must admit an
idempotent R-module endomorphism φ : M ⊕ 0 → M ⊕ 0 with φ 6= 0, 1. Since
M ⊕ 0 is annihilated by mT and R/mT ∼
= S, it follows that φ is an idempotent
S-module endomorphism with φ 6= 0, 1 so M is decomposable over S.)
(b) As in the alternate proof in the preceding paragraph, the point here is that
HomR (M ⊕ 0, M ′ ⊕ 0) is naturally identified with HomS (M, M ′ ), and via this
identification R-module isomorphisms on one side correspond exactly to S-module
isomorphisms on the other side.
(c) One checks readily that a sequence (s1 , t1 ), . . . , (sn , tn ) ∈ mS ⊕ mT = mR is
M ⊕ 0-regular if and only if the sequence s1 , . . . , sn ∈ mS is M -regular, if and only
if the sequence (s1 , 0), . . . , (sn , 0) ∈ mS ⊕ mT = mR is M ⊕ 0-regular. This yields
inequalities depthR (M ⊕ 0) 6 depthS (M ) 6 depthR (M ⊕ 0), as desired.

DECOMPOSABLE MAXIMAL IDEALS

13

(d) For the forward implication assume that M ⊕ 0 is maximal Cohen-Macaulay
over R. This explains the second equality in the next sequence
depthS (M ) = depthR (M ⊕ 0) = dim(R) = max{dim(S), dim(T )} > dim(S).
The first equality is from part (c), and the third one is from Fact 2.2. Since
the inequality depthS (M ) 6 dim(S) is automatic, it follows that the inequality
in this display is an equality, so M is a maximal Cohen-Macaulay over S and
dim(S) > max{dim(S), dim(T )} > dim(T ), as desired.
Conversely, assume that M is maximal Cohen-Macaulay over S and dim(S) >
dim(T ). Then as in the preceding paragraph, we have
depthR (M ⊕ 0) = depthS (M ) = dim(S) = max{dim(S), dim(T )} = dim(R)
so M ⊕ 0 is maximal Cohen-Macaulay over R, as desired.



The next result follows directly from Lemma 5.7.
Proposition 5.8. Let R ∼
= S ×k T be a non-trivial fiber product. If dim(S) >
dim(T ) and R has finite Cohen-Macaulay type, then S has finite Cohen-Macaulay
type.
Remark 5.9. Remark 5.14 includes an example showing that, in the notation of
Proposition 5.8, If dim(S) > dim(T ) and R has finite Cohen-Macaulay type, then
T may have infinite Cohen-Macaulay type.
Proof 5.10 (Proof of Theorem C). Fact 2.1 implies that R ∼
= S ×k T is a non-trivial
fiber product.
(i) =⇒ (iii) Assume that R is Cohen-Macaulay and has finite Cohen-Macaulay
type. In particular, we have dim(R) 6 1 by Fact 2.2. Thus, we have dim(R) = 1
by Lemma 5.4. Since R is Cohen-Macaulay, S and T must be Cohen-Macaulay of
Krull dimension 1 by Fact 2.2, and they must have finite Cohen-Macaulay type by
Proposition 5.8. Thus, Lemma 5.6 implies that e(R) 6 3.
(iii) =⇒ (ii) Assume that R ∼
= S ×k T where S and T are both Cohen-Macaulay
of Krull dimension 1 with finite Cohen-Macaulay type and e(R) 6 3. Fact 2.9
implies that e(S) + e(T ) = e(R) 6 3. Since e(S) and e(T ) are positive integers,
we re-order S and T if necessary to conclude that e(S) 6 2 and e(T ) = 1. In
particular, since T is Cohen-Macaulay, it is unmixed, and it follows that T is
regular. Using [4, Exercise 4.6.14(b)], we have 2 > e(S) > ecodepth(S) + 1. This
implies ecodepth(S) 6 1, so S is a hypersurface. Also, S is analytically unramified
by [18, 4.15 Proposition].
(ii) =⇒ (i) Assume that R ∼
= S×k T where (S, mS , k) is an analytically unramified
hypersurface of Krull dimension 1 and multiplicity at most 2 and (T, mT , k) is
regular of Krull dimension 1. Facts 2.2 and 2.9 imply that R is Cohen-Macaulay
of dimension 1 with e(R) = e(S) + e(T ) 6 2 + 1 = 3. Since T is regular, its
completion Tb is regular, so reduced. By assumption, Sb is also reduced, hence so is
b∼
R
= Sb ×k Tb. Thus, according to [18, 4.10 Theorem], it remains to show that the
e + R)/R is cyclic; see the introduction of [18, Chapter 4].
R-module (mR R
Since T is integrally closed, we have (mT Te + T )/T = (mT T + T )/T = T /T = 0.
Since S is Cohen-Macaulay and analytically unramified of dimension 1 and multiplicity 2, we know that S has finite Cohen-Macaulay type by [18, 4.18 Theorem],
hence (mS Se + S)/S is cyclic by [18, 4.10 Theorem]. It follows from Lemma 5.3 that
e + R)/R is cyclic, as desired.

(mR R

14

S. NASSEH, S. SATHER-WAGSTAFF, R. TAKAHASHI, AND K. VANDEBOGERT

Remark 5.11. Note that the analytically unramified condition on S in condition (ii) of Theorem C is necessary. Indeed, consider for example the ring R =
k[[X, Y ]]/(X 2 ) ×k k[[Z]] ∼
= k[[X, Y, Z]]/(X 2, XZ, Y Z). Then R is not reduced, so [18,
4.15 Proposition] implies that R has infinite Cohen-Macaulay type.
Corollary 5.12. Assume that R is complete and equicharacteristic with decomposable maximal ideal, and that k is an algebraically closed field of characteristic 0.
Then the following conditions are equivalent.
(i) R is Cohen-Macaulay of finite Cohen-Macaulay type.
(ii) R is isomorphic to one of the following.
(1) k[[x]] ×k k[[z]] ∼
= k[[x, z]]/(xz),
(2) k[[x, y]]/(x2 − y n ) ×k k[[z]] ∼
= k[[x, y, z]]/(x2 − y n , xz, yz) for some n > 2.
Proof. (ii) =⇒ (i) It is straightforward to show that the ring k[[x, y]]/(x2 − y n ) is a
complete integral domain of multiplicity 2 when n > 2; in particular, this ring is
analytically unramified. Since k[[x]] is also analytically unramified, this implication
follows from Theorem C.
(i) =⇒ (ii) Assume that R is Cohen-Macaulay of finite Cohen-Macaulay type.
Since R has decomposable maximal ideal by assumption, Theorem C implies that
R∼
= S ×k T where S is an analytically unramified hypersurface of Krull dimension
1 and multiplicity at most 2, and T is regular of Krull dimension 1. Since S and
T are homomorphic images of the complete, equicharacteristic local ring R, the
rings S and T are also complete and equicharacteristic. Cohen’s structure theorem
implies that T ∼
= k[[z]].
If e(S) = 1, then S must be regular, since it is unmixed; in this case, we have
S∼
= k[[x]], as desired. So, assume that e(S) = 2. Since S is a complete hypersurface
of dimension 1, we can write S ∼
= k[[x, y]]/(f ) for some f ∈ k[[x, y]]. Applying
the Weierstrass preparation theorem, we may assume that f = xe − y n for some
0 < e 6 n; see the proof of [25, Theorem (8.8)]. It follows that e = e(S) = 2, so S
has the desired form.

Next, we move to the non-Cohen-Macaulay situation.
Theorem 5.13. Assume that R has decomposable maximal ideal and dim(R) 6 1.
Then the following conditions are equivalent.
(i) R has finite Cohen-Macaulay type.
(ii) R ∼
= S ×k T for local rings S and T satisfying one of the following:
(1) S has dimension 1 and finite Cohen-Macaulay type, and dim(T ) = 0, or
(2) S and T have dimension 1 and finite Cohen-Macaulay type such that
e(S) 6 2 and e(T ) = 1.
In particular, if R has finite Cohen-Macaulay type, decomposable maximal ideal,
and Krull dimension at most 1, then dim(R) = 1.
Proof. Since the maximal ideal of R is decomposable, we may write R = S ×k T ,
where (S, mS , k) and (T, mT , k) are local rings with S 6= k 6= T . By virtue of [18,
4.16 Theorem], a local ring A of Krull dimension 1 has finite Cohen-Macaulay type
if and only if so does the ring A/ Nil(A) and one has miA ∩ Nil(A) = 0 for i ≫ 0. A
straightforward computation shows that miR ∩Nil(R) = (miS ∩Nil(S))⊕(miT ∩Nil(T ))
for each i > 0. This implies that miR ∩ Nil(R) = 0 for i ≫ 0 if and only if
miS ∩ Nil(S) = 0 = miT ∩ Nil(T ) for i ≫ 0. Also, note that if a local ring A has Krull

DECOMPOSABLE MAXIMAL IDEALS

15

dimension 1, then A/ Nil(A) is a Cohen-Macaulay local ring of Krull dimension 1,
as it is reduced. We use these facts frequently in the following.
(i) =⇒ (ii) Assume that R has finite Cohen-Macaulay type, and recall the assumption dim(R) 6 1. Lemma 5.4 then implies that dim(R) = 1. By Fact 2.2 we
may re-order S and T if necessary to assume that one of the following holds:
(I) dim S = 1 and dim T = 0, or
(II) dim S = 1 = dim T .
In the first of these cases, Proposition 5.8 implies that S has finite Cohen-Macaulay
type, as desired. In the second case, Proposition 5.8 implies that both S and T have
finite Cohen-Macaulay type. Fact 2.9 and Lemma 5.6 imply that e(S) + e(T ) =
e(R) 6 3; thus, in this case we may re-order S and T if necessary to conclude that
e(S) 6 2 and e(T ) = 1, as desired.
(ii) =⇒ (i) Assume now that S and T satisfy condition (1) or (2) from the
statement of the theorem.
Case (1): S has dimension 1 and finite Cohen-Macaulay type, and dim(T ) = 0.
Our assumptions on S here imply that S/ Nil(S) has finite Cohen-Macaulay type
and miS ∩ Nil(S) = 0 for i ≫ 0. It follows that the ring
R/ Nil(R) ∼
= S/ Nil(S)
= (S/ Nil(S)) ×k (T / Nil(T )) ∼
has finite Cohen-Macaulay type. Since miT = 0 for i ≫ 0, we also have miR ∩Nil(R) =
0 for i ≫ 0, so R has finite Cohen-Macaulay type.
Case (2): S and T have dimension 1 and finite Cohen-Macaulay type such that
e(S) 6 2 and e(T ) = 1. It follows that S/ Nil(S) and T / Nil(T ) are both CohenMacaulay of Krull dimension 1 with finite Cohen-Macaulay type. Lemma 5.6 implies that e(S/ Nil(S)) = e(S) 6 2 and e(T / Nil(T )) = e(T ) = 1, so Fact 2.9 says
e(R/ Nil(R)) = e((S/ Nil(S)) ×k (T / Nil(T ))) = e(S/ Nil(S)) + e(T / Nil(T )) 6 3
Theorem C implies that R/ Nil(R) ∼
= (S/ Nil(S)) ×k (T / Nil(T )) has finite CohenMacaulay type. In addition, we have miS ∩ Nil(S) = 0 = miT ∩ Nil(T ) for i ≫ 0, so
miR ∩ Nil(R) = 0 for i ≫ 0. We conclude that R has finite Cohen-Macaulay type,
as desired.

Remark 5.14. In Theorem 5.13 note that if R ∼
= S ×k T has finite Cohen-Macaulay
type, then it does not necessarily follow that S and T both have finite CohenMacaulay type. Indeed if S has dimension 1 and finite Cohen-Macaulay type, and
dim(T ) = 0, then R has finite Cohen-Macaulay type by Theorem 5.13. However,
in this case, T has finite Cohen-Macaulay type if and only if T is a principal ideal
ring (that is, if and only if edim(T ) = 1) by [18, 3.3 Theorem]. So, for example,
if T = k[[x, y]]/(x, y)2 , then R has finite Cohen-Macaulay type, but T has not. See
Proposition 5.8 for more about this sort of behavior.
It is also worth noting that in case (ii)(2) of Theorem 5.13, S and T may not be
Cohen-Macaulay; in particular, S may not be a hypersurface and T may not be regular, in spite of their small multiplicities. Indeed, the ring T = k[[x, y]]/(x2 , xy) =
k[[x, y]]/((x) ∩ (x, y)2 ) has dim(T ) = 1 = e(T ) and finite Cohen-Macaulay type;
see [18, p. 53]. A similar argument as in loc. cit. shows that the ring S =
k[[x, y, z]]/(x2 , xy, xz, yz) = k[[x, y, z]]/((x, y) ∩ (x, z) ∩ (x, y, z)2 ) has dim(S) = 1
and e(S) = 2 and finite Cohen-Macaulay type.

16

S. NASSEH, S. SATHER-WAGSTAFF, R. TAKAHASHI, AND K. VANDEBOGERT

Acknowledgments
We are grateful to Mohsen Asgharzadeh, Ananthnarayan Hariharan, and Tony
Se for helpful discussions about this work.

References
1. M. Auslander, Selected works of Maurice Auslander. Part 1, American Mathematical Society,
Providence, RI, 1999, Edited and with a foreword by Idun Reiten, Sverre O. Smalø, and
Øyvind Solberg. MR 1674397
2. L. L. Avramov and R.-O. Buchweitz, Support varieties and cohomology over complete intersections, Invent. Math. 142 (2000), no. 2, 285–318. MR 1794064 (2001j:13017)
3. L. L. Avramov, S. B. Iyengar, S. Nasseh, and S. Sather-Wagstaff, Persistence of homology
over commutative noetherian rings, in preparation.
4. W. Bruns and J. Herzog, Cohen-Macaulay rings, revised ed., Studies in Advanced Mathematics, vol. 39, University Press, Cambridge, 1998. MR 1251956 (95h:13020)
5. L. W. Christensen, J. Striuli, and O. Veliche, Growth in the minimal injective resolution of a
local ring, J. Lond. Math. Soc. (2) 81 (2010), no. 1, 24–44. MR 2580452
6. H.-B. Foxby, Gorenstein modules and related modules, Math. Scand. 31 (1972), 267–284
(1973). MR 48 #6094
7. A. Frankild and S. Sather-Wagstaff, Reflexivity and ring homomorphisms of finite flat dimension, Comm. Algebra 35 (2007), no. 2, 461–500. MR 2294611
8. S. Goto, R. Takahashi, N. Taniguchi, and H. Le Truong, Huneke-Wiegand conjecture and
change of rings, J. Algebra 422 (2015), 33–52. MR 3272067
9. A. Grothendieck, Éléments de géométrie algébrique. III. Étude cohomologique des faisceaux
cohérents. I, Inst. Hautes Études Sci. Publ. Math. (1961), no. 11, 167. MR 0217085 (36
#177c)
, Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes
10.
de schémas IV, Inst. Hautes Études Sci. Publ. Math. (1967), no. 32, 361. MR 0238860 (39
#220)
11. D. Happel, Homological conjectures in representation theory of finite-dimensional algebras,
preprint (1990), https://www.math.uni-bielefeld.de/ sek/dim2/happel2.pdf.
12. R. Hartshorne, Local cohomology, A seminar given by A. Grothendieck, Harvard University,
Fall, vol. 1961, Springer-Verlag, Berlin, 1967. MR 0224620 (37 #219)
13. R. C. Heitmann and D. A. Jorgensen, Are complete intersections complete intersections?, J.
Algebra 371 (2012), 276–299. MR 2975397
14. C. Huneke and D. A. Jorgensen, Symmetry in the vanishing of Ext over Gorenstein rings,
Math. Scand. 93 (2003), no. 2, 161–184. MR 2009580 (2004k:13039)
15. D. A. Jorgensen and L. M. Şega, Nonvanishing cohomology and classes of Gorenstein rings,
Adv. Math. 188 (2004), no. 2, 470–490. MR 2087235 (2005f:13017)
16. A. I. Kostrikin and I. R. Šafarevič, Groups of homologies of nilpotent algebras, Dokl. Akad.
Nauk SSSR (N.S.) 115 (1957), 1066–1069. MR 0092776
17. J. Lescot, La série de Bass d’un produit fibré d’anneaux locaux, C. R. Acad. Sci. Paris Sér. I
Math. 293 (1981), no. 12, 569–571. MR 647683
18. G. J. Leuschke and R. Wiegand, Cohen-Macaulay representations, Mathematical Surveys and
Monographs, vol. 181, American Mathematical Society, Providence, RI, 2012. MR 2919145
19. M. Nagata, Local rings, Interscience Tracts in Pure and Applied Mathematics, No. 13, Interscience Publishers a division of John Wiley & Sons New York-London, 1962. MR 0155856
(27 #5790)
20. S. Nasseh and S. Sather-Wagstaff, Vanishing of Ext and Tor over fiber products, Proc. Amer.
Math. Soc. 145 (2017), no. 11, 4661–4674. MR 3691985
21. S. Nasseh and R. Takahashi, Local rings with quasi-decomposable maximal ideal, preprint
(2017), arXiv:1704.00719.
22. T. Ogoma, Existence of dualizing complexes, J. Math. Kyoto Univ. 24 (1984), no. 1, 27–48.
MR 737823
23. S. Sather-Wagstaff, Semidualizing modules and the divisor class group, Illinois J. Math. 51
(2007), no. 1, 255–285. MR 2346197

DECOMPOSABLE MAXIMAL IDEALS

17

, Bass numbers and semidualizing complexes, Commutative algebra and its applications, Walter de Gruyter, Berlin, 2009, pp. 349–381. MR 2640315
25. Y. Yoshino, Cohen-Macaulay modules over Cohen-Macaulay rings, London Mathematical Society Lecture Note Series, vol. 146, Cambridge University Press, Cambridge, 1990.
MR 1079937

24.

Department of Mathematical Sciences, Georgia Southern University, Statesboro,
Georgia 30460, USA
E-mail address: snasseh@georgiasouthern.edu
URL: https://cosm.georgiasouthern.edu/math/saeed.nasseh
Department of Mathematical Sciences, Clemson University, O-110 Martin Hall, Box
340975, Clemson, S.C. 29634 USA
E-mail address: ssather@clemson.edu
URL: https://ssather.people.clemson.edu/
Graduate School of Mathematics, Nagoya University, Furocho, Chikusaku, Nagoya,
Aichi 464-8602, Japan
E-mail address: takahashi@math.nagoya-u.ac.jp
URL: http://www.math.nagoya-u.ac.jp/~takahashi/
Department of Mathematics, University of South Carolina, 1523 Greene Street,
Columbia, SC 29208 USA
E-mail address: kellerlv@math.sc.edu

