Abstracts of talks at OAL-RAG 2026

Abstracts of talks at the Conference on Order, Algebra, Logic and Real Algebraic Geometry (OAL-RAG 2026)

Richard N. Ball* (University of Denver; rball@du.edu),
A. W. Hager (Wesleyan University; ahager@wesleyan.edu),
J. Walters-Wayland (Chapman University; joanne@waylands.com):
\(\lambda\)-repletions in \(\mathbf{W}\).   (4:00-4:40 May 8.)

The talk builds on the analysis of the structure of a completely regular frame presented by J. Walters-Wayland. We will show that the process of hollowing out the Madden frame of a \(\mathbf{W}\)-object \(G\), the so-called scaffolding of the frame, produces a cardinally indexed sequence of essential extensions of \(G\), terminating in the essential completion of \(G\). The characteristic feature of the \(\lambda\)th extension is that its \(\lambda\)-generated \(\mathbf{W}\)-kernels are polars, a feature which we refer to as \(\lambda\)-repleteness. These repletions of \(G\) are connected to the quasi-\(F_\lambda\)-covers of the Yosida space of \(G\).

The second part of the talk takes up the problem of how the elements of the \(\lambda\)-repletion are approximated by the elements of \(G\). Here we will indulge in a brief digression on the topic of convergences in \(\mathbf{W}\), for, in a development that delighted and surprised the authors (or at least the first one), it turns out that classical continuous convergence has a very pretty pointfree formulation which elegantly solves the problem.

[1] K. Yosida, On the representation of the vector lattice, Proc. Imp. Adac. Tokyo 18 (1942), 339--342.
[2] A. W. Hager and L. C. Robertson, Representing and ringifying a Riesz space, Sympos. Math. XXI (1977), 411--431.
[3] J. J. Madden and J. Vermeer, Epicomplete archimedean $\ell$-groups via a localic Yosida theorem, J. Pure Appl. Algebra 68 (1990), 243--252.

Papiya Bhattacharjee (Florida Atlantic University; bpapiya@gmail.com): Concerning Max$_j(L)$.   (9:05-9:45 May 8.)

Given any algebraic frame $L$ satisfying the FIP, and with a unit, consider a unit system $\frak U$ of $L$. It has been known that there is an inductive nucleus $j$ associated with this unit system. Furthermore, $jL={}$Fix$(j)$ is a coherent frame, and therefore maximal elements of $jL$ exist. We call this set Max$_j(L)$. Each $m\in{}$Max$_j(L)$ is a prime element of $L$, and so Max$_j(L)$ is a topological space under the hull-kernel topology; the subspace topology inherited from Spec$(L)$. In this talk, we will discuss the space Max$_j(L)$, along with a specific example when $j$ is the $d$-nucleus.

References
[J] Johnstone, P.T., Almost Maximal Ideals, Fund. Math. 123(3) (1984), 197--209.
[M] Martinez, J. Unit and kernel Systems in Algebraic Frames, Alg. Univ., 55(1) (2006), 13--43.
[W] Wallman, H. Lattices and topological spaces, Ann. of Math. (2) 39(1) (1938), 112--126.

Ricardo Carrera* (Nova Southeastern University (Florida); ricardo@nova.edu),
Anthony Hager (Wesleyan University, Emeritus; may participate, but only remotely; ahager@wesleyan.edu):
A classification of hull operators in $\mathbf W$.   (3:15-3:45 May 9.)

$\mathbf W$ is the category of archimedean lattice-ordered groups with designated weak unit and $\ell$-homomorphisms that preserve the unit. $\mathbf{hcW}$ (resp., $\mathbf{hoW}$) denotes the collection of hull classes (resp., hull operators) in $\mathbf W$. The interactions between a hull operator $h$ with the bounded monocoreflection in $\mathbf W$, $B$, can be used to characterize the hull operators and hull classes in $\mathbf W$. In this talk, we show how these interactions are used to classify the hull operators and $\mathbf W$ hull classes and discuss some of the recent developments on the subject matter.

Manuel Lopez del Castillo (Florida Atlantic University; mlopezdelcas2018@fau.edu): On hyper-complemented rings.   (2:30-2:50 May 8.)

A commutative ring $R$ is complemented if for every $a ∈ R$, there is an element $b ∈ R$ such that $ab = 0$ and $a + b$ is a regular element of the ring. Recall that a ring $R$ is complemented if and only if its classical ring of quotients of $q(R)$ is von Neumann regular. A ring is hyper-complemented if every reduced homomorphic image of that ring is complemented. I will present preliminary results on hyper-complemented rings and show that some classes of rings, such as von Neumann regular rings, principal ideal domains, Dedekind domains, and Noetherian rings are hyper-complemented. I will also discuss ongoing work and open questions concerning the hyper-complemented property for Bézout domains and Prüfer domains.

Christian Corbett (Florida Atlantic University; ccorbet2@fau.edu): An extension construction for algebraic frames and $M$-frames.   (1:30-1:50 May 8.)

A frame is called algebraic if each of its elements can be expressed as the supremum of the compact elements sitting below it. Common examples of algebraic frames often enjoy the additional condition that they satisfy the finite intersection property (FIP) on their compact elements (the so-called $M$-frames). In this talk, we investigate how algebraic frames without FIP can extend to $M$-frames, and some consequences thereof.

José F. Fernando Galván (Universidad Complutense, Madrid (Spain); josefer@ucm.es): Positive semidefinite elements and sums of squares in local henselian rings.   (1:30-2:10 May 9.)

A classical problem in Real Geometry (which goes back to Hilbert's 17th problem) concerns the representation of positive semidefinite elements (psd) of a ring $A$ as sums of squares (sos) of elements of $A$. If $A=K$ is a field and $\frac{1}{2}\in A$, this problem has always a positive solution (psd=sos) due mainly to Artin-Schreier theory of (formally) real fields, which was developed with a view towards obtaining a solution to Hilbert's 17th problem. However, the situation is in general radically different when $A$ is a (commutative unital) ring (with non-empty real spectrum), because strong dimensional restrictions appear and, apart from (formally) real fields, there are few real rings with the property psd=sos. This makes this type of rings special.

If $A$ is an excellent ring of real dimension $\geq3$, it is already known that it contains positive semidefinite elements that cannot be represented as sums of squares in $A$. In addition, if $A$ is a local henselian noetherian ring (with non-empty real spectrum) such that every positive definite element of $A$ is a sum of squares in $A$, then $A$ is real reduced, and consequently its real and Krull dimensions coincide. Thus, local excellent henselian rings with the property psd=sos have Krull dimension $\leq2$.

In this work we determine the local excellent henselian rings $A$ of embedding dimension $\leq3$ such that $\frac{1}{2}\in A$ and have the property that every positive semidefinite element of $A$ is a sum of squares of elements of $A$. We also present several families of examples (both irreducible and reducible) in higher embedding dimension that have the property psd=sos, a global-local criterion for the $2$-dimensional analytic setting and an improvement of Scheiderer's result concerning principal saturated preorderings of low order.

Zbigniew Hajto (Jagiellonian University (Poland); zbigniew.hajto@uj.edu.pl): Some applications of real differential algebra in Galois theory and affine algebraic geometry.   (9:00-9:40 May 9.)

In this talk, we explore several applications of real differential algebra, bridging the gap between differential Galois theory and problems in affine algebraic geometry. First, we present a Galois theory for partial differential systems defined over formally real differential fields with a real closed field of constants. For integrable systems, we establish the existence and uniqueness of formally real Picard-Vessiot extensions and provide a corresponding Galois correspondence theorem. We apply this framework to characterize formally real Liouvillian extensions of real partial differential fields using split solvable linear algebraic groups. Additionally, we discuss the topological properties of real Liouville functions and their relation to the concept of tame topology in the sense of Grothendieck and Khovanskii. In the second part of the talk, we apply differential algebraic methods to the study of polynomial automorphisms and the Jacobian Conjecture. We compare two classes of automorphisms: strongly nilpotent and Pascal finite. A polynomial map $F$ is defined as Pascal finite if there exists an integer $m$ such that $\Delta_{F}^{m}(X)=0$, where $\Delta_{F}$ is a derivation on the polynomial ring $K[X]^n$ given by $\Delta_{F}(P) = P \circ F - P$. We show that while every strongly nilpotent automorphism is Pascal finite, the converse is not true, as demonstrated by the Nagata automorphism. Finally, we discuss how the derivation operator $\Delta_{F}$ serves as a link to combinatorial methods involving weighted rooted trees, providing sharp degree bounds for inverse maps.

References
[1] T. Crespo, Z. Hajto and M. van der Put, Real and p-adic Picard-Vessiot fields, Math. Ann. 365 (2016), 93--103.
[2] T. Crespo, Z. Hajto and R. Mohseni, Real Liouvillian Extensions of Partial Differential Fields, SIGMA 17 (2021), 095, 16 pages.
[3] E. Adamus, P. Bogdan, T. Crespo and Z. Hajto, An effective study of polynomial maps, Journal of Algebra and Its Applications, 16 (2017), No. 8, 1750141 [cite: 276, 278, 279].
[4] E. Adamus, A note on algorithmic approach to inverting multivariate formal power series, arXiv:2503.03520v2.

James Klinkenberg (Florida Atlantic University; jklinkenberg2020@fau.edu): Weak disjointification and Max$_d(L)$.   (2:00-2:20 May 8.)

An algebraic frame satisfying the finite intersection property will be denoted as an \(M\)-frame. An \(M\)-frame is said to have disjointification if for each pair of compact elements \(a,b \in L\), there exist disjoint \(c \wedge d = 0 \in \mathfrak{K}L\), such that \(c \leq a\) and \(d \leq b\), and \(a \vee b = a \vee d = c \vee d\). For an \(M\)-frame \(L\), this is if and only if \(\text{Spec}(L)\) is a root system. This gives a well-defined map from \(\text{Min}(L)\) to \(\text{Max}_d(L)\), the space of minimal primes of \(L\) to the space of maximal \(d\)-elements of \(L\). In this talk, a weaker condition called weak disjointification is defined that leads to this same map, without requiring that \(\text{Spec}(L)\) forms a root system. Assuming this condition, we will show that the space \(\text{Max}_d(L)\) is Hausdorff. We will also see examples of frames having weak disjointification but not disjointification.

Wieslaw Kubis (Czech Academy of Sciences (Czech Republic),
Franz-Viktor Kuhlmann* (University of Szczecin (Szczecin, Poland); franz-viktor.kuhlmann@usz.edu.pl):
Chain union closures and convexity.   (11:00-11:40 May 9.)

A theory of ball spaces has been developed (see, e.g. [2]) in order to provide a general framework for fixed point theorems that in some way or the other work with contractive functions. They constitute a minimal setting in which the notion of spherical completeness can be introduced. A ball space is a nonempty set $X$ together with any collection of nonempty subsets of $X$. The basic example is to take the balls to be the closed ultrametric balls in an ultrametric space. However, the flexibility of the notion of ball spaces allows us to apply the concept of spherical completeness also in settings where no ultrametric is around. For example, in totally ordered sets (or abelian groups, or fields) we can take the balls to be the closed bounded intervals. Then we can give a unified definition of convexity in all of these ball spaces, and ask how all convex sets can be generated from the balls by repeatedly taking unions of increasing chains. Information from [1] can be used to construct examples of ever higher numbers of repetitions needed. We will report on this topic as well as other results of the manuscript [3].

References
[1] F.-V. Kuhlmann, K. Kuhlmann, S. Shelah, Symmetrically complete ordered sets, abelian groups and fields, Israel J. Math. 208 (2015), 261-290.
[2] H. Cmiel, F.-V. Kuhlmann, K. Kuhlmann, A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures, RACSAM 115 (2021), Article No. 156.
[3] W. Kubis, F.-V. Kuhlmann, Chain union closures, in preparation.

Ramiro H. Lafuente-Rodriguez (University of South Dakota; Ramiro.LafuenteRodri@usd.edu): The Alexandroff property in the spectrum and extremal refinements of algebraic frames.   (10:55-11:25 May 8.)

We present a comprehensive characterization of the Alexandroff property within the prime spectrum of algebraic frames and its extremal refinements. Our central result provides a dual characterization of Artinian algebraic frames: we prove that an algebraic frame $L$ is Artinian if and only if it is Noetherian and its prime spectrum $\text{Spec}(L)$, endowed with the Hull-Kernel topology, is Alexandroff. Beyond the global spectrum, we investigate the persistence of the Alexandroff property in the subspace of maximal primes $\text{Max}(L)$ and the subspace of minimal primes $\text{Min}(L)$. This analysis is extended to the inverse topology on $\text{Min}(L)$, offering a unified view of how chain conditions in the frame dictate the topological structure of its specialized subspaces.

James Madden (Louisiana State University; jamesjmadden@gmail.com): The free weak-unital vector lattice over a vector lattice.   (2:30-3:00 May 9.)

This talk responds to a question that Karim Boulabiar posed to Tony Hager and that Hager transmitted to me: I am wondering whether a free [weak unital] vector lattice exists over a given vector lattice. More precisely, let $V$ be a real vector lattice. Is it possible to find a vector lattice $U$ with a distinguished weak unit $u > 0$ such that, for every linear lattice homomorphism $f : V \to W$, where $W$ is a vector lattice with a distinguished weak unit $w > 0$, there exists a linear lattice homomorphism $f^\ast : U \to W$ such that $f^\ast$ extends $f$ and $f^\ast(u) = w$?

I show that the answer is affirmative and that if $V$ is Archimedean, then so is $U$. I examine some consequences. In particular, it is known that there are epicomplete Archimedean vector-lattices without weak unit, without $f$-ring structure and without Johnson representation. By the answer to Boulabiar's question and the localic Yosida Theorem, it is nonetheless the case that any such vector-lattice embeds the vector-lattice of all continuous real-valued functions on a regular Lindelöf locale. I examine what the embedding looks like.

Warren McGovern (Florida Atlantic University, Wilkes Honors College; WMcGove1@fau.edu): Algebraic frames.   (10:00-10:40 May 8.)

Let $L$ be an algebraic frame with $\mathfrak K(L)$ the join semi-lattice of compact elements. In the past, we have talked about properties on the set of minimal prime elements of $L$, denoted Min$(L)$. This set is equipped with both the hull-kernel topology and the inverse topology. If $L$ has FIP, then it is known that the hull-kernel topology is finer than the inverse topology. The latter statement is true precisely when Min$(L)={}$Cab$(L)$. Recall that $p\in{}$Min$(L)$ satisfies the compact absoluteness property if $$p=\bigvee \{c^\perp: c\in\mathfrak K(L)\hbox{ and } c\nleq p\},$$ and Cab$(L)$ is the collection of primes satisfying this property. It is a theorem that if Min$(L)^{-1}$ is compact, then Min$(L)={}$Cab$(L)$. We shall give some equivalent conditions to Min$(L)^{-1}$ being compact. We will provide an example of an algebraic frame satisfying CAB for which Min$(L)^{-1}$ is not compact.

Anand Pillay (Notre Dame University; Anand.Pillay.3@nd.edu): Groups definable in real closed fields with a generic derivation.   (10:00-10:40 May 9.)

The main thrust is that such a group $\Gamma$ as in the title is embedded "definably" in a Nash group $G$ in the sense of the underlying real closed field. I will discuss aspects of the proof (which is joint work with Peterzil/Point and with Rideau-Kikuchi/Point). I will also discuss the classification problem for real Nash groups, and also the category of Nash D-groups which arise in the case where $\Gamma$ is finite-dimensional.

John Stokes-Waters (University of Manchester; john.stokes-waters@manchester.ac.uk): A model companion for Abelian lattice-ordered groups with a valuation.   (10:00-10:30 May 10.)

An abelian lattice-ordered group, or abelian ℓ-group, is an abelian group equipped with a compatible lattice ordering. In this paper, we introduce two multi-sorted extensions of abelian lattice-ordered groups inspired by the zero-set maps for continuous functions into $\mathbb R$. We demonstrate that this expansion is equivalent to equipping $G$ with a spectral subspace $X$ of ℓ-Spec$(G)$, along with the map sending $a∈G$ to $\bigvee(a∧0)∩X$. Using a classical partial quantifier elimination result originally due to Fuxing Shen and Volker Weispfenning [15], we show that one of these expansions admits a model companion, which is complete and has quantifier elimination in a small language expansion.

Marcus Tressl (University of Manchester, United Kingdom; marcus.tressl@manchester.ac.uk): Every join semilattice with smallest element is isomorphic to the semilattice of compact open sets of some space.   (9:00-9:40 May 10.)

For a given join semilattice $S$ with smallest element, I will present (in a functorial way) a space $X$ such that $S$ is isomorphic to the join semilattice of compact and open subsets of $X$. When $S$ is a bounded distributive lattice, the construction returns the spectral space of prime ideals of $S$. When $S$ is a distributive join semilattice, the construction returns the Stone-Grätzer dual of $S$ (whose topology is the algebraic frame of ideals of $S$).

Joanne Walters-Wayland (Chapman University; jwalterswayland@gmail.com): The scaffolding of a completely regular frame.   (3:10-3:50 May 8.)

Part I: Joint work with R. Ball and A. Hager
We hollow out a given completely regular frame $L$ by removing, for an uncountable regular cardinal number $\kappa$, the dense $\kappa$-cozero elements of $L$. This we do by passing to the cointersection of the proper dense open $\kappa$-cozero quotients of $L$. The quotient frame is $\kappa$-hollow, i.e., it has no proper dense $\kappa$-cozero elements, and this passage is a bireflection in the category of frames with skeletal morphisms. Thus each frame $L$ has a descending sequence of dense quotient frames of increasing hollowness, indexed by the uncountable regular cardinal numbers, culminating in the classical minimal dense quotient of $L$.

Our purpose is to shed light on the structure of a given frame $L$ by examining the collection of quotients and sub-$\kappa$-frames which arise in its hollowing sequence, to which we refer collectively as the scaffolding of $L$.

This is the foundation on which R. Ball will develop the ideas about repletions in $\mathbf{W}$, the category of divisble archimedean lattice ordered groups with designated weak units.

And if time permits:
Part II: Joint work with A. Avilez and G. Bezhanishvili
One can also build a frame from its cozeros within the category of frames by using the normal completions of the various $\kappa$-cozero sub-structures. Each of these is $\kappa$-perfectly regular - a new notion that has some interesting consequences. Each frame can be built up using this ``perfectly regular tower" - thus expanding the scaffolding of any given completely regular frame.

Brian Wynne (Lehman College, City University of New York: Brian.Wynne@lehman.cuny.edu): More existentially closed prime-model extensions of Archimedean lattice-ordered groups with strong unit.   (10:45-11:25 May 10.)

Let $\bf{W}^+$ be the category of non-zero Archimedean $\ell$-groups with distinguished strong unit and unit-preserving $\ell$-group homomorphisms. The existentially closed (e.c.) $\bf{W}^+$-objects, which are to $\bf{W}^+$ as algebraically closed fields are to fields, may be characterized as follows: $G$ is e.c. in $\bf{W}^+$ just in case $G$ is divisible, feebly projectable, has no basic elements, and every weak unit in $G$ is a strong unit. An extension $G'$ of $G$ in $\bf{W}^+$ is called an e.c. prime-model extension of $G$ if $G'$ is e.c. in $\bf{W}^+$ and embeds over $G$ into every other e.c. extension of $G$ in $\bf{W}^+$ (this is analogous to the algebraic closure of a field). At OAL 2025, I showed that certain $\bf{W}^+$-objects, including all hyperarchimedean ones, have unique (up to isomorphism over $G$) e.c. prime-model extensions, and others have none at all. In this talk, I will give more examples of both of those situations.

Back to OAL-RAG 2026.

Last updated May 6, 2026.