Next Article in Journal
A Wolf Pack Optimization Algorithm Using RASGS and GBA for Multi-Modal Multi-Objective Problems
Next Article in Special Issue
Orthomodular and Skew Orthomodular Posets
Previous Article in Journal
A Particle Swarm Optimization Method for AI Stream Scheduling in Edge Environments
Previous Article in Special Issue
Characterizations of Γ Rings in Terms of Rough Fuzzy Ideals
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Esakia Duality for Heyting Small Spaces

Department of Applied Mathematics, Cracow University of Technology, Warszawska 24, 31-155 Kraków, Poland
Symmetry 2022, 14(12), 2567; https://doi.org/10.3390/sym14122567
Submission received: 31 October 2022 / Revised: 1 December 2022 / Accepted: 2 December 2022 / Published: 5 December 2022
(This article belongs to the Special Issue The Study of Lattice Theory and Universal Algebra)

Abstract

:
We continue our research plan of developing the theory of small and locally small spaces, proposing this theory as a realisation of Grothendieck’s idea of tame topology on the level of general topology. In this paper, we develop the theory of Heyting small spaces and prove a new version of Esakia Duality for such spaces. To do this, we notice that spectral spaces may be seen as sober small spaces with all smops compact and introduce the method of the standard spectralification. This helps to understand open continuous definable mappings between definable spaces over o-minimal structures.
MSC:
primary 54A05; 06D20; 18F60; secondary 18F70; 54D80; 54F05; 18F10

1. Introduction

Equivalences or dualities between categories are a form of symmetry on the category theory level. While this form of symmetry is very abstract, it is also extremely fruitful since it can connect apparently distant branches of mathematics.
Extensions of Stone Duality and their applications have been quite popular in recent years. One can mention the locally compact Hausdorff case of [1] and remove the zero-dimensionality together with the commutativity assumptions in [2]. We also have generalisations of Gelfand–Naimark–Stone Duality to completely regular spaces (see [3]) and its application to the characterisation of normal, Lindelöf and locally compact Hausdorff spaces in [4]. Some extensions of Stone Duality drop the compactness assumption completely: for example, the paper [5] extends this duality to all zero-dimensional Hausdorff spaces. From the point of view of algebraic structures, Stone Duality has been extended in [6] to (non-distributive, in general) orthomodular lattices, which correspond to spectral presheaves, while [7] extends it to some non-distributive (implicative, residuated, or co-residuated) lattices and applies to the semantics of substructural logics, and [8] extends this duality to a non-commutative case of left-handed skew Boolean algebras. Moreover, Esakia Duality has been extended to implicative semilattices in [9]. Applications of Stone Duality have been developed in [10] (canonical extensions of lattice-ordered algebras) and [11] (the semantics of non-distributive propositional logics). Some recent applications of Stone Duality appear also in the theory of C * -algebras, see [12].
On the other hand, one of the greatest mathematicians in history, Alexander Grothendieck, suggested in his scientific programme [13] creating a new type of topology, called tame topology, that would eliminate pathological phenomena such as space-filling curves. O-minimality is widely recognized as a realisation of Grothendieck’s programme. It is usually understood as studying o-minimal structures (in the sense of model theory). The fundamental monograph about o-minimal structures is [14]. It appears that arbitrary open sets are not so important in o-minimality, but the definable open sets play the main role.
Although Grothendieck’s programme has been being realised for many decades in many special situations, the authors of [15] are disappointed that no clear definition of the notion of tame topology suggested by A. Grothendieck was given (Cruz Morales [16] gives some history of the evolution of Grothendieck’s ideas about the notion of space to physical and philosophical questions).
It seems that not enough attention was paid to linking Stone-like dualities to the tame topology of A. Grothendieck. This paper fills this gap by clearly proposing the theory of small spaces and locally small spaces as a realisation of Grothendieck’s postulate on a purely topological level (i.e., on the level of general topology) and making another step in developing this sort of topology (apparently a kind of generalised topology, but in fact the usual topology with additional structure).
Dropping some of the requirements for a topology leads to the notions of a unitary smopology and a small space (already used in [17,18,19,20]) as well as the notions of an arbitrary smopology and a locally small space (used, for example, in [19,20,21]). In this way, we construct a kind of algebra-friendly topology. Recall that the small spaces are the underlying topological structures of the definable spaces and the locally small spaces are the underlying topological structures of the locally definable spaces. (Both definable and locally definable spaces were used by many authors. See, for example, [14,22,23], implicitly even [24]).
The main objective of this paper is to give a version of Esakia Duality for suitably chosen small spaces. We call them Heyting small spaces, following the conventions of [25]. The first tool to analyse small spaces is the theory of spectral spaces, which is already developed enough (see the monograph [25]). The present paper is a continuation of the paper [20] about some versions of Stone Duality [26] or Priestley Duality [27] for locally small spaces. This time we focus on giving a new version of a related duality due to Leo Esakia [28] for small spaces. Basic facts about spectral spaces may be found in [25,29]. On the other hand, refs. [30,31] are good resources about Esakia Duality and its connections to modal logics. Our version of Esakia Duality helps to understand open continuous definable mappings between definable spaces over o-minimal structures.
Recognizing the role of smopologies (implicit in [32] (Definition 7.1.14) or [33] (p. 12)) should be useful in many areas of mathematics such as the generalisations of o-minimality, analytic geometry, algebraic geometry and in many other contexts since families of sets closed under only finite unions are much more natural in many branches of mathematics than usual topologies. In contrast to the usual topology, where only spectral reflections (see [25] (Chapter 11)) are available, using dualities or equivalences for suitably chosen smopologies allows transferring structural information without any losses between algebraic and topological structures. Translating between the topological and the algebraic languages made available by our version of Esakia Duality should give more understanding of locally definable spaces over structures with topologies, especially in the case of definable topologies. We want to stress that our approach considers the geometry of (first-order) definable sets but does not reduce to it.
As far as the set-theoretical axiomatics is concerned, we follow Saunders Mac Lane’s standard Zermelo–Fraenkel axioms with the Axiom of Choice plus the existence of a set which is a universe, see [34] (p. 23). This allows speaking about proper classes of sets (in particular, about categories) while using methods from the usual mathematics developed in the axiomatic system ZFC (See “Axiomatic assumptions” in [35] for the full explanation of an axiomatic system using a universe).
Notation. We shall use a special notation for operations on families of sets. For example, for a family intersection
U 1 V = { U V : U U , V V }
or for other operations
1 P ( A ) = { B : B A } , 1 P ( A ) = { B : B A } .

2. Pre-Heyting and Pre-Boolean Small Spaces

Definition 1 
(cf. [19] (Definition 2.21) and [20] (Definition 2)). A small space X is a pair ( X , L X ) , where X is any set and L X P ( X ) satisfies the following conditions:
(S1) 
, X L X ,
(S2) 
if A , B L X , then A B , A B L X .
Elements of L X are called smops (i.e., small open subsets of X, for reasons that become clear after reading [21] or [19]). Their complements will be called co-smops or inverse smops. The family L X will be called a (unitary) smopology, and the family L X = X \ 1 L X of co-smops will be called a co-smopology. The Boolean combinations of smops will be called the constructible sets and the family of all constructible sets of a small space ( X , L X ) will be denoted by C o n ( X ) .
Definition 2. 
A mapping f : X Y between small spaces is:
1.
continuous (or strictly continuous) if the preimage of any smop is a smop ( f 1 ( L Y ) L X ),
2.
a strict homeomorphism if f is a bijection and f 1 ( L Y ) = L X .
We have the category SS of small spaces and continuous mappings.
Example 1. 
(1) Each topology on X and each Boolean subalgebra of P ( X ) is a unitary smopology on X. (2) The spaces R o m , R r o m , R s l o m , R s l + o m , R s t from [19] (Example 2.14) are examples of small spaces. (3) Since the category SS of small spaces and continuous mappings in our sense is concretely isomorphic ([36] (Remark 5.12)) to the category SS in the sense of [17], also [17,18] give examples of small spaces.
Definition 3. 
The topology τ ( L X ) , generated by the smops, will be called the original topology. The closure, the interior and the exterior operations in the original topology will be denoted by · ¯ , i n t ( · ) , e x t ( · ) , respectively. The topology τ ( L X ) , generated by the co-smops, will be called the inverse topology. The closure and the interior operations in the inverse topology will be denoted by · ¯ i n v , i n t i n v ( · ) , respectively. The topology τ ( C o n ( X ) ) , generated by the constructible sets, will be called the constructible topology. The closure and the interior operations in the constructible topology will be denoted by · ¯ c o n , i n t c o n ( · ) , respectively.
Example 2. 
For each small space ( X , L X ) , we can produce the following small spaces:
X i n v = ( X , L X ) , X c o n = ( X , C o n ( X ) ) .
Definition 4. 
A small space will be called pre-Boolean if any of the equivalent conditions:
1.
L X = L X ,
2.
L X = C o n ( X ) ,
3.
L X = C o n ( X )
are satisfied.
Fact 1. 
In a pre-Boolean small space, all the three above-mentioned topologies are equal.
Fact 2. 
For each X , the space X c o n is pre-Boolean.
Fact 3. 
For each X , the space X i n v is pre-Boolean iff X is pre-Boolean.
Definition 5. 
For any subset Y X in a small space ( X , L X ) , the pair Y = ( Y , L X 1 Y ) is called a subspace of ( X , L X ) .
Remark 1. 
The original, the inverse and the constructible topologies in a subspace Y are topological subspace topologies of, respectively, the original, the inverse and the constructible topologies of the whole small space X .
Definition 6. 
A small space ( X , L X ) will be called:
1.
pre-semi-Heyting if the closure in the original topology of any smop is a co-smop (i.e., A ¯ L X for any A L X ),
2.
pre-Heyting if the closure in the original topology of any constructible set is a co-smop (i.e., A ¯ L X for any A C o n ( X ) ).
The following proposition and theorem are inspired by Section 8.3 of [25].
Proposition 1. 
Assume that X is a pre-semi-Heyting small space. Then:
(1)
for each F L X , we have i n t ( F ) L X ,
(2)
the following two mappings are well defined:
(a) 
the open regularisation mapping N : L X L X given by the formula N ( A ) = i n t A ¯ ,
(b) 
the closed regularisation mapping N ¯ : L X L X given by the formula N ¯ ( F ) = i n t F ¯ ,
(3)
for each V L X , the subspace ( V , L X 1 V ) is pre-semi-Heyting.
Proof. 
(1) Follows from the definition by taking complements.
(2) Obvious by the above.
(3) For A L X , we get A V ¯ V = V ( A V ¯ ) V 1 L X , a co-smop in V. □
Theorem 1 
(characterisation of pre-Heyting spaces). For a small space X = ( X , L X ) , the following conditions are equivalent:
(1)
X is pre-Heyting,
(2)
for each A C o n ( X ) , we have i n t ( A ) L X ,
(3)
for each B L X 1 L X , we have B ¯ L X ,
(4)
for each A C o n ( X ) , the subspace ( A , L X 1 A ) is pre-Heyting,
(5)
for each A C o n ( X ) , the subspace ( A , L X 1 A ) is pre-semi-Heyting,
(6)
for each F L X , the subspace ( F , L X 1 F ) is pre-semi-Heyting.
Proof. 
( 1 ) ( 2 ) By taking complements.
( 1 ) ( 3 ) By taking finite unions.
( 1 ) ( 4 ) For A C o n ( X ) and V C o n ( A ) = C o n ( X ) 1 A C o n ( X ) , we have V ¯ L X . Now V ¯ A = V ¯ A L A is a (relative to A) co-smop.
( 4 ) ( 5 ) Trivial.
( 5 ) ( 6 ) Trivial.
( 6 ) ( 3 ) If A L X , F L X , then A F L X 1 F L X 1 L X . Since A F ¯ F = A F ¯ L X 1 F by (6), we have A F ¯ L X 1 L X L X . □

3. Spectral Small Spaces

Notation. We use the following notation for some distinguished families of subsets in a small space X = ( X , L X ) :
  • W O p ( X ) = 1 P ( L X ) = L X = τ ( L X ) , the weakly open sets,
  • W C l ( X ) = 1 P ( L X ) = Ω L X , the weakly closed sets,
  • W O p ( X i n v ) = 1 P ( L X ) = L X = τ ( L X ) , the inversely weakly open sets,
  • W C l ( X i n v ) = 1 P ( L X ) = Ω L X , the inversely weakly closed sets,
  • W O p ( X c o n ) = 1 P ( C o n ( X ) ) = C o n ( X ) = τ ( C o n ( X ) ) , the constructibly weakly open sets,
  • W C l ( X c o n ) = 1 P ( C o n ( X ) ) = Ω C o n ( X ) , the constructibly weakly closed sets.
We use the symbols ℧, Ω after [37].
Remark 2. 
By Spec we denote the category of spectral topological spaces (the name introduced by Hochster [29]) and spectral mappings (compare [20,25]). By the Stone Duality ([25] (Chapter 3)), this category is dually equivalent to the category of bounded distributive lattices and their homomorphisms (denoted in [20] by Lat ). Recall that the category of Priestley spaces and Priestley mappings ([25] (1.5.15), denoted here by Pri ) is concretely isomorphic to Spec , so these two categories may be identified.
Definition 7. 
A spectral small space is a small space ( X , C O ( X ) ) where ( X , C O ( X ) ) is a spectral topological space and C O ( X ) is the family of all compact open sets of this space. The category SpSS of spectral small spaces and (strictly) continuous mappings is concretely isomorphic with Spec , so these categories may be identified.
Example 3. 
For a spectral topological space ( X , τ X ) , the corresponding spectral small space ( X , C O ( X ) ) has the property, that the constructible weakly open sets are exactly the compact open sets, so smops, i.e., L X = C O ( X ) and C o n ( X ) L X = L X (See [25] (1.3)).
Example 4. 
A weakly open constructible set in a small space may not be a smop. Take the small space ( N , ( { , 2 N } 1 Fin ( N ) ) { N } ) where Fin ( N ) is the family of all finite subsets of N . Then the original topology is discrete and the set 2 N + 1 is a weakly open co-smop but not a smop, so L X L X ¬ L X . In particular, L X C o n ( X ) L X .
Example 5. 
A T 0 small space may have all smops (topologically) compact but not be sober. Let X be an infinite set. Then X is irreducible in the small space ( X , { } Cofin ( X ) ) but not the closure of a point ( Cofin ( X ) is the family of all cofinite subsets of X.)
Example 6. 
A T 0 small space may be (topologically) sober but not compact. Take any non-compact Hausdorff topological space.
Example 7. 
A T 0 small space may be sober and compact with not all smops compact. Take the interval [ 0 , 1 ] with the natural topology as the smopology.
Proposition 2. 
If X is a T 0 sober small space with all smops compact, then X is a spectral small space.
Proof. 
Notice that L X C O ( X ) , so C O ( X ) = L X . The other conditions for spectrality are obvious. □
Proposition 3. 
If a small space has all smops compact, then:
(1)
the ideals in L X are in a bijective correspondence with the weakly open sets, so also with the weakly closed sets,
(2)
the prime ideals of L X are in a bijective correspondence with the non-empty, irreducible, weakly closed sets.
Proof. 
( 1 ) For an ideal I in L X , the set s ( I ) = I is weakly open (and its complement is weakly closed). For a weakly open set W L X , the set i ( W ) = { A L X : A W } is an ideal in L X . Obviously, s ( i ( W ) ) = W and I i ( s ( I ) ) . On the other hand, if B L X is compact and B I , then there exist a finite family of members of I covering B, so B I . This means that I = i ( s ( I ) ) and the mappings s and i are bijections.
( 2 ) By Proposition 1.1.11 of [25], the ideal I L X is prime ( A B I implies A I or B I ) iff I is a prime weakly open set iff X \ I is a non-empty, irreducible, weakly closed set. □
Example 8. 
If not all smops are compact, then it may happen that I i ( s ( I ) ) , using notation from the above proof.
1.
In the small space ( N , P ( N ) ) we can take I = Fin ( N ) P ( N ) = i ( s ( I ) ) .
2.
Consider the interval [ 0 , 1 ] with the natural topology as the unitary smopology. Finite unions of open subintervals in the open interval ( 0 , 1 ) form an ideal that covers ( 0 , 1 ) but not all smops that are contained in ( 0 , 1 ) are of this form.

4. The Specialization Relation

Definition 8. 
We recall (compare [25] (1.1.3)) the relation of specialization between points of a topological space ( X , τ X ) :
We say that x specializes to y (and write x y ) if each neighbourhood of y also contains x (it is enough to check this condition only for sets from some basis of the topology). We say then that x is a generalisation of y, and y is a specialization of x. The set of all generalisations of a point y is denoted by G e n ( y ) , and the set of all specializations of a point x is denoted by S p e z ( x ) . Similarly for sets, if A X , then:
G e n ( A ) = { x X : x G e n ( a )   f o r   s o m e   a A } a n d S p e z ( A ) = { x X : x S p e z ( a )   f o r   s o m e   a A } .
Remark 3. 
A specialization relation is always a preorder (called a quasi-order in [25]) on X and does not depend on the ambient topological space. More precisely: if Y X and x , y Y , then x y in X iff x y in Y.
Fact 4. 
For a small space ( X , L X ) and x , y X , the following conditions are equivalent for the original topology on X:
1.
x specializes to y (denoted by: x y ),
2.
y { x } ¯ ,
3.
y e x t { x } ,
4.
each smop containing y also contains x,
5.
each co-smop containing x also contains y,
6.
y i n v x (read: y specializes to x in X i n v .)
Fact 5. 
For each small space ( X , L X ) and A X , we have:
S p e z ( A ) A ¯ a n d G e n ( A ) A ¯ i n v .
Fact 6. 
In a T 0 pre-Boolean small space, x y iff x = y .
Fact 7. 
In any small space ( X , L X ) , we have the following:
(1) If A X is weakly closed ( A Ω L X ), then S p e z ( A ) = A .
(2) If A X is weakly open ( A L X ), then G e n ( A ) = A .
Definition 9 
(cf. [25] (1.1.20)). A subset Q X is called saturated if it is an intersection of weakly open sets, that is Q Ω L X .
Definition 10. 
A small space ( X , L X ) is called T 0 (or Kolmogorov) if the family L X separates points ([25] (Reminder 1.1.4)), which means that for x , y X the following condition is satisfied:
i f   x A y A   f o r   e a c h   A L X , t h e n   x = y .
Fact 8 
(cf. [25] (1.1.6)). If ( X , L X ) is T 0 , then the specialization relation ⇝ is a partial order.
Fact 9 
(cf. [25] (1.1.20)). If ( X , L X ) is T 0 and Q X , then the following are equivalent:
1.
Q is saturated,
2.
G e n ( Q ) = Q .
Fact 10 
([25] (Corollary 1.5.5)). In a spectral topological space ( X , τ X ) , we have the following facts for any A X :
1.
A ¯ = S p e z ( A ¯ c o n ) ,
2.
A ¯ i n v = G e n ( A ¯ c o n ) .

5. The Standard Spectralification

Definition 11. 
An embedding of small spaces e : X Y is an injective mapping e : X Y such that e ( L X ) = L Y 1 e ( X ) .
Definition 12 
([20]). A spectralification of a small space X is the pair ( e , Y ) where: Y is a spectral small space and e : X Y is an embedding between small spaces with the image e ( X ) constructibly dense in Y .
Remark 4. 
Recall that each T 0 small space X admits a spectralification (in the sense of the above definition) that is given by applying the functor S ¯ A ¯ from the proof of Theorem 1 (see also Theorem 2) of [20] to X and embedding X into the resulting spectral space (the existence of such an embedding is guaranteed by the functor R ¯ of that proof). This spectralification, treating X as a subspace of Y and dropping e in the notation, will be called the standard spectralification of X and will be denoted by X s p . Hence we have:
1.
C O ( X s p ) 1 X = L X ,
2.
C C ( X s p ) 1 X = L X ,
3.
C o n ( X s p ) 1 X = C o n ( X ) .
Here C C ( X s p ) denotes the family of all closed constructible sets in the spectral space X s p .
Since X is constructibly dense in X s p , we have the bijection
C o n ( X ) A A s p C o n ( X s p )
where A s p is the only member of C o n ( X s p ) such that A s p X = A . One can see that A s p = A ¯ c o n taken in X s p . This bijection does not extend to the proconstructible sets (i.e., arbitrary intersections of constructible sets).
Remark 5. 
Consider the operation c l : C o n ( X ) P ( X ) introduced below for a T 0 small space X . For A C o n ( X ) , let A s p C o n ( X s p ) be the corresponding constructible set in the standard spectralification X s p of our space X , so A = A s p X . Define
c l ( A ) = A s p ¯ X .
(The closure is taken in the original topology in X s p .) The operation c l is equal to the closure in the original topology in X since for each B C o n ( X s p ) we have B X ¯ c o n = B , so B ¯ = B X ¯ . This means
c l ( A ) = c l ( A s p X ) = A s p X ¯ X = A s p X ¯ X = A ¯ X .
Proposition 4. 
If C is a non-empty, weakly closed set in X , then the following conditions are equivalent:
(1)
C is irreducible,
(2)
the closure C ¯ in the standard spectralification X s p is irreducible.
Proof. 
( 1 ) ( 2 ) Assume C X is (non-empty, weakly closed) irreducible in X , the sets A , B are weakly closed in the original topology in X s p , A B = C ¯ and A C ¯ B . Then ( A X ) ( B X ) = C , hence either A X = C or B X = C . We get either C ¯ = A X ¯ A C ¯ or, similarly, B = C ¯ , a contradiction.
( 2 ) ( 1 ) If C = A B with A , B weakly closed in X , then C ¯ = A ¯ B ¯ in X s p . However, C ¯ is irreducible, hence C ¯ = A ¯ or C ¯ = B ¯ . That is why C = C ¯ X = A ¯ X = A or, similarly, C = B . □

6. Heyting Spectral Spaces

Definition 13 
([25] (Section 8.3)). A topological spectral space X is called Heyting if the closure of any constructible set is a constructible set, so belongs to C C ( X ) . A mapping between Heyting spectral spaces g : X Y is called a Heyting spectral mapping if g is spectral and the condition f 1 ( C ¯ ) = f 1 ( C ) ¯ for C C o n ( Y ) holds. We have the category HSpec of (topological) Heyting spectral spaces and Heyting spectral mappings.
Fact 11. 
Each homeomorphism between Heyting spectral spaces is an isomorphism in HSpec .
Example 9. 
The real spectrum Sper R [ X 1 , , X n ] of the ring of polynomials R [ X 1 , , X n ] over a real closed field R is an object of HSpec (see [32] (Theorem 7.2.3), [25] (Corollary 13.5.11)).
Remark 6. 
One can similarly form the category HSpSS of Heyting spectral small spaces and Heyting (strictly) continuous mappings. Since HSpSS is concretely isomorphic with HSpec , these two categories may be identified.
Definition 14. 
A T 0 pre-Heyting small space will be called a Heyting small space.
Proposition 5. 
If the spectralification X s p of a T 0 small space X is Heyting, then X is Heyting.
Proof. 
Assume A C o n ( X s p ) A ¯ C C ( X s p ) . Then by taking traces with X, we have B C o n ( X ) B ¯ X L X (see Remark 4). □
Proposition 6. 
If X is a Heyting small space, then:
(1)
L X is a Heyting algebra,
(2)
X s p is a Heyting spectral space.
Proof. 
(1) The formula U V = i n t ( V ( X \ U ) ) gives the intuitionistic implication for the bounded lattice L X .
(2) Since the lattices L X and C O ( X s p ) are isomorphic Heyting algebras, X s p is a Heyting spectral space by [25] (Theorem 8.3.12). □

7. Heyting and Boolean Small Spaces

Definition 15 
(Heyting mappings). A mapping between pre-Heyting small spaces f : X Y will be called a Heyting (strictly) continuous mapping if it is (strictly) continuous and satisfies any of the following equivalent conditions:
1.
f 1 ( C ¯ ) = f 1 ( C ) ¯ for C C o n ( Y ) ,
2.
f 1 ( i n t ( C ) ) = i n t ( f 1 ( C ) ) for C C o n ( Y ) .
Definition 16. 
We have the following categories:
1.
the category HSS of Heyting small spaces and Heyting continuous mappings,
2.
the category BSS of Boolean (i.e., Hausdorff compact pre-Boolean) small spaces and continuous mappings.
Fact 12. 
Each strict homeomorphism between Heyting small spaces is an isomorphism of HSS .
Proposition 7. 
Boolean small spaces X = ( X , L X ) are spectral and satisfy L X = C l O p ( X ) , where C l O p ( X ) is the family of all clopen subsets of X in the original topology of X .
Proof. 
Boolean spaces are Hausdorff, so sober. All their smops are clopen, so compact. They are spectral by Proposition 2. Each clopen subset is compact open, so C l O p ( X ) = C O ( X ) = L X . □
Example 10. 
The small space ( X , Fin ( X ) Cofin ( X ) ) for an infinite set X is Hausdorff pre-Boolean but L X = C o n ( X ) C l O p ( X ) = P ( X ) .
Example 11. 
For a structure with a topology ( M , σ ) , see [19] or [21], each definable (with parameters) set D M n gives an example of an object ( D , DefOp ( D ) ) of SS where DefOp ( D ) is the family of definable open subsets of D in the topology τ D induced from M n . (Since both the topology on D and the family of all definable subsets of D are bounded sublattices of P ( D ) , their intersection is also a bounded sublattice.) Similarly, when a definable set is replaced by a definable space over ( M , σ ) . (The latter case follows from the former using finite unions by the very definition of a definable space, see [19] (Definition 3.13).)
Example 12. 
In an o-minimal structure ( M , , ... ) , see [14], any definable set D M n gives an example of an object ( D , DefOp ( D ) ) of HSS since the closure of a definable set is always definable. Similarly, when a definable set is replaced by a definable space over this o-minimal structure ([14] (Chapter 10)).
Example 13. 
Not all definable continuous mappings between definable sets in o-minimal structures are Heyting continuous. For example, consider the o-minimal structure ( R , ) and the natural projection p : { 1 , 2 } × R R . Define f to be the restriction of p to the definable set D = { 1 } × ( R \ { 0 } ) { 2 } × { 0 } and let C = { 0 } C o n ( R ) . Then = f 1 ( i n t ( C ) ) i n t ( f 1 ( C ) ) = { ( 2 , 0 ) } .
Example 14. 
All open continuous definable mappings between definable sets in o-minimal structures are Heyting continuous mappings. A similar property holds when a definable set is replaced by a definable space over the same o-minimal structure. Indeed, any continuous definable mapping is strictly continuous and the property of being Heyting is a weak form of openness, see [38] (Exercise 1.4.C) working for any mapping between topological spaces.

8. Other Useful Categories of Small Spaces

Definition 17. 
Let ( X , X ) be a partially ordered set. For any subset A X , we have:
A = { x X : a A a X x } , t h e   upset   g e n e r a t e d   b y   A ,
A = { x X : a A x X a } , t h e   downset   g e n e r a t e d   b y   A .
When A = { x } , we write x instead of A .
Definition 18. 
A Priestley small space is a system ( X , L X , X ) where ( X , L X ) is a Boolean small space and X is a partial order on X satisfying the Priestley separation axiom
i f   x X y ,   t h e n   V L X   s u c h   t h a t   V = V , x V , y V .
A Priestley mapping is a strictly (equivalently: weakly) continuous non-decreasing mapping between Priestley small spaces. We have the category PSS of Priestley small spaces and Priestley mappings.
Remark 7. 
The category PSS is concretely isomorphic to the category Pri of topological Priestley spaces and Priestley morphisms (see [25,31]) as well as to Spec and to SpSS , so all these categories may be identified.
Definition 19. 
An Esakia small space is a Priestley small space that satisfies the condition
f o r   a l l   A L X   w e   h a v e   A L X .
An Esakia mapping is a Priestley mapping that is a p-morphism, i.e., it satisfies f ( x ) = f ( x ) . We have the category ESS of Esakia small spaces and Esakia mappings.
Remark 8. 
Following [30,31], we understand x X y as saying that y is a generalisation of x, denoted also by y x , while [25] uses the opposite convention.
Remark 9. 
The category ESS is concretely isomorphic to both the category Esa of topological Esakia spaces and Esakia morphisms (see [25,30,31]) and to HSpec from Definition 13, hence these categories may be identified. Similarly, the category ESSD of Esakia small spaces with distinguished decent sets and Esakia mappings respecting the decent sets is concretely isomorphic to HSpecD .
In analogy to the category SpecD from [20], we have the following category.
Definition 20. 
An object of HSpecD is a system ( ( X , τ X ) , X d ) where ( X , τ X ) is a Heyting (topological) spectral space and X d X is a constructibly dense subset. (Such X d is called a decent subset of X.) A morphism from ( ( X , τ X ) , X d ) to ( ( Y , τ Y ) , Y d ) in HSpecD is such a Heyting spectral mapping between Heyting spectral spaces g : ( X , τ X ) ( Y , τ Y ) that respects the decent set, i.e., g ( X d ) Y d .
In analogy to the category Lat from [20], we have the following category.
Definition 21. 
A Heyting algebra is a system L = ( L , , , , 0 , 1 ) where ( L , , , 0 , 1 ) is a bounded distributive lattice and for each a , b L there exists the largest c L such that a c b . We then denote c by a b . A homomorphism of Heyting algebras is a homomorphism h : L M of bounded lattices satisfying additionally the condition
h ( a b ) = h ( a ) h ( b )   f o r   a l l   a , b L .
We have the category HA of Heyting algebras and their homomorphisms.
Remark 10 
(The classical Esakia Duality). The category HSpec is dually equivalent to HA . (See [30] or [31] for a good exposition.) Namely, we have the covariant functors:
(1) 
S p : HA o p HSpec given by S p ( L ) = ( PF ( L ) , τ ( L ˜ ) ) and S p ( h o p ) = h where h : L M is a homomorphism, h ( F ) = h 1 ( G ) for G PF ( M ) and PF ( L ) denotes the set of all prime filters in L,
(2) 
C o : HSpec HA o p given by C o ( X ) = C O ( X ) with the obvious set-theoretic operations and C o ( g ) = ( L g ) o p where ( L g ) ( V ) = g 1 ( V ) for g : X Y and V C O ( Y ) .
In analogy to the category LatD from [20], we have the following category.
Definition 22. 
Objects of HAD are pairs ( L , D L ) where L is a Heyting algebra ( L , , , , 0 , 1 ) and D L PF ( L ) is a constructibly dense subset (i.e., a decent set of prime filters). Morphisms of HAD are such homomorphisms of Heyting algebras h : L M that h ( D M ) D L .

9. Esakia Duality for Heyting Small Spaces

Theorem 2. 
The categories HSS , HSpecD and ( HAD ) o p are equivalent.
Proof. 
Since the functors we shall consider are restrictions of the functors from Stone Duality [20] (Theorem 2), we concentrate on objects and morphisms being Heyting.
Step 1:
The restriction functor R.
Restrict the functor R ¯ from [20] (Theorem 1) given by R ¯ ( ( X , τ X ) , X d ) = ( X d , C O ( X ) d ) , R ¯ ( g ) = g d , where g d : X d Y d is the restriction of g : X Y in both the domain and the codomain, to the functor R : HSpecD HSS . For ( X , τ X ) a Heyting spectral space, the induced small space ( X d , C O ( X ) d ) is T 0 and pre-Heyting: for A C o n ( X d ) we have c l ( A ) C C ( X ) d , see Remark 5. For a Heyting spectral mapping g : X Y satisfying g ( X d ) Y d , by the density of X d , we have g d 1 ( c l ( A Y d ) ) = X d g 1 ( A ¯ ) = X d g 1 ( A ) ¯ = X d g d 1 ( A Y d ) ¯ = c l ( g d 1 ( A Y d ) ) for A C o n ( Y ) , so g d is a Heyting continuous map. Hence R is a well-defined functor.
Step 2:
The spectrum functor S.
Restrict the functor S ¯ from [20] (Theorem 1) defined by S ¯ ( L , D L ) = ( ( PF ( L ) , τ ( L ˜ ) ) , D L ) , S ¯ ( h o p ) = h , where h o p in HAD o p is the (renamed) morphism h in HAD , to the functor S : HAD o p HSpecD . That ( PF ( L ) , τ ( L ˜ ) ) is a Heyting spectral space follows from [25] (Theorem 8.3.12) since the Heyting algebra L is isomorphic to L ˜ = C O ( PF ( L ) ) .
For a morphism h : L M in HAD we have ( h ) 1 ( L ˜ ) M ˜ , so h : PF ( M ) PF ( L ) is spectral. Moreover, h is a Heyting spectral mapping by [25] (Theorem 8.3.20). Hence S is a well-defined functor.
Step 3:
The algebraization functor A.
Restrict the functor A ¯ from [20] (Theorem 1) defined by formulas A ¯ ( X , L X ) = ( L X , X ^ ) , A ¯ ( f ) = ( L f ) o p to the functor A : HSS HAD o p . We have the obvious Heyting algebra operations on L X (see Proposition 6) and, for a Heyting continuous mapping f : X Y , the mapping L f : L Y W f 1 ( W ) L X is a homomorphism of Heyting algebras: ( L f ) ( U V ) = f 1 ( i n t ( V ( Y \ U ) ) ) = i n t ( f 1 ( V ) ( X \ f 1 ( U ) ) ) = ( L f ) ( U ) ( L f ) ( V ) . Hence A is a well-defined functor.
Step 5:
The functor R S A is naturally isomorphic to I d HSS .
Restrict the natural transformation η from [20] (Theorem 1) to one from R S A to I d HSS . We have ( f η X ) ( x ^ ) = ( η Y R S A ( f ) ) ( x ^ ) and each η X : ( X ^ , L X ˜ d ) ( X , L X ) is a strict homeomorphism, so, by Fact 12, an isomorphism of Heyting small spaces. Hence η is truly a natural isomorphism of endofunctors of HSS .
Step 6:
The functor S A R is naturally isomorphic to I d HSpecD .
Restrict the natural transformation θ from [20] (Theorem 1) to one from S A R to I d HSpecD . We have g θ X = θ Y S A R ( g ) and each θ X is a bijection preserving both ways the compact open sets, so an isomorphism of Heyting spectral spaces (Fact 11). Hence θ is truly a natural isomorphism of endofunctors of HSpecD .
  • The functor A R S is naturally isomorphic to I d HAD o p .
Restrict the natural transformation κ o p from [20] (Theorem 1) to one from A R S to I d HAD o p . We have κ L o p A R S ( h o p ) = h o p κ M o p . As an order isomorphism, each κ L o p is an isomorphism of Heyting algebras ([39] (Exercise IX.4.3)), so κ o p is truly a natural isomorphism of endofunctors of ( HAD ) o p . □
Corollary 1. 
The categories ESSD and HSS are equivalent.
Corollary 2. 
Open continuous definable mappings between definable spaces over o-minimal structures are restrictions to decent subsets of Heyting spectral mappings between spectral spaces. The latter mappings correspond to homomorphisms of Heyting algebras.

10. Conclusions

After introducing pre-Heyting and pre-Boolean small spaces (Section 2) and giving a characterisation of pre-Heyting small spaces (Theorem 1), we have noticed that topological spectral spaces may be seen as T 0 sober small spaces with all smops compact (Section 3). We have recalled the basic properties of the specialization relation in the context of small spaces (Section 4). We have introduced the method of the standard spectralification of a T 0 small space (Section 5) and inferred some of its properties including preserving of being Heyting both ways (Section 6). After introducing the category HSS of Heyting small spaces and Heyting continuous mappings, we have given an example of such mappings: open continuous definable mappings between definable spaces over o-minimal structures (Section 7), which means that those mappings can be described using homomorphisms of Heyting algebras. Next, we have constructed the category ESS of Esakia small spaces and Esakia mappings, concretely isomorphic to HSpec, and other useful categories (Section 8). Finally, we have proven a version of Esakia Duality for Heyting small spaces (Section 9, Theorem 2), making a new step in developing tame topology.
As extending our version of Esakia Duality to locally small spaces needs another set of notions, we postpone this to another paper. Future research may also concern the use of the (already developed) theory of (up-)spectral spaces to understand (locally) small spaces, especially exploiting the notions of normal spectral spaces and spectral root systems.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Bice, T.; Starling, C. Locally Compact Stone Duality. J. Log. Anal. 2018, 10, 1–36. [Google Scholar] [CrossRef] [Green Version]
  2. Bice, T.; Starling, C. General non-commutative locally compact locally Hausdorff Stone duality. Adv. Math. 2019, 341, 40–91. [Google Scholar] [CrossRef] [Green Version]
  3. Bezhanishvili, G.; Morandi, P.J.; Olberding, B. A generalization of Gelfand-Naimark-Stone duality to completely regular spaces. Topol. Appl. 2020, 274, 107123. [Google Scholar] [CrossRef] [Green Version]
  4. Bezhanishvili, G.; Morandi, P.J.; Olberding, B. Gelfand-Naimark-Stone duality for normal spaces and insertion theorems. Topol. Appl. 2020, 280, 107256. [Google Scholar] [CrossRef]
  5. Dimov, G.; Ivanova-Dimova, E. Two Extensions of the Stone Duality to the Category of Zero-Dimensional Hausdorff Spaces. Filomat 2021, 35, 1851–1878. [Google Scholar] [CrossRef]
  6. Cannon, S.; Döring, A. A Generalisation of Stone Duality to Orthomodular Lattices. In Reality and Measurement in Algebraic Quantum Theory; Springer Nature: Singapore, 2018; pp. 3–65. [Google Scholar]
  7. Hartonas, C. Duality Results for (Co)Residuated Lattices. Log. Universalis 2019, 13, 77–99. [Google Scholar] [CrossRef]
  8. Kudryavtseva, G. A refinement of Stone duality to skew Boolean algebras. Algebra Universalis 2012, 67, 397–416. [Google Scholar] [CrossRef] [Green Version]
  9. Bezhanishvili, G.; Jansana, R. Esakia Style Duality for Implicative Semilattices. Appl. Categor. Struct. 2013, 21, 181–208. [Google Scholar] [CrossRef]
  10. Goldblatt, R. Canonical extensions and ultraproducts of polarities. Algebra Universalis 2018, 79, 80. [Google Scholar]
  11. Hartonas, C. Canonical Extensions and Kripke-Galois Semantics for Non-distributive Logics. Log. Universalis 2018, 12, 397–422. [Google Scholar] [CrossRef]
  12. Kwaśniewski, B.K.; Meyer, R. Stone duality and quasi-orbit spaces for generalised C*-inclusions. Proc. Lond. Math. Soc. 2020, 121, 788–827. [Google Scholar] [CrossRef]
  13. Grothendieck, A. Esquisse d’un Programme [Sketch of a Program]. In Geometric Galois Actions 1; Cambridge University Press: Cambridge, UK, 1997; Volume 242, pp. 5–48. (In French) [Google Scholar]
  14. van den Dries, L. Tame Topology and O-Minimal Structures; Cambridge University Press: Cambridge, UK, 1998. [Google Scholar]
  15. A’Campo, N.; Ji, L.; Papadopoulos, A. On Grothendieck’s tame topology. arXiv 2016, arXiv:1603.03016. [Google Scholar]
  16. Cruz Morales, J.A. The Notion of Space in Grothendieck. In Handbook of the History and Philosophy of Mathematical Practice; Springer Nature: Cham, Switzerland, 2020; pp. 1–21. [Google Scholar]
  17. Piękosz, A. On generalized topological spaces I. Ann. Pol. Math. 2013, 107, 217–241. [Google Scholar] [CrossRef]
  18. Piękosz, A.; Wajch, E. Compactness and compactifications in generalized topology. Topol. Appl. 2015, 194, 241–268. [Google Scholar] [CrossRef]
  19. Piękosz, A. Locally small spaces with an application. Acta Math. Hung. 2020, 160, 197–216. [Google Scholar] [CrossRef] [Green Version]
  20. Piękosz, A. Stone Duality for Kolmogorov Locally Small Spaces. Symmetry 2021, 13, 1791. [Google Scholar] [CrossRef]
  21. Piękosz, A. On generalized topological spaces II. Ann. Pol. Math. 2013, 108, 185–214. [Google Scholar] [CrossRef]
  22. Delfs, H.; Knebusch, M. Locally Semialgebraic Spaces; Springer: Berlin/Heidelberg, Germany, 1985. [Google Scholar]
  23. Piękosz, A. O-minimal homotopy and generalized (co)homology. Rocky Mt. J. Math. 2013, 43, 573–617. [Google Scholar] [CrossRef]
  24. Pillay, A. On groups and fields definable in o-minimal structures. J. Pure Appl. Algebra 1988, 53, 239–255. [Google Scholar] [CrossRef] [Green Version]
  25. Dickmann, M.; Schwartz, N.; Tressl, M. Spectral Spaces; Cambridge University Press: Cambridge, UK, 2019. [Google Scholar]
  26. Stone, M.H. Topological representations of distributive lattices and Brouwerian logics. Časopis Pěst. Mat. Fiz. 1938, 67, 1–25. [Google Scholar] [CrossRef]
  27. Priestley, H. Representation of distributive lattices by means of ordered Stone spaces. Bull. Lond. Math. Soc. 1970, 2, 186–190. [Google Scholar] [CrossRef]
  28. Esakia, L. Topological Kripke models. Dokl. Akad. Nauk SSSR 1974, 214, 298–301. [Google Scholar]
  29. Hochster, M. Prime ideal structure in commutative rings. Trans. Am. Math. Soc. 1969, 142, 43–60. [Google Scholar] [CrossRef]
  30. Esakia, L. Heyting Algebras. Duality Theory; Springer Nature: Cham, Switzerland, 2019. [Google Scholar]
  31. Celani, S.A.; Jansana, R. Esakia Duality and Its Extensions. In Leo Esakia on Duality in Modal and Intuitionistic Logics; Springer: Dordrecht, The Netherland, 2014; pp. 63–98. [Google Scholar]
  32. Bochnak, J.; Coste, M.; Roy, M.-F. Real Algebraic Geometry; Springer: Berlin/Heidelberg, Germany, 1998. [Google Scholar]
  33. Andradas, C.; Bröcker, L.; Ruiz, J. Constructible Sets in Real Geometry; Springer: Berlin/Heidelberg, Germany, 1996. [Google Scholar]
  34. Mac Lane, S. Categories for the Working Mathematician; Springer: New York, NY, USA, 1998. [Google Scholar]
  35. Özel, C.; Piękosz, A.; Al Shumrani, M.; Wajch, E. Partially paratopological groups. Topol. Appl. 2017, 228, 68–78. [Google Scholar] [CrossRef]
  36. Adámek, J.; Herrlich, H.; Strecker, G.E. Abstract and Concrete Categories. The Joy of Cats; Wiley: New York, NY, USA, 1990. [Google Scholar]
  37. Erné, M. General Stone duality. Topol. Appl. 2004, 137, 125–158. [Google Scholar] [CrossRef]
  38. Engelking, R. General Topology; Heldermann: Berlin, Germany, 1989. [Google Scholar]
  39. Balbes, R.; Dwinger, P. Distributive Lattices; University of Missouri Press: Columbia, MO, USA, 1974. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Piękosz, A. Esakia Duality for Heyting Small Spaces. Symmetry 2022, 14, 2567. https://doi.org/10.3390/sym14122567

AMA Style

Piękosz A. Esakia Duality for Heyting Small Spaces. Symmetry. 2022; 14(12):2567. https://doi.org/10.3390/sym14122567

Chicago/Turabian Style

Piękosz, Artur. 2022. "Esakia Duality for Heyting Small Spaces" Symmetry 14, no. 12: 2567. https://doi.org/10.3390/sym14122567

APA Style

Piękosz, A. (2022). Esakia Duality for Heyting Small Spaces. Symmetry, 14(12), 2567. https://doi.org/10.3390/sym14122567

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop