A pseudocompact completely regular frame which is not spatial. (Q2454049)

The paper under review provides a new method for constructing non-spatial frames from spatial ones. If \(L\) is a spatial frame then the new, non-spatial frame, is a homomorphic image of \(L\) under some quite easily constructed homomorphism (the construction also depends on some ideal \(\mathcal I\) of subsets of the space whose frame of opens is isomorphic to \(L\)). It is proved that under an additional assumption on \(L\) and for a specific choice of \(\mathcal I\) the resulting frame \(M\) is an example of a completely regular, countably compact but not spatial frame (and a very natural example of \(L\) satisfying the assumption is provided). The result contrasts the well-known fact that every compact regular frame is spatial. It is noted that the constructed completely regular countably compact non-spatial frame is never a Boolean frame without atoms, a usual source of non-spatial frames.