Abstract. It is shown that a complete local ring is the completion of a unique factorization domain if and only if it is a field, a discrete valuation ring, or it has depth at least two and no element of its prime ring is a zerodivisor. It is also shown that the Normal Chain Conjecture is false and that there exist local noncatenary UFDs.
In [Ho1], Hochster proved the following results:Theorem (Hochster). If R is a regular Noetherian ring which contains a field and S ⊃ R is a module-finite R-algebra, then R is a direct summand of S as an R-module.Theorem (Hochster). If S is any local ring which contains a field and x 1 , . . . , x n is a system of parameters for S, then for every integer k ≥ 0, (The mixed characteristic case of these results is easy for dim R ≤ 2 but relatively little is known for dim R > 2. The general statements, which are equivalent, became known as the direct summand and monomial conjectures. The principal advance in this subject occurred in Hochster's 1983 article [Ho2] in which he introduced the canonical element conjecture. He demonstrated that this new conjecture was equivalent to the other two both overall and in the case of fixed dimension. He also showed that it was sufficiently strong to imply the validity of a number of other homological conjectures which had been shown to follow from the big Cohen-Macaulay modules conjecture.In this article, we prove a result (Theorem 3.7) which implies the three dimensional case of the direct summand conjecture and so also the three dimensional cases of each of the conjectures that follow from it. As it happens, most of these results also follow from the New Intersection Theorem which was proved by Roberts in the mixed characteristic case [R1]. Two exceptions are the improved new intersection conjecture and the mixed characteristic version of the Evans-Griffith Syzygy Theorem [EG]. These two are now theorems in the three dimensional case. It should also be noted that Hochster [Ho3] has just proved the existence of balanced big Cohen-Macaulay algebras in dimension three -using (3.7) as a key ingredient of the proof.The main result of this article is of independent interest. In [H2], the author introduced several forms of an extended plus closure. These were intended to fill the void due to the absence of a tight closure analog in mixed characteristic. A key property of the tight closure is the colon-capturing property. Theorem 3.7 tells us that the extended plus closures have the colon-capturing property in dimension three, at least for excellent rings. It was shown in [H2] that if any of these new closures had the colon-capturing property, it would follow that the closures would also have a second very desirable property -that all ideals in regular local rings are closed. There is an additional implication concerning the Briançon-Skoda Theorem, proved in the general case by Lipman and Sathaye [LS]. In [H2, p.818], mimicking the tight closure treatment, a generalization of this result was proved for the extended plus closures. Unfortunately, this result is not a true generalization in that it would only imply the original result if ideals in regular rings were closed. This result now does imply the original in the three dimensional case. So Theorem 3.7 goes a long way towards establishing a good closure operation for three dimensional mixed characteristic rings.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.