I have talked about Till Plewe’s topological game [2] last time, showing how Matthew de Brecht used it to show that the space *S*_{0} is not consonant [1]. However, the original purpose of that game was to show that certain products are computed differently in the category of topological spaces and in the category of locales.

## Localic products, topological products

Let me recall how products are built in the category **Top** of topological spaces and continuous maps. The product *X* × *Y* of two topological spaces has open subsets *W* built as arbitrary unions of open rectangles *U* × *V*, where *U* ranges over **O***X* and *V* ranges over **O***Y*.

Any such open set *W* gives rise to a Galois connection (α* _{W}*, γ

*) between the frames*

_{W}**O**

*X*and

**O**

*Y*: α

*(*

_{W}*U*) is defined as the largest open subset

*V*of

*Y*such that

*U*×

*V*⊆

*W*, for every

*U*∈

**O**

*X*, and γ

*(*

_{W}*V*) is the largest open subset

*U*of

*X*such that

*U*×

*V*⊆

*W*, for every

*V*∈

**O**

*Y*. It is easy to see that α

*and γ*

_{W}*are antitonic, and that*

_{W}*V*⊆ α

*(*

_{W}*U*) if and only if

*U*⊆ γ

*(*

_{W}*V*) (if and only if

*U*×

*V*⊆

*W*); those are the properties defining a Galois connection.

In general, given two frames Ω_{1} and Ω_{2} (taking the place of **O***X* and of **O***Y* respectively), a Galois connection between them is a pair of antitonic maps (α, γ), from Ω_{1} to Ω_{2} and from Ω_{2} to Ω_{1} respectively, satisfying the equivalence *v* ≤ α(*u*) if and only if *u* ≤ γ(*v*). Those Galois connections form a frame Gal(Ω_{1}, Ω_{2}); the ordering consists in comparing the α parts using the pointwise ordering, or equivalently the γ parts using the pointwise ordering. It does not matter whether we use α or γ, because any one of them determines the other one uniquely, and if one grows, the other grows as well.

Gal(Ω_{1}, Ω_{2}) is the coproduct of Ω_{1} and Ω_{2} in the category **Frm** of frames and frame homomorphisms. Therefore it is their *product* in the opposite category **Loc**=**Frm**^{op} of locales.

This is how I introduce localic products in Section 8.4.4 of the book.

A funny thing is that the elements of Gal(Ω_{1}, Ω_{2}) are suprema of rectangles, just like in the case of topological spaces. Those rectangles have a strange definition, although it is exactly what you would expect if you look at the Galois connections defined from regular open rectangles *U* × *V* in the product of two topological spaces, and abstract away from spaces in order to obtain a formula that makes sense on all frames. Explicitly, given *u* ∈ Ω_{1} and *v* ∈ Ω_{2}, the (*u* × *v*)-*rectangle* *u* ⊗ *v* is the Galois connection (α* _{uv}*, γ

*) where α*

_{uv}*maps ⊥ to ⊤, every element below*

_{uv}*u*and different from ⊥ to

*v*, and all other elements to ⊥. (The γ

*part is obtained in a unique way from α, and—as you might guess—by a symmetric formula. In the book, α*

_{uv}*is written as α*

_{uv}*and γ*

_{u×v}*is written as γ*

_{uv}*, but I now find this small × sign visually disturbing. Note that I am also using the notation*

_{u×v}*u*⊗

*v*, just like Plewe [2]; so

*u*⊗

*v*is the same thing as the Galois connection (α

*, γ*

_{uv}*).)*

_{uv}The point is that every element (α, γ) of Gal(Ω_{1}, Ω_{2}) is the supremum of all the rectangles below it. Additionally, this supremum is *pointwise*: for every *u’*, α(*u’*) is the supremum of the family α* _{uv}*(

*u’*) where (α

*, γ*

_{uv}*) ranges over the rectangles below (α, γ) (and similarly for γ(*

_{uv}*v’*)). This is remarkable, since general suprema of Galois connections are not computed pointwise; only infima are computed pointwise.

We have seen that every open set *W* in the topological product *X* × *Y* defines a Galois connection between **O***X* and **O***Y*. In other words, **O**(*X* × *Y*) sits inside Gal(**O***X*, **O***Y*), through the mapping that sends *W* to (α* _{W}*, γ

*). Let me call θ this mapping. Explicitly:*

_{W}**Definition.** θ : **O**(*X* × *Y*) → Gal(**O***X*, **O***Y*) maps every open subset *W* of *X* × *Y* to (α* _{W}*, γ

*), where:*

_{W}- α
(_{W}*U*) is defined as the largest open subset*V*of*Y*such that*U*×*V*⊆*W*, for every*U*∈**O***X*; - γ
(_{W}*V*) is the largest open subset*U*of*X*such that*U*×*V*⊆*W*, for every*V*∈**O***Y*.

One may wonder whether the two frames are isomorphic, and, if you do not know the answer to that riddle yet, you might surmise that they are indeed isomorphic. But you would be wrong. We have **O**(*X* × *Y*) ≅ Gal(**O***X*, **O***Y*) through θ if *X* or *Y* is core-compact, but the equality fails in general. I have already given John Isbell’s proof that this isomorphism fails when *X* and *Y* are two disjoint dense subsets of a non-empty T_{2} space [3], in a 2017 post.

My objective is to give another way of understanding how the isomorphism **O**(*X* × *Y*) ≅ Gal(**O***X*, **O***Y*) may succeed or fail, following Till Plewe [2].

## Till Plewe’s game

I have already introduced Till Plewe’s game last time, but let me repeat it here. Let *X* and *Y* be two topological spaces, *U*_{0} be an open subset of *X*, *V*_{0} be an open subset of *Y*, and ** U** be an open cover of

*U*

_{0}×

*V*_{0}by open rectangles. Till Plewe’s game

*G*

_{X,Y}(

*U*

_{0},

*V*

_{0},

**) is played as follows. At each round**

*U**i*≥1:

- player I picks a point
*x*∈_{i}*U*_{i–1}; - then player II picks an open neighborhood
*U*_{i}of*x*included in_{i}*U*_{i–1}; - player I picks a point
*y*∈_{i}*V*_{i–1}; - then player II picks an open neighborhood
*V*_{i}of*y*included in_{i}*V*_{i–1}.

(Each player plays twice at each round; this is deliberate.)

Player II wins (at round *i*) if *U*_{i} × *V*_{i} is included in one of the open rectangles of the cover ** U**. Otherwise, namely if the play goes along without player II ever winning, player I wins.

Plewe’s Theorem 1.1 [2] roughly states that Gal(**O***X*, **O***Y*) is spatial if and only if player II has a winning strategy in this game, and otherwise player I has a winning strategy. He requires *X* and *Y* to be sober, but we will see that we can dispense with that assumption. The core of this post will consist in proving the following very similar result. That is an (apparently) weaker result, since we are asking when θ is an order-isomorphism, not whether there is a (possibly different) order-isomorphism between **O**(*X* × *Y*) and Gal(**O***X*, **O***Y*). We will see later that the two results are, in fact, equivalent.

**Theorem.** For any two topological spaces *X* and *Y*, exactly one of the following mutually exclusive alternatives much occur:

- θ is an order-isomorphism of
**O**(*X*×*Y*) onto Gal(**O***X*,**O***Y*), and for every open subset*U*_{0}of*X*, for every open subset*V*_{0}of*Y*, for every open coverof*U**U*_{0}×*V*_{0}by open rectangles, player II has a winning strategy in the game*G*_{X,Y}(*U*_{0},*V*_{0},);*U* - or θ is not an order-isomorphism—in fact, θ is not surjective from
**O**(*X*×*Y*) to Gal(**O***X*,**O***Y*)—and there are an open subset*U*_{0}of*X*, an open subset*V*_{0}of*Y*, and an open coverof*U**U*_{0}×*V*_{0}by open rectangles such that player I has a winning strategy in the game*G*_{X,Y}(*U*_{0},*V*_{0},).*U*

Plewe really considers arbitrary products, but binary products will be enough for one post.

## C-ideals

The key to Plewe’s Theorem is the following alternate characterization of suprema (not *pointwise* suprema) in the localic product (=frame coproduct) of two frames.

A *C-ideal* on a pair of frames Ω_{1}, Ω_{2} is a downwards closed set *D* of (localic) rectangles that is *closed under C-suprema* (for “suprema taken **c**omponentwise”), namely such that:

- for every
*u*∈ Ω_{1}, for every family of elements (*v*)_{i}_{i ∈ I}with some supremum*v*in Ω_{2}, such that each rectangle*u*⊗*v*is in_{i}*D*, then*u*⊗*v*is also in*D*, and - for every
*v*∈ Ω_{2}, for every family of elements (*u*)_{i}_{i ∈ I}with some supremum*u*in Ω_{1}, such that each rectangle*u*⊗_{i}*v*is in*D*, then*u*⊗*v*is also in*D*.

Let me recall that *u* ⊗ *v* stands for the Galois connection (α* _{uv}*, γ

*). The family (*

_{uv}*v*)

_{i}_{i ∈ I}can be taken to be empty in the first of the two conditions given above; therefore

*u*⊗ ⊥ is in

*D*for every

*u*∈ Ω

_{1}; similarly, ⊥ ⊗

*v*is in

*D*for every

*v*∈ Ω

_{2}.

There is an isomorphism of frames between Gal(Ω_{1}, Ω_{2}) and the poset of C-ideals on Ω_{1}, Ω_{2} ordered by inclusion. The characterization of localic products as the space of ideals is from Dowker and Strauss [4]; the isomorphism with Gal(Ω_{1}, Ω_{2}) is due to Wigner [5], and is treated in Exercise 8.4.27 of the book.

- Given any element (α, γ) in Gal(Ω
_{1}, Ω_{2}), the collection of open rectangles*u*⊗*v*smaller than or equal to (α, γ) is a C-ideal; let me call that C-ideal Down(α, γ). The reason why this is a C-ideal is that*u*⊗*v*≤ (α, γ) if and only if*v*≤ α(*u*) if and only if*u*≤ γ(*v*) (Lemma 8.4.22 of the book); then the set of elements*v*that are below α(*u*) (for*u*fixed) is downwards closed and closed under all suprema, while the set of elements*u*that are below γ(*v*) (for*v*fixed) is also downwards closed and closed under all suprema. - Conversely, given any C-ideal
*D*, we can form a Galois connection Sup(*D*) ≝ (α, γ) as the pointwise supremum of all the rectangles in*D*. In other words, we define α(*u’*), for every*u’*∈ Ω_{1}, as the supremum of {α(_{uv}*u’*) |*u*⊗*v*∈*D*}, and γ(*v’*), for every*v’*∈ Ω_{2}, as the supremum of {γ(_{uv}*v’*) |*u*⊗*v*∈*D*}. In order to see that this is a Galois connection, and therefore that it is the supremum of all the rectangles in*D*, we first simplify these expressions.

We recall that, for all*u*and*v*, α(_{uv}*u’*) equals ⊤ if*u’*=⊥,*v*if*u’*≠⊥ and*u’*≤*u*, and ⊥ otherwise; therefore α(*u’*) is equal to ⊤ if*u’*=⊥, and otherwise to the supremum of all the elements*v*such that*u’*≤*u*for some rectangle*u*⊗*v*∈*D*. Since*D*is downwards-closed, it is equivalent to require that*u’*≤*u*for some rectangle*u*⊗*v*∈*D*, or to require that*u’*⊗*v*itself be in*D*. Hence, if*u’*≠⊥, then α(*u’*) is equal to the supremum of all the elements*v*such that*u’*⊗*v*∈*D*. Since*D*is closed under C-suprema,*u’*⊗ α(*u’*) is in*D*; in other words, α(*u’*) is the largest element*v*∈ Ω_{2}such that*u’*⊗*v*∈*D*. (This continues to hold if*u’*=⊥, since every element*v*is such that ⊥ ⊗*v*∈*D*, so that their supremum is ⊤.)

Symmetrically, for every*v’*∈ Ω_{2}, γ(*v’*) is the largest element*u*∈ Ω_{1}such that*u*⊗*v’*∈*D*.

The statements*u’*≤ γ(*v’*),*v’*≤ α(*u’*), and*u’*⊗*v’*∈*D*are then equivalent; in particular, (α, γ) is a Galois connection, as desired. - Given Sup(
*D*) = (α, γ), as we have just defined it, Down(Sup(*D*)) is the collection of rectangles*u’*⊗*v’*below (α, γ), equivalently such that*v’*≤ α(*u’*), equivalently such that*u’*⊗*v’*∈*D*. Therefore Down(Sup(*D*)) =*D*. - For every Galois connection (α, γ), letting (α’, γ’) ≝ Sup(Down(α, γ)), we have that for every
*u’*∈ Ω_{1}, α'(*u’*) is the largest element*v*∈ Ω_{2}such that*u’*⊗*v*∈ Down(α, γ), namely such that*u’*⊗*v*≤ (α, γ). But every Galois connection is the supremum of the rectangles below it, so Sup(Down(α, γ)) = (α, γ). - Finally, it is clear that the map Down is monotonic. Since Sup is an inverse to Down, it is also monotonic. Therefore Down and Sup form a pair of mutually inverse order-isomorphisms.

## Localic suprema of rectangles

Plewe’s theorem is really about how one would compute suprema of rectangles in Gal(**O***X*, **O***Y*). It is equivalent to consider suprema of rectangles in the space of C-ideals on **O***X*, **O***Y*, by the correspondence between C-ideals and Galois connections that we have just seen (or recalled).

Hence let us fix a a family ** U** of (topological) open rectangles

*U*×

_{i}*V*,

_{i}*i*∈

*I*. Each one defines a localic rectangle

*U*⊗

_{i}*V*, and we wish to compute their localic supremum, namely their supremum in Gal(

_{i}**O**

*X*,

**O**

*Y*).

We work in the isomorphic frame of C-ideals, and our problem is, equivalently, to find the supremum of the C-ideals Down(*U _{i}* ⊗

*V*). That is, by definition, the smallest C-ideal

_{i}*D*containing Down(

*U*⊗

_{i}*V*) for every

_{i}*i*∈

*I*. We start off the construction by defining

**D**

_{0}(

**) as the union of the sets Down(**

*U**U*⊗

_{i}*V*),

_{i}*i*∈

*I*. This is downwards-closed, but is quite probably not closed under C-suprema. We repair this by defining

**D**

_{1}(

**) as all C-suprema of elements of**

*U***D**

_{0}(

**). One can see that**

*U***D**

_{1}(

**) will still be downwards-closed (we will see that below), but it may still not be closed under C-suprema, so we iterate the process for transfinitely long.**

*U*Explicitly, we define collections **D**_{β}(** U**) of rectangles by induction on the ordinal β as follows. We have already defined

**D**

_{0}(

**). Assuming that we have built**

*U***D**

_{β}(

**), and that it is downwards-closed, we let**

*U***D**

_{β+1}(

**) be the collection of rectangles**

*U**U*⊗

*V*where either

*V*=∪

_{i ∈ I}

*V*for open sets

_{i}*V*such that every rectangle

_{i}*U*⊗

*V*is in

_{i}**D**

_{β}(

**), or**

*U**U*=∪

_{i ∈ I}

*U*where every

_{i}*U*is open in

_{i}*X*and every rectangle

*U*⊗

_{i}*V*is in

**D**

_{β}(

**). (**

*U***D**

_{β+1}(

**) will still be downwards-closed. For example, if**

*U**U*⊗

*V*is obtained by taking

*V*=∪

_{i ∈ I}

*V*where

_{i}*U*⊗

*V*is in

_{i}**D**

_{β}(

**) for every**

*U**i*, and if

*U’*⊗

*V’*≤

*U*⊗

*V*, then

*U’*is included in

*U*and

*V’*is included in

*V*[or

*U’*or

*V’*is empty]; since

**D**

_{β}(

**) is downwards-closed,**

*U**U’*⊗ (

*V*∩

_{i}*V’*) is in

**D**

_{β}(

**) for every**

*U**i*, hence therefore also

*U’*⊗ ∪

_{i ∈ I}(

*V*∩

_{i}*V’*) =

*U’*⊗ (

*V*∩

*V’*) =

*U’*⊗

*V’*.) When β is a limit ordinal, we define

**D**

_{β}(

**) as the union of**

*U***D**

_{β’}(

**), where β'<β.**

*U*The process must stabilize at some ordinal β, namely all the sets **D**_{β}(** U**) should be equal for β large enough. Otherwise the elements added at each stage would form a proper class of rectangles in the end; but the rectangles on

**O**

*X*and

**O**

*Y*only form a set, not a proper class.

I will write **D**_{∞}(** U**) for the union of all the sets

**D**

_{β}(

**). We have just argued that**

*U***D**

_{∞}(

**) =**

*U***D**

_{β}(

**) for β large enough. The fact that**

*U***D**

_{β}(

**) =**

*U***D**

_{β+1}(

**) means that**

*U***D**

_{β}(

**) is closed under C-suprema. We have argued earlier that**

*U***D**

_{β}(

**) was downwards-closed. Hence**

*U***D**

_{β}(

**) is a C-ideal. It contains every rectangle**

*U**U*⊗

_{i}*V*, since

_{i}**D**

_{0}(

**) is included in**

*U***D**

_{β}(

**). Also, every C-ideal**

*U**D*containing every rectangle

*U*⊗

_{i}*V*must contain

_{i}**D**

_{0}(

**) and, by the fact that**

*U**D*is closed under C-suprema and by ordinal induction,

**D**

_{β}(

**) is included in**

*U**D*for every ordinal β. Therefore:

**Fact A.** For every family ** U** of (topological) open rectangles

*U*×

_{i}*V*,

_{i}**D**

_{∞}(

**) is the supremum of the C-ideals Down(**

*U**U*⊗

_{i}*V*) in the space of C-ideals on the frames

_{i}**O**

*X*,

**O**

*Y*. Therefore Sup(

**D**

_{∞}(

**)) is the supremum of the rectangles**

*U**U*⊗

_{i}*V*in Gal(

_{i}**O**

*X*,

**O**

*Y*).

## When is θ an isomorphism?

We recall that θ maps every open subset *W* of *X* × *Y* to the Galois connection (α* _{W}*, γ

*), where for every*

_{W}*α*

*U*∈**O***X*,*(*

_{W}*U*) is the largest open subset

*V*of

*Y*such that

*U*×

*V*⊆

*W*, and for every

*, γ*

*V*∈**O***Y**(*

_{W}*V*) is the largest open subset

*U*of

*X*such that

*U*×

*V*⊆

*W*.

The map θ is an order-embedding, meaning that *W* ⊆ *W’* if and only if α* _{W}*≤α

*(or equivalently, γ*

_{W’}*≤γ*

_{W}*), for all open subsets*

_{W’}*W*and

*W’*of

*X*×

*Y*. The left-to-right direction follows from the fact that if

*U*×

*V*⊆

*W*then

*U*×

*V*⊆

*W’*, while the right-to-left direction is because, if α

*≤α*

_{W}*, then for every open rectangle*

_{W’}*U*×

*V*⊆

*W*, we have

*V*⊆ α

*(*

_{W}*U*), hence

*V*⊆ α

*(*

_{W’}*U*), hence

*U*×

*V*⊆

*W*‘; we use the fact that, by definition of α

*,*

_{W}*U*×

*V*⊆

*W*if and only if

*V*⊆ α

*(*

_{W}*U*), and similarly with

*W’*.

Hence θ is an isomorphism if and only if it is surjective.

**Lemma B.** The map θ is surjective (equivalently, an order-isomorphism) if and only if for every open subset *U*_{0} of *X*, for every open subset *V*_{0} of *Y*, for every open cover ** U** of

*U*

_{0}×

*V*_{0}by open rectangles,

**D**

_{∞}(

**) contains**

*U**U*

_{0}⊗

*V*_{0}.

*Proof.* Given any collection ** U** of open rectangles in

*X*×

*and any open subset*

*Y**W*of

*X*×

*, we claim that Sup(*

*Y***D**

_{∞}(

**)) = θ(**

*U**W*) if and only if: (*) for every open subset

*U*

_{0}of

*X*, for every open subset

*V*

_{0}of

*Y*,

*U*

_{0}⊗

*V*_{0}∈

**D**

_{∞}(

**) if and only if**

*U**U*

_{0}×

*V*_{0}⊆

*W*.

Indeed, Sup(**D**_{∞}(** U**)) = θ(

*W*) if and only if

**D**

_{∞}(

**) = Down(θ(**

*U**W*)), using the fact that G and Down are mutual inverses. Now

*U*

_{0}⊗

*V*_{0}∈ Down(θ(

*W*)) if and only if

*U*

_{0}⊗

*V*_{0}is below θ(

*W*) = (α

*, γ*

_{W}*). Using Lemma 8.4.22 in the book (a result we have already used several times in this post),*

_{W}*U*

_{0}⊗

*V*_{0}is below (α

*, γ*

_{W}*) if and only if*

_{W}

*V*_{0}⊆ α

*(*

_{W}*U*

_{0}), if and only if

*U*

_{0}×

*V*_{0}⊆

*W*.

If θ is surjective, then for every family ** U** of open rectangles, Sup(

**D**

_{∞}(

**)) = θ(**

*U**W*) for some open subset

*W*of

*X*×

*. Hence by (*), the open rectangles*

*Y**U*

_{0}×

*V*_{0}included in

*W*are exactly those such that

*U*

_{0}⊗

*V*_{0}is in

**D**

_{∞}(

**). Every open rectangle**

*U**U*

_{0}×

*V*_{0}in

**is such that**

*U**U*

_{0}⊗

*V*_{0}is in

**D**

_{0}(

**), hence in**

*U***D**

_{∞}(

**), so**

*U**U*

_{0}×

*V*_{0}must be included in

*W*. Therefore the union of the open rectangles in

**is included in**

*U**W*; or equivalently,

**is a cover of**

*U**W*by open rectangles. It follows that for every open subset

*U*

_{0}of

*X*, for every open subset

*V*

_{0}of

*Y*, if

*U*

_{0}×

*V*_{0}is in

**, in particular**

*U**U*

_{0}×

*V*_{0}is included in

*W*, so by (*), used a second time,

*U*

_{0}⊗

*V*_{0}∈

**D**

_{∞}(

**). This shows the “only if” (left to right) direction of the Lemma.**

*U*Conversely, let us assume that the part of the Lemma that follows “if and only if” holds, namely that for every collection ** U** of open rectangles in

*X*×

*, for every open subset*

*Y**U*

_{0}of

*X*and for every open subset

*V*

_{0}of

*Y*such that

*U*

_{0}×

*V*_{0}is included in the union

*W*of the open rectangles in

**,**

*U***D**

_{∞}(

**) contains**

*U**U*

_{0}⊗

*V*_{0}. By (*), this means that for every collection

**of open rectangles in**

*U**X*×

*, Sup(*

*Y***D**

_{∞}(

**)) = θ(**

*U**W*), where

*W*is the union of the open rectangles in

**.**

*U*Let (α, γ) be any element of Gal(**O***X*, **O***Y*). We recall that (α, γ) = Sup(Down(α, γ)), since Sup and Down are mutually inverse. Let us write Down(α, γ) as a collection of rectangles *U _{i}* ⊗

*V*,

_{i}*i*∈

*I*. Let

**be the corresponding collection of open rectangles**

*U**U*×

_{i}*V*,

_{i}*i*∈

*I*. By Fact A, Sup(

**D**

_{∞}(

**)) is the supremum of the rectangles**

*U**U*⊗

_{i}*V*in Gal(

_{i}**O**

*X*,

**O**

*Y*). But that supremum is also the supremum of Down(α, γ), namely Sup(Down(α, γ)), equivalently, (α, γ). Therefore (α, γ) = Sup(

**D**

_{∞}(

**)) = θ(**

*U**W*), showing that θ is surjective. ☐

Plewe’s theorem is now merely a game-theoretic rephrasing of Lemma B, as we now demonstrate.

## Player II wins when θ : **O**(*X* × *Y*) ≅ Gal(**O***X*, **O***Y*)

Let us show the first half of the promised theorem: that if θ is an order-isomorphism from **O**(*X* × *Y*) onto Gal(**O***X*, **O***Y*), then player II has a winning strategy in the game *G*_{X,Y}(*U*_{0}, *V*_{0}, ** U**), for every open subset

*U*

_{0}of

*X*, for every open subset

*V*

_{0}of

*Y*, and for every open cover

**of**

*U**U*

_{0}×

*V*_{0}by open rectangles.

We fix *U*_{0}, *V*_{0}, and an open cover ** U** of

*U*

_{0}×

*V*_{0}by open rectangles as above. Let me recall how this game is played. At each round

*i*≥1:

- player I picks a point
*x*∈_{i}*U*_{i–1}; - then player II picks an open neighborhood
*U*_{i}of*x*included in_{i}*U*_{i–1}; - player I picks a point
*y*∈_{i}*V*_{i–1}; - then player II picks an open neighborhood
*V*_{i}of*y*included in_{i}*V*_{i–1}.

Player II wins at round *i* if *U*_{i} × *V*_{i} is included in one of the open rectangles of the cover ** U**. Otherwise, player I wins.

If θ is an order-isomorphism, then by Lemma B, **D**_{∞}(** U**) contains

*U*

_{0}⊗

*V*_{0}. Since

**D**

_{∞}(

**) is equal to the union of the sets**

*U***D**

_{β}(

**), where β ranges over the ordinals, every rectangle in**

*U***D**

_{∞}(

**) has a**

*U**rank*, which is by definition the least ordinal β such that the rectangle belongs to

**D**

_{β}(

**). We let β**

*U*_{0}be the rank of

*U*

_{0}⊗

*V*_{0}. We will let player II play in such a way that after round

*i*,

*U*

_{i}⊗

*V*_{i}has rank β

_{i}, where β

_{0}> β

_{1}> … > β

_{i}.

If β_{i}=0, then *U*_{i} ⊗ *V*_{i} is in **D**_{0}(** U**), which is by definition the union of the sets Down(

*U*⊗

*V*) where

*U*×

*ranges over the open rectangles of*

*V***, and therefore player II wins.**

*U*Let us assume that *i*≥1 and that player II has not won yet, that is, β_{i–1}>0. *U*_{i–1} ⊗ *V*_{i–1} is in **D**_{βi–1}(** U**), and we argue that β

_{i–1}cannot be a limit ordinal; otherwise, since

**D**

_{βi–1}(

**) is the union of the sets**

*U***D**

_{β}(

**) with β<β**

*U*_{i–1},

*U*

_{i–1}⊗

*V*_{i–1}would be in

**D**

_{β}(

**) for some β<β**

*U*_{i–1}, contradicting the fact that β

_{i–1}is the least ordinal β such that

*U*

_{i–1}⊗

*V*_{i–1}is in

**D**

_{β}(

**). Therefore β**

*U*_{i–1}is a successor ordinal, say β+1, and

*U*

_{i–1}⊗

*V*_{i–1}is obtained as a C-supremum of rectangles in

**D**

_{β}(

**). There are two cases: either**

*U**U*

_{i–1}is a union of open sets

*U’*

_{j}(

*j*∈

*J*) such that each rectangle

*U’*

_{j}⊗

*V*_{i–1}is in

**D**

_{β}(

**), or**

*U**V*

_{i–1}is a union of open sets

*V’*(

_{j}*j*∈

*J*) such that each rectangle

*U*

_{i–1}⊗

*V’*is in

_{j}**D**

_{β}(

**).**

*U*- In the first case, once player I has picked a point
*x*∈_{i}*U*_{i–1}, player II will play some*U’*_{j}that contains*x*for_{i}*U*_{i}; player I picks a point*y*∈_{i}*V*_{i–1}, and player II simply plays*V*_{i–1}for*V*_{i}. Since*U*_{i}⊗*V*_{i}=*U’*_{j}⊗*V*_{i–1}is in**D**_{β}(), it has rank β*U*_{i}≤β<β_{i–1}. - In the second case, player I picks a point
*x*∈_{i}*U*_{i–1}, player II plays*U*_{i–1}for*U*_{i}, then player I picks a point*y*∈_{i}*V*_{i–1}, and player II plays some*V’*that contains_{j}*y*for_{i}*V*_{i}. Since*U*_{i}⊗*V*_{i}=*U*_{i}_{–1}⊗*V’*is in_{j}**D**_{β}(), it has rank β*U*_{i}≤β<β_{i–1}.

Since there is no infinite strictly decreasing sequence of ordinals, player II will eventually win.

## Player I wins if θ : **O**(*X* × *Y*) ≇ Gal(**O***X*, **O***Y*)

If θ is not an order-isomorphism, namely if it is not surjective, then by Lemma B, there is a way of choosing *U*_{0}, *V*_{0}, and an open cover ** U** of

*U*

_{0}×

*V*_{0}in such a way that

**D**

_{∞}(

**) does not contain**

*U**U*

_{0}⊗

*V*_{0}.

We verify that player I wins, whatever strategy player II uses. To this end, we will maintain the invariant that, at round *i*, *U*_{i} ⊗ *V*_{i} is not in **D**_{∞}(** U**). This is certainly true when

*i*=0.

When *i*≥1, the invariant at round *i*–1 tells us that *U*_{i–1} ⊗ *V*_{i–1} is not in **D**_{∞}(** U**).

- If we could find an open neighborhood
*U’*_{x}of every point*x*in*U*_{i–1}such that*U’*_{x}⊗*V*_{i–1}were in**D**_{∞}(), then*U**U*_{i–1}⊗*V*_{i–1}would be a C-supremum of the rectangles*U’*_{x}⊗*V*_{i–1}where*x*ranges over*U*_{i–1}, hence would be in**D**_{∞}(). Therefore there is a point*U**x*in*U*_{i–1}—we pick one, call it*x*, and this is the point that player I plays—such that whatever open neighborhood_{i}*U*_{i}of*x*included in_{i}*U*_{i–1}is played next by player II,*U*_{i}⊗*V*_{i–1}is still not in**D**_{∞}().*U* - By a similar argument, if we could find an open neighborhood
*V’*_{y}of every point*y*in*V*_{i–1}such that*U*_{i}⊗*V’*_{y}were in**D**_{∞}(), then*U**U*_{i}⊗*V*_{i–1}would be a C-supremum of the rectangles*U*_{i}⊗*V’*_{y}where*y*ranges over*V*_{i–1}, hence would be in**D**_{∞}(). Therefore there is a point*U**y*in*V*_{i–1}—we pick one, call it*y*, and this is the point that player I plays—such that whatever open neighborhood_{i}*V*_{i}of*y*included in_{i}*V*_{i–1}is played next by player II,*U*_{i–1}⊗*V*_{i–1}is still not in**D**_{∞}().*U*

Since the game goes on forever, player I wins the game.

This concludes the proof of the theorem, which we now recall. As we have seen, the proof is really a rephrasing in game-theoretic terms of a construction of the suprema of rectangles in Gal(**O***X*, **O***Y*) by ordinal induction.

**Theorem.** (Repeated from earlier in this post.) For any two topological spaces *X* and *Y*, exactly one of the following mutually exclusive alternatives much occur:

- θ is an order-isomorphism of
**O**(*X*×*Y*) onto Gal(**O***X*,**O***Y*), and for every open subset*U*_{0}of*X*, for every open subset*V*_{0}of*Y*, for every open coverof*U**U*_{0}×*V*_{0}by open rectangles, player II has a winning strategy in the game*G*_{X,Y}(*U*_{0},*V*_{0},);*U* - or θ is not an order-isomorphism—in fact, θ is not surjective from
**O**(*X*×*Y*) to Gal(**O***X*,**O***Y*)—and there are an open subset*U*_{0}of*X*, an open subset*V*_{0}of*Y*, and an open coverof*U**U*_{0}×*V*_{0}by open rectangles such that player I has a winning strategy in the game*G*_{X,Y}(*U*_{0},*V*_{0},).*U*

## Spatiality of products

Before I give a few applications of this result, let me notice that Plewe’s theorem is not about θ being an order-isomorphism or not, and rather is about whether Gal(**O***X*, **O***Y*) is a spatial frame or not; in other words whether there *exists* an order-isomorphism between **O**(*X* × *Y*) and Gal(**O***X*, **O***Y*) at all.

But that is equivalent. One can find the argument (for arbitrary products of sober spaces) in [6, Proposition IV-5.4.2]. I will give a proof below; it is somewhat tricky, and I will stress the tricky parts. The point is not so much in showing that if Gal(**O***X*, **O***Y*) is spatial then it must be order-isomorphic to **O**(*X* × *Y*), but to show that the order-isomorphism in question must be θ. By the way, the assumption that *X* and *Y* are sober is useless (as we will show during the course of the proof), so we will drop it.

**Lemma C.** For all topological spaces *X* and *Y*, Gal(**O***X*, **O***Y*) is spatial if and only if θ is an order-isomorphism, if and only if θ is surjective.

*Proof.* If θ is surjective, or equivalently an order-isomorphism, then **O**(*X* × *Y*) ≅ Gal(**O***X*, **O***Y*), so Gal(**O***X*, **O***Y*) is spatial.

Conversely, let us assume that *L* ≝ Gal(**O***X*, **O***Y*) is spatial. We can assume that *X* and *Y* are sober, otherwise we replace *X* with its sobrification **S**(*X*), and similarly with *Y*. Indeed, *X* and **S**(*X*) have isomorphic lattices of open sets (Lemma 8.2.26 in the book) and **S**(*X*) is sober (Corollary 8.2.23), and similarly with *Y*; also, **S**(*X* × *Y*) is isomorphic to **S**(*X*) × **S**(*Y*) (Theorem 8.4.8). Hence, if we prove that θ is surjective from **O**(*X* × *Y*) to Gal(**O***X*, **O***Y*) for all sober spaces *X* and *Y*, then the corresponding map from **O**(**S**(*X* × *Y*)) to Gal(**O**(**S**(*X*)), **O**(**S**(*Y*))) will be surjective for all spaces *X* and* Y* (not necessarily sober), and therefore also θ itself, from **O**(*X* × *Y*) to Gal(**O***X*, **O***Y*). In any case, we will therefore assume, without loss of generality, that *X* and *Y* are sober.

There is an adjunction **O** ⊣ **pt** (Theorem 8.1.26 in the book) between **Top** and **Frm**^{op}, and with unit η^{Stone} and counit ε^{Stone}; we will not need to know how they are defined. By Proposition 8.1.17 of the book, the fact that *L* is spatial is equivalent to the fact that ε_{L}^{Stone} : *L* → **O**(**pt**(*L*)) is an order-isomorphism.

We use the fact that *L*=Gal(**O***X*, **O***Y*) is the coproduct of **O***X* and **O***Y* in **Frm**, with canonical injections ι* _{X}* :

**O**

*X*→

*L*mapping every open subset

*U*of

*X*to

*U*⊗

*Y*and ι

*:*

_{Y}**O**

*Y*→

*L*mapping every open subset

*V*of

*Y*to

*X*⊗

*V*(Exercise 8.4.28), and we will use this to show that

**pt**(

*L*) is (homeomorphic to) the product of

*X*and

*Y*in

**Top**. We need to make the homeomorphism explicit, too: we will use it to show that

**O**applied to that homeomorphism (and composed with the inverse of ε

^{Stone}) is exactly θ, and that is how we will obtain that θ is an order-isomorphism.

Passing to opposite categories, *L*=Gal(**O***X*, **O***Y*) is the product of **O***X* and **O***Y* in **Frm**^{op}. Since right adjoints preserve all limits, hence all products, **pt**(*L*) is a product of **pt**(**O**(*X*)) and **pt**(**O**(*Y*)) in **Top**, with canonical projections **pt**(ι* _{X}*) :

**pt**(

*L*) →

**pt**(

**O**(

*X*)) and

**pt**(ι

*) :*

_{Y}**pt**(

*L*) →

**pt**(

**O**(

*Y*)).

Since *X* is sober, the map η_{X}^{Stone} : *X* → **pt**(**O**(*X*)) is a homeomorphism (Proposition 8.2.22), and similarly with *Y*. Therefore **pt**(*L*) is also a product of *X* and *Y* in **Top**, with canonical projections (η_{X}^{Stone})^{–1} o **pt**(ι* _{X}*) :

**pt**(

*L*) →

*X*and (η

_{Y}

^{Stone})

^{–1}o

**pt**(ι

*) :*

_{Y}**pt**(

*L*) →

*Y*. But we have another product, namely

*X*×

*Y*, so the pairing 〈(η

_{X}

^{Stone})

^{–1}o

**pt**(ι

*), (η*

_{X}_{Y}

^{Stone})

^{–1}o

**pt**(ι

*)〉 :*

_{Y}**pt**(

*L*) →

*X*×

*Y*is a homeomorphism.

We apply the **O** functor, and we obtain that **O** 〈(η_{X}^{Stone})^{–1} o **pt**(ι* _{X}*), (η

_{Y}

^{Stone})

^{–1}o

**pt**(ι

*)〉 :*

_{Y}**O**(

*X*×

*Y*) →

**O**(

**pt**(

*L*)) is an order-isomorphism. Therefore (ε

_{L}

^{Stone})

^{–1}o

**O**〈(η

_{X}

^{Stone})

^{–1}o

**pt**(ι

*), (η*

_{X}_{Y}

^{Stone})

^{–1}o

**pt**(ι

*)〉 :*

_{Y}**O**(

*X*×

*Y*) →

*L*is also an order-isomorphism. We claim that this order-isomorphism—call it ϴ for short—is nothing else than θ.

In order to see this, one would like to apply both ϴ and θ to open rectangles *U* × *V*, and to check whether we get the same values. One would be tempted to say that this is enough because every element of **O**(*X* × *Y*) is a union of open rectangles, and because both ϴ and θ are frame homomorphisms, but the latter claim is incorrect. ϴ is a frame homomorphism, but we do not know that much about θ (that is largely what we are trying to prove, in fact), and in particular we do not know whether θ preserves suprema.

Still, it is a good idea to apply ϴ to open rectangles *U* × *V*, and to see what we get. Let us write *p _{X}* :

*→*

*X*×*Y**X*and

*p*:

_{Y}*→*

*X*×*Y**Y*for the canonical projections. Then

*U*×

*V*=

*p*

_{X}^{–1}(

*U*) ∩

*p*

_{Y}^{–1}(

*V*), and ϴ(

*U*×

*V*) = ϴ(

*p*

_{X}^{–1}(

*U*)) ∩ ϴ(

*p*

_{Y}^{–1}(

*V*)). We concentrate on the computation of ϴ(

*p*

_{X}^{–1}(

*U*)), since ϴ(

*p*

_{Y}^{–1}(

*V*)) will be obtained in a symmetric way. We have:

- ϴ(
*p*_{X}^{–1}(*U*)) = ϴ(**O**(*p*)(_{X}*U*)) - = (ε
_{L}^{Stone})^{–1}[**O**〈(η_{X}^{Stone})^{–1}o**pt**(ι), (η_{X}_{Y}^{Stone})^{–1}o**pt**(ι)〉 [_{Y}**O**(*p*)(_{X}*U*)] ] by definition of ϴ - = (ε
_{L}^{Stone})^{–1}[**O**(*p*o 〈(η_{X}_{X}^{Stone})^{–1}o**pt**(ι), (η_{X}_{Y}^{Stone})^{–1}o**pt**(ι)〉) [_{Y}*U*] ] since**O**is a (contravariant) functor - = (ε
_{L}^{Stone})^{–1}[**O**((η_{X}^{Stone})^{–1}o**pt**(ι)) (_{X}*U*) ] using the law*p*o 〈_{X}*a*,*b*〉 =*a*.

One of the coherence diagrams for adjunctions (see Section 5.5.2 in the book, and taking into account the fact that **O** is contravariant) is that **O**(η_{X}^{Stone}) o ε_{OX}^{Stone} = id_{OX}, so **O** ((η_{X}^{Stone})^{–1}) = ε_{OX}^{Stone}. Therefore **O** ((η_{X}^{Stone})^{–1} o **pt**(ι* _{X}*)) =

**O**(

**pt**(ι

*)) o*

_{X}**O**((η

_{X}

^{Stone})

^{–1}) =

**O**(

**pt**(ι

*)) o ε*

_{X}_{OX}

^{Stone}, and that is equal to ε

_{L}

^{Stone}o ι

*, by the naturality of ε*

_{X}^{Stone}. Hence

**O**((η

_{X}

^{Stone})

^{–1}o

**pt**(ι

*)) (*

_{X}*U*) = (ε

_{L}

^{Stone}o ι

*) (*

_{X}*U*) = ε

_{L}

^{Stone}(

*U*⊗

*Y*) (by definition of ι

*).*

_{X}We apply (ε_{L}^{Stone})^{–1}, and therefore ϴ(*p _{X}*

^{–1}(

*U*)) =

*U*⊗

*Y*. Symmetrically, ϴ(

*p*

_{Y}^{–1}(

*V*)) =

*X*⊗

*V*, so ϴ(

*U*×

*V*) = ϴ(

*p*

_{X}^{–1}(

*U*)) ∩ ϴ(

*p*

_{Y}^{–1}(

*V*)) = (

*U*⊗

*Y*) ∩ (

*X*⊗

*V*), and that is equal to (

*U*∩

*X*) ⊗ (

*Y*∩

*V*) by Lemma 8.4.24 in the book, hence to

*U*⊗

*V*.

For every open subset *W* of *X* × *Y*, we remember that θ(*W*) = (α* _{W}*, γ

*), just like any element of*

_{W}*L*=Gal(

**O**

*X*,

**O**

*Y*), is the (pointwise) supremum of all the rectangles

*U*⊗

*V*below it. Now

*U*⊗

*V*is below (α

*, γ*

_{W}*) if and only if*

_{W}*V*⊆ α

*(*

_{W}*U*), if and only if

*U*×

*V*⊆

*W*. Therefore θ(

*W*) is the supremum of all the rectangles

*U*⊗

*V*= ϴ(

*U*×

*V*), where

*U*×

*V*ranges over the open rectangles included in

*W*. Since ϴ preserves suprema, it follows that θ(

*W*)=ϴ(

*W*). (Notice how we never assumed that θ preserves suprema. We have just recalled that every Galois connection is a supremum of rectangles, and we have looked at what it means for a rectangle to be below a Galois connection of the form (α

*, γ*

_{W}*).)*

_{W}At any rate, we have just proved that θ=ϴ. Since ϴ is an order-isomorphism, so is θ. (And, yes, now at last we know that θ preserves suprema!) ☐

Hence we obtain the final form of Plewe’s theorem.

**Theorem (Plewe).** For any two topological spaces *X* and *Y*, exactly one of the following mutually exclusive alternatives much occur:

- Gal(
**O***X*,**O***Y*) is spatial, θ is an order-isomorphism of**O**(*X*×*Y*) onto Gal(**O***X*,**O***Y*), and for every open subset*U*_{0}of*X*, for every open subset*V*_{0}of*Y*, for every open coverof*U**U*_{0}×*V*_{0}by open rectangles, player II has a winning strategy in the game*G*_{X,Y}(*U*_{0},*V*_{0},);*U* - or Gal(
**O***X*,**O***Y*) is not spatial, θ is not an order-isomorphism—in fact, θ is not surjective from**O**(*X*×*Y*) to Gal(**O***X*,**O***Y*)—and there are an open subset*U*_{0}of*X*, an open subset*V*_{0}of*Y*, and an open coverof*U**U*_{0}×*V*_{0}by open rectangles such that player I has a winning strategy in the game*G*_{X,Y}(*U*_{0},*V*_{0},).*U*

## Applications

### 1. The localic product of *S*_{0} with itself is not spatial

A first, direct application is Matthew de Brecht’s proof that the localic product of *S*_{0} with itself is not spatial [7]. In other words, using Lemma C, that θ is not an order-isomorphism **O**(*S*_{0} × *S*_{0}) onto Gal(**O***S*_{0}, **O***S*_{0}). Indeed, last time, we have seen that *S*_{0} is not consonant, and more specifically that player I has a winning strategy in the game *G*_{X,X}(*X*, *X*, ** U**), for some open cover

**of**

*U**X*×

*X*(with

*X*≝

*S*

_{0}). Plewe’s theorem tells us immediately that θ is not an order-isomorphism, and therefore the localic product of

*S*

_{0}by itself is not spatial.

### 2. The localic product of **Q** with **R**–**Q** is not spatial

In a 2017 post, I had argued that, given any non-empty T_{2} topological space *Z* with two disjoint, dense subsets *X* and *Y*, Gal(**O***X*, **O***Y*) is not spatial (and θ does not preserve suprema). This is due to J. Isbell [3]. Plewe says that this can be seen using his game (Section of [2], final paragraph); and it ought to, since the game entirely characterizes the cases where Gal(**O***X*, **O***Y*) is spatial.

One trick that makes this work is the following equivalence. I feel that it ought to be written explicitly, otherwise Plewe’s description of the game in this setting remains somewhat mysterious.

**Fact D.** For any two subsets *U* and *V* of a topological space *Z*, *U* intersects int(cl(*V*)) if and only if *V* intersects int(cl(*U*)).

Here int and cl are interior and closure in *Z*, respectively. (*U* and *V* will be open subsets in *X* and in *Y* respectively below, but are not open in *Z*.)

*Proof.* Let us write ¬ for the “interior of complement” operator. The point is that **O***Z* is a frame, hence a complete Heyting algebra, and ¬*A* stands for *A* ⇒ ⊥, where ⇒ is the residuation operator (intuitionistic implication) and ⊥ is the bottom element (the empty set); see Exercise 8.1.6 in the book. This allows us to reason in intuitionistic logic, with ⋁ (“or”) being union and ⋀ (“and”) being intersection, while ≤ (“consequence”) is inclusion. The double negation operator ¬¬ coincides with int(cl(_)), and therefore the claim amounts to the fact that *U* ⋀ ¬¬*V* ≠ ⊥ if and only if *V* ⋀ ¬¬*U* ≠ ⊥. By taking negations, and realizing that being equal to ⊥ is equivalent to being ≤ ⊥, we must show that *U* ⋀ ¬¬*V* ≤ ⊥ if and only if *V* ⋀ ¬¬*U* ≤ ⊥. By symmetry, it suffices to show that *U* ⋀ ¬¬*V* ≤ ⊥ implies *V* ⋀ ¬¬*U* ≤ ⊥. If *U* ⋀ ¬¬*V* ≤ ⊥, then ¬¬*V* ≤ ¬*U*, by definition of residuation. Since negation is antitonic, it follows that ¬¬*U* ≤ ¬¬¬*V*. But ¬¬¬*V* = ¬*V* (Exercise 8.1.6, item (iv)), so ¬¬*U* ≤ ¬*V*. By definition of residuation, *V* ⋀ ¬¬*U* ≤ ⊥. ☐

We come back to the case where *X* and *Y* are two disjoint dense subsets of a non-empty T_{2} topological space *Z*. We recall that a regular open subset of *Z* is an open subset *U’* such that *U’* = int(cl(*U’*)), namely such that *U’* = ¬¬*U’*.

We play *G*_{X,Y}(*U*_{0}, *V*_{0}, ** U**) where

*U*

_{0}≝

*X*,

*V*

_{0}≝

*Y*, and

**is the open cover of**

*U**X*×

*Y*consisting of all the open rectangles (

*U’*∩

*X*) × (

*V’*∩

*Y*), where

*U’*and

*V’*range over pairs of disjoint regular open subsets of

*Z*. (Plewe seems to have forgotten to say “regular” here.) This is a cover, because any two distinct points of a T

_{2}space, in particular a point in

*X*and a point in

*Y*, can be separated by two disjoint regular open neighborhoods. (We have seen this in the 2017 post mentioned above.)

We will maintain the invariant that *U*_{i} intersects int(cl(*V*_{i})), or equivalently (by Fact D) that *V*_{i} intersects int(cl(*U*_{i})). That is true for *i*=0, since by density int(cl(*V*_{0})) = int(*Z*)=*Z* and *U*_{0}=*X*, so *U*_{0} ∩ int(cl(*V*_{0})) = *X* is non-empty, since it is a dense subset of a non-empty space.

This invariant has the consequence that player II cannot win at round *i*. Indeed, if *U*_{i} × *V*_{i} were included in (*U’* ∩ *X*) × (*V’* ∩ *Y*) where *U’* and *V’* are regular open and disjoint, then we would have *U*_{i} ⊆ *U’* ∩ *X* and *V*_{i} ⊆ *V’* ∩ *Y* (because neither *U*_{i} nor *V*_{i} is empty, since *U*_{i} intersects int(cl(*V*_{i}))); hence int(cl(*V*_{i})) ⊆ int(cl(*V’*)) = *V’* (this is where we need *V’* to be regular), and that implies that the non-empty set *U*_{i} ∩ int(cl(*V*_{i})) would be included in *U’* ∩ *V’*, which is empty by definition.

In any case, at round *i*≥1, we assume that *U*_{i–1} and *V*_{i–1} satisfy the invariant. We let player I pick *x _{i}* ∈

*U*

_{i–1}∩ int(cl(

*V*

_{i–1})). This is possible since the invariant is precisely that

*U*

_{i–1}∩ int(cl(

*V*

_{i–1})) is non-empty. Now let player II play

*U*

_{i}, where

*U*

_{i}is an arbitrary open neighborhood of

*x*

_{i}in

*X*included in

*U*

_{i–1}. Then

*U*

_{i}∩ int(cl(

*V*

_{i–1})) is non-empty, since it contains

*x*. By Fact D,

_{i}*V*

_{i–1}∩ int(cl(

*U*

_{i})) is non-empty, so we let player I pick a point

*y*∈

_{i}*V*

_{i–1}∩ int(cl(

*U*

_{i})). Player II plays an arbitrary open neighborhood

*V*

_{i}of

*y*in

_{i}*Y*included in

*V*

_{i–1}. Then

*V*

_{i}∩ int(cl(

*U*

_{i})) is non-empty, since it contains

*y*. By Fact D, this is equivalent to the fact that

_{i}*U*

_{i}∩ int(cl(

*V*

_{i})) is non-empty, therefore the invariant is satisfied of

*U*

_{i}and

*V*

_{i}.

We have obtained the following.

**Proposition E.** Let *X* and *Y* are two disjoint dense subsets of a non-empty T_{2} topological space *Z*. Player I has a winning strategy in Plewe’s game *G*_{X,Y}(*X*, *Y*, ** U**), where

**is the open cover of**

*U**X*×

*Y*consisting of all the open rectangles (

*U’*∩

*X*) × (

*V’*∩

*Y*), where

*U’*and

*V’*range over pairs of disjoint regular open subsets of

*Z*.

We note that this strategy is stationary (or positional), meaning that player I only has to look at the current values of the open sets *U*_{i–1} and *V*_{i–1} (or *U*_{i} and *V*_{i–1}, the second time she or he plays during the same round), and not at the open sets or at the points played earlier in the game.

By Plewe’s Theorem, we have obtained a new proof of the following result, already described in the 2017 post mentioned above, and due to J. Isbell [3].

**Theorem.** Let *X* and *Y* are two disjoint dense subsets of a non-empty T_{2} topological space *Z*. Then Gal(**O***X*, **O***Y*) is not spatial.

This applies notably to the case where *X* is the set of rational numbers, *Y* is the set of irrational numbers, and *Z* is **R**.

### 3. The localic product of **Q** with itself is not spatial… and **Q** is not consonant

But let’s look at another case. That will be the last topic I will deal with this time. Let us imagine that *X* and *Y* are, once again, two disjoint dense subsets of a non-empty T_{2} topological space *Z*, but that, additionally, they are isomorphic. Let *f* : *X* → *Y* be the isomorphism. This is the case, for example, if *X* is the set **Q** of rational numbers, and *Y* is an isomorphic but disjoint copy of it sitting inside **R**, for example **Q**+√2.

By Proposition E, player I has a winning strategy in Plewe’s game *G*_{X,Y}(*X*, *Y*, ** U**) for some open cover

**of**

*U**X*×

*Y*by open rectangles. This implies that player I also has a winning strategy in

*G*

_{X,X}(

*X*,

*X*,

**), where**

*U’***≝ {**

*U’**U’*×

*f*

^{–1}(

*V’*) |

*U’*×

*V’*∈

**}. Explicitly, player I on**

*U’**X*×

*X*simulates player I on

*X*×

*Y*as follows. In order to make things clearer, let me put primes on the names of players (I’, I”) and on the points (

*x’*,

_{i}*y’*) and the open sets (

_{i}*U’*,

_{i}*V’*) played on

_{i}*X*×

*X*, while keeping the unprimed notations for the original game on

*X*×

*Y*. Initially,

*U’*

_{0}=

*U*

_{0}=

*X*and

*V’*

_{0}=

*f*[

*V*

_{0}] =

*Y*. At every round

*i*≥1, we are given

*U’*

_{i}_{–1}and

*V’*

_{i}_{–1}, and then player I plays as follows.

- We form
*U*_{i}_{–1}≝*U’*_{i}_{–1}and*V*_{i}_{–1}≝*f*^{–1}(*V’*_{i}_{–1}), and we let player I (in the game on*X*×*Y*) play a point*x*in_{i}*U*_{i}_{–1}. (Player I only needs*U*_{i}_{–1}and*V*_{i}_{–1}to do so, because her or his strategy is stationary; but that is not crucial, and only serves to simplify the exposition.) Player I’ simulates that move by playing*x’*≝_{i}*x*._{i} - Now player II’ plays an open neighborhood
of*U’*_{i}*x’*in_{i}*X*included in*U’*_{i}_{–1}. (We are not assuming that player II’ plays with a stationary strategy, and she or he may look at all the previous points and open sets played during the game.) - We let
*U*≝_{i}*U’*, and we let player I play a point_{i}*y*in_{i}*V*_{i}_{–1}, given its knowledge of*U*and_{i}*V*_{i}_{–1}. Player I’ simulates that move that playing*y’*≝_{i}*f*(*y*)._{i} - Player II’ then plays an open neighborhood
of*V’*_{i}*y’*in_{i}*Y*included in*V’*_{i}_{–1}.

Finally, player II’ wins if for some *i* the open rectangle * U’_{i}* ×

*is included in one of the open rectangles in*

*V’*_{i}**, or equivalently if some open rectangle**

*U’**×*

*U*_{i}*is included in one of the open rectangles in*

*V*_{i}**; otherwise, player I’ wins. In particular, since player I has a winning strategy in**

*U**G*

_{X,Y}(

*X*,

*Y*,

**), player I’ has a winning strategy in**

*U**G*

_{X,X}(

*X*,

*X*,

**).**

*U’*Now, the fact that player I’ has a winning strategy in *G*_{X,X}(*X*, *X*, ** U’**) means

*two*things. By Plewe’s theorem, Gal(

**O**

*X*,

**O**

*X*) is not spatial; and by Matthew de Brecht’s theorem [1, Theorem 4], seen last time,

*X*is not consonant. We sum this up as follows.

**Theorem.** Let *X* be a space that has two isomorphic, disjoint copies as dense subsets of a non-empty T_{2} topological space *Z*. Then Gal(**O***X*, **O***X*) is not spatial and *X* is not consonant. In particular, the localic product Gal(**OQ**, **OQ**) is not spatial, and **Q** is not consonant.

That proof of the non-consonance of **Q** is hopefully quite a lot simpler than the one I described a few months ago! It was hinted in the following terms at the end of the introduction of [1], and must therefore be credited to Matthew de Brecht:

The connection with C-ideals should make it an easy exercise for the reader to convert P. Johnstone’s proof in [11] of the non-spatiality of the localic product

Q×_{loc}Qinto a winning strategy for the first player in G(Q), thereby obtaining a new proof thatQis dissonant.

- Matthew de Brecht. Some results on countably based consonant spaces. Recent Developments in General Topology and its Related Fields, RIMS Kôkyûroku No. 2151, 2019.
- Till Plewe. Localic products of spaces.
*Proceedings of the London Mathematical Society*, Volume s3-73, Issue 3, November 1996, pages 642–678. https://doi.org/10.1112/plms/s3-73.3.642 - John Isbell. Product spaces in locales.
*Proceedings of the American Mathematical Society*, 81(1), January 1981. - Clifford Hugh Dowker and Dona Strauss. (1976). Products and sums in the category of frames. In: Binz, E., Herrlich, H. (eds)
*Categorical Topology*. Lecture Notes in Mathematics, vol 540. Springer, Berlin, Heidelberg, 1976, pages 208–219. https://doi.org/10.1007/BFb0080860 - David Wigner. Two notes on frames.
*Journal of the Australian Mathematical Society*(Series A), Volume 28, 1979, page 257–268. - Jorge Picado and Aleš Pultr. Frames and locales — topology without points. Birkhäuser, 2010.
- Matthew de Brecht. A note on the spatiality of localic products of countably based spaces.
*Workshop on Computability, Continuity, Constructivity – from Logic to Algorithms*(CCC 2019), Ljubljana, Slovenia, 2019.

— Jean Goubault-Larrecq (March 20th, 2023)