Searcharxiv⌕ Search

arXiv subjects

Bruce Olberding

Publications and source records attributed to Bruce Olberding.

At least 37 records · Page 2Linked to original sources

Radical factorization in finitary ideal systems

In this paper we investigate the concept of radical factorization with respect to finitary ideal systems of cancellative monoids. We present new characterizations for r-almost Dedekind r-SP-monoids and provide specific descriptions of t-almost Dedekind t-SP-monoids and w-SP-monoids. We show that a monoid is a w-SP-monoid if and only if the radical of every nontrivial principal ideal is t-invertible. We characterize when the monoid ring is a w-SP-domain and describe when the *-Nagata ring is an SP-domain for a star operation * of finite type.

math.AC↗

Generators of reductions of ideals in a local Noetherian ring with finite residue field

Let $(R,\mathfrak{m})$ be a local Noetherian ring with residue field $k$. While much is known about the generating sets of reductions of ideals of $R$ if $k$ is infinite, the case in which $k$ is finite is less well understood. We investigate the existence (or lack thereof) of proper reductions of an ideal of $R$ and the number of generators needed for a reduction in the case $k$ is a finite field. When $R$ is one-dimensional, we give a formula for the smallest integer $n$ for which every ideal has an $n$-generated reduction. It follows that in a one-dimensional local Noetherian ring every ideal has a principal reduction if and only if the number of maximal ideals in the normalization of the reduced quotient of $R$ is at most $|k|$. In higher dimensions, we show that for any positive integer, there exists an ideal of $R$ that does not have an $n$-generated reduction and that if $n \geq \dim R$ this ideal can be chosen to be $\mathfrak{m}$-primary. In the case where $R$ is a two-dimensional regular local ring, we construct an example of an integrally closed $\mathfrak{m}$-primary ideal that does not have a $2$-generated reduction and thus answer in the negative a question raised by Heinzer and Shannon.

math.AC↗

Krull's Principal Ideal Theorem in non-Noetherian settings

Let $P$ be a finitely generated ideal of a commutative ring $R$. Krull's Principal Ideal Theorem states that if $R$ is Noetherian and $P$ is minimal over a principal ideal of $R$, then $P$ has height at most one. Straightforward examples show that this assertion fails if $R$ is not Noetherian. We consider what can be asserted in the non-Noetherian case in place of Krull's theorem.

math.AC↗

The tree of quadratic transforms of a regular local ring of dimension two

Let $D$ be a 2-dimensional regular local ring and let $Q(D)$ denote the quadratic tree of 2-dimensional regular local overrings of $D$. We explore the topology of the tree $Q(D)$ and the family ${\mathcal{R}}(D)$ of rings obtained as intersections of rings in $Q(D)$. If $A$ is a finite intersection of rings in $ Q(D)$, then $A$ is Noetherian and the structure of $A$ is well understood. However, other rings in ${\mathcal{R}}(D)$ need not be Noetherian. The two main goals of this paper are to examine topological properties of the quadratic tree $Q(D)$, and to examine the structure of rings in the set ${\mathcal{R}}(D)$.

math.AC↗

De Vries duality for normal spaces and locally compact Hausdorff spaces

By de Vries duality, the category of compact Hausdorff spaces is dually equivalent to the category of de Vries algebras. In our recent article, we have extended de Vries duality to completely regular spaces by generalizing de Vries algebras to de Vries extensions. To illustrate the utility of this point of view, we show how to use this new duality to obtain algebraic counterparts of normal and locally compact Hausdorff spaces in the form of de Vries extensions that are subject to additional axioms which encode the desired topological property. This, in particular, yields a different perspective on de Vries duality. As a further application, we show that a duality for locally compact Hausdorff spaces due to Dimov can be obtained from our approach.

math.GN↗

De Vries duality for compactifications and completely regular spaces

De Vries duality yields a dual equivalence between the category of compact Hausdorff spaces and a category of complete Boolean algebras with a proximity relation on them, known as de Vries algebras. We extend de Vries duality to completely regular spaces by replacing the category of de Vries algebras with certain extensions of de Vries algebras. This is done by first formulating a duality between compactifications and de Vries extensions, and then specializing to the extensions that correspond to Stone-Čech compactifications.

math.GN↗

De-noetherizing Cohen-Macaulay rings

We introduce a new class of commutative {non-noetherian} rings, called $n$-subperfect rings, generalizing the almost perfect rings that have been studied recently by Fuchs-Salce. For an integer $n \ge 0$, the ring $R$ is $n$-subperfect if every maximal regular sequence in $R$ has length $n$ and the total ring of quotients of $R/I$ for any ideal $I$ generated by a regular sequence is a perfect ring in the sense of Bass. We define an extended Cohen-Macaulay ring as a commutative ring $R$ that has noetherian prime spectrum and each localization $R_M$ at a maximal ideal $M$ is ht($M$)-subperfect. In the noetherian case, these are precisely the classical Cohen-Macaulay rings. Several relevant properties are proved reminiscent of those shared by Cohen-Macaulay rings.

math.AC↗

On the topology of valuation-theoretic representations of integrally closed domains

Let $F$ be a field. For each nonempty subset $X$ of the Zariski-Riemann space of valuation rings of $F$, let ${A}(X) = \bigcap_{V \in X}V$ and ${J}(X) = \bigcap_{V \in X}{\mathfrak M}_V$, where ${\mathfrak M}_V$ denotes the maximal ideal of $V$. We examine connections between topological features of $X$ and the algebraic structure of the ring ${A}(X)$. We show that if ${J}(X) \ne 0$ and $A(X)$ is a completely integrally closed local ring that is not a valuation ring of $F$, then there is a subspace $Y$ of the space of valuation rings of $F$ that is perfect in the patch topology such that ${A}(X) = {A}(Y)$. If any countable subset of points is removed from $Y$, then the resulting set remains a representation of $A(X)$. Additionally, if $F$ is a countable field, the set $Y$ can be chosen homeomorphic to the Cantor set. We apply these results to study properties of the ring ${A}(X)$ with specific focus on topological conditions that guarantee ${A}(X)$ is a Prüfer domain, a feature that is reflected in the Zariski-Riemann space when viewed as a locally ringed space. We also classify the rings ${A}(X)$ where $X$ has finitely many patch limit points, thus giving a topological generalization of the class of Krull domains, one that also includes interesting Prüfer domains. To illustrate the latter, we show how an intersection of valuation rings arising naturally in the study of local quadratic transformations of a regular local ring can be described using these techniques.

math.AC↗

Noetherian intersections of regular local rings of dimension two

Let $D$ be a 2-dimensional regular local ring and let $Q(D)$ denote the quadratic tree of 2-dimensional regular local overrings of $D$. We examine the Noetherian rings that are intersections of rings in $Q(D)$. To do so, we describe the desingularization of projective models over $D$ both algebraically in terms of the saturation of complete ideals and order-theoretically in terms of the quadratic tree $Q(D)$.

math.AC↗

A principal ideal theorem for compact sets of rank one valuation rings

Let $F$ be a field, and let Zar$(F)$ be the space of valuation rings of $F$ with respect to the Zariski topology. We prove that if $X$ is a quasicompact set of rank one valuation rings in Zar$(F)$ whose maximal ideals do not intersect to $0$, then the intersection of the rings in $X$ is an integral domain with quotient field $F$ such that every finitely generated ideal is a principal ideal. To prove this result, we develop a duality between (a) quasicompact sets of rank one valuation rings whose maximal ideals do not intersect to $0$, and (b) one-dimensional Prüfer domains with nonzero Jacobson radical and quotient field $F$. The necessary restriction in all these cases to collections of valuation rings whose maximal ideals do not intersect to $0$ is motivated by settings in which the valuation rings considered all dominate a given local ring.

math.AC↗

Group-theoretic and topological invariants of completely integrally closed Prüfer domains

We consider the lattice-ordered groups Inv$(R)$ and Div$(R)$ of invertible and divisorial fractional ideals of a completely integrally closed Prüfer domain. We prove that Div$(R)$ is the completion of the group Inv$(R)$, and we show there is a faithfully flat extension $S$ of $R$ such that $S$ is a completely integrally closed Bézout domain with Div$(R) \cong $ Inv$(S)$. Among the class of completely integrally closed Prüfer domains, we focus on the one-dimensional Prüfer domains. This class includes Dedekind domains, the latter being the one-dimensional Prüfer domains whose maximal ideals are finitely generated. However, numerous interesting examples show that the class of one-dimensional Prüfer domains includes domains that differ quite significantly from Dedekind domains by a number of measures, both group-theoretic (involving Inv$(R)$ and Div$(R)$) and topological (involving the maximal spectrum of $R$). We examine these invariants in connection with factorization properties of the ideals of one-dimensional Prüfer domains, putting special emphasis on the class of almost Dedekind domains, those domains for which every localization at a maximal ideal is a rank one discrete valuation domain, as well as the class of SP-domains, those domains for which every proper ideal is a product of radical ideals. For this last class of domains, we show that if in addition the ring has nonzero Jacobson radical, then the lattice-ordered groups Inv$(R)$ and Div$(R)$ are determined entirely by the topology of the maximal spectrum of $R$, and that the Cantor-Bendixson derivatives of the maximal spectrum reflect the distribution of sharp and dull maximal ideals.

math.AC↗

One-dimensional stable rings

A commutative ring $R$ is stable provided every ideal of $R$ containing a nonzerodivisor is projective as a module over its ring of endomorphisms. The class of stable rings includes the one-dimensional local Cohen-Macaulay rings of multiplicity at most $2$, as well as certain rings of higher multiplicity, necessarily analytically ramified. The former are important in the study of modules over Gorenstein rings, while the latter arise in a natural way from generic formal fibers and derivations. We characterize one-dimensional stable local rings in several ways. The characterizations involve the integral closure ${\bar{R}}$ of $R$ and the completion of $R$ in a relevant ideal-adic topology. For example, we show: If $R$ is a reduced stable ring, then there are exactly two possibilities for $R$: (1) $R$ is a {\it Bass ring}, that is, $R$ is a reduced Noetherian local ring such that $\bar{R}$ is finitely generated over $R$ and every ideal of $R$ is generated by two elements; or (2) $R$ is a {\it bad stable domain}, that is, $R$ is a one-dimensional stable local domain such that $\bar{R}$ is not a finitely generated $R$-module.

math.AC↗

Topological aspects of irredundant intersections of ideals and valuation rings

An intersection of sets $A = \bigcap_{i \in I}B_i$ is irredundant if no $B_i$ can be omitted from this intersection. We develop a topological approach to irredundance by introducing a notion of a spectral representation, a spectral space whose members are sets that intersect to a given set $A$ and whose topology encodes set membership. We define a notion of a minimal representation and show that for such representations, irredundance is a topological property. We apply this approach to intersections of valuation rings and ideals. In the former case we focus on Krull-like domains and Prüfer $v$-multiplication domains, and in the latter on irreducible ideals in arithmetical rings. Some of our main applications are to those rings or ideals that can be represented with a Noetherian subspace of a spectral representation.

math.AC↗

Asymptotic properties of infinite directed unions of local quadratic transforms

We consider infinite sequences {R_n} of successive local quadratic transforms of a regular local ring. Let S denote the directed union of the sequence of regular local rings R_n. We previously showed the existence of a unique limit point V of the family of order valuation rings of the sequence. In this paper, we examine asymptotic properties of this family of order valuations. We link this asymptotic behavior to ring-theoretic properties of S, namely whether S is archimedean and whether S is completely integrally closed. We construct examples of such S that are archimedean and completely integrally closed but not valuation domains. We give an explicit description of V, where the description depends on whether S is archimedean or non-archimedean.

math.AC↗

Affine schemes and topological closures in the Zariski-Riemann space of valuation rings

Let $F$ be a field, let $D$ be a subring of $F$, and let ${\mathfrak{X}}$ be the Zariski-Riemann space of valuation rings containing $D$ and having quotient field $F$. We consider the Zariski, inverse and patch topologies on ${\mathfrak{X}}$ when viewed as a projective limit of projective integral schemes having function field contained in $F$, and we characterize the locally ringed subspaces of ${\mathfrak{X}}$ that are affine schemes.

math.AC↗

On the geometry of Prüfer intersections of valuation rings

Let $F$ be a field, let $D$ be a subring of $F$ and let $Z$ be an irreducible subspace of the space of all valuation rings between $D$ and $F$ that have quotient field $F$. Then $Z$ is a locally ringed space whose ring of global sections is $A = \bigcap_{V \in Z}V$. All rings between $D$ and $F$ that are integrally closed in $F$ arise in such a way. Motivated by applications in areas such as multiplicative ideal theory and real algebraic geometry, a number of authors have formulated criteria for when $A$ is a Prüfer domain. We give geometric criteria for when $A$ is a Prüfer domain that reduce this issue to questions of prime avoidance. These criteria, which unify and extend a variety of different results in the literature, are framed in terms of morphisms of $Z$ into the projective line ${\mathbb{P}}^1_D$

math.AC↗

De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces

We generalize the Boolean power construction to the setting of compact Hausdorff spaces. This is done by replacing Boolean algebras with de Vries algebras (complete Boolean algebras enriched with proximity) and Stone duality with de Vries duality. For a compact Hausdorff space $X$ and a totally ordered algebra $A$, we introduce the concept of a finitely valued normal function $f:X\to A$. We show that the operations of $A$ lift to the set $FN(X,A)$ of all finitely valued normal functions, and that there is a canonical proximity relation $\prec$ on $FN(X,A)$. This gives rise to the de Vries power construction, which when restricted to Stone spaces, yields the Boolean power construction. We prove that de Vries powers of a totally ordered integral domain $A$ are axiomatized as proximity Baer Specker $A$-algebras, those pairs $(S,\prec)$, where $S$ is a torsion-free $A$-algebra generated by its idempotents that is a Baer ring, and $\prec$ is a proximity relation on $S$. We introduce the category of proximity Baer Specker $A$-algebras and proximity morphisms between them, and prove that this category is dually equivalent to the category of compact Hausdorff spaces and continuous maps. This provides an analogue of de Vries duality for proximity Baer Specker $A$-algebras.

math.RA↗