The ideal theory of intersections of prime divisors dominating a normal Noetherian local domain of dimension two
type: Item
instance of: scholarly article
title: The ideal theory of intersections of prime divisors dominating a normal Noetherian local domain of dimension two
zbMATH Open document ID: 1472.13006
DOI: 10.4171/RSMUP/62
author: Bruce Olberding
author: William J. Heinzer
published in: Rendiconti del Seminario Matematico della Università di Padova
publication date: 2021-07-02T00:00:00Z
review text: Let \(R\) be a normal Noetherian local domain of Krull dimension two and let \(F\) denote its quotient field. In the present paper, the authors examine intersections of rank one discrete valuation rings that birationally dominate \(R\). More specifically, recall that a valuation overring \(V\) of \(R\) whose maximal ideal contains the maximal ideal of \(R\) and whose residue field has transcendence degree 1 over the residue field of \(R\) is called a prime divisor that dominates \(R\). In other words, the prime divisors that dominate \(R\) are precisely the overrings of \(R\) that arise as the localization of the integral closure of a finitely generated \(R\)-subalgebra of \(F\) at a height one prime ideal that contains the maximal ideal of \(R\). This article is devoted to the study of the intersection of prime divisors that dominate \(R\). It is known that the intersection of finitely many such rings is a PID, while the intersection of all prime divisors that dominate \(R\) is simply the domain \(R\) itself and so, in general, is quite far from being a PID. In particular, the authors focus on the intersection of prime divisors that dominate \(R\) and are ``within some fixed number of steps away from'' \(R\), where the steps here involve the number of normalized local quadratic transforms needed to reach the prime divisor. One of the main results shows that if a collection of such prime divisors is taken below a certain ``level'', then the intersection is an almost Dedekind domain (i.e., an integral domain such that each localization at a maximal ideal is a DVR) having the property that every nonzero ideal can be represented uniquely as an irredundant intersection of powers of maximal ideals. Note that, in general, for arbitrary almost Dedekind domains, every ideal is an intersection of primary ideals but, because this intersection is typically infinite, may not be able to be refined to an irredundant intersection and so such a decomposition turns out to be unhandy…
reviewed by: Marco Fontana
Mathematics Subject Classification ID: 13A15
Mathematics Subject Classification ID: 13C05
Mathematics Subject Classification ID: 13H99
zbMATH DE Number: 7367414
zbMATH Keywords: Noetherian local ring
zbMATH Keywords: quadratic transform
zbMATH Keywords: valuation ring
zbMATH Keywords: almost Dedekind domain
zbMATH Keywords: patch topology
zbMATH Keywords: completely irreducible ideals
MaRDI profile type: MaRDI publication profile
cites work: On the Valuations Centered in a Local Domain
cites work: Q4382303
cites work: Kronecker function rings and abstract Riemann surfaces
cites work: The constructible topology on spaces of valuation domains
cites work: On Primal Ideals
cites work: Commutative ideal theory without finiteness conditions: Primal ideals
cites work: Commutative ideal theory without finiteness conditions: Completely irreducible ideals
cites work: Q4466608
cites work: The family of residue fields of a zero-dimensional commutative ring
cites work: The tree of quadratic transforms of a regular local ring of dimension two
cites work: Unique irredundant intersections of completely irreducible ideals
cites work: Noetherian intersections of regular local rings of dimension two
cites work: PID's with specified residue fields
cites work: Kronecker Function Rings of Transcendental Field Extensions
cites work: Group-theoretic and topological invariants of completely integrally closed Prüfer domains
cites work: Prime Ideal Structure in Commutative Rings
cites work: Rational singularities, with applications to algebraic surfaces and unique factorization
cites work: Q3035413
cites work: Factoring ideals in almost Dedekind domains
cites work: Q3739243
cites work: Q5735274
cites work: Topological Aspects of Irredundant Intersections of Ideals and Valuation Rings
cites work: Affine schemes and topological closures in the Zariski-Riemann space of valuation rings
cites work: A principal ideal theorem for compact sets of rank one valuation rings
cites work: On the topology of valuation-theoretic representations of integrally closed domains
cites work: Valuations in Function Fields of Surfaces
cites work: Q3414477
cites work: Q4083539
description: scientific article; zbMATH DE number 7367414