Formal Fibers of Unique Factorization Domains

Boocher, Adam ; Daub, Michael ; Johnson, Ryan K.

Canadian journal of mathematics, Tome 62 (2010) no. 4, pp. 721-736

Résumé

Let $\left( T,\,M \right)$ be a complete local (Noetherian) ring such that $\dim\,T\,\ge \,2$ and $\left| T \right|\,=\,\left| T/M \right|$ and let ${{\left\{ {{p}_{i}} \right\}}_{i\in \Im }}$ be a collection of elements of $T$ indexed by a set $\mathcal{J}$ so that $\left| \mathcal{J} \right|\,<\,\left| T \right|$ . For each $i\,\in \,\mathcal{J}$ , let ${{C}_{i}}:=\left\{ {{Q}_{i1}},...,{{Q}_{i{{n}_{i}}}} \right\}$ be a set of nonmaximal prime ideals containing ${{p}_{i}}$ such that the ${{Q}_{ij}}$ are incomparable and ${{p}_{i}}\in {{Q}_{jk}}$ if and only if $i\,=\,j$ . We provide necessary and sufficient conditions so that $T$ is the $\mathbf{m}$ -adic completion of a local unique factorization domain $\left( A,\,\mathbf{m} \right)$ , and for each $i\,\in \,\mathcal{J}$ , there exists a unit ${{t}_{i}}$ of $T$ so that ${{p}_{i}}{{t}_{i}}\in A$ and ${{C}_{i}}$ is the set of prime ideals $Q$ of $T$ that are maximal with respect to the condition that $Q\cap A={{p}_{i}}{{t}_{i}}A$ .We then use this result to construct a (nonexcellent) unique factorization domain containing many ideals for which tight closure and completion do not commute. As another application, we construct a unique factorization domain $A$ most of whose formal fibers are geometrically regular.

Détail

DOI : 10.4153/CJM-2010-014-6

Mots-clés : 13J10, 13J05

Bibliographie

[1] [1] Bryk, J., Mapes, S., Samuels, C., and G.Wang, Constructing almost excellent unique factorization domains. Comm. Algebra 33(2005), no. 5, 1321–1336. doi:10.1081/AGB-200058363 Google Scholar

[2] [2] Charters, P. and Loepp, S., Semilocal generic formal fibers. J. Algebra 278(2004), no. 1, 370–382. doi:10.1016/j.jalgebra.2004.01.011 Google Scholar

[3] [3] Chatlos, J., Simanek, B., Watson, N. G., and S. X., Wu. Semilocal formal fibers of principal prime ideals. http//front.math.ucdavis.edu/0911.4196. Google Scholar

[4] [4] Heitmann, R. C., Characterization of completions of unique factorization domains. Trans. Amer. Math. Soc. 337(1993), no. 1, 379–387. doi:10.2307/2154327 Google Scholar

[5] [5] Heitmann, R. C., Completions of local rings with an isolated singularity. J. Algebra 163(1994), no. 2, 538–567. doi:10.1006/jabr.1994.1031 Google Scholar

[6] [6] Huneke, C., Tight Closure and Its Applications. With an appendix by Melvin Hochster. CB MS Regional Conference Series in Mathematics 88. American Mathematical Society, Providence, RI, 1996. Google Scholar

[7] [7] Lipman, J., Rational singularities, with applications to algebraic surfaces and unique factorization. Inst. Hautes Études Sci. Publ. Math. (1969), No. 36, 195–279. Google Scholar

[8] [8] Loepp, S., Constructing local generic formal fibers. J. Algebra 187(1997), no. 1, 16–38. doi:10.1006/jabr.1997.6768 Google Scholar

[9] [9] Loepp, S., Characterization of completions of excellent domains of characteristic zero. J. Algebra 265(2003), no. 1, 221–228. doi:10.1016/S0021-8693(03)00239-4 Google Scholar

[10] [10] Loepp, S. and Rotthaus, C., Some results on tight closure and completion. J. Algebra 246(2001), no. 2, 859–880. doi:10.1006/jabr.2001.9006 Google Scholar

[11] [11] Matsumura, H., Commutative Ring Theory. Second edition. Cambridge Studies in Advanced Mathematics 8. Cambridge University Press, Cambridge, 1989. Google Scholar

[12] [12] Sharp, R. Y., Steps in Commutative Algebra. Second edition. London Mathematical Society Student Texts 51. Cambridge University Press, Cambridge, 2000. Google Scholar