arXiv Science⌕ Search

arXiv subjects

Bruce Olberding

Publications and source records attributed to Bruce Olberding.

At least 19 recordsLinked to original sources
arXiv2026

Geometry of Spaces of Subrings

Motivated by examples such as the local rings of projective integral schemes and the Zariski-Riemann space of a field, we develop a geometry for continuously indexed families of subrings of a commutative ring $R$. The indexing spaces are Stone spaces, and continuity is taken with respect to the Zariski topology on the space of subrings. To each such family we associate a subsheaf of the constant sheaf with value $R$ whose stalks are the indexed subrings. This gives a patch ringed space. Its global sections are locally constant $R$-valued functions whose value at each point belongs to the corresponding subring. The ring of global sections, with this representation, is the associated patch algebra. Our main result establishes an algebra-geometry correspondence between these continuously indexed families of subrings and patch ringed spaces that can be expressed as a category equivalence, with each of the two categories dually equivalent to the category of patch algebras. Thus the indexing space, its sheaf, and the indexed subrings can be recovered functorially from the associated patch algebra, which serves as a coordinate ring for this geometry. We describe kernels and factorizations of patch algebra morphisms in geometric terms and characterize their injectivity and surjectivity. We include applications to Pierce duality and Bhatt-Scholze $w$-localizations of integral separated quasi-compact schemes.

math.AC↗
arXiv2026

Quadrangles entangled in conic nets

A net of conics can remain unchanged as the four-point configuration generating it varies. We study this phenomenon over a field ${\mathbb{k}}$ of characteristic different from $2$. We allow degenerate quadrangles, consisting of four not necessarily distinct points and six joining lines, provided that three sides form a nondegenerate triangle. The net of a quadrangle is obtained by adjoining constants to the defining polynomials in the pencil generated by its pairs of opposite sides, viewed as conics. We call two quadrangles entangled when they generate the same net. We prove that entanglement is equivalent to the apparently asymmetric condition that every side of one quadrangle bisects the other quadrangle at that side's midpoint. The line-pair members of the net form a bisector field that determines the entire net, so entanglement is also equivalent to equality of bisector fields. Finally, we prove that the locus of centers of the central conics in the net, together with one nonparallel line-pair member, determines the net.

math.MG↗
arXiv2026

The Nash manifold of four-point configurations modulo similarity subgroups

We construct and study the Nash manifold of four-point configurations in the real plane modulo the action of a Nash subgroup of the group of similarity transformations. We do so by using the finer notion of a quadrangle in place of that of a four-point configuration, since this retains limiting line data in degenerations. We prove that the space ${\mathcal Q}$ of quadrangles is an 8-dimensional Nash manifold and that, for every Nash subgroup $G$ of the similarity group, the orbit space ${\mathcal Q}/G$ is a Nash manifold. We define a geometric invariant, called aspect, with values in $[-1,1]$, and prove that, over each of the intervals $(-1,0)$ and $(0,1)$, the corresponding part of ${\mathcal Q}/G$ is Nash diffeomorphic to the product of the interval with a fixed fiber. Thus the nonexceptional part of the moduli problem reduces to the analysis of two model fibers, each having a natural geometric interpretation in terms of the quadrangles themselves.

math.AG↗
arXiv2026

Interval Rings

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.

math.AC↗
arXiv2025

Realization of spaces of commutative rings

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$.

math.AC↗
arXiv2023

Bisector fields and pencils of conics

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.

math.MG↗
arXiv2023

A connectedness theorem for spaces of valuation rings

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.

math.AC↗
arXiv2023

The ideal theory of intersections of prime divisors dominating a normal Noetherian local domain of dimension two

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.

math.AC↗
arXiv2023

Bisector fields and projective duality

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.

math.AG↗
arXiv2023

Bisector fields of quadrilaterals

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.

math.CO↗
arXiv2022

A Unified Approach to Gelfand and de Vries Dualities

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é (analysis), Dilworth (lattice theory), and Kat{ě}tov-Tong (topology).

math.RA↗
arXiv2021

The conic geometry of rectangles inscribed in lines

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.

math.MG↗
arXiv2021

Rectangles conformally inscribed in lines

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.

math.MG↗
arXiv2020

Paths of rectangles inscribed in lines over fields

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.

math.MG↗
arXiv2020

A generalization of Gelfand-Naimark-Stone duality to completely regular spaces

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}$.

math.GN↗
arXiv2020

Specker Algebras: A Survey

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.

math.RA↗
arXiv2020

A new approach to the Katětov-Tong theorem

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.

math.GN↗