Slicing points in a pointfree adjunction for TD partial spaces

Document Type : Research Paper

Authors

Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag Rondebosch, 7701, South Africa.

10.48308/cgasa.2024.235898.1494

Abstract

The TD axiom, a low order separation axiom between T0 and T1, has been of interest to classical topologists for some time; latterly it has also proved interesting to pointfree topologists. Here we investigate it in the context of partial spaces and partial frames (think: σ-frames, κ-frames, frames, bounded distributive lattices). We establish an adjunction between the category of TD partial spaces with continuous maps and the category of partial frames with D-homomorphisms.    Several standard tools (covered primes, right adjoints, point closures) are not appropriate in our setting; we use linked pairs and slicing points instead. Of particular interest are the slicing points of free frames and congruence frames.We examine the fixed objects of the adjunction; both similarities and differences to the classical situation become clear. In particular, there are compact Hausdorff partial spaces that are not TD. We introduce sharp partial frames, those for which all points are slicing and characterize these as well as the TD spatial and strongly TD spatial partial frames. We conclude with a comparison of sober and TD partial spaces.

Keywords

Main Subjects


[1] Ad´amek, J., Herrlich, H., and Strecker, G., “Abstract and Concrete Categories”, John Wiley & Sons Inc., 1990.
[2] Arrieta, I. and Guti´errez Garc´ıa, J., On the categorical behaviour of locales and D-localic maps, Quaest. Math. 46 (2022), 1175-1193.
[3] Arrieta, I., Picado, J., and Pultr, A., Notes on the spatial part of a frame, Categ. Gen. Algebr. Struct. Appl. 20 (2024), 105-129.
[4] Arrieta, I. and Suarez, A., The coframe of D-sublocales of a locale and the TDduality, Topology Appl. 291 (2021), article 107614.
[5] Banaschewski, B., σ-frames, Unpublished manuscript (1980).
[6] Banaschewski, B. and Gilmour, C.R.A., Realcompactness and the cozero part of a frame, Appl. Categ. Structures 9 (2001), 395-417.
[7] Banaschewski, B. and Pultr, A., Pointfree Aspects of the TD Axiom of Classical Topology, Quaest. Math. 33 (2010), 369-385.
[8] Frith, J. and Schauerte, A., Uniformities and covering properties for partial frames (I), Categ. Gen. Algebr. Struct. Appl. 2 (2014), 1-21.
[9] Frith, J. and Schauerte, A., Uniformities and covering properties for partial frames (II), Categ. Gen. Algebr. Struct. Appl. 2 (2014), 23-35.
[10] Frith, J. and Schauerte, A., The Stone- ˇ Cech compactification of a partial frame via ideals and cozero elements, Quaest. Math. 39 (2016), 115-134.
[11] Frith, J. and Schauerte, A., Coverages give free constructions for partial frames, Appl. Categ. Structures 25 (2017), 303-321.
[12] Frith, J. and Schauerte, A., The congruence frame and the Madden quotient for partial frames, Algebra Universalis 79 (2018), article 73.
[13] Frith, J. and Schauerte, A., Partial frames and filter spaces, Topology Appl. 263 (2019), 61-73.
[14] Frith, J. and Schauerte, A., Compactifications and reflections of partial spaces via partial frames, Topology Appl. 273 (2020), article 106982.
[15] Frith, J., and Schauerte, A., A look at the structure of congruence frames by means of Heyting congruences, Quaest. Math. 45 (2022), 1771-1793.
[16] Frith, J. and Schauerte, A., Variants of Booleanness: congruences of a partial frame versus those of its free frame, Math. Slovaca 72 (2022), 831-846.
[17] Frith, J. and Schauerte, A., Closed and open maps for partial frames, Appl. Categ. Structures 31 (2023), article 14.
[18] Gr¨atzer, G., “General Lattice Theory”, Birkh¨auser-Verlag, 1978.
[19] Johnstone, P.T., “Stone Spaces”, Cambridge University Press, 1982.
[20] Liu, Y. and Luo, M., TD Property and Spatial Sublocales, Acta Math. Sinica, New Series 11 (1995), 324-336.
[21] Mac Lane, S., “Categories for the Working Mathematician”, Springer-Verlag, 1971.
[22] Madden, J.J., κ-frames, J. Pure Appl. Alg. 70 (1991), 107-127.
[23] Manuell, G., A special class of congruences on κ-frames, Algebra Universalis 78 (2017), 125-130.
[24] Paseka, J., Covers in generalized frames, In: Proceedings of the International Conference Summer School on General Algebra and Ordered Sets, Palacky University Olomouc, 1994, 84-182.
[25] Picado, J. and Pultr, A., “Frames and Locales”, Springer Verlag, 2012.
[26] Picado, J. and Pultr, A., Axiom TD and the Simmons sublocale theorem, Comment. Math. Univ. Carolin. 60 (2019), 541-551.
[27] Picado, J. and Pultr, A., “Separation in Point-Free Topology”, Birkh¨auser, 2021.
[28] Zenk, E.R., Categories of partial frames, Algebra Universalis 54 (2005), 213-235.
[29] Zhao, D., Nuclei on Z-frames, Soochow J. Math. 22 (1996), 59-74.
[30] Zhao, D., On projective Z-frames, Canad. Math. Bull. 40 (1997), 39-46.