Formal fibers at height one prime ideals
type: Item
instance of: scholarly article
title: Formal fibers at height one prime ideals
zbMATH Open document ID: 0968.13013
DOI: 10.1016/S0022-4049(99)00031-6
published in: Journal of Pure and Applied Algebra
publication date: 2000-09-07T00:00:00Z
review text: Let \(A\) be a local Noetherian domain. Call \(\widehat A\) its completion with respect to the maximal ideal. The formal fibers of \(A\) are the fibers of the natural map \(\text{Spec}(A)\to \text{Spec}(\widehat A)\). Call \(\alpha(A,Q)\) the dimension of the formal fiber at the prime \(Q\) and \(\alpha(A)\) the dimension of the fiber at \((0)\), which is also the maximal dimension. Matsumura and Rotthaus showed that for any \(d\geq 2\) and \(0\leq t\leq d\), then one can find \(A\) such that \(\dim(A)=d\) and \(\alpha(A)=t\). So the dimension of the generic formal fiber and \(\dim(A)\) are in fact independent. The author shows that inside a complete local UFD \((T,M)\) of dimension \(d\geq 2\), such that the residue field \(T/M\) has cardinality greater or equal than the real numbers, taking prime ideals \(P,Q\subset T\) with \(\text{ht}(P)+1\geq \text{ht}(Q)\), then under some natural hypothesis on \(P,Q\), one can construct a subring \(A\) such that \(\widehat A= T\), \(\alpha(A)= \text{ht}(P)\) and \(\alpha(A,Q\cap A)= \text{ht}(Q)-1\). It follows that one can find examples of formal fibers whose dimension is quite independent from the dimension of the generic one. The author uses the result to construct nontrivial examples of local rings \(A\) such that \(\alpha(A)=\alpha(A/P)\) for infinitely many prime ideals \(P\subset A\) of height \(1\).
reviewed by: Luca Chiantini
Mathematics Subject Classification ID: 13J10
Mathematics Subject Classification ID: 13C15
Mathematics Subject Classification ID: 14A05
zbMATH DE Number: 1455907
zbMATH Keywords: formal fibers
zbMATH Keywords: local Noetherian domain
zbMATH Keywords: completion
zbMATH Keywords: Spec
zbMATH Keywords: dimension
author: S. Loepp
MaRDI profile type: MaRDI publication profile
full work available at URL: s0022-4049(99)00031-6
OpenAlex ID: W2089991505
Recommended article: Completely controlling the dimensions of formal fiber rings at prime ideals of small height
Recommended article: Controlling the dimensions of formal fibers of a unique factorization domain at the height one prime ideals
Recommended article: Dimensions of Formal Fibers of Height One Prime Ideals
description: scientific article; zbMATH DE number 1455907