×

Formal fibers and complete homomorphic images. (English) Zbl 0794.13005

Let \((R,M)\) be an excellent normal local Henselian domain with completion \(\widehat R\) and field of fractions \({\mathcal Q} (R)\). It is shown that, if \(Q\) is a prime ideal of height \(\geq 2\) in \(R\) such that \(R/Q\) is not complete, then there are infinitely many height one prime ideals \(P \subseteq Q \widehat R\) of \(\widehat R\) with \(P \cap R=0\); in particular, the dimension of the generic formal fiber of \(R\) is at least one. The authors consider connections with the question as to whether excellent Henselian local rings \(R\) have the following property: Whenever \(P\) is a prime ideal of \(\widehat R\) which is maximal in the generic formal fiber of \(R\) it follows that, for all but at most finitely many of the prime ideals \(Q \supseteq P\) in \(\widehat R\), the ring \(R/(Q \cap R)\) is complete. Various examples are discussed in connection with this property.
The second half of the paper concerns excellent normal local Henselian domains \(R\) with zero-dimensional formal fibers. Such an \(R\) has the property that, for any field \(L\) between \({\mathcal Q} (R)\) and \({\mathcal Q} (\widehat R)\), the ring \(L \cap \widehat R\) is a local Noetherian domain which has completion \(\widehat R\).

MSC:

13B02 Extension theory of commutative rings
13B35 Completion of commutative rings
13J15 Henselian rings
13E05 Commutative Noetherian rings and modules
13F25 Formal power series rings
13G05 Integral domains
13H99 Local rings and semilocal rings
13J10 Complete rings, completion
Full Text: DOI

References:

[1] M. André, Cinq exposés sur la desingularisation (in preparation).
[2] M. Artin, Algebraic approximation of structures over complete local rings, Inst. Hautes Études Sci. Publ. Math. 36 (1969), 23 – 58. · Zbl 0181.48802
[3] R. Berger, R. Kiehl, E. Kunz, and Hans-Joachim Nastold, Differentialrechnung in der analytischen Geometrie, Lecture Notes in Mathematics, No. 38, Springer-Verlag, Berlin-New York, 1967 (German). · Zbl 0163.03202
[4] I. S. Cohen, Lengths of prime ideal chains, Amer. J. Math. 76 (1954), 654 – 668. · Zbl 0057.26702 · doi:10.2307/2372708
[5] A. Grothendieck, Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. II, Inst. Hautes Études Sci. Publ. Math. 24 (1965), 231 (French). · Zbl 0135.39701
[6] W. Heinzer and C. Rotthaus, On a certain class of algebraically independent elements (in preparation).
[7] W. Heinzer, C. Rotthaus, and J. Sally, Formal fibers and birational extensions (in preparation). · Zbl 0779.13003
[8] Hideyuki Matsumura, Commutative ring theory, Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge, 1986. Translated from the Japanese by M. Reid. · Zbl 0603.13001
[9] -, On the dimension of formal fibers in a local ring, Algebraic Geometry and Commutative Algebra in Honor of Masayoshi Nagata, Kinokuniya, Tokyo, 1988.
[10] Hideyuki Matsumura, Commutative algebra, 2nd ed., Mathematics Lecture Note Series, vol. 56, Benjamin/Cummings Publishing Co., Inc., Reading, Mass., 1980. · Zbl 0441.13001
[11] Masayoshi Nagata, Local rings, Interscience Tracts in Pure and Applied Mathematics, No. 13, Interscience Publishers a division of John Wiley & Sons New York-London, 1962. · Zbl 0123.03402
[12] Jun-ichi Nishimura, Note on Krull domains, J. Math. Kyoto Univ. 15 (1975), no. 2, 397 – 400. · Zbl 0308.13018
[13] Dorin Popescu, General Néron desingularization, Nagoya Math. J. 100 (1985), 97 – 126. · Zbl 0561.14008
[14] Dorin Popescu, General Néron desingularization and approximation, Nagoya Math. J. 104 (1986), 85 – 115. · Zbl 0592.14014
[15] Christel Rotthaus, On the approximation property of excellent rings, Invent. Math. 88 (1987), no. 1, 39 – 63. · Zbl 0614.13014 · doi:10.1007/BF01405090
[16] Christel Rotthaus, Rings with approximation property, Math. Ann. 287 (1990), no. 3, 455 – 466. · Zbl 0702.13007 · doi:10.1007/BF01446905
[17] Christel Rotthaus, On rings with low-dimensional formal fibres, J. Pure Appl. Algebra 71 (1991), no. 2-3, 287 – 296. · Zbl 0742.13011 · doi:10.1016/0022-4049(91)90152-R
[18] Paolo Valabrega, On two-dimensional regular local rings and a lifting problem, Ann. Scuola Norm. Sup. Pisa (3) 27 (1973), 787 – 807 (1974). · Zbl 0301.13010
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.