Showing 1–17 of 17 results for author: Loper, K A

Connectedness and integrally closed local overrings of two-dimensional regular local rings

Authors: William Heinzer, K. Alan Loper, Bruce Olberding, Matt Toeniskoetter

Abstract: 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 $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$. △ Less

Submitted 16 June, 2024; originally announced June 2024.

Comments: 19 pages. Comments welcome!

MSC Class: 13A18; 13H05

A connectedness theorem for spaces of valuation rings

Authors: William Heinzer, K. Alan Loper, Bruce Olberding, Matt Toeniskoetter

Abstract: 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 t… ▽ More 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. △ Less

Submitted 26 June, 2023; originally announced June 2023.

Comments: 14 pages. Comments welcome!

MSC Class: 13A18; 13H99

Non-integrally closed Kronecker function rings and integral domains with a unique minimal overring

Authors: Lorenzo Guerrieri, K. Alan Loper

Abstract: It is well-known that an integrally closed domain $D$ can be express as the intersection of its valuation overrings but, if $D$ is not a Prüfer domain, the most of valuation overrings of $D$ cannot be seen as localizations of $D$. The Kronecker function ring of $D$ is a classical construction of a Prüfer domain which is an overring of $D[t]$, and its localizations at prime ideals are of the form… ▽ More It is well-known that an integrally closed domain $D$ can be express as the intersection of its valuation overrings but, if $D$ is not a Prüfer domain, the most of valuation overrings of $D$ cannot be seen as localizations of $D$. The Kronecker function ring of $D$ is a classical construction of a Prüfer domain which is an overring of $D[t]$, and its localizations at prime ideals are of the form $V(t)$ where $V$ runs through the valuation overrings of $D$. This fact can be generalized to arbitrary integral domains by expressing them as intersections of overrings which admit a unique minimal overring. In this article we first continue the study of rings admitting a unique minimal overring extending known results obtained in the 70's and constructing examples where the integral closure is very far from being a valuation domain. Then we extend the definition of Kronecker function ring to the non-integrally closed setting by studying intersections of Nagata rings of the form $A(t)$ for $A$ an integral domain admitting a unique minimal overring. △ Less

Submitted 15 April, 2023; v1 submitted 7 April, 2023; originally announced April 2023.

Comments: 30 pages, comments are welcome

MSC Class: 13A15; 13A18; 13B02; 13B21; 13B30; 13F05

On the integral domains characterized by a Bezout Property on intersections of principal ideals

Authors: Lorenzo Guerrieri, K. Alan Loper

Abstract: In this article we study two classes of integral domains. The first is characterized by having a finite intersection of principal ideals being finitely generated only when it is principal. The second class consists of the integral domains in which a finite intersection of principal ideals is always non-finitely generated except in the case of containment of one of the principal ideals in all the o… ▽ More In this article we study two classes of integral domains. The first is characterized by having a finite intersection of principal ideals being finitely generated only when it is principal. The second class consists of the integral domains in which a finite intersection of principal ideals is always non-finitely generated except in the case of containment of one of the principal ideals in all the others. We relate these classes to many well-studied classes of integral domains, to star operations and to classical and new ring constructions. △ Less

Submitted 3 February, 2020; originally announced February 2020.

Comments: 22 pages

MSC Class: 13A15; 13F15; 13A18; 13F05; 13G05

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

Authors: William Heinzer, K. Alan Loper, Bruce Olberding

Abstract: 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, ot… ▽ More 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)$. △ Less

Submitted 22 June, 2018; originally announced June 2018.

Comments: 36 pages, comments welcome

MSC Class: 3A15; 13C05; 13E05; 13H15

An infinite cardinal-valued Krull dimension for rings

Authors: K. Alan Loper, Zachary Mesyan, Greg Oman

Abstract: We define and study two generalizations of the Krull dimension for rings, which can assume cardinal number values of arbitrary size. The first, which we call the "cardinal Krull dimension," is the supremum of the cardinalities of chains of prime ideals in the ring. The second, which we call the "strong cardinal Krull dimension," is a slight strengthening of the first. Our main objective is to addr… ▽ More We define and study two generalizations of the Krull dimension for rings, which can assume cardinal number values of arbitrary size. The first, which we call the "cardinal Krull dimension," is the supremum of the cardinalities of chains of prime ideals in the ring. The second, which we call the "strong cardinal Krull dimension," is a slight strengthening of the first. Our main objective is to address the following question: for which cardinal pairs (K,L) does there exist a ring of cardinality K and (strong) cardinal Krull dimension L? Relying on results from the literature, we answer this question completely in the case where K>L or K=L. We also give several constructions, utilizing valuation rings, polynomial rings, and Leavitt path algebras, of rings having cardinality K and (strong) cardinal Krull dimension L>K. The exact values of K and L that occur in this situation depend on set-theoretic assumptions. △ Less

Submitted 22 November, 2017; originally announced November 2017.

Comments: 22 pages

MSC Class: 13A15 (Primary); 03E10 (Secondary)

Journal ref: Journal of Algebra, Volume 517, (2019) 223-248

Ideal theory of infinite directed unions of local quadratic transforms

Authors: W. Heinzer, K. A. Loper, B. Olberding, H. Schoutens, M. Toeniskoetter

Abstract: Let $R$ be a regular local ring of dimension at least 2. Associated to each valuation domain birationally dominating $R$, there exists a unique sequence $\{R_n\}$ of local quadratic transforms of $R$ along this valuation domain. We consider the situation where the sequence $\{ R_n \}_{n \ge 0}$ is infinite, and examine ideal-theoretic properties of the integrally closed local domain… ▽ More Let $R$ be a regular local ring of dimension at least 2. Associated to each valuation domain birationally dominating $R$, there exists a unique sequence $\{R_n\}$ of local quadratic transforms of $R$ along this valuation domain. We consider the situation where the sequence $\{ R_n \}_{n \ge 0}$ is infinite, and examine ideal-theoretic properties of the integrally closed local domain $S = \bigcup_{n \ge 0} R_n$. Among the set of valuation overrings of $R$, there exists a unique limit point $V$ for the sequence of order valuation rings of the $R_n$. We prove the existence of a unique minimal proper Noetherian overring $T$ of $S$, and establish the decomposition $S = T \cap V$. If $S$ is archimedian, then the complete integral closure $S^{*}$ of $S$ has the form $S^{*} = W \cap T$, where $W$ is the rank $1$ valuation overring of $V$. △ Less

Submitted 30 September, 2016; v1 submitted 24 May, 2015; originally announced May 2015.

Comments: Final version, to appear in J. of Algebra

MSC Class: 13H05; 13A15; 13A18

Some closure operations in Zariski-Riemann spaces of valuation domains: a survey

Authors: Carmelo A. Finocchiaro, Marco Fontana, K. Alan Loper

Abstract: In this survey we present several results concerning various topologies that were introduced in recent years on spaces of valuation domains. In this survey we present several results concerning various topologies that were introduced in recent years on spaces of valuation domains. △ Less

Submitted 19 September, 2013; originally announced September 2013.

The constructible topology on spaces of valuation domains

Authors: Carmelo Finocchiaro, Marco Fontana, K. Alan Loper

Abstract: We consider properties and applications of a compact, Hausdorff topology called the "ultrafilter topology" defined on an {\sl arbitrary spectral space} and we observe that this topology coincides with the constructible topology. If $K$ is a field and $A$ a subring of $K$, we show that the space Zar$(K|A)$ of all valuation domains, having $K$ as quotient field and containing $A$, (endowed with the… ▽ More We consider properties and applications of a compact, Hausdorff topology called the "ultrafilter topology" defined on an {\sl arbitrary spectral space} and we observe that this topology coincides with the constructible topology. If $K$ is a field and $A$ a subring of $K$, we show that the space Zar$(K|A)$ of all valuation domains, having $K$ as quotient field and containing $A$, (endowed with the Zariski topology) is a spectral space by giving in this general setting the explicit construction of a ring whose Zariski spectrum is homeomorphic to Zar$(K|A)$. We extend results regarding spectral topologies on the spaces of all valuation domains and apply the theory developed to study representations of integrally closed domains as intersections of valuation overrings. As a very particular case, we prove that two collections of valuation domains of $K$ with the same ultrafilter closure represent, as an intersection, the same integrally closed domain. △ Less

Submitted 15 June, 2012; originally announced June 2012.

Comments: to appear in Trans. AMS

Ultrafilter and Constructible topologies on spaces of valuation domains

Authors: Carmelo A. Finocchiaro, Marco Fontana, K. Alan Loper

Abstract: Let $K$ be a field and let $A$ be a subring of $K$. We consider properties and applications of a compact, Hausdorff topology called the "ultrafilter topology" defined on the space Zar$(K|A)$ of all valuation domains having $K$ as quotient field and containing $A$. We show that the ultrafilter topology coincides with the constructible topology on the abstract Riemann-Zariski surface Zar$(K|A)$. We… ▽ More Let $K$ be a field and let $A$ be a subring of $K$. We consider properties and applications of a compact, Hausdorff topology called the "ultrafilter topology" defined on the space Zar$(K|A)$ of all valuation domains having $K$ as quotient field and containing $A$. We show that the ultrafilter topology coincides with the constructible topology on the abstract Riemann-Zariski surface Zar$(K|A)$. We extend results regarding distinguished spectral topologies on spaces of valuation domains. △ Less

Submitted 11 February, 2012; originally announced February 2012.

Comments: Comm. Algebra (accepted for publication)

MSC Class: 13A18; 13F05; 13G05

Cancellation properties in ideal systems: an $\boldsymbol{e.a.b.}$ not $\boldsymbol{a.b.}$ star operation

Authors: Marco Fontana, K. Alan Loper, Ryûki Matsuda

Abstract: We show that Krull's \texttt{a.b.} cancellation condition is a properly stronger condition than Gilmer's \texttt{e.a.b.} cancellation condition for star operations. We show that Krull's \texttt{a.b.} cancellation condition is a properly stronger condition than Gilmer's \texttt{e.a.b.} cancellation condition for star operations. △ Less

Submitted 21 February, 2010; v1 submitted 11 February, 2010; originally announced February 2010.

Comments: minor changes and corrected typos

MSC Class: 13A15; 13G05; 13F30; 13E99

Cancellation properties in ideal systems: A classification of $\boldsymbol{e.a.b.}$ semistar operations

Authors: Marco Fontana, K. Alan Loper

Abstract: We give a classification of {\texttt{e.a.b.}} semistar (and star) operations by defining four different (successively smaller) distinguished classes. Then, using a standard notion of equivalence of semistar (and star) operations to partition the collection of all {\texttt{e.a.b.}} semistar (or star) operations, we show that there is exactly one operation of finite type in each equivalence class… ▽ More We give a classification of {\texttt{e.a.b.}} semistar (and star) operations by defining four different (successively smaller) distinguished classes. Then, using a standard notion of equivalence of semistar (and star) operations to partition the collection of all {\texttt{e.a.b.}} semistar (or star) operations, we show that there is exactly one operation of finite type in each equivalence class and that this operation has a range of nice properties. We give examples to demonstrate that the four classes of {\texttt{e.a.b.}} semistar (or star) operations we defined can all be distinct. In particular, we solve the open problem of showing that {\texttt{a.b.}} is really a stronger condition than {\texttt{e.a.b.}} △ Less

Submitted 2 May, 2009; originally announced May 2009.

MSC Class: 13A15; 13G05; 13F30; 13E99

The patch topology and the ultrafilter topology on the prime spectrum of a commutative ring

Authors: Marco Fontana, K. Alan Loper

Abstract: Let R be a commutative ring and let Spec(R) denote the collection of prime ideals of R. We define a topology on Spec(R) by using ultrafilters and demonstrate that this topology is identical to the well known patch or constructible topology. The proof is accomplished by use of a von Neumann regular ring canonically associated with $R$. Let R be a commutative ring and let Spec(R) denote the collection of prime ideals of R. We define a topology on Spec(R) by using ultrafilters and demonstrate that this topology is identical to the well known patch or constructible topology. The proof is accomplished by use of a von Neumann regular ring canonically associated with $R$. △ Less

Submitted 14 October, 2007; v1 submitted 10 July, 2007; originally announced July 2007.

Comments: A Remark was added at the end of the paper. To appear in Comm. Algebra

MSC Class: 13A99; 14A05; 13L05

A generalization of Kronecker function rings and Nagata rings

Authors: Marco Fontana, K. Alan Loper

Abstract: Despite the obvious similarities in definitions and properties, the Nagata ring and the Kronecker function ring have been classically treated independently, when the coefficients are not in a Prüfer domain. The purpose of this paper is to study two different unified approaches to the Nagata rings and the Kronecker function rings, which yield these rings and their classical generalizations as spe… ▽ More Despite the obvious similarities in definitions and properties, the Nagata ring and the Kronecker function ring have been classically treated independently, when the coefficients are not in a Prüfer domain. The purpose of this paper is to study two different unified approaches to the Nagata rings and the Kronecker function rings, which yield these rings and their classical generalizations as special cases. △ Less

Submitted 3 April, 2006; originally announced April 2006.

MSC Class: 13F05; 13A15; 13A18; 13G05; 13H99

An historical overview of Kronecker function rings, Nagata rings, and related star and semistar operations

Authors: Marco Fontana, K. Alan Loper

Abstract: An historical overview of Kronecker function rings, Nagata rings, and related star and semistar operations An historical overview of Kronecker function rings, Nagata rings, and related star and semistar operations △ Less

Submitted 7 March, 2006; originally announced March 2006.

Comments: "Multiplicative Ideal Theory in Commutative Algebra: A tribute to the work of Robert Gilmer", Jim Brewer, Sarah Glaz, William Heinzer, and Bruce Olberding Editors, Springer (to appear)

MSC Class: 13F05; 13A15; 13A18; 13G05; 13H99

The content of a Gaussian polynomial is invertible

Authors: K. Alan Loper, Moshe Roitman

Abstract: Let R be an integral domain and let f(X) be a nonzero polynomial in R[X]. The content of f is the ideal c(f) generated by the coefficients of f. The polynomial f(X) is called Gaussian if c(fg)=c(f)c(g) for all g(X) in R[X]. It is well known that if c(f) is an invertible ideal, then f is Gaussian. In this note we prove the converse. Let R be an integral domain and let f(X) be a nonzero polynomial in R[X]. The content of f is the ideal c(f) generated by the coefficients of f. The polynomial f(X) is called Gaussian if c(fg)=c(f)c(g) for all g(X) in R[X]. It is well known that if c(f) is an invertible ideal, then f is Gaussian. In this note we prove the converse. △ Less

Submitted 11 September, 2003; originally announced September 2003.

Comments: 6 pages

MSC Class: 13 B25

Nagata Rings, Kronecker Function Rings and Related Semistar Operations

Authors: Marco Fontana, K. Alan Loper

Abstract: In 1994, Matsuda and Okabe introduced the notion of semistar operation. This concept extends the classical concept of star operation (cf. for instance, Gilmer's book \cite{G}) and, hence, the related classical theory of ideal systems based on the works by W. Krull, E. Noether, H. Prüfer and P. Lorenzen from 1930's. In \cite{FL1} and \cite{FL2} the current authors investigated properties of the K… ▽ More In 1994, Matsuda and Okabe introduced the notion of semistar operation. This concept extends the classical concept of star operation (cf. for instance, Gilmer's book \cite{G}) and, hence, the related classical theory of ideal systems based on the works by W. Krull, E. Noether, H. Prüfer and P. Lorenzen from 1930's. In \cite{FL1} and \cite{FL2} the current authors investigated properties of the Kronecker function rings which arise from arbitrary semistar operations on an integral domain $D$. In this paper we extend that study and also generalize Kang's notion of a star Nagata ring \cite{Kang:1987} and \cite{Kang:1989} to the semistar setting. Our principal focuses are the similarities between the ideal structure of the Nagata and Kronecker semistar rings and between the natural semistar operations that these two types of function rings give rise to on $D$. △ Less

Submitted 13 February, 2003; originally announced February 2003.

Comments: 20 pages

MSC Class: 13F05; 13A15; 13G05