Valuative Lattices and Spectra

Henri Lombardi () and Assia Mahboubi ()
Additional contact information
Henri Lombardi: Université de Franche-Comté
Assia Mahboubi: École Centrale Nantes, CNRS, INRIA, LS2N, UMR 6004, Nantes Université

A chapter in Algebraic, Number Theoretic, and Topological Aspects of Ring Theory, 2023, pp 275-341 from Springer

Abstract: 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 uncover 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 valued discrete 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 Valuativstellensätze corresponding to these theories, and we compare the various resulting notions of valuative dimensions.

Date: 2023
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-031-28847-0_17

Ordering information: This item can be ordered from
http://www.springer.com/9783031288470

DOI: 10.1007/978-3-031-28847-0_17

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().