Presentation on theme: "Categorical aspects of Locale Theory Prepared for a University of Birmingham Seminar 16 th November 2007 By Christopher Townsend."— Presentation transcript:
Categorical aspects of Locale Theory Prepared for a University of Birmingham Seminar 16 th November 2007 By Christopher Townsend
Today’s talk Only references to detailed proofs You all known what Loc is? Assumptions Recall what categorical facts are known about Loc. Try to show what aspects of locale theory have purely categorical proofs. Work plan ‘Axiomatic’ topology Compact Open Duality
List of Topics Power monads via exponentials Weak triquotient assignments (covers proper and open maps). Points of the double power locale. Hofmann-Mislove theorem Closed subgroup theorem Compact Hausdorff locales Patch construction Hyland’s result Representation of geometric morphisms Fundamental theorem of locale theory Once a categorical framework is set up for Loc aim to cover the following topics: Can’t do: Bourbaki characterization of proper maps Italics means account is not entirely satisfactory
Attempt at History … Closeds as primitives Tarksi & McKinsey [late 1940s] Wallman  TIME Isbell  & Dowker/Strauss Grothendieck (Topos) TOPOS LOCALE THEORY COMPACT OPEN DUALITY Proper Maps of Locales Vermeulen  Taylor’s ASD Joyal & Tierney  Preframes Banaschewski, Vickers & Johnstone ? Moerdijk & Vermeulen Proper Topos  Vickers 97 Ps
Facts about Loc Order enriched Order enriched limits and colimits X×(Y+Z)=X×Y+X×Z There is an order internal distributive lattice $ that classifies open and closed subobjects For any equalizer E X Y there is a dcpo coequalizer (whiteboard). There are three monads P U, P L and PP. Locales are slice stable. e f g co-KZ KZ
Dcpo homs. are categorical Given q : ΩX ΩY a dcpo hom. there exists unique nat. trans. a q : $ X $ Y such that q=[a q ] 1. Specializes to suplattice and preframe homomorphisms THEREFORE: Can replicate all the Facts about Loc as categorical statements. Example (whiteboard): P U, P L and PP. Power monads via Exponentials
Extra assumptions P U, P L are co-KZ, KZ respectively. $ (_) creates isomorphisms q : X Y epimorphism implies $ q regular monomorphism. … others. CONCLUSION: The axiomatization is effective as it shows many theorems, but it is not yet ‘nice’. Might be ‘nice’: idea is of having a universal nat. trans CSub(_xX) CSub(_xPPX). c.f. classification of relations in topos theory. Avoids $. Remember: objective is Compact Open duality. Equivalent to assumption the Kleisli categories are Cauchy complete
Weak Triquotient Assignments Given f : X Y then a wta on f is a nat. transformation q: $ X $ Y such that q[c/\(d\/$ f (e)]=(q(c)/\e)\/q(c/\d). Technically important as points of PP(f:X Y) as in order isomorphism with wtas on f. As application provides a route to showing pullback stability of proper and open maps. Since: Fact: f : X Y is proper iff there is a wta on f such that q is right adjoint to $ f. Fact: f : X Y is open iff there is a wta on f such that q is left adjoint to $ f. Can derive definitions for compact, compact Hausdorff & discrete from these definitions.
Hofmann-Mislove Theorem Scott open filters on ΩX are preframe homs ΩX Ω. So they are, equivalently, /\-Slat homs $ X $. [Localic] H-M Thm is assertion that S.O.F.s on ΩX are in order reversing bijection with fitted sublocales with compact domain. Sublocale X 0 X is fitted if it exists as a lax equalizer, f≤g say, where f factors via 1. i.e. ‘in order isomorphism with’ This is an important theorem: (a) classically allows us to recover points, (b) ??.
Hofmann-Mislove proof outline Given i: X 0 X fitted with X 0 compact, there is /\-Slat hom. q : $ X0 $ by definition of compact. Then q $ i : $ X $ is a ‘S.O.F.’ on X. If $ X $ is a ‘S.O.F.’ on X then there is p:1 P U X, so define X 0 is the lax equalizer p! ≤η X. The theorem has a Compact Open dual which is that the points of the lower power locale are in order isomorphism with sublocales X 0 that are weakly closed and for which X 0 is open. (Bunge/Funk.) Vickers originally
Closed subgroup theorem (Isbell et al) Theorem: All subgroups with open domain are weakly closed. Open dual of H-M implies that any inclusion i : X 0 X, with X 0 open, factors uniquely as X 0 X 0 X 0 X with the first factor dense and the second weakly closed. ( I.e. there is a ‘closure’ operator.) But, if X is a group then the first factor is an isomorphism. I.e. All subgroups with open domain are weakly closed Non-standard definition, classicially equivalent to usual definiton. One Step: The factorization is pullback stable (by stability of proper maps), so extends to the category of internal groups. Dually: all compact subgroups are fitted.
Compact Hausdorff locales As indicated, these can be defined by proper maps. Another application of H-M is that for compact Hausdorff X and Y, closed relations on XxY are in order ismorphism with /\-Slat homs $ X $ Y. [Change of base.] E.g. can define and examine compact Hausdorff localic posets. The category of compact Hausdorff objects is regular c.f. set theory. Relations on sets X and Y are in order isomorphism with suplattice homomrophisms PX to PY. This is formally dual.
The patch construction I.e. How to get a compact Hausdorff poset from a stably locally compact locale. In fact, we do something different: show how to recover a poset N from the locale Idl(N) Opens of Idl(N) are the upward closed subsets of N. Called Idl(N) since its points are the ideals of N. Use U(N) for ΩIdl(N). P(N) can be recovered from U(N op xN) by splitting an idempotent on U(N op xN): R ≤;(R∩∆); ≤ The data for this idempotent and U(N op xN) can be derived from Idl(N) just using facts about Loc. Bits of proof: Idl(N op )= P L (Idl(N)) Idl(N)xIdl(N op )=Idl(NxN op ) All this can be repeated on the Compact Hausdorff side: any compact Hausdorff poset can be recovered from its ‘Idl(N)’; since a locale is stably locally compact if and only if it is of the form ‘Idl(N)’ for compact Hausdorff N, this means that we have the patch construction. Could be nicer … [+2]
Hyland’s result A locale X is locally compact iff $ X is a retract of $ Idl(L) for some semilattice L. Since Idl(L) is exponentiable this implies $ X is representable. But, (New Facts about Loc) any locale Y embeds in $ Idl(N) so Y X exists if $ X does. Conversely, if Z=$ X exists then Z embeds in $ Idl(N). But, (New Facts about Loc) $ is injective and so Z is retract of $ Idl(N). Apply Yoneda to equalizer created by the retract. Seems to require ‘asymmetric’ New Facts about Loc and so not in keeping with rest of work.
Representation of Geometric Morphisms I Any geometric morphism f : F E induces an (order enriched) adjunction Σ f -| f* between locales in F and locale in E. E.g. Ωf*X=Fr if ΩX=Fr. So, f* preserves $. This adjunction satisfies Frobenius reciprocity, i.e. Σ f (Wxf*X)=Σ f (W)xX. (Outline on whiteboard) Conversely, if L -| R is such an adjunction, then it extends to natural transformation, i.e. the dcpo homomorphisms. Since any set exists as a dcpo equalizer with objects frames, this allows us to define the direct image of a geometric morphisms f : F E. Can extend our axiomatic approach to morphisms.
Representation of Geometric Morphisms II Well known that for any geometric morphism f : F E, f* preserves PP. Conversely if L -| R is an adjunction between locales in F and locales in E such that R preserves PP then it extends to dcpo homomorphisms. Some questions about naturality remain, but under the further assumption that R preserves coproduct this [?] implies R=f* for some geometric morphism f: F E. Treating geometric morphisms as adjunctions that commute with PP allows bits of the theory of geometric morphisms to be recovered without an assumption that toposes exist. E.g. Hyperconnected localic factorization and pullback stability of localic geometric morphisms. Localic Hyperconnected Bounded Of the form Σ X -| X* for some object X of codomain. Such that Σ f (1)=1. Domain of the form [G,Loc] for some internal groupoid G. Types of geom. morphism NEW DEFINITIONS
Fundemental Theorem of Locale Theory In fact, most of the axioms are slice stable.
Summary: Help! Can we make the axiomatization nicer? –Via a universal natural transformation? –Models other than Loc to prove independence of axioms. (There are some easy ones: e.g. distributive or pullback preserves coproduct?) –Firm up ‘fundamental theorem of locale theory’ What is the right characterization of stably locally compact? (And, by implication, of locales of the form Idl(P)?) Bourbaki characterization of proper maps. Representation of geometric morphisms: - –Finish proof on characterization in terms of PP –Proof of stability of proper and open geometric morphisms using representation –Stability of axiomiatization under taking G-equivarent sheaves for internal groupoids G.