Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.39246

The product of two Scott sober complete lattices is not always Scott sober

Zhengmao He
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper, we obtain two complete lattices that are sober with respect to the Scott topology, whereas the Scott space of their product is not a sober space. Thus, we answer a question posed by Miao, Xi, Jia, Li and Zhao in [9].

Explore related subjects

math.GN

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zhengmao He. 2026-09-30. The product of two Scott sober complete lattices is not always Scott sober. https://arxiv.org/abs/2609.39246

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

KEEP EXPLORING

Related papers

arXiv2026

Explicit Witnesses at Every Gap of the Depth Filtration of $β\mathbb{N}$

Let $Σ_{1} = \mathbb{N}^*$ and $Σ_{k+1} = \overline{\mathbb{N}^* + Σ_{k}}$ be the cumulative depth filtration of $β\mathbb{N}$, the analogue for $(\mathbb{N},+)$ of a chain of closed ideals that Protasov and Protasova studied for discrete groups, where strict descent follows from a theorem of Lutsenko and Protasov. For every $k$ we give an explicit set whose closure meets $Σ_{k}$ but not $Σ_{k+1}$. Fix the doubly exponential sequence $e_{n} = 2^{2^{n}}$, partition it into $k$ subsequences $E_{0}, \dots, E_{k-1}$ by the residue of the index modulo $k$, and set $A_{k} = E_{0} + \cdots + E_{k-1}$. We prove that any sum $q_{0} + \cdots + q_{k-1}$ of free ultrafilters with $E_{t} \in q_{t}$ lies in $Σ_{k} \setminus Σ_{k+1}$. The engine is a master lemma, proved by induction on $j$: if a sum $F_{1} + \cdots + F_{j}$ of subsequences of $\{e_{n}\}$ with pairwise disjoint index sets belongs to a free ultrafilter $s$, then $s \notin Σ_{j+1}$. The proof rests on a single rigidity of the doubly exponential sequence: a fixed difference forces the largest index in any shift-intersection, once it is large, to cancel within its own subsequence, which makes every shift-intersection descend by at least one level. The same witnesses lie in the gaps of the pure filtration.

math.GN↗
arXiv2026

Plasticity in graph metric spaces and their hyperspaces

A metric space is plastic if every bijective nonexpansive self-map is an isometry. We prove that the hyperspace of nonempty compact subsets of every connected, locally finite, regular graph, equipped with the Hausdorff metric associated with the path metric, is plastic. The proof identifies the sets with smallest unit balls as the nonempty subsets of adjacent-twin classes and shows that every nonexpansive bijection induces an automorphism of the quotient graph preserving the sizes of these classes. Singletons are preserved when there are no adjacent twins, but need not be preserved in general. We also prove that $\mathcal{K}(K\times G)$ is plastic for every compact connected metric space $K$ and every connected, locally finite, regular graph $G$, with the supremum metric on the product, and give a more general criterion for such products. Further results include a plastic metric space whose hyperspace is not plastic, plasticity of every tree, and plasticity of the hyperspace of a connected, locally finite graph with only finitely many vertices of minimum degree.

math.GN↗
arXiv2026

$C_σ$-Unique Dcpos: Intrinsic Characterizations and Counterexamples

A dcpo \(D\) is called \(C_σ\)-unique if for every dcpo \(Q\), \( Γ(D)\cong Γ(Q) \) implies \( D\cong Q, \) where \(Γ(D)\) denotes the lattice of Scott-closed subsets of \(D\). We give an intrinsic characterization of \(C_σ\)-uniqueness in terms of Skula-density and Scott closure, identifying precisely when a proper sub-dcpo can preserve the lattice of Scott-closed sets. Based on this characterization, we answer three open problems: (1) every power $\J^I$ of Johnstone's dcpo is $C_σ$-unique; (2) $C_σ$-uniqueness is not preserved by binary products, even when both factors and their product are sober; and (3) a sober countable complete lattice need not be $C_σ$-unique, even when it is a frame.

math.GN↗