arXiv:1404.2307v1 [math.AC] 8 Apr 2014

EXCELLENT NORMAL LOCAL DOMAINS AND
EXTENSIONS OF KRULL DOMAINS
WILLIAM HEINZER, CHRISTEL ROTTHAUS, AND SYLVIA WIEGAND
This paper is dedicated to Hans-Bjørn Foxby.
Abstract. We consider properties of extensions of Krull domains such as
flatness that involve behavior of extensions and contractions of prime ideals.
Let (R, m) be an excellent normal local domain with field of fractions K, let
y be a nonzero element of m and let R∗ denote the (y)-adic completion of
R. For elements τ1 , . . . , τs of yR∗ that are algebraically independent over
R, we construct two associated Krull domains: an intersection domain A :=
K(τ1 , . . . τs ) ∩ R∗ and its approximation domain B; see Setting 2.2.
If in addition R is countable with dim R ≥ 2, we prove that there exist elements τ1 , . . . , τs , . . . as above such that, for each s ∈ N, the extension
R[τ1 , . . . , τs ] ֒→ R∗ [1/y] is flat; equivalently, B = A and A is Noetherian. Using this result we establish the existence of a normal Noetherian local domain
B such that: B dominates R; B has (y)-adic completion R∗ ; and B contains
a height-one prime ideal p such that R∗ /pR∗ is not reduced. Thus B is not a
Nagata domain and hence is not excellent.
We present several theorems involving the construction. These theorems
yield examples where B ( A and A is Noetherian while B is not Noetherian;
and other examples where B = A and A is not Noetherian.

1. Introduction
About twenty years ago Judy Sally gave an expository talk on the following
question:
Question 1.1. What rings lie between a Noetherian integral domain S and its
field of fractions Q(S)?
We are inspired by work of Shreeram Abhyankar such as that in his paper [1] to
ask the following related question:

1

Question 1.2. Let I be an ideal of a Noetherian integral domain R and let R∗
denote the I-adic completion of R. What rings lie between R and R∗ ?
1991 Mathematics Subject Classification. Primary 13B35, 13J10, 13A15.
Key words and phrases. power series, Noetherian and non-Noetherian integral domains.
The authors are grateful for the hospitality, cooperation and support of Michigan State, Nebraska, Purdue and the CIRM at Luminy, France, where several work sessions on related research
were conducted. We thank the referee for a careful reading of the paper and helpful comments.
1Ram’s work demonstrates the vastness of power series rings. The authors have fond memories
of many pleasant conversations with him concerning power series.
1

2

WILLIAM HEINZER, CHRISTEL ROTTHAUS, AND SYLVIA WIEGAND

A wide variety of integral domains fit the descriptions of both Questions 1.1 and
1.2. Let (R, m) be an excellent normal local domain and let S be a polynomial ring
in finitely many variables over R. In work over a number of years related to these
questions, the authors have been developing techniques for constructing examples
that are birational extensions of S and also subrings of an ideal-adic completion of
R. Classical constructions of Noetherian integral domains with interesting properties, such as failure to be a Nagata ring, have been given by Akizuki, Schmidt,
Nagata and others, [2], [10], [7]. We recall that a ring A is a Nagata ring if A
is Noetherian and if the integral closure of A/P in L is finite over A/P , for every
prime ideal P of A and every field L finite algebraic over the field of fractions of
A/P , [6, page 264].
We often use in our construction the completion of an excellent normal local
domain (R, m) with respect to a principal ideal yR, where y is a nonzero nonunit
of R. The (y)-adic completion R∗ of R may be regarded as either an inverse limit
or as a homomorphic image of a formal power series ring R[[z]] over R. Thus we
have
 R 
R[[z]]
=
.
R∗ = lim
←− y n R
(z − y)R[[z]]
n
An element τ of R∗ has an expression as a power series in y with coefficients in R
It is often the case that there exist elements τ1 , . . . , τn in R∗ that are algebraically
independent over R. An elementary cardinality argument shows this is always the
case if R is countable. Assume that τ1 , . . . , τn in R∗ are algebraically independent
over R. By modifying τi by an element in R, we may assume that each τi ∈ yR∗ .
Let S := R[τ1 , . . . , τn ]. Then S is both a subring of R∗ and a polynomial ring in
n variables over R. Although the expression for the τi as power series in y with
coefficients in R is not unique, we use it to construct an integral domain B that is
a directed union of localized polynomial rings over R.
The construction we consider associates with R and τ1 , . . . , τn the following two
integral domains:
(1) an intersection domain A := Q(S) ∩ R∗ , and
(2) an integral domain B ⊆ A that approximates A.
The integral domain B is a directed union of localized polynomial rings in n variables over R. The rings B and A are birational extensions of the polynomial ring
S and subrings of R∗ . Thus they fit the descriptions of both Questions 1.1 and 1.2.
For integral domains A and B obtained as above, we ask:
Questions 1.3. For a given excellent normal local domain (R, m) and elements
τ1 , . . . , τn as above, what properties do the constructed rings A and B have, and
what criteria determine these properties?

EXCELLENT NORMAL DOMAINS AND KRULL DOMAINS

3

Our work in this article concerning Questions 1.3 focuses primarily on the case
where the base ring R is an excellent normal local domain. The intersection domain
A = Q(S) ∩ R∗ may fail to be Noetherian even though R, and therefore R∗ , is an
excellent normal local domain. However, the intersection domain A is always a
Krull domain, and the (y)-adic completion of A is R∗ . Thus, in order to present an
iterative procedure, in Section 2 we present many of the properties we study with
the following Krull domain setting:
Setting 1.4. Let (T, n) be a local Krull domain with field of fractions Q(T ). Assume that y ∈ n is a nonzero element such that the (y)-adic completion (T ∗ , n∗ ) of
T is an analytically normal Noetherian local domain. Since the n-adic completion
of T is the same as the n∗ -adic completion of T ∗ , it follows that the n-adic completion Tb of T is also a normal Noetherian local domain. Let Q(T ∗ ) denote the field
of fractions of T ∗ . Since T ∗ is Noetherian, Tb is faithfully flat over T ∗ and we have
T ∗ = Tb ∩ Q(T ∗ ). Therefore Q(T ) ∩ T ∗ = Q(T ) ∩ Tb. Assume that T = Q(T ) ∩ T ∗ ,
and let d denote the dimension of the Noetherian domain T ∗ . It follows that d is
also the dimension of Tb.
Let τ1 . . . , τs be elements of yT ∗ that are algebraically independent over T . We

consider the extensions
T ֒→ T [τ1 . . . , τs ] ֒→ A := Q(T )(τ1 , . . . , τs ) ∩ T ∗ ֒→ T ∗ .
In particular, the following map is critical:
(1.4.0)

ϕ : T [τ1 . . . , τs ] ֒→ T ∗ [1/y].

The intersection ring A = Q(T )(τ1 , . . . , τs ) ∩ T ∗ and its approximating ring B
may be Noetherian or not, or excellent or not. Examples 4.3 and 4.8 demonstrate
that one may have B = A, or B ( A. Properties of the rings B and A are related
to properties of the map ϕ of Equation 1.4.0; this is illustrated by two conclusions
of Theorem 2.6:
(1) B is Noetherian if and only if ϕ is flat.
(2) If B is Noetherian, then B = A.
In general, by Theorem 2.9, we have B = A if and only if ϕ satisfies the weak flatness
property in Definitions 2.7 below. We describe in Section 2 the construction of B.
The rings T [τ1 , . . . , τs ] and T ∗ [1/y] in Equation 1.4.0 are Krull domains as are
also the constructed rings B ֒→ A. We demonstrate connections between properties
of the extension of Krull domains defined by the map ϕ in Equation 1.4.0, and
properties of the Krull domains B and A. Some of our results hold for Krull
domains as in Setting 1.4; for others we restrict to the case where T = R is an
excellent normal local domain.

4

WILLIAM HEINZER, CHRISTEL ROTTHAUS, AND SYLVIA WIEGAND

It is useful to give a name for the elements τ1 , · · · , τs in case the map ϕ of
Equation 1.4.0 is flat.
Definition 1.5. Assume Setting 1.4; thus T is a local Krull domain and y is a
nonzero nonunit element of T such that the (y)-adic completion T ∗ of T is an
analytically normal Noetherian local domain with T = Q(T ) ∩ T ∗ . Elements
τ1 . . . , τs ∈ yT ∗ that are algebraically independent over T are said to be primarily
limit-intersecting in y over T provided the inclusion map
ϕ : T [τ1 , . . . , τs ] ֒→ T ∗ [1/y]
∗
is flat. An infinite set {τi }∞
i=1 of elements in yT that are algebraically independent

over T is said to be primarily limit-intersecting in y over T if for each positive
integer s, the elements τ1 , . . . , τs are primarily limit-intersecting in y over T .
It is natural to ask about the existence of primarily limit-intersecting elements:
Question 1.6. Let R be an excellent normal local domain with dim R = d ≥ 2,
let y be a nonzero element in the maximal ideal m of R, and let R∗ be the (y)-adic
completion of R. Under what conditions on R do there exist elements that are
primarily limit-intersecting in y over R?
With notation as in Question 1.6, we describe in Theorem 3.5 and Remark 3.7
necessary and sufficient conditions that an element τ ∈ yR∗ be primarily limitintersecting in y over R. If R is countable, we prove in Theorem 3.12 the existence
of an infinite sequence τ1 , . . . , τs , . . . ∈ yR∗ of elements that are primarily limitintersecting in y over R. We show in Theorem 3.13 that in general for an element
η ∈ yR∗ that is primarily limit-intersecting in y over R, the constructed Noetherian
domain
B = A = R∗ ∩ Q(R[η])
may fail to be excellent.
In Section 4 we present two theorems involving the construction. These theorems
yield examples where B ( A and A is Noetherian while B is not Noetherian;
and other examples where B = A and A is not Noetherian. We describe several
examples obtained by iteration of the construction considered in Section 3.
2. Basic properties and the approximation domain
In this section we give background and terminology. We generally assume Setting 1.4 in this section. First we illustrate the construction of an intersection domain
A and develop the terminology necessary for an approximation domain B in what
we consider the easiest example that can be constructed.

EXCELLENT NORMAL DOMAINS AND KRULL DOMAINS

Example 2.1. The “easiest” example.

5

Let k be a field, for example, k = Q,

the rational numbers, and let x be an indeterminate over k. Let R = k[x](x) and
R∗ = k[[x]], the power series ring in x over k and the x-adic completion of R. Let
τ ∈ xk[[x]] be algebraically independent over R; for example, if k = Q, we could
take τ = ex − 1. Define A, the intersection domain associated to τ over R by
A = k(x, τ ) ∩ k[[x]].
In this case A is a rank-one discrete valuation ring (DVR) because it is the
intersection of the DVR k[[x]] with a subfield of k((x)) that is not contained in k.
Thus A is a Noetherian one-dimensional regular local ring (RLR) and the unique
maximal ideal is xA.
We apply approximation techniques to more precisely describe the elements that
are in A. In order to define an approximation domain B that goes with A, write
∞
X
ai xi ,
τ =
i=1

where the ai ∈ k. Define τ0 = τ . For each n ∈ N, define the nth endpiece of τ ,
denoted τn , and define rings Un and Bn by
∞
X
ai xi−n ,
Un = k[x, τn ]
τn =

and

Bn = k[x, τn ](x,τn ) .

i=n+1

Set
U = ∪∞
n=0 Un

and

B = ∪∞
n=0 Bn .

It is straightforward to show that A = B in Example 2.1; see [4, Chapter 6].
Since the extension k[x, τn ] ֒→ A does not satisfy the dimension inequality [6, p.
119], the ring A = B is not the localization of a finitely generated algebra over k.
In general the intersection of a normal Noetherian domain with a subfield of its
field of fractions is a Krull domain, but need not be Noetherian. A directed union of
normal Noetherian domains may be a non-Noetherian Krull domain. Thus, in order
to be able to iterate our construction, we consider a local Krull domain (T, n) that
is not assumed to be Noetherian, but is assumed to have a Noetherian completion.
To distinguish from the Noetherian hypothesis on R, we let T denote the base
domain.
The construction of the approximation domain.
Setting and Notation 2.2. Let (T, n) be a local Krull domain with field of
fractions F . Assume there exists a nonzero element y ∈ n such that the y-adic
\
completion (T,
(y)) := (T ∗ , n∗ ) of T is an analytically normal Noetherian local
domain. It then follows that the n-adic completion Tb of T is also a normal Noe-

therian local domain, since the n-adic completion of T is the same as the n∗ -adic

6

WILLIAM HEINZER, CHRISTEL ROTTHAUS, AND SYLVIA WIEGAND

completion of T ∗ . Since T ∗ is Noetherian, if F ∗ denotes the field of fractions of T ∗ ,
then T ∗ = Tb ∩ F ∗ . Therefore F ∩ T ∗ = F ∩ Tb. Let d denote the dimension of the
Noetherian domain T ∗ . It follows that d is also the dimension of Tb. 2
(1) Assume that T = F ∩ T ∗ = F ∩ Tb, or equivalently by Proposition 2.8.1, that
T ∗ and Tb are weakly flat over T .

(2) Let Tb[1/y] denote the localization of Tb at the powers of y, and similarly, let
T ∗ [1/y] denote the localization of T ∗ at the powers of y. The domains Tb[1/y] and

T ∗ [1/y] have dimension d − 1.
(3) Let τ1 , . . . , τs ∈ n∗ be algebraically independent over F .

j
(4) For each i with 1 ≤ i ≤ s, we have an expansion τi := Σ∞
j=1 cij y where
cij ∈ T .

(5) For each n ∈ N and each i with 1 ≤ i ≤ s, we define the nth -endpiece τin of
τi with respect to y as in Example 2.1:
j−n
τin := Σ∞
.
j=n+1 cij y

(2.2.0)

Thus we have τin = yτi,n+1 + ci,n+1 y.
(6) For each n ∈ N, we define Bn := T [τ1n , . . . , τsn ](n,τ1n ,...,τsn ) . In view of (5),
we have Bn ⊆ Bn+1 and Bn+1 dominates Bn for each n. We define
B := lim Bn =
−→
n∈N

∞
[

Bn ,

n=1

and

A := F (τ1 , . . . , τs ) ∩ Tb.

Thus, B and A are local Krull domains and A birationally dominates B. We are
especially interested in conditions which imply that B = A.
(7) Let A∗ denote the y-adic completion of A and let B ∗ denote the y-adic
completion of B.

Remarks 2.3. The definitions of B and Bn are independent of representations for
τ1 , . . . , τs as power series in y with coefficients in T ; see [4, Proposition 21.6].
Properties of the construction.
The following theorem is proved in [4, Theorem 21.7].
Theorem 2.4. Assume the setting and notation of (2.2). Then the intermediate
rings Bn , B and A have the following properties:
(1) yA = yT ∗ ∩ A and yB = yA ∩ B = yT ∗ ∩ B. More generally, for every
t ∈ N, we have y t A = y t T ∗ ∩ A and y t B = y t A ∩ B = y t T ∗ ∩ B.
(2) T /y t T = B/y t B = A/y t A = T ∗ /y t T ∗ , for each positive integer t.
2If T is Noetherian, then d is also the dimension of T . However, if T is not Noetherian, then
the dimension of T may be greater than d. This is illustrated by taking T to be the ring B of
Example 4.3.

EXCELLENT NORMAL DOMAINS AND KRULL DOMAINS

7

(3) Every ideal of T, B or A that contains y is finitely generated by elements
of T . In particular, the maximal ideal n of T is finitely generated, and the
maximal ideals of B and A are nB and nA.
(4) For every n ∈ N: yB ∩ Bn = (y, τ1n , . . . , τsn )Bn , an ideal of Bn of height
s + 1.
(5) Let P ∈ Spec(A) be minimal over yA, and let Q = P ∩ B and W = P ∩ T .
Then TW ⊆ BQ = AP , and all three localizations are DVRs.
(6) For every n ∈ N, B[1/y] is a localization of Bn , i.e., for each n ∈ N, there
exists a multiplicatively closed subset Sn of Bn such that B[1/y] = Sn−1 Bn .
(7) B = B[1/y] ∩ Bq1 ∩ · · · ∩ Bqr , where q1 , . . . , qr are the prime ideals of B
minimal over yB.
The next theorem from [4, Theorem 21.8] is also useful in the sequel.
Theorem 2.5. With the setting and notation of (2.2), the intermediate rings A
and B have the following properties:
(1) A and B are local Krull domains.
(2) B ⊆ A, with A dominating B.
(3) A∗ = B ∗ = T ∗ .
(4) If B is Noetherian, then B = A.
Moreover, if T is a unique factorization domain (UFD) and y is a prime element
of T , then B is a UFD.
We use the following theorem [4, Theorem 21.13] to establish the Noetherian
property.
Theorem 2.6. Assume the notation of Setting 2.2. Thus (T, n) is a local Krull
domain with field of fractions F , and y ∈ n is such that the (y)-adic completion
(T ∗ , n∗ ) of T is an analytically normal Noetherian local domain and T = T ∗ ∩ F .
For elements τ1 , . . . , τs ∈ n∗ that are algebraically independent over T , the following
are equivalent:
(1) The extension T [τ1 , . . . , τs ] ֒→ T ∗ [1/y] is flat.
(2) The elements τ1 , . . . , τs are primarily limit-intersecting in y over T .
(3) The intermediate rings A and B are equal and are Noetherian.
(4) The constructed ring B is Noetherian.
Moreover, if these equivalent conditions hold, then the Krull domain T is Noetherian.
We consider the following properties of an extension of Krull domains.
Definitions 2.7. Let S ֒→ T be an extension of Krull domains.

8

WILLIAM HEINZER, CHRISTEL ROTTHAUS, AND SYLVIA WIEGAND

(1) We say that the extension S ֒→ T is weakly flat, or that T is weakly flat over
S, if every height-one prime ideal P of S with P T 6= T satisfies P T ∩S = P .
(2) We say that the extension S ֒→ T is height-one preserving, or that T is
a height-one preserving extension of S, if for every height-one prime ideal
P of S with P T 6= T there exists a height-one prime ideal Q of T with
P T ⊆ Q.
(3) For d ∈ N, we say that ϕ : S ֒→ T satisfies LFd (locally flat in height d),
if, for each P ∈ Spec T with ht P ≤ d, the composite map S → T → TP is
flat.
The condition LF1 is equivalent to weak flatness. If dim T ≤ d, then the condition
LFd is equivalent to flatness. Proposition 2.8 demonstrates the relevance of the weak
flatness property for an extension of Krull domains.
Proposition 2.8.

[4, Corollary 12.4] Let ϕ : S ֒→ T be an extension of Krull

domains and let F denote the field of fractions of S.
(1) Assume that P T 6= T for every height-one prime ideal P of S. Then S ֒→ T
is weakly flat ⇐⇒ S = F ∩ T .
(2) If S ֒→ T is weakly flat, then ϕ is height-one preserving and, moreover, for
every height-one prime ideal P of S with P T 6= T , there is a height-one
prime ideal Q of T with Q ∩ S = P .
Theorem 2.9 states that weak flatness of the map ϕ of Equation 1.4.0 is equivalent
to equality of the intersection domain A with its approximation domain B.
Theorem 2.9. [4, Theorem 21.14] Assume the notation of Setting 2.2. Thus (T, n)
is a local Krull domain with field of fractions F , and y ∈ n is such that the (y)-adic
completion (T ∗ , n∗ ) of T is an analytically normal Noetherian local domain and
T = T ∗ ∩ F . For elements τ1 , . . . , τs ∈ n∗ that are algebraically independent over
T , the following are equivalent:
(1) The intersection domain A is equal to its approximation domain B.
(2) The map ϕ : T [τ1 , . . . , τs ] −→ T ∗ [1/y] is weakly flat.
(3) The map B −→ T ∗ [1/y] is weakly flat.
(4) The map B −→ T ∗ is weakly flat.
3. Primarily limit-intersecting elements
In this section, we establish the existence of primarily limit-intersecting elements
over countable excellent normal local domains.
We use Corollary 3.2 and Lemma 3.3 in the proof of Theorem 3.8.

EXCELLENT NORMAL DOMAINS AND KRULL DOMAINS

Theorem 3.1.

9

[4, Theorem 11.3] Let (R, m), (S, n) and (T, ℓ) be Noetherian local

rings, and assume there exist local homomorphisms:
R −→ S −→ T,
such that
(i) R → T is flat and T /mT is Cohen-Macaulay.
(ii) R → S is flat and S/mS is a regular local ring.
Then the following statements are equivalent:
(1) S → T is flat.
(2) For each prime ideal w of T , we have ht(w) ≥ ht(w ∩ S).
(3) For each prime ideal w of T such that w is minimal over nT , we have
ht(w) ≥ ht(n).
Since flatness is a local property, the following corollary is immediate.
Corollary 3.2. Let R, S and T be Noetherian rings, and assume there exist ring
homomorphisms R → S → T . If the map R → T is flat with Cohen-Macaulay fibers
and the map R → S is flat with regular fibers, then the following two statements
are equivalent:
(1) The map S → T is flat,
(2) For each prime ideal P of T , we have ht(P ) ≥ ht(P ∩ S).
To establish the existence of primarily limit-intersecting elements, we use the
following prime avoidance lemma; see the articles [3], [11], [13] and the book [5,
Lemma 14.2] for other prime avoidance results involving countably infinitely many
prime ideals.
Lemma 3.3. [4, Lemma 22.10] Let (T, n) be a Noetherian local domain that is
complete in the (y)-adic topology, where y is a nonzero element of n. Let U be a
countable set of prime ideals of T such that y ∈
6 P for each P ∈ U, and fix an
arbitrary element t ∈ n \ n2 . Then there exists an element a ∈ y 2 T such that
S
t − a 6∈ {P : P ∈ U}.
Proof. We may assume there are no inclusion relations among the P ∈ U. We
enumerate the prime ideals in U as {Pi }∞
i=1 . We choose b2 ∈ T so that t − b2 y 6∈ P1
as follows: (i) if t ∈ P1 , let b2 = 1. Since y 6∈ P1 , we have t − y 2 6∈ P1 . (ii) if t 6∈ P1 ,
let b2 be a nonzero element of P1 . Then t − b2 y 2 6∈ P1 . Assume by induction that
we have found b2 , . . . , bn in T such that
t − cy 2 := t − b2 y 2 − · · · − bn y n 6∈ P1 ∪ · · · ∪ Pn−1 .
Sn
We choose bn+1 ∈ T so that t − cy 2 − bn+1 y n+1 6∈ i=1 Pi as follows: (i) if t − cy 2 ∈
Qn−1
Pn , let bn+1 ∈ ( i=1 Pi ) \ Pn . (ii) if t − cy 2 6∈ Pn , let bn+1 be any nonzero

10

WILLIAM HEINZER, CHRISTEL ROTTHAUS, AND SYLVIA WIEGAND

element in

Qn

i=1

Pi . Hence in either case there exists bn+1 ∈ T so that
t − b2 y 2 − · · · − bn+1 y n+1 6∈ P1 ∪ · · · ∪ Pn .

Since T is complete in the (y)-adic topology, the Cauchy sequence
{b2 y 2 + · · · + bn y n }∞
n=2
has a limit a ∈ n2 . Since T is Noetherian and local, every ideal of T is closed in
the (y)-adic topology. Hence, for each integer n ≥ 2, we have
t − a = (t − b2 y 2 − · · · − bn y n ) − (bn+1 y n+1 + · · · ),
where t − b2 y 2 − · · · − bn y n 6∈ Pn−1 and (bn+1 y n+1 + · · · ) ∈ Pn−1 . We conclude that
S∞
t − a 6∈ i=1 Pi .

The existence of one primarily limit-intersecting element.
We use the following setting to describe necessary and sufficient conditions for
an element to be primarily limit-intersecting.
Setting 3.4. Let (R, m) be a d-dimensional excellent normal local domain with
d ≥ 2, let y be a nonzero element of m and let R∗ denote the (y)-adic completion
of R. Let t be a variable over R, let S := R[t](m,t) , and let S ∗ denote the I-adic
completion of S, where I := (y, t)S. Then S ∗ = R∗ [[t]] is a (d + 1)-dimensional
normal Noetherian local domain with maximal ideal n∗ := (m, t)S ∗ . For each
element a ∈ y 2 S ∗ , we have S ∗ = R∗ [[t]] = R∗ [[t − a]] since R∗ is complete in
the (a)-adic topology. Let λa : S ∗ → R∗ denote the canonical homomorphism
S ∗ → S ∗ /(t − a)S ∗ = R∗ , and let τa = λa (t) = λa (a). Consider the set
U := {P ∗ ∈ Spec S ∗ | ht(P ∗ ∩ S) = ht P ∗ , and y ∈
/ P ∗ }.
Since S ֒→ S ∗ is flat and thus satisfies the going-down property, the set U can also
be described as the set of all P ∗ ∈ Spec S ∗ such that y ∈
/ P ∗ and P ∗ is minimal
over P S ∗ for some P ∈ Spec S; see [6, Theorem 15.1]
Theorem 3.5. With the notation of Setting 3.4, the element τa is primarily limitS
intersecting in y over R if and only if t − a ∈
/ {P ∗ | P ∗ ∈ U}.
Proof. Consider the commutative diagram:

⊆

S = R[t](m,t)


λ0 y

⊆

⊆

−−−−→ S ∗ = R∗ [[t]] −−−−→ S ∗ [1/y]


λa y

R −−−−→ R1 = R[τa ](m,τa ) −−−−→

Diagram 3.5.0
The map λ0 denotes the restriction of λa to S.

R∗

⊆

−−−−→ R∗ [1/y].

EXCELLENT NORMAL DOMAINS AND KRULL DOMAINS

11

Assume that τa is primarily limit-intersecting in y over R. Then τa is algebraically independent over R and λ0 is an isomorphism. If t − a ∈ P ∗ for some
P ∗ ∈ U, we prove that ϕ : R1 → R∗ [1/y] is not flat. Let Q∗ := λa (P ∗ ). We have
ht Q∗ = ht P ∗ − 1, and y ∈
/ P ∗ implies y ∈
/ Q∗ . Let P := P ∗ ∩ S and Q := Q∗ ∩ R1 .
Commutativity of Diagram 3.5.0 and λ0 an isomorphism imply that ht P = ht Q.
Since P ∗ ∈ U, we have ht P = ht P ∗ . It follows that ht Q > ht Q∗ . This implies
that ϕ : R1 → R∗ [1/y] is not flat.
S
For the converse, assume that t − a ∈
/ {P ∗ | P ∗ ∈ U}. Since a ∈ y 2 S ∗ and S ∗
is complete in the (y, t)-adic topology, we have S ∗ = R∗ [[t]] = R∗ [[t − a]]. Thus
p := ker(λa ) = (t − τa )S ∗ = (t − a)S ∗
is a height-one prime ideal of S ∗ . Since y ∈ R and p ∩ R = (0), we have y ∈
/ p.
Since t − a is outside every element of U, we have p ∈
/ U. Since p does not fit
the condition of U, we have ht(p ∩ S) 6= ht p = 1, and so, by the faithful flatness of
S ֒→ S ∗ , p ∩ S = (0). Therefore the map λ0 : S → R1 has trivial kernel, and so λ0
is an isomorphism. Thus τa is algebraically independent over R.
Since R is excellent and R1 is a localized polynomial ring over R, the hypotheses
of Corollary 3.2 are satisfied for the extension R ֒→ R1 ֒→ R∗ [1/y]. It follows that
the element τa is primarily limit-intersecting in y over R if ht(Q∗1 ∩ R1 ) ≤ ht Q∗1 for
every prime ideal Q∗1 ∈ Spec(R∗ [1/y]), or, equivalently, if, for every Q∗ ∈ Spec R∗
with y ∈
/ Q∗ , we have ht(Q∗ ∩ R1 ) ≤ ht Q∗ . Thus, to complete the proof of
Theorem 3.5, it suffices to prove Claim 3.6.
Claim 3.6. For every prime ideal Q∗ ∈ Spec R∗ with y ∈
/ Q∗ , we have
ht(Q∗ ∩ R1 ) ≤ ht Q∗ .
Proof of Claim 3.6. Since dim R∗ = d and y ∈
/ Q∗ , we have ht Q∗ = r ≤ d − 1.
∗
∗
Since the map R ֒→ R is flat, we have ht(Q ∩ R) ≤ ht Q∗ = r. Suppose that
Q := Q∗ ∩R1 has height at least r +1 in Spec R1 . Since R1 is a localized polynomial
ring in one variable over R and ht(Q ∩ R) ≤ r, we have ht(Q) = r + 1. Let
P := λ−1
/ P.
0 (Q) ∈ Spec S. Then ht P = r + 1 and y ∈
∗
∗
−1
Let P := λa (Q ). Since the prime ideals of S ∗ that contain t − a and have
height r + 1 are in one-to-one correspondence with the prime ideals of R∗ of height
r, we have ht P ∗ = r + 1. By the commutativity of the diagram, we also have
y∈
/ P ∗ and P ⊆ P ∗ ∩ S, and so
r + 1 = ht P ≤ ht(P ∗ ∩ S) ≤ ht P ∗ = r + 1,
where the last inequality holds because the map S ֒→ S ∗ is flat. It follows that
P = P ∗ ∩ S, and so P ∗ ∈ U. This contradicts the fact that t − a ∈
/ P1∗ for each
P1∗ ∈ U. Thus we have ht(Q∗ ∩ R1 ) ≤ r = ht Q∗ , as asserted in Claim 3.6.

12

WILLIAM HEINZER, CHRISTEL ROTTHAUS, AND SYLVIA WIEGAND

This completes the proof of Theorem 3.5.



Theorem 3.5 yields a necessary and sufficient condition for an element of R∗ that
is algebraically independent over R to be primarily limit-intersecting in y over R.
Remarks 3.7. Assume notation as in Setting 3.4.
(1) For each a ∈ y 2 S ∗ as in Setting 3.4, we have (t − a)S ∗ = (t − τa )S ∗ . Hence
S
S
t−a∈
/ {P ∗ | P ∗ ∈ U} ⇐⇒ t − τa ∈
/ {P ∗ | P ∗ ∈ U}.
(2) If a ∈ R∗ , then the commutativity of Diagram 3.5.0 implies that τa = a.
(3) For τ ∈ R∗ , we have τ = b0 + b1 y + τ ′ , where b0 and b1 are in R and
τ ′ ∈ y 2 R∗ .
(a) The rings R[τ ] and R[τ ′ ] are equal. Hence τ is primarily limit-intersecting
in y over R if and only if τ ′ is primarily limit-intersecting in y over R.
(b) Assume τ ∈ R∗ is algebraically independent over R. Then τ is primarS
ily limit-intersecting in y over R if and only if t−τ ′ ∈
/ {P ∗ | P ∗ ∈ U}.

Item 3b follows from Theorem 3.5 by setting a = τ ′ and applying item 3a
and item 2.
We use Theorem 3.5 and Lemma 3.3 to prove Theorem 3.8.
Theorem 3.8. Let (R, m) be a countable excellent normal local domain of dimension d ≥ 2, let y be a nonzero element in m, and let R∗ denote the (y)-adic completion of R. Then there exists an element τ ∈ yR∗ that is primarily limit-intersecting
in y over R.
Proof. As in Setting 3.4, let
U := {P ∗ ∈ Spec S ∗ | ht(P ∗ ∩ S) = ht P ∗ , and y ∈
/ P ∗ }.

Since the ring S is countable and Noetherian, the set U is countable. Lemma 3.3
S
implies that there exists an element a ∈ y 2 S ∗ such that t − a ∈
/ {P ∗ | P ∗ ∈ U}.
By Theorem 3.5, the element τa is primarily limit-intersecting in y over R.



The existence of more primarily limit-intersecting elements.
To establish the existence of more than one primarily limit-intersecting element
we use the following setting.
Setting 3.9. Let (R, m) be a d-dimensional excellent normal local domain, let y
be a nonzero element of m and let R∗ denote the (y)-adic completion of R. Let
t1 , . . . , tn+1 be indeterminates over R, and let Sn and Sn+1 denote the localized
polynomial rings
Sn := R[t1 , . . . , tn ](m,t1 ,...,tn )

and Sn+1 := R[t1 , . . . , tn+1 ](m,t1 ,...,tn+1 ) .

EXCELLENT NORMAL DOMAINS AND KRULL DOMAINS

13

Let Sn∗ denote the In -adic completion of Sn , where In := (y, t1 , . . . , tn )Sn . Then
Sn∗ = R∗ [[t1 , . . . , tn ]] is a (d + n)-dimensional normal Noetherian local domain with
maximal ideal n∗ = (m, t1 , . . . , tn )Sn∗ . Assume that τ1 , . . . , τn ∈ yR∗ are primarily limit-intersecting in y over R, and define λ : Sn∗ → R∗ to be the R∗ -algebra
homomorphism such that λ(ti ) = τi , for 1 ≤ i ≤ n.
Since Sn∗ = R∗ [[t1 −τ1 , . . . , tn −τn ]], we have pn := ker λ = (t1 −τ1 , . . . , tn −τn )Sn∗ .
Consider the commutative diagram:
⊆

⊆

Sn = R[t1 , . . . , tn ](m,t1 ,...,tn ) −−−−→ Sn∗ = R∗ [[t1 , . . . , tn ]] −−−−→ Sn∗ [1/y]




λ0 , ∼
=y
λy
ϕ0

⊆

α

R∗

R −−−−→ Rn = R[τ1 , . . . , τn ](m,τ1 ,...,τn ) −−−−→

−−−−→ R∗ [1/y].

∗
Let Sn+1
denote the In+1 -adic completion of Sn+1 , where In+1 := (y, t1 , . . . , tn+1 )Sn+1 .
∗
For each element a ∈ y 2 Sn+1
, we have
∗
Sn+1
= Sn∗ [[tn+1 ]] = Sn∗ [[tn+1 − a]].

(3.9.1)

∗
Let λa : Sn+1
→ R∗ denote the composition
∗
= Sn∗ [[tn+1 ]] −−−−→
Sn+1

∗
Sn
[[tn+1 ]]
(tn+1 −a)

λ

= Sn∗ −−−−→ R∗ ,

∗
and let τa := λa (tn+1 ) = λa (a). We have ker λa = (pn , tn+1 − a)Sn+1
. Consider
the commutative diagram
⊆

λ0 ,
⊆

Sn −−−−→

∼
=
y
ϕ0

⊆

∗
∗
Sn∗ −−−−→ Sn+1
−−−−→ Sn+1
[1/y]






λa y
λy
y
=

R −−−−→ Rn −−−−→ R∗ −−−−→ R∗

−−−−→ R∗ [1/y].

Diagram 3.9.2
Let
∗
∗
| P ∗ ∩Sn+1 = P, y ∈
/ P and P ∗ is minimal over (P, pn )Sn+1
}.
U := {P ∗ ∈ Spec Sn+1

Notice that y ∈
/ P ∗ for each P ∗ ∈ U, since y ∈ R implies λa (y) = y.
Theorem 3.10. With the notation of Setting 3.9, the elements τ1 , . . . , τn , τa are
S
primarily limit-intersecting in y over R if and only if tn+1 − a ∈
/ {P ∗ | P ∗ ∈ U}.
Proof. Assume that τ1 , . . . , τn , τa are primarily limit-intersecting in y over R. Then
τ1 , . . . , τn , τa are algebraically independent over R. Consider the following commutative diagram:
⊆

⊆

R −−−−→

∗
Sn+1 = R[t1 , . . . , tn+1 ](m,t1 ,...,tn+1 ) −−−−→ Sn+1
= R∗ [[t1 , . . . , tn+1 ]]




λa y
λ1 y

Rn+1 = R[τ1 , . . . , τa ](m,τ1 ,...,τa )

−−−−→

R∗ .

14

WILLIAM HEINZER, CHRISTEL ROTTHAUS, AND SYLVIA WIEGAND

Diagram 3.10.0
The map λ1 is the restriction of λa to Sn+1 , and is an isomorphism since τ1 , . . . , τn , τa
are algebraically independent over R.
If tn+1 −a ∈ P ∗ for some P ∗ ∈ U, we prove that ϕ : Rn+1 → R∗ [1/y] is not flat, a
contradiction to our assumption that τ1 , . . . , τn , τa are primarily limit-intersecting.
Since P ∗ ∈ U, we have pn ⊂ P ∗ . Then tn+1 − a ∈ P ∗ implies ker λa ⊂ P ∗ . Let
∗
∗
∗
∗
∗
λa (P ∗ ) := Q∗ . Then λ−1
a (Q ) = P and ht P = n + 1 + ht Q . Since P ∈ U,
we have y ∈
/ P ∗ . The commutativity of Diagram 3.10.0 implies that y ∈
/ Q∗ .
Let P := P ∗ ∩ Sn+1 and let Q := Q∗ ∩ Rn+1 . Commutativity of Diagram 3.10.0
and λ0 an isomorphism imply that ht P = ht Q. Since P ∗ is a minimal prime
∗
∗
of (P, pn )Sn+1
, pn is n-generated, and Sn+1
is Noetherian and catenary, we have
ht P ∗ ≤ ht P + n. Hence ht P ≥ ht P ∗ − n. Thus
ht Q = ht P ≥ ht P ∗ − n = ht Q∗ + n + 1 − n = ht Q∗ + 1.
The fact that ht Q > ht Q∗ implies that the map Rn+1 → R∗ [1/y] is not flat. This
proves the forward direction.
For the converse, we have
Assumption 3.10.1:

tn+1 − a ∈
/

S

{ P ∗ | P ∗ ∈ U }.

∗
Since λa : Sn+1
→ R∗ is an extension of λ : Sn∗ → R∗ as in Diagram 3.9.2, we have
∗
∗
. As in Equation 3.9.1,
= (tn+1 −τa )Sn+1
ker λa ∩Sn = (0). Let p := (tn+1 −a)Sn+1

we have
∗
Sn+1
= R∗ [[t1 , . . . , tn+1 ]] = R∗ [[t1 − τ1 , . . . , tn − τn , tn+1 − a]].
∗
is a prime ideal of height n+1 and P ∗ ∩R∗ = (0). It follows
Thus P ∗ := (pn , p)Sn+1
that y ∈
/ P ∗ . We show that P ∗ ∩ Sn+1 = (0). Assume that P = P ∗ ∩ Sn+1 6= (0).
∗
, and so P ∗ ∈ U, a contradiction
Since ht P ∗ = n+1, P ∗ is minimal over (P, pn )Sn+1

to Assumption 3.10.1. Therefore P ∗ ∩ Sn+1 = (0). It follows that p ∩ Sn+1 = (0)
since p ⊂ P ∗ . Thus ker λ1 = (0), and so λ1 in Diagram 3.10.0 is an isomorphism.
Therefore τa is algebraically independent over Rn .
Since R is excellent and Rn+1 is a localized polynomial ring in n + 1 variables
over R, the hypotheses of Corollary 3.2 are satisfied for the composition
R ֒→ Rn+1 ֒→ R∗ [1/y].
It follows that the elements τ1 , . . . , τn , τa are primarily limit-intersecting in y over
R if, for every Q∗ ∈ Spec R∗ with y ∈
/ Q∗ , we have ht(Q∗ ∩ Rn+1 ) ≤ ht Q∗ . Thus, to
complete the proof of Theorem 3.10 with τn+1 = τa , it suffices to prove Claim 3.11.
Claim 3.11. Let Q∗ ∈ Spec R∗ with y ∈
/ Q∗ and ht Q∗ = r. Then
ht(Q∗ ∩ Rn+1 ) ≤ r.

EXCELLENT NORMAL DOMAINS AND KRULL DOMAINS

15

Proof of Claim 3.11. Let Q1 := Q∗ ∩ Rn+1 and let Q0 := Q∗ ∩ Rn . Suppose
ht Q1 > r. Notice that r < d, since d = dim R∗ and y ∈
/ Q∗ .
Since τ1 , . . . , τn are primarily limit-intersecting in y over R, the extension
Rn := R[τ1 , . . . , τn ](m,τ1 ,...,τn ) ֒→ R∗ [1/y]
from Diagram 3.9.2 is flat. Thus ht Q0 ≤ r and ht Q0 ≤ ht L∗ for every prime
ideal L∗ of R∗ with Q0 R∗ ⊆ L∗ ⊆ Q∗ . Since Rn+1 is a localized polynomial ring
in the indeterminate τa over Rn , we have that ht Q1 ≤ ht Q0 + 1 = r + 1. Thus
ht Q1 = r + 1 and ht Q0 = r. It follows that Q∗ is a minimal prime of Q0 R∗ .
Let h(τa ) ∈ Rn [τa ] = Rn+1 be a polynomial in the variable τa over the ring Rn
such that
h(τa ) ∈ (Q∗ ∩ Rn [τa ]) \ (Q∗ ∩ Rn )Rn+1 .
It follows that Q1 is a minimal prime of the ideal (Q0 , h(τa ))Rn+1 .
With notation from Diagram 3.9.2, define
−1
∗
P0 := λ−1
(Q∗ ).
0 (Q0 ) and P0 := λ

Since λ0 is an isomorphism, P0 is a prime ideal of Sn with ht P0 = r. Moreover, we
have the following:
(1) P0∗ ∩ Sn = P0 (by commutativity in Diagram 3.9.2),
(2) y ∈
/ P0∗ (by item 1),
(3) P0∗ is a minimal prime of (P0 , pn )Sn∗ (since Sn∗ /pn = R∗ in Diagram 3.9.2,
and Q∗ is a minimal prime of Q0 R∗ ),
(4) ht P0∗ = n+r (by the correspondence between prime ideals of Sn∗ containing
pn and prime ideals of R∗ ).
Consider the commutative diagram below with the left and right ends identified:
∗
Sn+1
←−−−−


λa y

R∗

θ

∗
Sn∗ ←−−−− Sn −−−−→ Sn+1 −−−−→ Sn+1








λ1 ,∼
λ0 ,∼
λa y
=y
=y
λy

←−−−− R∗ ←−−−− Rn −−−−→ Rn+1 −−−−→ R∗ ,
Diagram 3.11.0

where λ, λ0 and λ1 are as in Diagrams 3.9.2 and 3.10.0, and so λa restricted to Sn∗
is λ. Let h(tn+1 ) = λ−1
1 (h(τa )) and set
∗
∗
P1 := λ−1
:= λa−1 (Q∗ ) ∈ Spec(Sn+1
).
1 (Q1 ) ∈ Spec(Sn+1 ), and P

Then P1 is a minimal prime of (P0 , h(tn+1 ))Sn+1 , since Q1 is a minimal prime
∗
of (Q0 , h(τa ))Rn+1 . Since Q1 ⊆ Q∗ , we have h(tn+1 ) ∈ P ∗ and P1 Sn+1
⊆ P∗
because λa (h(tn+1 )) = λ1 (h(tn+1 )) = h(τa ) ∈ Q1 and λa (P1 ) = λ1 (P1 ) = Q1 . By
∗
the correspondence between prime ideals of Sn+1
containing ker(λa ) = pn+1 and

16

WILLIAM HEINZER, CHRISTEL ROTTHAUS, AND SYLVIA WIEGAND

prime ideals of R∗ , we see
ht P ∗ = ht Q∗ + n + 1 = r + n + 1.
∗
Since λa (P0∗ ) ⊆ Q∗ , we have P0∗ ⊆ P ∗ , but h(tn+1 ) ∈
/ P0 implies h(tn+1 ) ∈
/ P0∗ Sn+1
.

Therefore
∗
∗
∗
(P0 , pn )Sn+1
⊆ P0∗ Sn+1
( (P0∗ , h(tn+1 ))Sn+1
⊆ P ∗.

By items 3 and 4 above, ht P0∗ = n + r and P0∗ is a minimal prime of (P0 , pn )Sn∗ .
∗
Since ht P ∗ = n+r+1, it follows that P ∗ is a minimal prime of (P0 , h(tn+1 ), pn )Sn+1
.
∗
∗
Since (P0 , h(tn+1 ), pn )Sn+1
⊆ (P1 , pn )Sn+1
⊆ P ∗ , we have P ∗ is a minimal prime
∗
of (P1 , pn )Sn+1
. But then, by Assumption 3.10.1 on U, we have tn+1 − a ∈
/ P ∗, a

contradiction. This contradiction implies that ht Q1 = r.
This completes the proof of Claim 3.11 and thus the proof of Theorem 3.10. 
We use Theorem 3.8, Theorem 3.10 and Lemma 3.3 to prove in Theorem 3.12
the existence over a countable excellent normal local domain of dimension at least
two of an infinite sequence of primarily limit-intersecting elements.
Theorem 3.12. Let R be a countable excellent normal local domain of dimension
d ≥ 2, let y be a nonzero element in the maximal ideal m of R, and let R∗ be the
(y)-adic completion of R. Let n be a positive integer. Then
(1) If the elements τ1 , . . . , τn ∈ yR∗ are primarily limit-intersecting in y over R,
then there exists an element τa ∈ yR∗ such that τ1 , . . . , τn , τa are primarily
limit-intersecting in y over R.
(2) There exists an infinite sequence τ1 , . . . , τn , . . . ∈ yR∗ of elements that are
primarily limit-intersecting in y over R.
Proof. By Definition 1.5, item 1 implies item 2; thus it suffices to prove item 1.
Theorem 3.8 implies the existence of an element τ1 ∈ yR∗ that is primarily limitintersecting in y over R. As in Setting 3.9, let
∗
∗
U := {P ∗ ∈ Spec Sn+1
| P ∗ ∩Sn+1 = P, y ∈
/ P and P ∗ is minimal over (P, pn )Sn+1
}.

Since the ring Sn+1 is countable and Noetherian, the set U is countable. Lemma 3.3
∗
implies that there exists an element a ∈ y 2 Sn+1
such that
[
tn+1 − a ∈
/
{P ∗ | P ∗ ∈ U}.

By Theorem 3.10, the elements τ1 , . . . , τn , τa are primarily limit-intersecting in y
over R.

Normal Noetherian domains that are not excellent.

EXCELLENT NORMAL DOMAINS AND KRULL DOMAINS

17

Using Theorem 3.8, we establish in Theorem 3.13, for every countable excellent
normal local domain R of dimension d ≥ 2, the existence of a primarily limitintersecting element η ∈ yR∗ such that the constructed Noetherian domain
B = A = R∗ ∩ Q(R[η])
is not a Nagata domain and hence is not excellent.3
Theorem 3.13. Let R be a countable excellent normal local domain of dimension
d ≥ 2, let y be a nonzero element in the maximal ideal m of R, and let R∗ be the
(y)-adic completion of R. There exists an element η ∈ yR∗ such that
(1) η is primarily limit-intersecting in y over R.
(2) The associated intersection domain A := R∗ ∩ Q(R[η]) is equal to its approximation domain B.
(3) The ring A has a height-one prime ideal p such that R∗ /pR∗ is not reduced.
Thus the integral domain A = B associated to η is a normal Noetherian local
domain that is not a Nagata domain and hence is not excellent.
Proof. Since dim R ≥ 2, there exists x ∈ m such that ht(x, y)R = 2. By Theorem 3.8, there exists τ ∈ yR∗ such that τ is primarily limit-intersecting in y over
R. Hence the extension R[τ ] −→ R∗ [1/y] is flat. Let n ∈ N with n ≥ 2, and let
η := (x + τ )n . Since τ is algebraically independent over R, the element η is also
algebraically independent over R. Moreover, the polynomial ring R[τ ] is a free R[η]module with 1, τ, . . . , τ n−1 as a free module basis. Hence the map R[η] −→ R∗ [1/y]
is flat. It follows that η is primarily limit-intersecting in y over R. Therefore the
intersection domain A := R∗ ∩ Q(R[η]) is equal to its associated approximation
domain B and is a normal Noetherian domain with (y)-adic completion R∗ . Since
η is a prime element of the polynomial ring R[η] and B[1/y] is a localization of
R[η], it follows that p := ηB is a height-one prime ideal of B. Since τ ∈ R∗ , and
b=B
b
η = (x + τ )n , the ring R∗ /pR∗ contains nonzero nilpotent elements. Since R
b B
b has nonzero nilpotent elements.
is faithfully flat over R∗ , it follows that B/p
Since a Nagata local domain is analytically unramified, it follows that the normal
Noetherian domain B is not a Nagata ring, [6, page 264] or [8, (32.2)].



4. Other results and examples using the construction
We use the following notation for the beginning of this section, and make several
remarks concerning properties of and relationships among the integral domains
being considered.
3“Nagata” is defined after Question 1.2; see also [4, Definitions 2.3.1, 3.28], [6, pages 264, 260].

18

WILLIAM HEINZER, CHRISTEL ROTTHAUS, AND SYLVIA WIEGAND

Notation and Remarks 4.1. Let k be a field, let x and y be indeterminates over
k, and let
∞
X

σ :=

ai xi ∈ xk[[x]]

and

τ :=

∞
X

bi y i ∈ yk[[y]]

i=1

i=1

be formal power series that are algebraically independent over the fields k(x) and
k(y), respectively. Let R := k[x, y](x,y) , and let σn , τn be the nth endpieces of σ, τ
respectively. Define

Cn := k[x, σn ](x,σn ) ,
Dn := k[y, τn ](y,τn ) ,
(4.1.0)

Un := k[x, y, σn , τn ],

C := k(x, σ) ∩ k[[x]] = lim(Cn ) =
−→
D := k(y, τ ) ∩ k[[y]] = lim(Dn ) =
−→
U := lim Un =
−→

Bn := k[x, y, σn , τn ](x,y,σn ,τn )

∞
[

∞
[

Cn ;

n=1
∞
[

Dn ;

n=1

Un ;

n=1

B := lim(Bn ) =
−→

∞
[

Bn ;

n=1

A := k(x, y, σ, τ ) ∩ k[[x, y]].
Since k[[x, y]] is the (x, y)-adic completion of the Noetherian ring R, the ring
b is faithfully flat over R. Hence we have
k[[x, y]] = R
(x, y)n k[[x, y]] ∩ R = (x, y)n R

for each n ∈ N.
The relationships
σn = −xan+1 + xσn+1

and τn = −ybn+1 + yτn+1

among the endpieces imply for each positive integer n the inclusions
Cn ⊂ Cn+1 ,

Dn ⊂ Dn+1 ,

and

Bn ⊂ Bn+1 .

Moreover, for each of these inclusions we have birational domination of the larger
local ring over the smaller, and the local rings Cn , Dn , Bn are all dominated by
b
k[[x, y]] = R.
Since (x, y, σn , τn )Un is a maximal ideal of Un that is contained in (x, y)U , a

proper ideal of U , it follows that (x, y)U ∩ Un = (x, y, σn , τn )Un . Since Bn is the
localization of the polynomial ring Un at the maximal ideal (x, y, σn , τn )Un , we
have (x, y)B ∩ Bn = (x, y, σn , τn )B for each n ∈ N.
1
1
] and τn+1 ∈ Un [ y1 ] ⊆ Un [ xy
], for each n ∈ N.
We have σn+1 ∈ Un [ x1 ] ⊆ Un [ xy
1
1
1
1
], and U ⊆ Un [ xy
], and Un [ xy
] = U [ xy
].
Hence Un+1 ⊆ Un [ xy

EXCELLENT NORMAL DOMAINS AND KRULL DOMAINS

19

The rings C and D are rank-one discrete valuation domains that are directed
unions of two-dimensional regular local domains. Each of the rings Bn is a fourdimensional regular local domain that is a localized polynomial ring over the field k.
Thus B is the directed union of a chain of four-dimensional regular local domains.
Theorem 4.2. Assume the setting of Notation 4.1. Then the ring A is a twodimensional regular local domain that birationally dominates the ring B; A has
b = k[[x, y]]. Moreover we have:
maximal ideal (x, y)A and completion A
(1) The rings U and B are UFDs,

(2) B is a local Krull domain with maximal ideal n = (x, y)B,
(3) The dimension of B is either 2 or 3, depending on the choice of σ and τ ,
(4) B is Hausdorff in the topology defined by the powers of n,
b of B is canonically isomorphic to k[[x, y]], and
(5) The n-adic completion B

(6) The following statements are equivalent:

(a) B = A.
(b) B is a two-dimensional regular local domain.
(c) B is Noetherian.
(d) Every finitely generated ideal of B is closed in the n-adic topology on
B.
(e) Every principal ideal of B is closed in the n-adic topology on B.
Proof. The assertions about A follow from a theorem of Valabrega [12]; see [4,
Proposition 4.13]. Since U0 has field of fractions k(x, y, σ, τ ) = Q(A) and U0 ⊆
B ⊆ A, the extension B ֒→ A is birational. Since B is the directed union of the
four-dimensional regular local domains Bn and (x, y)B ∩ Bn = (x, y, σn , τn )B for
each n ∈ N, we see that B is local with maximal ideal n = (x, y)B. Since B and A
are both dominated by k[[x, y]], it follows that A dominates B.
To prove that U and B are UFDs, we use that Un is a polynomial ring over a
1
1
1
] = U [ xy
]. Hence the ring U [ xy
] is a UFD. For each n ∈ N, the
field and Un [ xy
principal ideals xUn and yUn are prime ideals in the polynomial ring Un . Therefore

xU and yU are principal prime ideals of U . Moreover, UxU = BxB and UyU = ByB
are DVRs since each is the contraction to the field k(x, y, σ, τ ) of the (x)-adic or
the (y)-adic valuations of k[[x, y]]. A theorem of Nagata [9, Theorem 6.3, p. 21]
implies that U is a UFD; see also [4, Theorem 2.9 and Fact 2.11]. Since B is a
localization of U , the ring B is a UFD. This completes the proof of items 1 and 2.
n
Since B is dominated by k[[x, y]], the intersection ∩∞
n=1 n = (0), and so B is
Hausdorff in the topology defined by the powers of n. We have local injective maps
b and for each positive integer n, we have mn B = nn , mn R
b =m
bn
R ֒→ B ֒→ R,
n
n
n
n
n
b
b = R/
b m
b ∩ R = m . Since the natural map R/m → R/m
b is an
and m
R
isomorphism, the map R/mn → B/mn B = B/nn is injective and the map B/nn →

20

WILLIAM HEINZER, CHRISTEL ROTTHAUS, AND SYLVIA WIEGAND

b nR
b = R/
b m
b n is surjective. Since B/nn has finite length as an R-module, it
R/n
b m
b=R
b = k[[x, y]].
b n for each n ∈ N and hence B
follows that R/mn ∼
= R/
= B/nn ∼

Notice that B is a birational extension of the three-dimensional Noetherian domain

C[y, τ ]. The dimension of B is at most 3 by a theorem of Cohen, [6, Theorem 15.5]
or [4, Theorem 2.9]. This completes the proof of items 3, 4 and 5.
For item 6, since A is a two-dimensional regular local ring, (a) =⇒ (b). Clearly
(b) =⇒ (c). Since B is local by item 2, and since the completion of a Noetherian
local ring is a faithfully flat extension, we have (c) =⇒ (d). It is clear that
(d) =⇒ (e). To complete the proof of Theorem 4.2, it suffices to show that
(e) =⇒ (a). Since A birationally dominates B, we have B = A if and only if
bA ∩ B = bB for every element b ∈ n. The principal ideal bB is closed in the n-adic
b ∩ B. Also B
b=A
b and bA = bA
b ∩ A, for every
topology on B if and only if bB = bB
b ∈ B. Thus (e) implies, for every b ∈ B,

b ∩ B = bA
b ∩ B = bA
b ∩ A ∩ B = bA ∩ B,
bB = bB

and so B = A. This completes the proof of Theorem 4.2.



Depending on the choice of σ and τ , the ring B may fail to be Noetherian.
Example 4.3 shows that in the setting of Theorem 4.2 the ring B can be strictly
smaller than A := k(x, y, σ, τ ) ∩ k[[x, y]].
Example 4.3. Using the setting of Notation 4.1, let τ ∈ k[[y]] be defined to be
σ(y), that is, set bi := ai for every i ∈ N. We then have that θ :=

σ−τ
x−y

∈ A. Indeed,

σ − τ = a1 (x − y) + a2 (x2 − y 2 ) + · · · + an (xn − y n ) + · · · ,
and so θ =

σ−τ
x−y

∈ k[[x, y]] ∩ k(x, y, σ, τ ) = A. As a specific example, one may take

k := Q and set σ := ex − 1 and τ := ey − 1. The ring B is a localization of the ring
S
U := n∈N k[x, y, σn , τn ].
Claim 4.4. The element θ is not in B.
Proof. If θ is an element of B, then
σ − τ ∈ (x − y)B ∩ U = (x − y)U.
Let S := k[x, y, σ, τ ] and let Un := k[x, y, σn , τn ] for each positive integer n. We
have
[
1
U =
Un ⊆ S[ ] ⊂ S(x−y)S ,
xy
n∈N

where the last inclusion is because xy 6∈ (x − y)S. Thus θ ∈ B implies that
σ − τ ∈ (x − y)S(x−y)S ∩ S = (x − y)S,
but this contradicts the fact that x, y, σ, τ are algebraically independent over k, and
thus S is a polynomial ring over k in x, y, σ, τ .



EXCELLENT NORMAL DOMAINS AND KRULL DOMAINS

21

σ−τ
x−y

6∈ B, and so B ( A and (x−y)B ( (x−y)A∩B. Since an ideal of
b and
B is closed in the n-adic topology if and only if the ideal is contracted from B
b = A,
b the principal ideal (x − y)B is not closed in the n-adic topology on
since B
Therefore

B. Using Theorem 4.2, we conclude that B is a non-Noetherian three-dimensional

local Krull domain having a two-generated maximal ideal such that B birationally
dominates a four-dimensional regular local domain. In this connection, also see [4,
Example 8.11].
The setting of (4.1) is balanced in x and y in the sense that the roles of x and y
are interchangeable. A more truly iterative process is described in Setting 4.5.
Setting 4.5. Let k be a field, let x be an indeterminate over k, and let
σ :=

∞
X

ai xi ∈ k[[x]]

with each

ai ∈ k

i=1

be a formal power series that is algebraically independent over the field k(x). As
in Example 2.1, let σn be the nth endpiece of σ and define
Cn := k[x, σn ](x,σn )

and

C := k(x, σ) ∩ k[[x]] = lim(Cn ) =
−→

∞
[

Cn .

n=1

Let y be an indeterminate over C and let
τ :=

∞
X

bi y i ∈ C[[y]]

with each

bi ∈ C

i=1

be a formal power series that is algebraically independent over C[y]. Notice that as
a special case we may have each bi ∈ k. Let τn be the nth endpiece of τ and define
Un := k[x, y, σn , τn ],

(4.5.0)

U := lim Un =
−→

Bn := k[x, y, σn , τn ](x,y,σn ,τn )
Dn := C[y, τn ](x,y,,τn)

∞
[

Un ;

n=1

B := lim(Bn ) =
−→

D := lim(Dn ) =
−→

∞
[

∞
[

Bn ;

n=1

Dn ;

n=1

A := k(x, y, σ, τ ) ∩ k[[x, y]].
Notice that each Un ⊂ k[[x, y]] and Un is a polynomial ring in x, y, σn , τn over the
field k. Since C ⊂ B, we have B = D.
Remark 4.6. Let the notation be as in Setting 4.5. For certain choices of σ and
τ , the ring B is Noetherian with B = A. Let k be the field Q of rational numbers.
Thus R := Q[x, y](x,y) is the localized polynomial ring in the variables x and y,
b of R with respect to its maximal ideal m := (x, y)R is
and the completion R
b
R = Q[[x, y]], the formal power series ring in x and y. Let σ := ex − 1 ∈ Q[[x]],

22

WILLIAM HEINZER, CHRISTEL ROTTHAUS, AND SYLVIA WIEGAND

and C := Q[[x]] ∩ Q(x, σ). Thus C is an excellent DVR with maximal ideal xC,
and T := C[y](x,y)C[y]) is an excellent countable two-dimensional regular local ring
with maximal ideal (x, y)T and with (y)−adic completion C[[y]]. The UFD C[[y]]
has maximal ideal n = (x, y). Since T is countable, Theorem 3.8 implies that there
exists τ ∈ C[[y]] that is primarily limit-intersecting in y over R. Hence for this
choice of σ ∈ Q[[x]] and τ ∈ C[[y]], we have A = Q(x, y, σ, τ ) ∩ C[[y]] is Noetherian
and equal to its approximation domain D = B.
To fit the setting of Notation 4.1 with k = Q, one wants τ ∈ Q[[y]] rather
than τ ∈ C[[y]]. An example with this more restrictive property is given in [4,
Example 7.15].
Weakly flat extensions that are not flat.
Let d be an integer with d ≥ 2. We obtain in Theorem 4.7 extensions that satisfy
LFd−1 but do not satisfy LFd ; see Definition 2.7.3. Thus we obtain examples where
the intersection domain A is equal to its approximation domain B, but A is not
Noetherian.
Theorem 4.7. Let (R, m) be a countable excellent normal local domain. Assume
that dim R = d + 1 ≥ 3, that (x1 , . . . , xd , y)R is an m-primary ideal, and that R∗ is
the (y)-adic completion of R. Then there exists f ∈ yR∗ such that f is algebraically
independent over R and the map ϕ : R[f ] −→ R∗ [1/y] is weakly flat but not flat.
Indeed, ϕ satisfies LFd−1 , but fails to satisfy LFd . Thus the intersection domain
A := Q(R[f ])∩R∗ is equal to its approximation domain B, but A is not Noetherian.
Proof. By Theorem 3.12, there exist elements τ1 , . . . , τd ∈ yR∗ that are primarily
limit-intersecting in y over R. Let
f := x1 τ1 + · · · + xd τd .
Using that τ1 , . . . , τd are algebraically independent over R, we regard f as a polynomial in the polynomial ring T := R[τ1 , . . . , τd ]. Let S := R[f ]. For Q ∈ Spec R∗ [1/y]
and P := Q ∩ T , consider the composition ϕQ
S −→ TP −→ R∗ [1/y]Q .
Since τ1 , . . . , τd are primarily limit-intersecting in y over R, the map T ֒→ R∗ [1/y]
is flat. Thus the map ϕQ is flat if and only if the map S −→ TP is flat. Let
p := P ∩ R.
Assume that P is a minimal prime of (x1 , . . . , xd )T . Then p is a minimal prime
of (x1 , . . . , xd )R. Since T is a polynomial ring over R, we have P = pT and
ht(p) = d = ht P . Notice that (p, f )S = P ∩ S and ht(p, f )S = d + 1. Since a flat
extension satisfies the going-down property, the map S −→ TP is not flat. Hence
ϕ does not satisfy LFd .

EXCELLENT NORMAL DOMAINS AND KRULL DOMAINS

23

Assume that ht P ≤ d − 1. Then (x1 , . . . , xd )T is not contained in P . Hence
(x1 , . . . , xd )R is not contained in p. Consider the sequence
ψ

S = R[f ] ֒→ Rp [f ] −→ Rp [τ1 , . . . , τd ] ֒→ TP ,
where the first and last injections are localizations. Since the nonconstant coefficients of f generate the unit ideal of Rp , the map ψ is flat; see [4, Theorem 11.20].
Thus ϕ satisfies LFd−1 .
We conclude that the intersection domain A = R∗ ∩ Q(R[f ]) is equal to its
approximation domain B and is not Noetherian.



We describe a specific example of Theorem 4.7:
Example 4.8. Let d be an integer with d ≥ 2 and let x1 , . . . , xd , y be indeterminates over a countable field k. Let R be the localized polynomial ring in the
variables x1 , . . . , xd , y and let R∗ be the (y)-adic completion of R. Thus
R = k[x1 , . . . , xd , y](x1 ,...,xd ,y)

and

R∗ = k[x1 , . . . , xd ](x1 ,...,xd ) [[y]].

As in Theorem 4.7, there exist elements τ1 , . . . , τd ∈ yR∗ that are primarily limitintersecting in y over R, and we consider f := x1 τ1 + · · · + xd τd . By Theorem 4.7,
the map S −→ R∗ [1/y] satisfies LFd−1 , but does not satisfy LFd . Thus the intersection domain A = R∗ ∩ Q(R[f ]) is equal to its approximation domain B and is
not Noetherian.
References
[1] S. Abhyankar, Two notes on formal power series, Proc. Amer. Math. Soc. 7 (1956)
903-905.
[2] Y. Akizuki, Einige Bemerkungen über primäre Integritatsbereiche mit Teilerkettensatz,
Proc. Phys-Math. Soc. Japan 17 (1935), 327-336.
[3] L. Burch, Codimension and analytic spread, Proc. Cambridge Philos. Soc. 72 (1972)
369-373.
[4] W. Heinzer, C. Rotthaus and S. Wiegand, Power series over Noetherian rings, book in
progress.
[5] G. Leuschke and R. Wiegand, Cohen-Macaulay representations, Mathematical Surveys
and Monographs, 181. American Mathematical Society, Providence, RI, 2012.
[6] H. Matsumura, Commutative ring theory, Cambridge Univ. Press, Cambridge, 1989.
[7] M. Nagata, An example of a normal local ring which is analytically reducible, Mem.
Coll. Sci., Univ. Kyoto 31 (1958) 83-85.
[8] M. Nagata, Local Rings, John Wiley, New York, 1962.
[9] P. Samuel, Unique Factorization Domains, Tata Inst. of Fundamental Research, Bombay (1964).
[10] F.K. Schmidt, Über die Erhaltung der Kettensätze der Idealtheorie bei beliebigen
endlichen Körpererweiterungen, Math. Z. 41 (1936), 443-450.
[11] R. Y. Sharp and P. Vamos, Baire’s category theorem and prime avoidance in complete
local rings, Arch. Math. 44 (1985) 243-248.
[12] P. Valabrega, On two-dimensional regular local rings and a lifting problem, Annali della
Scuola Normale Superiore di Pisa 27 (1973) 1-21.
[13] R. Wiegand and S. Wiegand, The maximal ideal space of a Noetherian ring, J. Pure
Appl. Algebra 8, (1976) 129-141.

24

WILLIAM HEINZER, CHRISTEL ROTTHAUS, AND SYLVIA WIEGAND

Department of Mathematics, Purdue University, West Lafayette, Indiana 47907
E-mail address: heinzer@math.purdue.edu
Department of Mathematics, Michigan State University, East Lansing, MI 48824-1027
E-mail address: rotthaus@math.msu.edu
Department of Mathematics, University of Nebraska, Lincoln, NE 68588-0130
E-mail address: swiegand@math.unl.edu

