one-point compactifications and continuity for partial frames

Locally compact hausdorff spaces and their one-point compactifications are much used in topology and analysis; in lattice and domain theory, the notion of continuity captures the idea of local compactness. our work is located in the setting of pointfree topology, where lattice-theoretic methods can be used to obtain topological results. specifically, we examine here the concept of continuity for partial frames, and compactifications of regular continuous such. partial frames are meet-semilattices in which not all subsets need have joins. a distinguishing feature of their study is that a small collection of axioms of an elementary nature allows one to do much that is traditional for frames or locales. the axioms are sufficiently general to include as examples σ-frames, k-frames and frames. in this paper, we present the notion of a continuous partial frame by means of a suitable “way-below” relation; in the regular case this relation can be characterized using separating elements, thus avoiding any use of pseudocomplements (which need not exist in a partial frame). our first main result is an explicit construction of a one-point compactification for a regular continuous partial frame using generators and relations. we use strong inclusions to link continuity and one-point compactifications to least compactifications. as an application, we show that a one-point compactification of a zero-dimensional continuous partial frame is again zero-dimensional. we next consider arbitrary compactifications of regular continuous partial frames. in full frames, the natural tools to use are right and left adjoints of frame maps; in partial frames these are, in general, not available. this necessitates significantly different techniques to obtain largest and smallest elements of fibres (which we call balloons); these elements are then used to investigate the structure of the compactifications. we note that strongly regular ideals play an important role here. the paper concludes with a proof of the uniqueness of the one-point compactification.