Hostname: page-component-586b7cd67f-tf8b9 Total loading time: 0 Render date: 2024-11-25T06:18:13.045Z Has data issue: false hasContentIssue false
  • English
  • Français

Formal fibers and birational extensions

Published online by Cambridge University Press:  22 January 2016

William Heinzer ,
Christel Rotthaus  and
Judith D. Sally
William Heinzer
Affiliation:
Department of Mathematics Purdue University, West Lafayette, IN 47907, USA
Christel Rotthaus
Affiliation:
Department of Mathematics Michigan State University, East Lansing, MI 48824, USA
Judith D. Sally
Affiliation:
Department of Mathematics Northwestern University, Evanston, IL 60201, USA
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Suppose (R, m) is a local Noetherian domain with quotient field K and m-adic completion Ȓ. It is well known that the fibers of the morphism Spec(Ȓ) ₒ Spec(R), i.e., the formal fibers of R, encode important information about the structure of R. Perhaps the most important condition in Grothendieck’s definition of R being excellent is that the formal fibers of R be geometrically regular. Indeed, a local Noetherian ring is excellent provided it is universally catenary and has geometrically regular formal fibers [G, (7.8.3), page 214]. But the structure of the formal fibers of R is often difficult to determine. We are interested here in bringing out the interrelatedness of properties of the generic formal fiber of R with the existence of certain local Noetherian domains C birationally dominating R and having C/mC is a finite R-module.

Type
Research Article
Information
Nagoya Mathematical Journal , Volume 131 , September 1993 , pp. 1 - 38
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1993

References

[B1] Bourbaki, N. Algèbre Commutative, Ch. 3, Hermann, Paris, 1961.Google Scholar
[B1] Bourbaki, N. Algèbre Commutative, Ch. 7, Hermann, Paris, 1965.Google Scholar
[BR] Brodmann, M. and Rotthaus, C., Local rings with bad sets of formal prime divisors, J. Algebra, 75 (1982), pp. 386–394.Google Scholar
[Bu] Burch, Lindsay, Codimension and analytic spread, Proc. Camb. Phil. Soc., 72 (1972), pp. 369–373.CrossRefGoogle Scholar
[G] Grothendieck, A., Élements de Géometric algebrique IV2 , I.H.E.S., Publ. math., 24, 1965.Google Scholar
[HHS] Heinzer, W., Huneke, C., and Sally, J. D., A criterion for spots, J. Math. Kyoto Univ., 26 (1986), pp. 667–671.Google Scholar
[HR1] Heinzer, W. and Rotthaus, C., Formal fibers and complete homomorphic images, Proc. Amer. Math. Soc., to appear.Google Scholar
[HR2] Heinzer, W. and Rotthaus, C., On a certain class of algebraically independent elements, in preparation.Google Scholar
[HS] Heinzer, William and Sally, Judith D., Extensions of valuations to the completion of a local domain, J. Pure Appl. Algebra, 71 (1991), pp. 175–185.CrossRefGoogle Scholar
[H] Heitmann, R. C., A non-catenary, normal, local domain, Rocky Mountain J. Math., 12 (1982), pp. 145–148.Google Scholar
[K] Katz, Daniel, On the number of minimal prime ideals in the completion of a local domain, Rocky Mountain J. Math., 16 (1986), pp. 575–578.Google Scholar
[Ma1] Matsumura, Hideyuki, Commutative Ring Theory, Cambridge Univ. Press, Cambrige, 1986.Google Scholar
[Ma2] Matsumura, Hideyuki, On the dimension of formal fibres of a local ring in: Algebraic Geometry and Commutative Algebra in Honor of Masayoshi Nagata, Kinokuniya, Tokyo.Google Scholar
[Ma3] Matsumura, Hideyuki, Commutative algebra, second edition, Benjamin/Cummings, Reading, Massachusetts, 1980.Google Scholar
[Na] Nagata, Masayoshi, Local Rings, Interscience, New York, 1962.Google Scholar
[Ni1] Nishimura, Jun-ichi, Note on Krull domains, J. Math. Kyoto Univ., 15 (1975), pp. 397–400.Google Scholar
[Ni2] Nishimura, Jun-ichi, On ideal-adic completion of noetherian rings, J. Math. Kyoto Univ., 21 (1981), pp. 153–169.Google Scholar
[O1] Ogoma, T. Non-catenary pseudo—geometric normal rings, Japan. J. Math., 6 (1980), pp. 147–163.Google Scholar
[O2] Ogoma, T., Cohen-Macaulay factorial domain is not necessarily Gorenstein, Mem. Fac. Sci. Kochi Univ., 3 (1982), pp. 65–74.Google Scholar
[O3] Ogoma, T., Existence of dualizing complexes, J. Math. Kyoto Univ., 24 (1984), pp. 27–48.Google Scholar
[R1] Rotthaus, Christel, Universell Japanische Ringe mit nicht offenen regularem Ort, Nagoya Math. J., 74 (1979), pp. 123–135.Google Scholar
[R2] Rotthaus, Christel, Komplettierung semilokaler quasiausgezeichneter Ringe, Nagoya Math. J., 76 (1979), pp. 173–180.Google Scholar
[R3] Rotthaus, Christel, On rings with low dimensional formal fibres, J. Pure Aure Algebra, 71 (1991), pp. 287–296.CrossRefGoogle Scholar
[V] Valabrega, Paolo, On two-dimensional regular local rings and a lifting problem, Annali della Scuola Normale Superiore di Pisa, 27 (1973), pp. 1 — 21.Google Scholar
[W] Weston, D. On descent in dimension two and non-split Gorenstein modules, J. Algebra, 118 (1988), pp. 263–275.Google Scholar