Almost excellent unique factorization domains

2020 
Let ( T , 𝔪 ) be a complete local (Noetherian) domain such that depth T > 1 . In addition, suppose T contains the rationals, | T | = | T ∕ 𝔪 | , and the set of all principal height-1 prime ideals of T has the same cardinality as T . We construct a universally catenary local unique factorization domain A such that the completion of A is T and such that there exist uncountably many height-1 prime ideals 𝔮 of A such that ( T ∕ ( 𝔮 ∩ A ) T ) 𝔮 is a field. Furthermore, in the case where T is a normal domain, we can make A “close” to excellent in the following sense: the formal fiber at every prime ideal of A of height not equal to 1 is geometrically regular, and uncountably many height-1 prime ideals of A have geometrically regular formal fibers.
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    7
    References
    0
    Citations
    NaN
    KQI
    []