2025/03/04 by Hou, Huijun, Li, Qingguo
#FOS: Mathematics #General Topology (math.GN)
paper · doi:10.48550/arxiv.2503.02602
Inspired by Zhao and Xu's study on which a dcpo can be determined by its Scott closed subsets lattice, we further investigate whether a poset (or dcpo) P is able to be determined by the family \mathcal Q(P) of its Scott compact saturated subsets, in the sense that the isomorphism between (\mathcal Q(P), ⊇) and (\mathcal Q(M), ⊇) implies the isomorphism between P and M for any poset (or dcpo) M, in such case, P is called \mathcal Qσ-unique. Quasicontinuous domains are proved to be \mathcal Qσ-unique posets and draw support from which, we provide a class of \mathcal Qσ-unique dcpos. We also define a new kind of posets called KD and show that every co-sober KD poset is \mathcal Qσ-unique. It even yields another kind of \mathcal Qσ-unique dcpos. It is gratifying that weakly well-filtered co-sober posets are also \mathcal Qσ-unique. At last, we distinguish among the conditions which make a poset (or dcpo) \mathcal Qσ-unique from each other by some examples; meanwhile, it is confirmed that none of them except the property of being co-sober are necessary for a poset (or dcpo) to be \mathcal Qσ-unique.