Related papers: La logique continue des corps globalement valu\'es
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…
These notes form part of a joint research project on the logic of fields with many valuations, connected by a product formula. We define such structures and name them {\em globally valued fields} (GVFs). This text aims primarily at a proof…
We study the theory of a global field k as a k-vector space with a predicate for one of the absolute values on k. For example, we prove that in this language a global field with an ultrametric or real archimedean absolute value has a…
We use the differentiability of the arithmetic volume function and an arithmetic Bertini type theorem to classify when one can find a closed point on the generic fiber of an arithmetic variety, whose heights with respect to some finite…
We prove that the class of separably algebraically closed valued fields equipped with a distinguished Frobenius endomorphism $x \mapsto x^q$ is decidable, uniformly in $q$. The result is a simultaneous generalization of the work of…
The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…
Let $T$ be a complete theory of fields, possibly with extra structure. Suppose that model-theoretic algebraic closure agrees with field-theoretic algebraic closure, or more generally that model-theoretic algebraic closure has the exchange…
In this work, we study a continued fractions theory for the topological completion of the field of Puiseux series. As usual, we prove that any element in the completion can be developed as a unique continued fractions, whose coefficients…
The paper has two purposes. First, we start to develop a theory of infinite global fields, i.e., of infinite algebraic extensions either of ${\mathbb{Q}}$ or of ${\mathbb{F}}_r(t)$. We produce a series of invariants of such fields, and we…
We study model theoretic properties of valued fields (equipped with a real-valued multiplicative valuation), viewed as metric structures in continuous first order logic. For technical reasons we prefer to consider not the valued field…
It is shown that any finitely generated subring of a global field has a universal first-order definition in its fraction field. This covers Koenigsmann's result for the ring of integers and its subsequent extensions to rings of integers in…
Using a remainder theorem for valuations of a field, we give a new perspective on the norm function of a global field. We define the Euler totient function of a global field and recover the essential analytical properties of the classical…
We introduce a class of theories called metastable, including the theory of algebraically closed valued fields (ACVF) as a motivating example. The key local notion is that of definable types dominated by their stable part. A theory is…
Motivated by recent discussions of fractons, we explore nonrelativistic field theories with a continuous global symmetry, whose charge is a spatial vector. We present several such symmetries and demonstrate them in concrete examples. They…
The notion of newtonianity is central to the study of the ordered differential field of logarithmic-exponential transseries done by Aschenbrenner, van den Dries, and van der Hoeven; see Chapter 14 of arxiv:1509.02588. We remove the…
We study the variation of heights of cycles in flat families over number fields or, more generally, globally valued fields. To a finite type scheme over a GVF we associate a locally compact Hausdorff space which we refer to as its GVF…
S. Lang conjectured in 1974 that a hyperbolic algebraic variety defined over a number field has only finitely many rational points, and its analogue over function fields. We discuss the Nevanlinna-Cartan theory over function fields of…
This paper investigates the structure of generic motives and their implications for the motivic cohomology of fields. Originating in Voevodsky's theory of motives and related to Beilinson's vision of a motivic $t$-structure, generic motives…
In this article, we introduce pseudo-absolute values, which generalise usual absolute values. Roughly speaking, a pseudo-absolute value on a field $K$ is a map $|\cdot| : K \to [0,+\infty]$ satisfying axioms similar to those of usual…
A complex function $f(z)$ is called a Herglotz-Nevanlinna function if it is holomorphic in the upper half-plane ${\mathbb C}_+$ and maps ${\mathbb C}_+$ into itself. By a maximum principle a Herglotz-Nevanlinna function which takes a real…