Globally valued fields: foundations

Itaï Ben Yaacov, Pablo Destic, Ehud Hrushovski, Michał Szachniewicz

Published 2024-09-06Version 1

We present foundations of globally valued fields, i.e., of a class of fields with an extra structure, capturing some aspects of the geometry of global fields, based on the product formula. We provide a dictionary between various data defining such extra structure: syntactic (models of some unbounded continuous logic theory), Arakelov theoretic, and measure theoretic. In particular we obtain a representation theorem relating globally valued fields and adelic curves defined by Chen and Moriwaki.