Some topological considerations on semistar operations (Q403057)

Let \(A\) be an integral domain with the quotient field \(K\), and let SStar(\(A\)) (resp., SStar\(_f(A)\)) be the set of all the semistar operations (resp., semistar operations of finite type) on \(A\). The purpose of this article is to introduce and study a new topology, called the Zariski topology, on SStar(\(A\)) and to investigate how the algeraic properties and the topological properties of semistar operations are related. The authors define the notion of Zariski topologies on SStar(\(A\)) and SStar\(_f(A)\) as follows: The Zariski topology on SStar(\(A\)) is the topology for which a subbasis of open sets is the collection of all the sets of the form \(V_F := V_F^{(A)} := \{\star\in \mathrm{SStar}(A) : 1 \in F^\star \}\), as \(F\) ranges among the nonzero \(A\)-submodules of \(K\); the Zariski topology on SStar\(_f(A)\) is just the subspace topology of the Zariski topology on SStar(\(A\)). The main result of the second section of this paper is that the set of all overrings of \(A\), endowed with the Zariski topology in the sense of \textit{B. Olberding} [Commun. Algebra 38, No. 9, 3318--3332 (2010; Zbl 1203.13027)], is homeomorphic to a subspace of SStar(\(A\)). Moreover, it is proved that the subspace SStar\(_f(A)\) of SStar(\(A\)) is a spectral space. In the thrid section, the authors show that the Zariski topology on SStar(\(A\)) has a natural functorial property, in the sense that if \(A \subseteq B\) is an extension of integral domains, there exists a natural continuous map \(\mathrm{SStar}(B)\to\mathrm{SStar}(A)\), which is an embedding if \(B\) has the same quotient field as \(A\). In the fourth section, they show that if each operation of a family of semistar operations of finite type is induced by a localization of \(A\) or by a valuation ring, then the infimum of the family is of finite type if and only if the family is compact. The last section of the paper is devoted to a deeper study of spectral semistar operations (that is, the semistar operations induced by localizations of \(A\)). The authors give, by using the inverse topology of the Zariski topology, a necessary and sufficient condition for the equality of the stable closure of two semistar operations, and identify the stable closure of a semifinite semistar operation.