On the sobriety of the inverse topology (Q2520765)

Let \(L\) be an algebraic frame with the finite intersection property on compact elements and let \(\mathrm{Min}(L)\) denote its set of minimal prime elements. The inverse topology on \(\mathrm{Min}(L)\) is the topology generated by sets \(V(c)=\{p\in\mathrm{Min}(L)\mid c\leq p\}\) for compact \(c\in L\). The resulting topological space is denoted by \(\mathrm{Min}(L)^{-1}\). The goal of this paper is to investigate when \(\mathrm{Min}(L)^{-1}\) is a sober space. Sufficient conditions for sobriety of \(\mathrm{Min}(L)^{-1}\) are presented for a general \(L\) while a necessary and sufficient condition is given for the special case of a polarised \(L\) (i.e., when every minimal prime element is complemented).