Core Compactness and Diagonality in Spaces of Open Sets

We investigate when the space OX of open subsets of a topological space X endowed with the Scott topology is core compact. Such conditions turn out to be related to infraconsonance of X, which in turn is characterized in terms of coincidence of the Scott topology of OX × OX with the product of the Scott topologies of OX at (X,X). On the other hand, we characterize diagonality of OX endowed with the Scott convergence and show that this space can be diagonal without being pretopological. New examples are provided to clarify the relationship between pretopologicity, topologicity and diagonality of this important convergence space