Characterising points which make \(P\)-frames. (Q2634697)

\(P\)-frames, that is, completely regular frames in which every cozero element is complemented, are precisely those completely regular frames the points of whose Stone-Čech compactification are all \textit{sharp points}. This paper aims at a characterization of such points in terms of convergence. For that, the authors need to extend the usual notion of convergence of filters in a frame \(L\), due to \textit{B. Banaschewski} and \textit{A. Pultr} [Math. Proc. Camb. Philos. Soc. 108, No. 1, 63-78 (1990; Zbl 0733.54020)], to more general filters defined in the lattice \(\mathcal S(L)\) of sublocales of \(L\). This definition generalizes that of Banaschewski and Pultr in the sense that for any \(T_1\)-frame, a filter \(F\) in \(L\) converges if and only if the filter in \(\mathcal S(L)\) generated by the open sublocales induced by the elements of \(F\) converges. Clustering for these filters is also defined and then compact frames are characterised in terms of both convergence and clustering.