Research Article

Notes on sublocales and dissolution

Published in: Quaestiones Mathematicae
Volume 47 , issue 10 , 2024 , pages: 2053–2067

DOI: 10.2989/16073606.2024.2351184

Author(s): Jorge Picado University of Coimbra, Portugal , Aleš Pultr Charles University, Czech Republic

Keywords: Primary: 06D22 , Secondary: 18F70 , Frame , locale , sublocale , sublocale lattice , dissolution , supplement , dense sublocale , Booleanization , ultranormality , ultraparacompactness

Download full text Get new issue alerts

Abstract

The dissolution (introduced by Isbell in [3], discussed by Johnstone in [5] and later exploited by Plewe in [12, 13]) is here viewed as the relation of the geometry of L with that of the more dispersed T(L) = S(L)^op mediated by the natural embedding and its adjoint localic map γ_L : T(L) → L. The associated image-preimage adjunction (γ_L )₋₁ [−] ⊣ γ_L [−] between the frames T(L) and TT(L) is shown to coincide with the adjunction ^cT(L) ⊣ γ _T(L) of the second step of the assembly (tower) of L. This helps to explain the role of T(L) = S(L)^op as an “almost discrete lift” (sometimes used as a sort of model of the classical discrete lift DL → L) as a dispersion going halfway to Booleanness. Consequent use of the concrete sublocales technique simplifies the reasoning. We illustrate it on the celebrated Plewe’s theorem on ultranormality (and ultraparacompactness) of S(L) which becomes (we hope) substantially more transparent.

« On the skew eigenvalues of joined union of oriented graphs and applications

Some measure-theoretic aspects of fractal functions: invariant measures and function spaces »