Controlling the dimensions of formal fibers of a unique factorization domain at the height one prime ideals (Q1711549): Difference between revisions
From MaRDI portal
Changed an Item |
Created claim: Wikidata QID (P12): Q128718428, #quickstatements; #temporary_batch_1723642047871 |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Dimensions of Formal Fibers of Height One Prime Ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semilocal generic formal fibers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Characterization of Completions of Unique Factorization Domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completions of local rings with an isolated singularity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3739243 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4039612 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q128718428 / rank | |||
Normal rank |
Latest revision as of 15:32, 14 August 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Controlling the dimensions of formal fibers of a unique factorization domain at the height one prime ideals |
scientific article |
Statements
Controlling the dimensions of formal fibers of a unique factorization domain at the height one prime ideals (English)
0 references
18 January 2019
0 references
Let \(A\) be a local (Noetherian) ring, and let \(T\) be the completion of \(A\) with respect to its maximal ideal. The formal fiber ring of \(A\) at \(\mathfrak{p}\) is \(T\otimes_{A}\mathbf{k}(\mathfrak{p})\), and the formal fiber of \(A\) at \(\mathfrak{p}\) is \(\text{Spec}(T\otimes _{A}\mathbf{k}(\mathfrak{p}))\), where \(\mathbf{k}(\mathfrak{p})\) is the residue field \(A_{\mathfrak{p}}/\mathrm{p}A_{\mathfrak{p}}\). The Krull dimension of the formal fiber ring of \(A\) at the prime ideal \(\mathfrak{p}\) is denoted by \(\alpha(A,\mathfrak{p})\), and the supremum of \(\alpha(A,\mathfrak{p})\) over all prime ideals \(\mathfrak{p}\) of \(A\) is denoted by \(\alpha(A)\), \(\text{Spec}_1T\) is denoted the set of prime ideal of \(T\) of hight \(1\). The main result of the paper is the next theorem. Theorem. Let \((T,\mathfrak{m})\) be a complete local equidimensional ring such that \(\text{dim}\; T\geq2\) and \(\text{depth}\; T>1\). Suppose that no integer of \(T\) is a zero divisor in \(T\) and \(|T|=|T/\mathfrak{m}|\). Let \(d\) and \(t\) be integers such that \(1\leq d\leq \text{dim}\; T-1\), \(0\leq t\leq\text{dim}\;T -1\) and \(d-1\leq t\). Assume that, for every \(\mathfrak{p}\in \text{Ass} \;T\) , \(\text{ht}\;\mathfrak{p}\leq d-1\) and that, if \(z\) is a regular element of \(T\) and \(Q\in \text{Ass}(T/zT)\), then \(\text{ht}\;Q\leq d\). Then there exists a local UFD \(A\) such that \(\widehat{A}=T\), \(\alpha(A,(0))=t\), and, if \(\mathfrak{p}\in\text{Spec}_1\;A\), then \(\alpha(A,\mathfrak{p})=d-1\). The corollary from this theorem answers one question posed by Heinzer, Rottmans and Sally in the nonexcellent case.
0 references
completions of local rings
0 references
formal fibers
0 references