Last time, I promised you we would explore another way of defining sublocales. We shall again use the naive approach that consists in imagining how we would encode subspaces of a T_{0} topological space *X* by looking at open subsets only, and certainly not at points.

Hence imagine we know of a T_{0} topological space *X* through its lattice Ω of opens, and consider a subset *A* of *X*. I would like to say the most I can say about *A* when I only have access to the open subsets *U* of *X*, not its points. I can say whether *U* intersects *A*, and I can say whether the complement of *U* intersects *A*.

## Crescents, formal crescents

I can say something more, in fact. Consider two open subsets *U* and *V* of *X*. Their difference *U — **V* is a so-called *crescent*. (This is graphical: imagine *U* is the moon, and *V* is the shadow of the earth; then *U* — *V* is the visible part of the moon — a crescent.) We may now test, for each crescent, whether it intersects *A*. This gives us more information than just testing whether *U* alone, or the complement of *V* alone, intersects *A*.

I will encode *A* as the collection of pairs (*U*, *V*) of open sets such that *U — **V* intersects *A*.

We now have to describe this formally, using a frame Ω (supposedly the lattice of open subsets of *X*) only. Let me write *u*, *v*, …, for the elements of Ω, to make a parallel with real opens *U*, *V*, …, while stressing that we are now working in a general frame.

Call a pair (*u*, *v*) of elements of Ω a *formal crescent*. By analogy with actual crescents, we say that (*u*, *v*) is *empty* if and only if *u* ≤ *v*. Indeed, for actual crescents, *U* — *V* is empty if and only if *U* ⊆ *V*.

Again with analogy with actual crescents, we compare formal crescents by: (*u*, *v*) ⊑ (*u’*, *v’*) if and only if *u* ≤ v ∨ *u’* and *u* ∧ *v’* ≤ *v*. (∧ is binary inf, and ∨ is binary sup.) That may not ring a bell, but you may check that, for actual crescents, *U* — *V *⊆* U’ — V’* if and only if

*U*is included in

*V*union

*U’*and the intersection of

*U*and

*V’*is included in

*V*.

The relation ⊑ is a preorder, but in general not an ordering. That is, the equivalence relation ≣ defined by (*u*, *v*) ≣ (*u’*, *v’*) if and only if (*u*, *v*) ⊑ (*u’*, *v’*) and (*u’*, *v’*) ⊑ (*u*, *v*), is not the equality relation in general. One may quotient formal crescents by ≣ and obtain a good locale-theoretic notion of crescent, but we won’t need to do that.

## Sieves

Now look at the set *E* of (actual) crescents *U* — *V* that intersect *A*. It has the following properties:

- All the crescents in
*E*are non-empty. *E*is upwards-closed: if*U*—*V*is a crescent in*E*, then any larger crescent is also in*E*.*E*is refinement-closed: if*U*—*V*is a crescent in*E*, and*U’*is any open subset, then the intersection of (*U*—*V*) with*U’*or with the complement of*U’*is in*E*. (Given a point in the intersection of*U*—*V*with*A*, it must be in*U’*or in the complement of*U’*.)*E*is accessible: if*U*—*V*is a crescent in*E*, and if*U*is the union of a family*U*of opens,_{i}*i*in*I*, then*U*—_{i}*V*is in*E*for some*i*in*I*. (A point in*U*must be in some*U*.)_{i}

Accordingly, call a *sieve* *S* on a frame Ω any set of formal crescents such that:

- No empty formal crescent is in
*S*. *S*is*upwards-closed*: if (*u*,*v*) is a formal crescent in*S*, and if (*u*,*v*) ⊑ (*u’*,*v’*), then (*u’*,*v’*) is in*S*.*S*is*refinement-closed*: if (*u*,*v*) is in*S*, then for every*u’*in Ω, (*u*∧*u’*,*v*) or (*u*,*v*∨*u’*) is in*S*.*S*is*accessible*: if (*u*,*v*) is in*S*and*u*= ⋁_{i ∈ I}*u*then (_{i}*u*,_{i}*v*) is in*S*for some*i*in*I*.

Upward closure (condition 2) in particular implies that if (*u*, *v*) is a formal crescent in *S*, then any formal crescent (*u’*, *v’*) that is equivalent to (*u*, *v*) in the sense that (*u*, *v*) ≣ (*u’*, *v’*) is also in *S*. This is why we will never need to quotient our formal crescents: every sieve *S* contains all the formal crescents that intuitively denote the same crescent as one already in *S.*

## The poset of sieves

We order sieves by inclusion. This is natural: if *A* and *B* are two subsets of *X*, and if *A* is included in *B*, then all the crescents that intersect *A* also intersect *B*. I doubt that the converse would hold (even assuming that *X* is T_{0}), since that would imply that any two subsets that intersect the same crescents are equal.

Let **C**(Ω) denote the poset of all sieves on the frame Ω. It is an easy exercise to verify that any union of sieves is a sieve. It follows that **C**(Ω) is a complete lattice.

So suprema are simple: they are just unions. It is a general fact that all infima also exist: the inf of a family of sieves is the sup of its set of lower bounds. However, this is less concrete, and hardly usable. We had the same issue with the complete lattice of sublocales, where suprema are simply unions, but infima are more complicated.

Let me show that sieves and sublocales form isomorphic lattices. It will be easier to go through frame congruences, and nuclei, though.

Given a subset *A* of a space *X*, imagine two opens *U* and *V* of *X* that have different intersections with *A*. There is a point of *A* that is in *U* but not in *V*, or in *V* but not in *U*. That is, *U* — *V* or *V* — *U* intersects *A*. The converse direction is easy, too. We obtain that *U* and *V* are in the frame congruence associated with *A* (i.e., *U* ⋂ *A* = *V* ⋂ *A*) if and only if the crescents *U* — *V* and *V* — *U* are both outside the sieve associated with *A* (i.e., they do not intersect *A*). When *U* is included in *V*, this condition simplifies to: *U* is equivalent to *V* if and only if *V* — *U* is outside the sieve associated with *A*. In particular, the largest open subset that has the same intersection as *U* with *A* is the union of all the open subsets *V* ⊇ *U* such that *V* — *U* is outside the sieve associated with *A*.

Accordingly, on the localic side, given a sieve *S* in **C**(Ω), let ν* _{S}* be the function that maps every

*u*in Ω to the union of all the elements

*v*≥

*u*such that (

*v*,

*u*) is not in

*S*.

**Lemma.** For every sieve *S*, ν* _{S}* is a nucleus.

*Proof.* We start by checking that ν* _{S}* is monotonic. Assume

*u*≤

*u’*. For every

*v*≥

*u*such that (

*v*,

*u*) is not in

*S*, I claim that (

*v*∨

*u’*,

*u’*) is not in

*S*either. Indeed, we can check that (

*v*∨

*u’*,

*u’*) ⊑ (

*v*,

*u*), and this then follows from the fact that

*S*is upwards-closed. By taking suprema, ν

*(*

_{S}*u*) ∨

*u’*≤ ν

*(*

_{S}*u*‘). This actually shows both monotonicity and the inequality

*u’*≤ ν

*(*

_{S}*u*‘) at once.

To show that it is a closure operator, namely ν* _{S}* o ν

*= ν*

_{S}*, we need to check that ν*

_{S}*(*

_{S}*u*) is the largest

*v*≥

*u*such that (

*v*,

*u*) is not in

*S*, i.e., that the supremum of those

*v*‘s is attained. This amounts to showing that (ν

*(*

_{S}*u*),

*u*) is not in

*S*. If it were in

*S*, since

*S*is accessible and ν

*(*

_{S}*u*) is the supremum of all elements

*v*≥

*u*such that (

*v*,

*u*) is not in

*S*, one of those

*v*‘s would be such that (

*v*,

*u*) in

*S*. That would be absurd.

It remains to show that ν* _{S}* preserves binary infima. The inequality ν

*(*

_{S}*u*∧

*v*) ≤ ν

*(*

_{S}*u*) ∧ ν

*(*

_{S}*v*) follows from monotonicity. In the converse direction, we know that ν

*(*

_{S}*u*) ≥

*u*, ν

*(*

_{S}*v*) ≥

*v*, (ν

*(*

_{S}*u*),

*u*) is not in

*S*, and (ν

*(*

_{S}*v*),

*v*) is not in

*S*. We shall prove that (ν

*(*

_{S}*u*) ∧ ν

*(*

_{S}*v*),

*u*∧

*v*) is not in

*S*, which will imply ν

*(*

_{S}*u*∧

*v*) ≥ ν

*(*

_{S}*u*) ∧ ν

*(*

_{S}*v*). Assume on the contrary that (ν

*(*

_{S}*u*) ∧ ν

*(*

_{S}*v*),

*u*∧

*v*) is in

*S*.

By refinement-closure, ((ν* _{S}*(

*u*) ∧ ν

*(*

_{S}*v*)) ∧

*u*,

*u*∧

*v*) or (ν

*(*

_{S}*u*) ∧ ν

*(*

_{S}*v*), (

*u*∧

*v*) ∨

*u*) is in

*S*. In other words, simplifying all expressions, (

*u*∧ ν

*(*

_{S}*v*),

*u*∧

*v*) or (ν

*(*

_{S}*u*) ∧ ν

*(*

_{S}*v*),

*u*) is in

*S*. The second case is impossible since (ν

*(*

_{S}*u*) ∧ ν

*(*

_{S}*v*),

*u*) ≤ (ν

*(*

_{S}*u*),

*u*), which is not in

*S*, because

*S*is upwards-closed. Hence (

*u*∧ ν

*(*

_{S}*v*),

*u*∧

*v*) is in

*S*.

By refinement-closure again, ((*u* ∧ ν* _{S}*(

*v*)) ∧

*v*,

*u*∧

*v*) or (

*u*∧ ν

*(*

_{S}*v*), (

*u*∧

*v*) ∨

*v*) is in

*S*. Simplifying, (

*u*∧

*v*,

*u*∧

*v*) or (

*u*∧ ν

*(*

_{S}*v*),

*v*) is in

*S*. The first case is impossible since no empty formal crescent is in

*S*, and the second case is impossible since (

*u*∧ ν

*(*

_{S}*v*),

*v*) ≤ (ν

*(*

_{S}*v*),

*v*), which is not in

*S.*

This concludes our argument that (ν* _{S}*(

*u*) ∧ ν

*(*

_{S}*v*),

*u*∧

*v*) is not in

*S*, hence also the whole proof. ☐

The mapping *S* ⟼ ν* _{S}* is easily seen to be antitonic.

Let us find a mapping in the converse direction. Given a nucleus ν on Ω, let *S _{ν}* be the set of formal crescents (

*u*,

*v*) such that

*u*≰ ν(

*v*).

**Lemma.** For every nucleus ν, *S _{ν}* is a sieve.

*Proof.* 1. If (*u*, *v*) is an empty formal crescent, then *u* ≤ *v* ≤ ν(*v*), hence it is not in *S _{ν}*

*.*

2. Upward closure. The argument exhibits some subtletly. Assume (*u*, *v*) is in *S _{ν}*, and (

*u*,

*v*) ⊑ (

*u’*,

*v’*). We must show that (

*u’*,

*v’*) is in

*S*. Otherwise,

_{ν}*u’*≤ ν(

*v’*). The inequality (

*u*,

*v*) ⊑ (

*u’*,

*v’*) means that

*u*≤ v ∨

*u’*and

*u*∧

*v’*≤

*v*. Now

*u*=

*u*∧

*u*≤

*u*∧ (v ∨

*u’*) ≤

*u*∧ (v ∨ ν(

*)) = (*

*v’**u*∧

*v*) ∨ (

*u*∧ ν(

*)), the term*

*v’**u*∧

*v*is less than or equal to

*v*, the term

*u*∧ ν(

*) is less than or equal to ν(*

*v’**u*) ∧ ν(

*) = ν(*

*v’**u*∧

*v’*) ≤ ν(

*v*); so

*u*≤

*v*∨ ν(

*v*) = ν(

*v*). But that contradicts the fact that (

*u*,

*v*) is in

*S*.

_{ν}3. Refinement closure. Assume (*u*, *v*) is in *S _{ν}*, and that for some

*u’*in Ω, neither (

*u*∧

*u’*,

*v*) nor (

*u*,

*v*∨

*u’*) is in

*S*. In other words,

_{ν}*u*∧

*u’*≤ ν(

*v*) and

*u*≤ ν(

*v ∨*). Again, the argument is slightly subtle. We have

*u’**u*=

*u*∧

*u*≤

*u*∧ ν(

*v ∨*) ≤ ν(

*u’**u*) ∧ ν(

*v ∨*) = ν(

*u’**u*∧ (

*v ∨*)) = ν((

*u’**u*∧

*v*) ∨ (

*u*∧

*u’*)) ≤ ν((

*u*∧

*v*) ∨ ν(

*v*)) = ν(ν(

*)) [since*

*v**u*∧

*v*≤ ν(

*v*)] = ν(

*). But*

*v**u*≤ ν(

*) contradicts the assumption that (*

*v**u*,

*v*) is in

*S*.

_{ν}4. Accessibility. Assume (*u*, *v*) is in *S _{ν}*,

*u*= ⋁

_{i ∈ I}*u*but no (

_{i}*u*,

_{i}*v*) is in

*S*. In other words,

_{ν}*u*≤ ν(

_{i}*v*) for every

*i*in

*I*. Clearly, this implies

*u*≤ ν(

*v*), a contradiction. ☐

The mapping ν ⟼ *S _{ν}* is, too, easily seen to be antitonic.

**Lemma.** The mappings ν ⟼ *S _{ν}* and

*S*⟼ ν

*are inverse of each other.*

_{S}Proof. Given a nucleus ν, let *S* = *S _{ν}*, and let us compute ν

*: ν*

_{S}*(*

_{S}*u*) is the largest

*v*≥

*u*such that (

*v*,

*u*) is not in

*S*, i.e., such that

_{ν}*v*≤ ν(

*u*). Clearly, this

*v*is just ν(

*u*), so ν

*=ν.*

_{S}Conversely, given a sieve *S*, let ν=ν* _{S}*, and let us compute

*S*. We show that the formal crescents that are not in

_{ν}*S*are exactly those that are not in

*S*, and this will show

_{ν}*S*=

*S*. For every formal crescent (

_{ν}*u*,

*v*), if (

*u*,

*v*) is not in

*S*, then

*u*would be in the family of elements

*w*≥

*v*such that (

*w*,

*v*) is not in

*S*. The largest element of that family is ν

*(*

_{S}*v*), so we would obtain

*u*≤ ν

*(*

_{S}*v*), hence (

*u*,

*v*) is not in

*S*. Conversely, if (

_{ν}*u*,

*v*) is not in

*S*, then

_{ν}*u*≤ ν

*(*

_{S}*v*). Calling

*w*the element ν

*(*

_{S}*v*),

*w*is the largest element above

*v*such that (

*w*,

*v*) is not in

*S*by definition, and we know that

*u*≤

*w*. Hence (

*u*,

*v*) ⊑ (

*w*,

*v*). Since

*S*is upwards-closed, (

*u*,

*v*) is not in

*S*. ☐

Since we know that nuclei form a frame, we immediately obtain:

**Theorem.** The lattice of sieves is a co-frame, isomorphic to the opposite of the frame of nuclei (hence to the co-frame of sublocales).

## Open and closed sieves, crescent sieves

If *A* is an open subset of the T_{0} topological space *X*, then the crescent *U* — *V* intersects *A* if and only if (*U* — *V*) ⋂ *A* = (*U *⋂* A*) — *V* is non-empty. Note that (*U *⋂* A*) — *V* is a crescent in this case.

We can port this observation to the localic side, and define, for each element* *ω of the frame Ω, the *open sieve* **o**(ω) as the set of pairs (*u*, *v*) such that (*u* ∧ ω, *v*) is non-empty. I will let you check that this is indeed a sieve.

By similar considerations, we can define the *closed sieve* **c**(ω) as the set of pairs (*u*, *v*) such that (*u*, *v *∨ *ω*) is non-empty. Thinking of ω as open, this represents the complement of ω as a sieve. Indeed, look back at the topological side. If *A* is a closed subset of *X*, then the crescent *U* — *V* intersects the complement of *A* if and only if the crescent *U* — (*V* ⋃ *A*) is non-empty.

Generalizing the two constructions, given a formal crescent (*u*_{0}, *v*_{0}), we can define **oc** (*u*_{0}, *v*_{0}) as the set of pairs (*u*, *v*) such that (*u* ∧ *u*_{0}, *v *∨ *v*_{0}) is non-empty. This intuitively encodes the intersects of the open set *u*_{0} and of the complement of the open set *v*_{0}. (That can be checked, too, see below.)

Even more generally, given (*u*_{0}, *v*_{0}) and a sieve *S*, define **oc** (*S*; *u*_{0}, *v*_{0}) as the set of pairs (*u*, *v*) such that (*u* ∧ *u*_{0}, *v *∨ *v*_{0}) is in *S*. We get back **oc** (*u*_{0}, *v*_{0}) by taking **1** for *S*, where **1** is the largest sieve (= the set of all non-empty formal crescents). We also obtain **o**(*u*_{0}) as **oc** (**1**; *u*_{0}, ⊥) and **c**(*v*_{0}) as **oc** (**1**; ⊤, *v*_{0}).

As an exercise, let me suggest that you check the following (without going through nuclei or sublocales):

**oc**(*S*;*u*_{0},*v*_{0}) is a sieve; in particular**o**(*u*_{0}) and**c**(*v*_{0}) are sieves, too.**oc**(*S*; ⋁_{i ∈ I}*u*,_{i}*v*_{0}) = ⋃_{i ∈ I}**oc**(*S*;*u*,_{i}*v*_{0}).**oc**(*S*;*u*_{0},*v*_{0}) is monotonic in*S*and*u*_{0}, and antitonic in*v*_{0}.**oc**(*S*;*u*_{0},*v*_{0}) is the inf of*S*,**o**(*u*_{0}) and**c**(*v*_{0}) in**C**(Ω). (Hint: to check that every sieve*S*‘ that is included in*S*,**o**(*u*_{0}) and**c**(*v*_{0}) is also included in**oc**(*S*;*u*_{0},*v*_{0}), take an arbitrary formal crescent (*u*,*v*) in*S’*, and use refinement-closure twice to show that (*u*∧*u*), then (_{0},*v*∧*u*∨*u*_{0}, v), is in*v*_{0}.)*S’*

**o**commutes with finite infima.**o**commutes with arbitrary suprema.- inf (
*S*,**o**(*u*_{0})) ⊆*S’*if and only if*S*⊆**c**(*u*_{0}) ⋃*S’*. (Hint: in the ⇒ direction, let (*u*,*v*) be in*S*, use refinement-closure to obtain that (*u*∧*u*) or (_{0},*v**u*∨*, v*) is in*u*_{0}*S*. In the first case, use item 4 and the assumption to conclude that (*u*,*v*) is in*S’*. In the second case, observe that no element of*S*can be empty and conclude that (*u*,*v*) is in**c**(*u*_{0}).) - inf (
*S*,**c**(*u*_{0})) ⊆*S’*if and only if*S*⊆**o**(*u*_{0}) ⋃*S’*. (A very similar proof.) **o**(*u*_{0}) and**c**(*u*_{0}) are complements. (Use 7 and 8.)- For every sieve
*S*, for all pairs (*u*_{0},*v*_{0}) that are not in*S*,*S*⊆**c**(*u*_{0}) ⋃**o**(*v*_{0}). (Use 7, 8, and the fact that*S*is upwards-closed.) - Conversely, if
*S*⊆**c**(*u*_{0}) ⋃**o**(*v*_{0}) then (*u*_{0},*v*_{0}) cannot be in*S*. - Every sieve
*S*is the intersection (hence the infimum) of the complemented sieves**c**(*u*_{0}) ⋃**o**(*v*_{0}), when (*u*_{0},*v*_{0}) ranges over the pairs that are not in*S*. (Use 10 and 11.)

This way, you will retrieve something that I had announced last month: every sublocale is an infimum of complemented sublocales, each obtained as binary supremum of an open and a closed sublocale. In particular, the co-frame of sieves (or sublocales) is zero-dimensional.

Also, items 5 and 6 show that **o** is a frame homomorphism from Ω to **C**(Ω). It is in fact a frame *embedding*, of Ω into **C**(Ω), since **o**(*u*) ⊆ **o**(*v*) is equivalent to *u*≤*v*. (**o** is monotonic since it preserves finite infima for example. Conversely, if *u*≰*v* then (*u*, *v*) is in **o**(* u*) but not in

**o**(

*).)*

*v*

I am leaving one question open here. There are several ways of showing that the lattice of nuclei is a frame, or equivalently that the lattice of sublocales is a co-frame, certain simpler than others. Is there a simple, direct way of showing that the lattice of sieves is a co-frame?

— Jean Goubault-Larrecq(May 11th, 2016)