Deriving dualities in pointfree topology from Priestley duality (Q6094273)

In pointfree topology there is a well-known dual adjunction between the category \(\mathsf{Top}\)\ of topological spaces and continuous maps and the category \(\mathsf{Frm}\)\ of frames and frame homomorphisms, restricting to a dual equivalence between the category \(\mathsf{Sob}\)\ of sober spaces and the category \(\mathsf{SFrm}\)\ of spacial frames. Further restrictions yield the following classical results. \begin{itemize} \item Hofmann-Lawson duality between the category \(\mathsf{ConFrm}\)\ of continuous frames and proper frame homomorphisms and the category \(\mathsf{LKSob}\)\ of locally compact spaces and proper maps [\textit{K. H. Hofmann} and \textit{J. D. Lawson}, Trans. Am. Math. Soc. 246, 285--310 (1978; Zbl 0402.54043)]. \item A dual equivalence between the full subcategory \(\mathsf{StCFrm}\)\ of \(\mathsf{ConFrm}\)\ consisting of stably continuous frames and the full subcategory \(\mathsf{StLKSp}\)\ of \(\mathsf{LKSob}\)\ consisting of stably locally compact spaces, which further restricts to a dual equivalence between the full subcategory \(\mathsf{StKFrm}\)\ of stably compact frames and \(\mathsf{StKSp}\)\ of stably compact spaces [\textit{B. Banaschewski}, Lect. Notes Math. 871, 1--11 (1981; Zbl 0461.06010); \textit{G. Gierz} and \textit{K. Keimel}, Houston J. Math. 3, 207--224 (1977; Zbl 0359.06015); \textit{P. T. Johnstone}, J. Pure Appl. Algebra 22, 229--247 (1981; Zbl 0445.18005); \textit{H. Simmons}, Topology Appl. 13, 201--223 (1982; Zbl 0484.18005)]. \item Isbell duality between the full subcategory \(\mathsf{KRFrm}\)\ of \(\mathsf{Frm}\)\ consisting of compact regular frames and the full subcategory \(\mathsf{KHaus}\)\ of \(\mathsf{Top}\)\ consisting of compact Hausdorff spaces [\textit{J. R. Isbell}, Math. Scand. 31, 5--32 (1972; Zbl 0246.54028)]. \end{itemize} This paper aims to provide a different perspective on these dualities by utilizing Priestley duality [\textit{H. A. Priestley}, Bull. Lond. Math. Soc. 2, 186--190 (1970; Zbl 0201.01802); Proc. Lond. Math. Soc. (3) 24, 507--530 (1972; Zbl 0323.06011)], which establishes a dual equivalence between the category \(\mathsf{DLat}\)\ of bounded distributive lattices and bounded lattice homomorphisms and \(\mathsf{Pries}\)\ of Priedtley spaces and Priestley morphisms. The synopsis of the paper goes as follows. \begin{itemize} \item[\S 2] introduces the categories of frames and spaces of interest, presenting the relevant dualities. \item[\S 3] addresses Priestley duality and its restriction to frames. \item[\S 4] characterizes spacial frames in the language of Priestley duality, connecting the associated Priestley spaces with sober spaces. \item[\S 5] further restricts this correspondence to continuous frames, their associated Priestley spsces, and locally compact sober spaces. \item[\S 6] derives the duality between stably continuous frames and stably locally compact spaces by describing stability in the language of Priestley spaces. This gives a new proof of the duality between stably compact frames and stably compact spaces. \item[\S 7] describes regularity in the language of Priestley spaces, providing an alternative proof of Isbell duality. \end{itemize}