Valuative Lattices and Spectra

DOI10.1007/978-3-031-28847-0_17MaRDI QIDQ6190905zbMATH OpenOpenAlexFDO

Publication date 6 February 2024

Published in Algebraic, Number Theoretic, and Topological Aspects of Ring Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2210.16558

Other constructive mathematics (03F65) Valuations and their generalizations for commutative rings (13A18) Riemann-Roch theorems (14C40)

Abstract: The first part of the present article consists in a survey about the dynamical constructive method designed using dynamical theories and dynamical algebraic structures. Dynamical methods uncovers a hidden computational content for numerous abstract objects of classical mathematics, which seem a priori inaccessible constructively, e.g., the algebraic closure of a (discrete) field. When a proof in classical mathematics uses these abstract objects and results in a concrete outcome, dynamical methods generally make possible to discover an algorithm for this concrete outcome. The second part of the article applies this dynamical method to the theory of divisibility. We compare two notions of valuative spectra present in the literature and we introduce a third notion, which is implicit in an article devoted to the dynamical theory of algebraically closed discrete valued fields. The two first notions are respectively due to Huber & Knebusch and to Coquand. We prove that the corresponding valuative lattices are essentially the same. We establish formal Valuativestellens"atze corresponding to these theories, and we compare the various resulting notions of valuative dimensions.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Valuative Lattices and Spectra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6190905)