La logique continue des corps globalement valués
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915358233853952 |
|---|---|
| author | Chambert-Loir, Antoine |
| author_facet | Chambert-Loir, Antoine |
| contents | The continuous logic of globally valued fields -- A globally valued field is a field endowed with a family of absolute values that satisfy a product formula. Number fields and function fields in one variable give classical and fundamental examples; Nevanlinna theory also gives rise to such structures on the field of meromorphic functions on $\mathbf C$. These globally valued fields can be studied in the context of continuous logic (for which the predicates are real valued), and such a study has been undertaken some 10 years ago by Ben Yaacov and Hrushovski, thus providing a model-theoretic framework for the diophantine theory of heights. One of the first fundamental results in the tehory states the the field of algebraic numbers, with its essentially unique structure of a globally valued field, is existentially closed: every system involving polynomial equalities and inequalities, as well as strict inequalities in heights, possesses a solution in algebraic numbers as soon as it possesses some solution in a globally valued extension. The proof, due to Szachniewicz, is inspired by the proof proposed by Ben Yaacov and Hrushovski in the case of function fields: the latter used in a crucial way the description by Boucksom, Demailly, P\u aun and Peternell of the cone of mobile curves in a complex projective variety, the case of number fields relies on recent results in Arakelov geometry. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_20120 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | La logique continue des corps globalement valués Chambert-Loir, Antoine Logic Algebraic Geometry 03C66, 14G40, The continuous logic of globally valued fields -- A globally valued field is a field endowed with a family of absolute values that satisfy a product formula. Number fields and function fields in one variable give classical and fundamental examples; Nevanlinna theory also gives rise to such structures on the field of meromorphic functions on $\mathbf C$. These globally valued fields can be studied in the context of continuous logic (for which the predicates are real valued), and such a study has been undertaken some 10 years ago by Ben Yaacov and Hrushovski, thus providing a model-theoretic framework for the diophantine theory of heights. One of the first fundamental results in the tehory states the the field of algebraic numbers, with its essentially unique structure of a globally valued field, is existentially closed: every system involving polynomial equalities and inequalities, as well as strict inequalities in heights, possesses a solution in algebraic numbers as soon as it possesses some solution in a globally valued extension. The proof, due to Szachniewicz, is inspired by the proof proposed by Ben Yaacov and Hrushovski in the case of function fields: the latter used in a crucial way the description by Boucksom, Demailly, P\u aun and Peternell of the cone of mobile curves in a complex projective variety, the case of number fields relies on recent results in Arakelov geometry. |
| title | La logique continue des corps globalement valués |
| topic | Logic Algebraic Geometry 03C66, 14G40, |
| url | https://arxiv.org/abs/2506.20120 |