English

Characterization of $T_0$-spaces for quasi-liminf convergence being topological

General Topology 2026-07-28 v1

Abstract

The authors' primary goal in this paper is to extend some important results related to the liminf-convergence and QS\mathcal{QS}-convergence in domain theory to the setting of T0T_0-spaces. To that end, we study the quasi-liminf convergence in T0T_0-spaces and introduce a new kind of T0T_0-spaces --- weakly locally hypercompact spaces (shortly \emph{WLH}-spaces). It is proved that every locally hypercompact T0T_0-space is a \emph{WLH}-space, and a T0T_0-space (X,τ)(X, \tau) is a \emph{WLH}-space iff the quasi-liminf convergence in (X,τ)(X, \tau) is topological. Hence the quasi-liminf convergence in a locally hypercompact space is topological, and for a quasicontinuous poset PP, the quasi-liminf convergence is topological and agrees with convergence in the Lawson topology λ(P)\lambda(P). We also show that a T0T_0-space (X,τ)(X,\tau) is locally hypercompact iff the QS\mathcal{QS}-convergence in (X,τ)(X,\tau) coincides with the convergence in the topology τ\tau. Therefore, a poset PP is quasicontinuous iff QS\mathcal{QS}-convergence in the Scott space of PP is topological iff QS\mathcal{QS}-convergence coincides with convergence in the Scott topology σ(P)\sigma (P). Using the quasi-liminf convergence, we give several characterizations of CC-spaces and continuous posets.

Keywords

Cite

@article{arxiv.2607.25945,
  title  = {Characterization of $T_0$-spaces for quasi-liminf convergence being topological},
  author = {Xinpeng Wen and Xiaoquan Xu},
  journal= {arXiv preprint arXiv:2607.25945},
  year   = {2026}
}

Comments

24 pages, 3 figures