Searcharxiv⌕ Search

arXiv · 2610.17759

The sobriety for locally compact dcpos

Abstract

In this paper, we focus on an open problem whether every locally compact dcpo is sober for the Scott topology. Specifically, we obtain two sufficient conditions for answering this problem. The main results are (1) every meet continuous locally compact coherent dcpo is sober with respect to the Scott topology; (2) the Scott space of every locally compact second countable dcpo is a sober space.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zhengmao He, Yujing Zhang. 2026-10-13. The sobriety for locally compact dcpos. https://arxiv.org/abs/2610.17759

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Generalized Topological Structures Induced by $H^{*}$-Open Sets and Their Separation Properties

In this paper, we investigate the family of $H^{*}$-open sets from the perspective of generalized topology and examine the structural and separation properties arising from it. For a topological space $(\mathbb{X},τ)$, the family of all $H^{*}$-open subsets of $\mathbb{X}$ is considered as a natural candidate for an $H^{*}$-generated generalized topology. We establish conditions under which this family forms a strong generalized topology and identify additional assumptions that allow the resulting structure to be treated as an ordinary topology. This distinction provides a systematic framework for studying $H^{*}$-open sets without imposing finite-intersection properties in advance. Within this framework, we investigate the corresponding $H^{*}$-interior and $H^{*}$-closure operators and analyze separation properties determined by the $H^{*}$-open structure. When the $H^{*}$-generated family forms a topology, the resulting associated space is used to relate generalized $H^{*}$-separation properties to their classical topological counterparts. We further examine compactness-type properties, subspace behaviour, and preservation under suitable mappings. Examples are included to illustrate how the structure generated by $H^{*}$-open sets may exhibit separation behaviour different from that of the original topology. The results provide a unified setting for connecting $H^{*}$-open-set theory with generalized topological structures and offer a basis for further investigation of separation and covering properties in this framework.

math.GN↗

Chain Continuity and Scott-Closed Interpolation

We prove that every chain-continuous dcpo is continuous and that its way-below relation is the relational square of its chain-below relation, answering a question of Erné. A subalgebra lattice obtained from a locally finite Jónsson algebra shows that the chain-below relation itself need not interpolate. For approximation by Scott-closed sets, we give a finite-upper-bound characterization on lower-set lattices and characterize interpolation by an extension property for directed lower sets. This yields a countably based, completely distributive algebraic lattice on which chain and directed approximation coincide, whereas Scott-closed approximation fails to interpolate, answering questions of Erné and of Ho and Zhao.

math.GN↗