Searcharxiv⌕ Search

arXiv subjects

S. Loepp

Publications and source records attributed to S. Loepp.

21 records · Page 2Linked to original sources

Completely Controlling the Dimensions of Formal Fiber Rings at Prime Ideals of Small Height

Let $T$ be a complete equicharacteristic local (Noetherian) UFD of dimension $3$ or greater. Assuming that $|T| = |T/m|$, where $m$ is the maximal ideal of $T$, we construct a local UFD $A$ whose completion is $T$ and whose formal fibers at height one prime ideals have prescribed dimension between zero and the dimension of the generic formal fiber. If, in addition, $T$ is regular and has characteristic zero, we can construct $A$ to be excellent.

math.AC↗

Controlling the Dimensions of Formal Fibers of a Unique Factorization Domain at the Height One Prime Ideals

Let T be a complete local (Noetherian) equidimensional ring with maximal ideal m such that the Krull dimension of T is at least two and the depth of T is at least two. Suppose that no integer of T is a zerodivisor and that |T|=|T/m|. Let d and t be integers such that 1 $\leq$ d $\leq$ dimT-1, 0 $\leq$ t $\leq$ dimT - 1, and d - 1 $\leq$ t. Assume that, for every p in AssT, ht(p) $\leq$ d-1 and that if z is a regular element of T and Q is in Ass(T/zT), then ht(Q) $\leq$ d. We construct a local unique factorization domain A such that the completion of A is T and such that the dimension of the formal fiber ring at every height one prime ideal of A is d - 1 and the dimension of the formal fiber ring of A at (0) is t.

math.AC↗

Semilocal Generic Formal Fibers

Let T be a complete local ring and C a finite set of incomparable prime ideals of T. We find necessary and sufficient conditions for T to be the completion of an integral domain whose generic formal fiber is semilocal with maximal ideals the elements of C. In addition, if char T = 0, we give necessary and sufficient conditions for T to be the completion of an excellent integral domain whose generic formal fiber is semilocal with maximal ideals the elements of C.

math.AC↗