The upper Vietoris topology on the space of inverse-closed subsets of a spectral space and applications (Q1799913): Difference between revisions

Let \(X\) be a spectral space; the inverse topology on \(X\) defined by \textit{M. Hochster} [Trans. Am. Math. Soc. 142, 43--60 (1969; Zbl 0184.29401)] is the topology on \(X\) associated with the Kuratowski closure operator defined by: \(\overline{A}^{\mathrm{inv}}\): the intersection of all open compact sets of \(X\) containing \(A\). The set \(X\) equipped with the inverse topology will be denoted by \(X^{\mathrm{inv}}\). Let \(\chi(X)\) be the set of all closed sets of \(X^{\mathrm{inv}}\); then the family of all sets of the form \[\mathcal{U}(\Omega):=\{Y\in \chi(X): Y\subseteq \Omega\},\] where \(\Omega\) varies among the compact open sets of \(X\) is a basis of a topology on \(\chi(X)\), called the Zariski topology on \(\chi(X)\). If we let \(\mathcal{Q}(X)\) be the set of all compact saturated sets of \(X\), then the upper Vietoris topology on \(\mathcal{Q}(X)\) is the topology with basis the family of all \(U^+\), where \[ U^+:=\{Q\in \mathcal{Q}(X): Q\subseteq U\} \] and \(U\) varies among the open sets of \(X\). The authors show that the Zariski topology on \(\chi(X)\) coincides with the upper Vietoris topology on \(\mathcal{Q}(X)\). They also show that the construction \(\chi(X)\) is functorial. As an application, the authors establish that if \(D\) is an integral domain, then \(\chi(\mathrm{Spec}(D))\) is homeomorphic to the spectral space of all stable semistar operations of finite type on \(D\).