Not every countable complete distributive lattice is sober

DOI10.1017/S0960129523000269MaRDI QIDQ6149954zbMATH OpenFDO

Authors Hualin Miao, Xiaoyong Xi, Qingguo Li, Dongsheng Zhao

Publication date 5 March 2024

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2205.00250

zbMATH Keywords

complete latticescountabilityScott topologysobriety

Mathematics Subject Classification ID

Computer science (68-XX)

Abstract: The study of the sobriety of Scott spaces has got an relative long history in domain theory. Lawson and Hoffmann independently proved that the Scott space of every continuous directed complete poset (usually called domain) is sober. Johnstone constructed the first directed complete poset whose Scott space is non-sober. Not long after, Isbell gave a complete lattice with non-sober Scott space. Based on Isbell's example, Xu, Xi and Zhao showed that there is even a complete Heyting algebra whose Scott space is non-sober. Achim Jung then asked whether every countable complete lattice has a sober Scott space. Let $SigmaP$ be the Scott space of poset $P$. In this paper, we first prove that the topology of the product space $SigmaPimesSigmaQ$ coincides with the Scott topology on the product poset $PimesQ$ if the set $Id(P)$ and $Id(Q)$ of all non-trivial ideals of posets $P$ and $Q$ are both countable. Based on this result, we deduce that a directed complete poset $P$ has a sober Scott space, if $Id(P)$ is countable and the space $SigmaP$ is coherent and well-filtered. Thus a complete lattice $L$ with $Id(L)$ countable has a sober Scott space. Making use the obtained results, we then construct a countable complete lattice whose Scott space is non-sober and thus give a negative answer to Jung's problem.

Cites work

• A note on coherence of dcpos
• Continuous Lattices and Domains
• scientific article; zbMATH DE number 3735877 (Why is no real title available?)
• scientific article; zbMATH DE number 3747204 (Why is no real title available?)
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• Prime Ideal Structure in Commutative Rings

Cited in

(3)

• Spaces determined by countably many locally compact subspaces
• Spaces determined by their Smyth hyperspaces with the Scott topology
• Products of two sober directed complete posets need not be sober

This page was built for publication: Not every countable complete distributive lattice is sober

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6149954)