The paper investigates mathematical structures called directed-complete partial orders, or dcpos, which are sets where certain collections of elements always have a well-defined "least upper bound." Think of them as ordered collections with a reliable way to take limits of increasing sequences. The paper focuses on a special subclass called meet-continuous dcpos, where an additional compatibility condition holds between limits and a natural combining operation. Attached to each dcpo is a topological space built from its order structure, called its Scott space, and the paper asks when these spaces behave well, specifically whether they satisfy a property called sobriety, which roughly means the space has no redundant or "phantom" points.
The authors construct two carefully engineered countable examples that settle open questions in the field, both with negative answers. The first example is a countable meet-continuous dcpo whose Scott space fails sobriety even though its finite-dimensional product spaces behave as nicely as one could hope. The second example is a similar structure whose Scott space is well-behaved in other senses, yet its two-dimensional product space has a strictly richer topology than the naive product of the one-dimensional topology with itself. These constructions show that certain intuitive expectations about how these spaces should behave simply do not hold, even in the countable setting.
On the positive side, the paper proves that a broader class of dcpos, called L-dcpos, where every principal ideal forms a complete lattice, does satisfy sobriety whenever the two-dimensional product topology coincides with the naive product. This resolves an open question posed by Jia about a compactness-like property, doing so without any countability restriction. The paper also gives a clean characterization of another well-behaved topological property, called well-filteredness, in terms of bounded "Rudin sets," and closes with several open problems pointing toward future work.