local homeomorphisms and esakia dualityrmi.tsu.ge/tolo4/pres/kuznetsov.pdflocal homeomorphisms and...
TRANSCRIPT
![Page 1: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/1.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
LOCAL HOMEOMORPHISMSAND
ESAKIA DUALITY
Evgeny Kuznetsov
Javakhishvili Tbilisi State University
TOLO IVJune 26, 2014
1 / 24
![Page 2: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/2.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
What do we want
There is known an algebraic description of thosehomomorphisms f−1 : Op(Y)→ Op(X) between Heytingalgebras of open sets of topological spaces which correspond tolocal homeomorphisms f : X → Y between these spaces.
The question we want to investigate is this.
What is the analog of local homeomorphisms for Esakiaspaces?
What kind of Heyting algebra homomorphisms do theycorrespond to?
2 / 24
![Page 3: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/3.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
What do we want
There is known an algebraic description of thosehomomorphisms f−1 : Op(Y)→ Op(X) between Heytingalgebras of open sets of topological spaces which correspond tolocal homeomorphisms f : X → Y between these spaces.
The question we want to investigate is this.
What is the analog of local homeomorphisms for Esakiaspaces?
What kind of Heyting algebra homomorphisms do theycorrespond to?
2 / 24
![Page 4: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/4.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Content
Local homeomorphisms in topological semantics.
Esakia duality (reminder)
Common ground – the finite case: strict p-morphisms.
Infinite over finite – Stone presheaves.
Duality between gluing local homeomorphisms and HSP –the variety V H of etale H-algebras.
Special properties of V H.
Conclusion.
3 / 24
![Page 5: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/5.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Local homeomorphisms
Open continuous maps
Definition 1.A continuous map f : Y → X between topological spaces is openif f(U) ∈ Op(X) for any U ∈ Op(X).
If f : Y → X is an open continuous map, thenf−1 : Op(X)→ Op(Y) is a homomorphism of Heyting algebras(preserves implication)
For a topological space X, let Op/X be the category of opencontinuous maps over X. Its objects are open continuous mapswith codomain X and morphisms from f : Y → X to f ′ : Y ′ → Xare open continuous maps g : Y → Y ′, such that f ′ ◦ g = f .
4 / 24
![Page 6: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/6.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Local homeomorphisms
Open continuous maps
Definition 1.A continuous map f : Y → X between topological spaces is openif f(U) ∈ Op(X) for any U ∈ Op(X).
If f : Y → X is an open continuous map, thenf−1 : Op(X)→ Op(Y) is a homomorphism of Heyting algebras(preserves implication)
For a topological space X, let Op/X be the category of opencontinuous maps over X. Its objects are open continuous mapswith codomain X and morphisms from f : Y → X to f ′ : Y ′ → Xare open continuous maps g : Y → Y ′, such that f ′ ◦ g = f .
4 / 24
![Page 7: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/7.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Local homeomorphisms
Open continuous maps
Definition 1.A continuous map f : Y → X between topological spaces is openif f(U) ∈ Op(X) for any U ∈ Op(X).
If f : Y → X is an open continuous map, thenf−1 : Op(X)→ Op(Y) is a homomorphism of Heyting algebras(preserves implication)
For a topological space X, let Op/X be the category of opencontinuous maps over X. Its objects are open continuous mapswith codomain X and morphisms from f : Y → X to f ′ : Y ′ → Xare open continuous maps g : Y → Y ′, such that f ′ ◦ g = f .
4 / 24
![Page 8: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/8.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Local homeomorphisms
Local homeomorphisms
Definition 2 (Local homeomorphism).
A continuous map f : Y → X between topological spaces is alocal homeomorphism if for any point y ∈ Y there exists an openU, such that y ∈ U and f |U is a homeomorphism between U andf(U).
In particular, any local homeomorphism is an open map.
5 / 24
![Page 9: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/9.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Local homeomorphisms
Local homeomorphisms
Proposition 1 (Folklore).
If f : Y → X is a local homeomorphism then the Heyting algebrahomomorphism f−1 : Op(X)→ Op(Y) satisfies⋃
U∈Op(X)
(V ↔ f−1(U)
)= Y
for any V ∈ Op(Y).
6 / 24
![Page 10: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/10.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Local homeomorphisms
Local homeomorphisms
For a topological space X, let LH/X be the category of localhomeomorphisms over X. Its objects are local homeomorphismswith codomain X and morphisms from f : Y → X to f ′ : Y ′ → Xare local homeomorphisms g : Y → Y ′, such that f ′ ◦ g = f .
It follows, that LH/X is a subcategory of Op/X. In fact it turnsout to be a full subcategory.
7 / 24
![Page 11: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/11.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Local homeomorphisms
Local homeomorphisms
For a topological space X, let LH/X be the category of localhomeomorphisms over X. Its objects are local homeomorphismswith codomain X and morphisms from f : Y → X to f ′ : Y ′ → Xare local homeomorphisms g : Y → Y ′, such that f ′ ◦ g = f .
It follows, that LH/X is a subcategory of Op/X. In fact it turnsout to be a full subcategory.
7 / 24
![Page 12: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/12.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Local homeomorphisms
Some results
Our main intuitive starting point is
Proposition 2 (see “Elephant” 4.2.4(e)).
For every topological space X, the category LH /X of localhomeomorphisms over X is a topos.
Proposition 3 (Folklore?).
f : Y → X is a local homeomorphism if and only if f is an openmap and ∆f : Y → Y ×X Y is also an open map.
8 / 24
![Page 13: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/13.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Local homeomorphisms
Some results
Our main intuitive starting point is
Proposition 2 (see “Elephant” 4.2.4(e)).
For every topological space X, the category LH /X of localhomeomorphisms over X is a topos.
Proposition 3 (Folklore?).
f : Y → X is a local homeomorphism if and only if f is an openmap and ∆f : Y → Y ×X Y is also an open map.
8 / 24
![Page 14: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/14.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Local homeomorphisms
Some results
Theorem 2.1.LH /X is the smallest subcategory of Op /X which contains theobject 1X : X → X (identity map of X) and is closed undercoproducts, quotient objects, and subobjects.
Remark.Coproduts in Op /X coincide with coproducts in the category oftopological spaces and are given by disjoint unions. A quotientobject of f : Y → X is given by an object f ′ : Y ′ → X and asurjective open map q : Y � Y ′, such that f ′ ◦ q = f . A subobjectof f : Y → X is any open subset U ⊆ Y with the map f ◦ i, where iis the embedding of U into Y.
9 / 24
![Page 15: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/15.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Local homeomorphisms
Some results
Theorem 2.1.LH /X is the smallest subcategory of Op /X which contains theobject 1X : X → X (identity map of X) and is closed undercoproducts, quotient objects, and subobjects.
Remark.Coproduts in Op /X coincide with coproducts in the category oftopological spaces and are given by disjoint unions. A quotientobject of f : Y → X is given by an object f ′ : Y ′ → X and asurjective open map q : Y � Y ′, such that f ′ ◦ q = f . A subobjectof f : Y → X is any open subset U ⊆ Y with the map f ◦ i, where iis the embedding of U into Y.
9 / 24
![Page 16: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/16.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Esakia duality (reminder)
Esakia spaces
Definition 3.A Priestley space is an ordered Stone space X = (X,6) whichsatisfies the Priestley separation axiom
for every x, y ∈ X with x 66 y there is a clopen upset U suchthat x ∈ U and y 6∈ U.
Definition 4.6 is called point-closed if ↑(x) is closed for every x ∈ X.6 is called clopen if ↓(C) is clopen for every clopen set C.A Priestley space X = (X,6) is an Esakia space if 6 is apoint-closed clopen relation.
10 / 24
![Page 17: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/17.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Esakia duality (reminder)
Esakia morphisms
Definition 5.A monotone map f : (Y,6Y)→ (X,6X) between ordered sets isa p-morphism if for arbitrary y ∈ Y and arbitrary f(y) 6X x ∈ Xthere exists an y 6Y y′ such that f(y′) = x.
Definition 6.An Esakia morphism (Y,6Y)→ (X,6X) between Esakia spaces isa monotone continuous map which is a p-morphism.
11 / 24
![Page 18: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/18.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Esakia duality (reminder)
Esakia duality
Let HA denote the category of Heyting algebras and theirhomomorphisms and let E denote the category of Esakia spacesand Esakia morphisms.
The following well known and important theorem holds:
Theorem 3.1 (Esakia).There exists duality between category of Esakia spaces and thecategory of Heyting algebras.
HAop ' E
12 / 24
![Page 19: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/19.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Esakia duality (reminder)
Esakia duality
Let HA denote the category of Heyting algebras and theirhomomorphisms and let E denote the category of Esakia spacesand Esakia morphisms.
The following well known and important theorem holds:
Theorem 3.1 (Esakia).There exists duality between category of Esakia spaces and thecategory of Heyting algebras.
HAop ' E
12 / 24
![Page 20: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/20.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Common ground – the finite case: strict p-morphisms.
Strict p-morphisms
Definition 7.A strict p-morphism f : (Y,6Y)→ (X,6X) between ordered setsis a p-morphism such that for arbitrary y ∈ Y and arbitraryf(y) 6X x ∈ X there exists a unique y 6Y y′, such that f(y′) = x.
Proposition 4.
A p-morphism f : Y → X between ordered sets is strict if and onlyif the map ∆f : Y → Y ×X Y is a p-morphism too.
13 / 24
![Page 21: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/21.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Common ground – the finite case: strict p-morphisms.
Strict p-morphisms
Definition 7.A strict p-morphism f : (Y,6Y)→ (X,6X) between ordered setsis a p-morphism such that for arbitrary y ∈ Y and arbitraryf(y) 6X x ∈ X there exists a unique y 6Y y′, such that f(y′) = x.
Proposition 4.
A p-morphism f : Y → X between ordered sets is strict if and onlyif the map ∆f : Y → Y ×X Y is a p-morphism too.
13 / 24
![Page 22: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/22.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Common ground – the finite case: strict p-morphisms.
Strict p-morphisms
Proposition 5.
A p-morphism f : (Y,6Y)→ (X,6X) is strict if and only if theHeyting algebra homomorphism f−1 : ↑(X)→ ↑(Y) betweenHeyting algebras of up-sets satisfies⋃
U∈↑(X)
(V ↔ f−1(U)
)= Y
for any V ∈ ↑(Y).
14 / 24
![Page 23: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/23.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Common ground – the finite case: strict p-morphisms.
Slices P/(X,6), SP/(X,6).
Let P/(X,6) be the category of p-morphisms over (X,6)and SP/(X,6)– the category of strict p-morphisms over (X,6).
Theorem 4.1.
SP/(X,6) is the smallest full subcategory of P/(X,6), whichcontains the object 1X : X → X and is closed under coproducts,quotient objects, and subobjects.
In fact it is easy to see that if we equip posets with theirAlexandroff topologies (open sets are all up-sets) then a map(Y,6)→ (X,6)
is continuous iff it is monotoneis open iff it is a p-morphism andis a local homeomorphism iff it is a strict p-morphism.
15 / 24
![Page 24: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/24.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Common ground – the finite case: strict p-morphisms.
Slices P/(X,6), SP/(X,6).
Let P/(X,6) be the category of p-morphisms over (X,6)and SP/(X,6)– the category of strict p-morphisms over (X,6).
Theorem 4.1.
SP/(X,6) is the smallest full subcategory of P/(X,6), whichcontains the object 1X : X → X and is closed under coproducts,quotient objects, and subobjects.
In fact it is easy to see that if we equip posets with theirAlexandroff topologies (open sets are all up-sets) then a map(Y,6)→ (X,6)
is continuous iff it is monotoneis open iff it is a p-morphism andis a local homeomorphism iff it is a strict p-morphism.
15 / 24
![Page 25: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/25.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Common ground – the finite case: strict p-morphisms.
Strict p-morphisms between Esakia spaces
Similarly, for an Esakia space X let E/X be the category ofEsakia morphisms over X and let SE/X be the category of strictEsakia morphisms over X .
Corollary 1.
For a finite Esakia space X , the full subcategory of SE/Xconsisting of Y → X with finite Y, is the smallest subcategory ofE/X which contains the object 1X : X → X and is closed underfinite coproducts, quotient objects, and subobjects.
This is clear since finite Esakia spaces are essentially nothingelse but finite posets.
16 / 24
![Page 26: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/26.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Common ground – the finite case: strict p-morphisms.
Strict p-morphisms between Esakia spaces
Similarly, for an Esakia space X let E/X be the category ofEsakia morphisms over X and let SE/X be the category of strictEsakia morphisms over X .
Corollary 1.
For a finite Esakia space X , the full subcategory of SE/Xconsisting of Y → X with finite Y, is the smallest subcategory ofE/X which contains the object 1X : X → X and is closed underfinite coproducts, quotient objects, and subobjects.
This is clear since finite Esakia spaces are essentially nothingelse but finite posets.
16 / 24
![Page 27: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/27.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Common ground – the finite case: strict p-morphisms.
Presheaves.
If f : (Y,6)→ (X,6) is a strict p-morphism then for arbitraryx1 6 x2 from X it determines a mapping from f−1(x1) to f−1(x2):y1 ∈ f−1(x1) goes to the unique y2 ∈ f−1(x2) with y1 6 y2.In this way we obtain a functor Ff : (X,6)→ Set.Moreover a morphism from f : (Y,6)→ (X,6) tof ′ : (Y ′,6)→ (X,6) gives rise to a natural transformationFf → Ff ′ .
Proposition 6 (“Elephant” A1.1.7).
The assignment f 7→ Ff determines an equivalence of categories
SP/(X,6)→ Set(X,6)
17 / 24
![Page 28: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/28.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Common ground – the finite case: strict p-morphisms.
Presheaves.
If f : (Y,6)→ (X,6) is a strict p-morphism then for arbitraryx1 6 x2 from X it determines a mapping from f−1(x1) to f−1(x2):y1 ∈ f−1(x1) goes to the unique y2 ∈ f−1(x2) with y1 6 y2.In this way we obtain a functor Ff : (X,6)→ Set.Moreover a morphism from f : (Y,6)→ (X,6) tof ′ : (Y ′,6)→ (X,6) gives rise to a natural transformationFf → Ff ′ .
Proposition 6 (“Elephant” A1.1.7).
The assignment f 7→ Ff determines an equivalence of categories
SP/(X,6)→ Set(X,6)
17 / 24
![Page 29: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/29.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Infinite over finite – Stone presheaves.
Stone presheaves.
If f : Y → X is a strict p-morphism, where Y is arbitrary Esakiaspace and X is a finite Esakia space, then for arbitrary x ∈ X ,f−1(x) is a clopen subset of Y, so it is a Stone space.Moreover the map f−1(x1)→ f−1(x2) we defined before iscontinuous for any x1 6 x2.Thus in this case Ff may be viewed as a functor Ff : X → Stoneto the category of Stone spaces.
Theorem 5.1.The assignment f 7→ Ff determines an equivalence of categories
SE/X → StoneX
18 / 24
![Page 30: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/30.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Infinite over finite – Stone presheaves.
Stone presheaves.
If f : Y → X is a strict p-morphism, where Y is arbitrary Esakiaspace and X is a finite Esakia space, then for arbitrary x ∈ X ,f−1(x) is a clopen subset of Y, so it is a Stone space.Moreover the map f−1(x1)→ f−1(x2) we defined before iscontinuous for any x1 6 x2.Thus in this case Ff may be viewed as a functor Ff : X → Stoneto the category of Stone spaces.
Theorem 5.1.The assignment f 7→ Ff determines an equivalence of categories
SE/X → StoneX
18 / 24
![Page 31: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/31.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Duality between gluing local homeomorphisms and HSP – the variety VH of etale H-algebras.
H-algebras
What is the dual algebraic counterpart of the above Theorem4.1?
Definition 8.For a Heyting algebra H, let H-alg denote the category ofH-algebras whose objects are Heyting algebra homomorphismsf : H → A. A morphism from f : H → A to f ′ : H → A′ is aHeyting algebra homomorphism g : A→ A′ with g ◦ f = f ′.
19 / 24
![Page 32: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/32.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Duality between gluing local homeomorphisms and HSP – the variety VH of etale H-algebras.
H-algebras
What is the dual algebraic counterpart of the above Theorem4.1?
Definition 8.For a Heyting algebra H, let H-alg denote the category ofH-algebras whose objects are Heyting algebra homomorphismsf : H → A. A morphism from f : H → A to f ′ : H → A′ is aHeyting algebra homomorphism g : A→ A′ with g ◦ f = f ′.
19 / 24
![Page 33: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/33.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Duality between gluing local homeomorphisms and HSP – the variety VH of etale H-algebras.
Etale H-algebras
Definition 9.Define the variety VH of etale H-algebras as the subvariety of thevariety of H-algebras generated by the H-algebra H, i. e. by theidentity map 1H : H → H.
By the Birkhoff theorem, VH corresponds to the smallestsubcategory of H-alg which contains H and is closed underproducts, subalgebras and homomorphic images.Note that by Esakia duality the category H-algop is dual to E/XHwhere XH is the Esakia space dual to H. Thus the way VH isobtained from H-alg is dual to the way SE/XH is obtained fromE/XH.
20 / 24
![Page 34: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/34.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Duality between gluing local homeomorphisms and HSP – the variety VH of etale H-algebras.
Etale H-algebras
Definition 9.Define the variety VH of etale H-algebras as the subvariety of thevariety of H-algebras generated by the H-algebra H, i. e. by theidentity map 1H : H → H.
By the Birkhoff theorem, VH corresponds to the smallestsubcategory of H-alg which contains H and is closed underproducts, subalgebras and homomorphic images.
Note that by Esakia duality the category H-algop is dual to E/XHwhere XH is the Esakia space dual to H. Thus the way VH isobtained from H-alg is dual to the way SE/XH is obtained fromE/XH.
20 / 24
![Page 35: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/35.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Duality between gluing local homeomorphisms and HSP – the variety VH of etale H-algebras.
Etale H-algebras
Definition 9.Define the variety VH of etale H-algebras as the subvariety of thevariety of H-algebras generated by the H-algebra H, i. e. by theidentity map 1H : H → H.
By the Birkhoff theorem, VH corresponds to the smallestsubcategory of H-alg which contains H and is closed underproducts, subalgebras and homomorphic images.Note that by Esakia duality the category H-algop is dual to E/XHwhere XH is the Esakia space dual to H. Thus the way VH isobtained from H-alg is dual to the way SE/XH is obtained fromE/XH.
20 / 24
![Page 36: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/36.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Duality between gluing local homeomorphisms and HSP – the variety VH of etale H-algebras.
Identity of Etale H-algebras
Theorem 6.1.For a finite Heyting algebra H,
Every H-algebra i : H → A in the variety VH satisfies theidentity ∨
h∈H
(i(h)↔ x) = 1.
If an algebra H → A in the variety H-alg satisfies the aboveidentity then its dual Esakia morphism XA → XH is a strictp-morphism.
21 / 24
![Page 37: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/37.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Special properties of V H .
Forgetful functor
Fact.The forgetful functor F : E/X → Set/|X | does not preserveinverse limits.
For example 2← 2× 2→ 2 which is the limit of the diagram2→ 1← 2 in Set/1, is not the limit of this diagram in E/1.
Theorem 7.1.For an arbitrary Esakia space X the forgetful functorF : SE/X → Set/|X | preserves all inverse limits.
22 / 24
![Page 38: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/38.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Special properties of V H .
Forgetful functor
Fact.The forgetful functor F : E/X → Set/|X | does not preserveinverse limits.
For example 2← 2× 2→ 2 which is the limit of the diagram2→ 1← 2 in Set/1, is not the limit of this diagram in E/1.
Theorem 7.1.For an arbitrary Esakia space X the forgetful functorF : SE/X → Set/|X | preserves all inverse limits.
22 / 24
![Page 39: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/39.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Special properties of V H .
Forgetful functor
Fact.The forgetful functor F : E/X → Set/|X | does not preserveinverse limits.
For example 2← 2× 2→ 2 which is the limit of the diagram2→ 1← 2 in Set/1, is not the limit of this diagram in E/1.
Theorem 7.1.For an arbitrary Esakia space X the forgetful functorF : SE/X → Set/|X | preserves all inverse limits.
22 / 24
![Page 40: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/40.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Conclusions
These facts signify that the categories of type V opH or SE/X
although are not toposes but their categorical properties makethem closer to toposes than the categories H-algop ' E/XH.
23 / 24
![Page 41: LOCAL HOMEOMORPHISMS AND ESAKIA DUALITYrmi.tsu.ge/tolo4/pres/Kuznetsov.pdfLOCAL HOMEOMORPHISMS AND ESAKIA DUALITY LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY Evgeny Kuznetsov Javakhishvili](https://reader033.vdocuments.net/reader033/viewer/2022041416/5e1bf42ca6df9222ae380989/html5/thumbnails/41.jpg)
LOCAL HOMEOMORPHISMS AND ESAKIA DUALITY
Thanksfor
attention
24 / 24