When is ℒ(X) locally compact? II. The non-consonant case and the non-second-countable case

Last month, we have seen that ℒ(X) is locally compact in its Scott topology (equivalently, core-compact, equivalently, stably compact) if and only if OX is locally compact in its Scott topology (equivalently, core-compact, equivalently, stably compact), and that those properties are equivalent to X being core-compact, provided that X is a poset with its Scott topology or a ⊙-consonant second-countable space. Matthew de Brecht observed that the latter condition can be relaxed. We will see that we only need X to be second-countable or consonant for the equivalence to hold. Read the full post.

Posted in Uncategorized | Comments Off on When is ℒ(X) locally compact? II. The non-consonant case and the non-second-countable case

When is ℒ(X) locally compact?

Let ℒ(X) be the dcpo of all lower semicontinuous maps from a space X to R+ ∪ {∞}. We give it the Scott topology. Under which conditions on X is it locally compact? We will see that this happens exactly when X is core-compact, in two situations: when X is a poset with its Scott topology, and when X is an ⊙-consonant second countable space. I don’t know anything outside of these two cases. The case of posets has a remarkably short and clever proof, due to Xiaodong Jia. The case of ⊙-consonant second countable spaces has a much more tortuous proof, and relies on deep properties of hyperspaces discovered by Matthew de Brecht and Tatsuji Kawai. Read the full post.

Posted in Uncategorized | Tagged , , , , | Comments Off on When is ℒ(X) locally compact?

Compact closed subsets in the patch topology

Given a coherent, well-filtered space X, one can give a pretty explicit description of the compact closed sets in Xpatch, the space obtained by equipping X with its patch topology—and we do not need local compactness or compactness. They are exactly the non-empty intersections of finite unions of lenses. This wonderful result lies somewhere in a paper on measure extension theorems for T0 space of Klaus Keimel and Jimmie Lawson, and has a very clever proof, which J. Lawson sent me recently. Read the full post.

Posted in Uncategorized | Tagged , , , , | Comments Off on Compact closed subsets in the patch topology

Posets determined by countably many core-compact subspaces

Let me return to a topic that I have addressed a few times in recent posts: under which conditions does the Scott topology of the product of two posets coincide with the product topology of the Scott topologies? We have seen quite a few cases already, and this month we will see that this holds for ccω-posets, namely posets whose Scott topology is determined by the Scott topology of a countably ascending sequence of sub-d-posets, each of them being core-compact in its Scott topology. The construction is due to Lawson and Xu. The ccω-posets are exactly certain forms of colimits of posets in the category Posσ of posets and Scott-continuous maps, and the whole point is that not only are those colimits also colimits in Top, but those form colimits in Top over which products distribute (see the post of previous month). Read the full post.

Posted in Uncategorized | Tagged , , | Comments Off on Posets determined by countably many core-compact subspaces

When do products distribute over colimits in Top?

In a recent paper, Lawson and Xu give a new class of posets on which the Scott topology of the (poset) product of two posets coincides with the product topology (of each poset with its Scott topology). I will explain that more in detail next month. The following question is at the heart of their approach, and this is what I will focus on this month. Given two diagrams F and G in Top, we can form their colimits colim F and colim G. We can also consider the product diagram F × G. Is it true that colim (F × G) = colim F × colim G? We will see that this is rarely the case—I will give counterexamples—and that one of the most general situations where that is actually true is given by what I will call ω-rigid diagrams of core-compact spaces. Read the full post.

Posted in Uncategorized | Tagged , , , , | Comments Off on When do products distribute over colimits in Top?

Happy summer holidays 2024!

I will not post anything this month, sorry: I am on holidays, starting in a few days, and for about one month. Said otherwise: I have tried finding some time to write up on something before leaving off, but I will not manage to do so this time. Hence there will be no serious July 20th, 2024 post, sorry. I will definitely try to post something on August 20th, and I already have something in mind.

I am taking the opportunity to say that, after more than 10 years of posting every month, I may start slowing down a bit. Each post takes me between three days and one week of work, and it is getting harder and harder to find the time to write them.

In the meantime, you might want to attend the 10th International Symposium on Domain Theory, which will take place in Qufu, Shandong, China, 2-5 August 2024. I won’t be there (remember, I will be on holidays), but many others will. Otherwise, let me wish you a happy summer holiday!

Posted in Uncategorized | Comments Off on Happy summer holidays 2024!

The complete lattice Lfan (part II)

Last time, we had started to study the complete lattice Lfan, namely just N × N, with equality as ordering on the first component and the usual ordering on the second component, plus an extra bottom element ⊥, plus an extra top element ⊤. This is a complete lattice with the Chen-Kou-Lyu property, and we have seen a few consequences of that. This time, we will see that Lfan is a maximal limit space (in particular, it is sober and weakly Hausdorff); we knew that it is not core-compact, but it is consonant; we knew that it is not first-countable, but its lattice of open sets is second-countable in its Scott topology; and the upper Vietoris and Scott topologies coincide on its Smyth hyperspace. Read the full post.

Posted in Uncategorized | Tagged , , , , , , | Comments Off on The complete lattice Lfan (part II)

On products of dcpos, the Miao-Xi-Li-Zhao lemma, and the complete lattice Lfan (part I)

The product of a poset P with itself can be given two topologies: the Scott topology of the product, or the product of the Scott topologies. Those two topologies differ in general, but they coincide when P is a continuous poset, and more generally when P is core-compact, or first-countable. We will see a (very) simple example of a dcpo—even a complete lattice—for which those two topologies coincide, but that is neither core-compact nor first-countable. This was discovered independently by Xu, Shen, Xi and Zhao in 2020, by Chen, Kou and Lyu in 2022 and by Hertling in 2022. Showing that the Scott topology of the product coincides with the product of the Scott topologies is best done through a lemma due to Miao, Xi, Li, and Zhao in 2022, and which says the curious thing that this coincidence of topologies happens as soon as there are only countably many ideals that have suprema on the given poset. Read the full post.

Posted in Uncategorized | Tagged , , , , , | Comments Off on On products of dcpos, the Miao-Xi-Li-Zhao lemma, and the complete lattice Lfan (part I)

Hoover’s maximal limit spaces II: products, liftings, retracts, function spaces, and hyperspaces

Last time, we had introduced Hoover’s maximal limit spaces: spaces in which every convergent filter has a unique largest limit. That notion is closed under many constructions, as we will see: products, liftings, retracts, notably, and that is elementary. The space of continuous functions from a core-compact space to a maximal limit space is also a maximal limit space, as shown by Hoover. That is a more difficult theorem, which will rely on the characterizations we saw last time of maximal limit spaces as weakly Hausdorff spaces with some additional properties. We will also look at the Smyth and Hoare hyperspaces. Read the full post.

Posted in Uncategorized | Tagged , , , , , , , | Comments Off on Hoover’s maximal limit spaces II: products, liftings, retracts, function spaces, and hyperspaces

Hoover’s maximal limit spaces I: local strong sobriety, bounded sup-completeness and weak Hausdorffness

In 1995, Douglas Hoover introduced and studied a notion of maximal limit spaces: spaces in which every convergent net has a unique largest limit. This has connections with many other kinds of spaces that we have explored already, and I will show you one of Hoover’s theorems, suitably rephrased in light of a previous post of mine on weakly Hausdorff spaces (in the sense of Keimel and Lawson): the maximal limit spaces are exactly the locally strongly sober, bounded-sup-complete spaces, and therefore also the weakly Hausdorff, coherent, sober, bounded-sup-complete spaces. Read the full post.

Posted in Uncategorized | Tagged , , , , , | Comments Off on Hoover’s maximal limit spaces I: local strong sobriety, bounded sup-completeness and weak Hausdorffness