The constructible topology on spaces of valuation domains
Carmelo Finocchiaro, Marco Fontana, K. Alan Loper

TL;DR
This paper explores the ultrafilter (constructible) topology on spectral spaces of valuation domains, establishing its properties, and applying it to understand intersections of valuation overrings and representations of integrally closed domains.
Contribution
It demonstrates that the ultrafilter topology coincides with the constructible topology on spectral spaces and constructs explicit homeomorphisms for valuation domain spaces, extending spectral topology results.
Findings
Ultrafilter topology equals the constructible topology on spectral spaces.
Constructs explicit homeomorphisms between valuation domain spaces and Zariski spectra.
Shows valuation domain collections with the same ultrafilter closure define the same integrally closed domain.
Abstract
We consider properties and applications of a compact, Hausdorff topology called the "ultrafilter topology" defined on an {\sl arbitrary spectral space} and we observe that this topology coincides with the constructible topology. If is a field and a subring of , we show that the space Zar of all valuation domains, having as quotient field and containing , (endowed with the Zariski topology) is a spectral space by giving in this general setting the explicit construction of a ring whose Zariski spectrum is homeomorphic to Zar. We extend results regarding spectral topologies on the spaces of all valuation domains and apply the theory developed to study representations of integrally closed domains as intersections of valuation overrings. As a very particular case, we prove that two collections of valuation domains of with the same ultrafilter closure…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsRings, Modules, and Algebras · Advanced Topology and Set Theory · Homotopy and Cohomology in Algebraic Topology
