The coframe of \(D\)-sublocales of a locale and the \(T_D\)-duality (Q1998817)

A topological space \(X\) is said to be \(T_D\) if every \(x \in X\) has an open neighbourhood \(U\) such that \(U\smallsetminus\{x\}\) is still open. This is a separation axiom originally introduced by \textit{C. E. Aull} and \textit{W. J. Thron} [Nederl. Akad. Wet., Proc., Ser. A 65, 26--37 (1962; Zbl 0108.35402)] as a notable example of a condition strictly between \(T_0\) and \(T_1\) axioms. The Isbell adjunction between the category \(\mathsf{Top}\) of topological spaces and continuous functions and the category \(\mathsf{Loc}\) of locales and their maps restricts to an adjunction between the full subcategory \(\mathsf{Top}_D\) of \(\mathsf{Top}\), consisting of all \(T_D\)-spaces, and the non-full subcategory \(\mathsf{Loc}_D\) of \(\mathsf{Loc}\) whose morphisms are the \(D\)-localic maps, that is, the localic maps that send covered primes into covered primes [\textit{B. Banaschewski} and \textit{A. Pultr}, Quaest. Math. 33, No. 3, 369--385 (2010; Zbl 1274.54068)]. The analogues of sublocales in the \(T_D\)-adjunction are the \(D\)-sublocales, that is, the sublocales \(S\subseteq L\) such that the corresponding localic embedding is a \(D\)-localic map. In this interesting paper, the authors investigate the system \(\mathsf{S}_D(L)\) of \(D\)-sublocales of a locale \(L\). They show that this is a coframe which is always a dense \(D\)-subcolocale of the coframe \(\mathsf{S}(L)\) of all sublocales of \(L\). Properties of \(\mathsf{S}_D(L)\) encode interesting properties of the locale itself. Using this approach, the authors revisit some aspects of the \(T_D\) axiom, \(T_D\)-spatiality and the \(T_D\)-adjunction of Banaschewski and Pultr. It is shown, in particular, that the spatialization of \(\mathsf{S}_D(L)\) consists precisely of those \(D\)-sublocales of \(L\) which are \(T_D\)-spatial (i.e., isomorphic to the frame of open sets of some \(T_D\)-space), and that the locales whose \(D\)-sublocales perfectly represent subspaces are precisely those \(T_D\)-spatial locales \(L\) whose \(\mathsf{S}_D(L)\) is the Booleanization of \(\mathsf{S}(L)\).