arXiv subjects
Publications and source records attributed to Bruce Olberding.
Interval rings comprise a class of one-dimensional integrally closed local integral domains which are overrings of a two-dimensional regular local ring. We construct them by intersecting carefully chosen valuation rings and prove that they have various nice properties. Our interest in these rings is that they represent a major stepping stone toward classifying all integrally closed overrings of a two-dimensional regular local ring.
Motivated by recent work on the use of topological methods to study collections of rings between an integral domain and its quotient field, we examine spaces of subrings of a commutative ring, where these spaces are endowed with the Zariski or patch topologies. We introduce three notions to study such a space $X$: patch bundles, patch presheaves and patch algebras. When $X$ is compact and Hausdorff, patch bundles give a way to approximate $X$ with topologically more tractable spaces, namely Stone spaces. Patch presheaves encode the space $X$ into stalks of a presheaf of rings over a Boolean algebra, thus giving a more geometrical setting for studying $X$. To both objects, a patch bundle and a patch presheaf, we associate what we call a patch algebra, a commutative ring that efficiently realizes the rings in $X$ as factor rings, or even localizations, and whose structure reflects various properties of the rings in $X$.
Let $D$ be a two-dimensional regular local ring. We prove there is a one-to-one correspondence between closed connected sets in the space of valuation overrings of $D$ that dominate $D$ and the integrally closed local overrings of $D$ that are not essential valuation rings or divisorial valuation rings of $D$.
Let $F$ be a field, let $D$ be a local subring of $F$, and let Val$_F(D)$ be the space of valuation rings of $F$ that dominate $D$. We lift Zariski's connectedness theorem for fibers of a projective morphism to the Zariski-Riemann space of valuation rings of $F$ by proving that a subring $R$ of $F$ dominating $D$ is local, residually algebraic over $D$ and integrally closed in $F$ if and only if there is a closed and connected subspace $Z$ of Val$_F(D)$ such that $R$ is the intersection of the rings in $Z$. Consequently, the intersection of the rings in any closed and connected subset of Val$_F(D)$ is a local ring. In proving this, we also prove a converse to Zariski's connectedness theorem. Our results do not require the rings involved to be Noetherian.
Let $R$ be a normal Noetherian local domain of Krull dimension two. We examine intersections of rank one discrete valuation rings that birationally dominate $R$. We restrict to the class of prime divisors that dominate $R$ and show that if a collection of such prime divisors is taken below a certain ``level,'' then the intersection is an almost Dedekind domain having the property that every nonzero ideal can be represented uniquely as an irredundant intersection of powers of maximal ideals.
Working over a field ${\mathbb{k}}$ of characteristic $\ne 2$, we study what we call bisector fields, which are arrangements of paired lines in the plane that have the property that each line in the arrangement crosses the paired lines in pairs of points that all share the same midpoint. To do so, we use tools from the theory of algebraic curves and projective duality. We obtain a complete classification if ${\mathbb{k}}$ is real closed or algebraically closed, and we obtain a partial classification if ${\mathbb{k}}$ is a finite field. A classification for other fields remains an open question. Ultimately this is a question regarding affine equivalence within a system of certain rational quartic curves.
Working over a field of characteristic other than $2$, we examine a relationship between quadrilaterals and the pencil of conics passing through their vertices. Asymptotically, such a pencil of conics is what we call a bisector field, a set ${\mathbb{B}}$ of paired lines such that each line $\ell$ in ${\mathbb{B}}$ simultaneously bisects each pair in ${\mathbb{B}}$ in the sense that $\ell$ crosses the pairs of lines in ${\mathbb{B}}$ in pairs of points that all share the same midpoint. We show that a quadrilateral induces a geometry on the affine plane via an inner product, under which we examine pencils of conics and pairs of bisectors of a quadrilateral. We show also how bisectors give a new interpretation of some classically studied features of quadrangles, such as the nine-point conic.
We introduce the notion of a bisector field, which is a maximal collection of pairs of lines such that for each line in each pair, the midpoint of the points where the line crosses every pair is the same, regardless of choice of pair. We use this to study asymptotic properties of pencils of affine conics over fields and show that pairs of lines in the plane that occur as the asymptotes of hyperbolas from a pencil of affine conics belong to a bisector field. By including also pairs of parallel lines arising from degenerate parabolas in the pencil, we obtain a full characterization: Every bisector field arises from a pencil of affine conics, and vice versa, every nontrivial pencil of affine conics is asymptotically a bisector field. Our main results are valid over any field of characteristic other than $2$ and hence hold in the classical Euclidean setting as well as in Galois geometries.
We develop a unified approach to Gelfand and de Vries dualities for compact Hausdorff spaces, which is based on appropriate modifications of the classic results of Dieudonn\'{e} (analysis), Dilworth (lattice theory), and Kat{\v{e}}tov-Tong (topology).
A parallelogram is conformally inscribed in four lines in the plane if it is inscribed in a scaled copy of the configuration of four lines. We describe the geometry of the three-dimensional Euclidean space whose points are the parallelograms conformally inscribed in sequence in these four lines. In doing so, we describe the flow of inscribed rectangles by introducing a compact model of the rectangle inscription problem.
We study rectangles inscribed in lines in the plane by parametrizing these rectangles in two ways, one involving slope and the other aspect ratio. This produces two paths, one that finds rectangles with specified slope and the other rectangles with specified aspect ratio. We describe the geometry of these paths and its dependence on the choice of four lines. Our methods are algebraic and work over an arbitrary field.
Gelfand-Naimark-Stone duality establishes a dual equivalence between the category ${\sf KHaus}$ of compact Hausdorff spaces and the category ${\boldsymbol{\mathit{uba}\ell}}$ of uniformly complete bounded archimedean $\ell$-algebras. We extend this duality to the category ${\sf CReg}$ of completely regular spaces. This we do by first introducing basic extensions of bounded archimedean $\ell$-algebras and generalizing Gelfand-Naimark-Stone duality to a dual equivalence between the category ${\boldsymbol{\mathit{ubasic}}}$ of uniformly complete basic extensions and the category ${\sf C}$ of compactifications of completely regular spaces. We then introduce maximal basic extensions and prove that the subcategory ${\boldsymbol{\mathit{mbasic}}}$ of ${\boldsymbol{\mathit{ubasic}}}$ consisting of maximal basic extensions is dually equivalent to the subcategory ${\sf SComp}$ of ${\sf Comp}$ consisting of Stone-Čech compactifications. This yields the desired dual equivalence for completely regular spaces since ${\sf CReg}$ is equivalent to ${\sf SComp}$.
For a commutative ring $R$ with identity, a Specker $R$-algebra is a commutative unital $R$-algebra generated by a Boolean algebra of idempotents, each nonzero element of which is faithful. Such algebras have arisen in the study of $\ell$-groups, idempotent-generated rings, Boolean powers of commutative rings, Pierce duality, and rings of continuous real-valued functions. We trace the origin of this notion from early studies of subgroups of bounded integer-valued functions to a variety of current contexts involving ring-theoretic, topological, and homological aspects of idempotent-generated algebras.
We give a new proof of the Katětov-Tong theorem. Our strategy is to first prove the theorem for compact Hausdorff spaces, and then extend it to all normal spaces. The key ingredient is how the ring of bounded continuous real-valued functions embeds in the ring of all bounded real-valued functions. In the compact case this embedding can be described by an appropriate statement, which we prove implies both the Katětov-Tong theorem and a version of the Stone-Weierstrass theorem. We then extend the Katětov-Tong theorem to all normal spaces by showing how to extend upper and lower semicontinuous real-valued functions to the Stone-\v Cech compactification so that the less than or equal relation between the functions is preserved.
We develop a circle of ideas involving pairs of lines in the plane, intersections of hyperbolically rotated elliptical cones and the locus of the centers of rectangles inscribed in lines in the plane.
In this paper we study the concept of radical factorization in the context of abstract ideal theory in order to obtain a unified approach to the theory of factorization into radical ideals and elements in the literature of commutative rings, monoids and ideal systems. Using this approach we derive new characterizations of classes of rings whose ideals are a product of radical ideals, and we obtain also similar characterizations for classes of ideal systems in monoids and star ideals in integral domains.
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.
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.