The frame of nuclei on an Alexandroff space (Q2663169): Difference between revisions

An Alexandroff topological space is one in which the intersection of an arbitrary family of open sets is open. Recall that the assembly of a frame \(L\) is the frame of nuclei on \(L\). The main theme of the paper revolves around characterizing when the assembly of the frame of open sets of an Alexandroff space is spatial. The authors construct some infinite binary tree, denoted \(\mathscr T_2\), and then, via a series of hard lemmas (each of interest in its own right), show that the assembly of the frame of open sets of \(\mathscr T_2\) is not spatial. From there, they show that if \(S\) is a poset (endowed with some natural topology), then the assembly of the frame of open sets of \(S\) is not spatial if and only if \(\mathscr T_2\) is isomorphic to a subposet of \(S\). In light of the fact that Alexandroff spaces are in one-to-one correspondence with preordered sets, the main characterization alluded to above is then obtained. Some interesting consequences of the main theorem are presented in the last section of this beautifully written and interesting paper.