Chains of Unusual Excellent Local Rings

Let (T,M) be a complete local domain containing the integers. Let p1 \subseteq p2 \subseteq... \subseteq pn be a chain of nonmaximal prime ideals T such that T_pn is a regular local ring. We construct a chain of excellent local domains An \subseteq A1 such that for each i, the completion of Ai is T, the generic formal fiber of Ai is local with maximal ideal pi, and if I is a nonzero ideal of Ai then Ai/I is complete. Consequently, if in addition T is a UFD, then we can construct a chain of excellent local UFDs satisfying the same conditions.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.