Search

Let [Formula: see text] be a finite group. We explore the model-theoretic properties of the class of differential fields of characteristic zero in [Formula: see text] commuting derivations equipped with a [Formula: see text]-action by differential field automorphisms. In the language of [Formula: see text]-differential rings (i.e. the language of rings with added symbols for derivations and automorphisms), we prove that this class has a model-companion — denoted [Formula: see text]. We then deploy the model-theoretic tools developed in the first author’s paper [D. M. Hoffmann, Model theoretic dynamics in a Galois fashion, Ann. Pure Appl. Logic 170(7) (2019) 755–804] to show that any model of [Formula: see text] is supersimple (but unstable when [Formula: see text] is nontrivial), a PAC-differential field (and hence differentially large in the sense of the second author and Tressl [Differentially large fields, preprint (2020), arXiv:2005.00888, available at https://arxiv.org/abs/2005.00888 ]), and admits elimination of imaginaries after adding a tuple of parameters. We also address model-completeness and supersimplicity of theories of bounded PAC-differential fields (extending the results of Chatzidakis and Pillay [Generic structures and simple theories, Ann. Pure Appl. Logic 95 (1998) 71–92] on bounded PAC-fields).

We prove that every ultraproduct of $p$-adics is inp-minimal (i.e., of burden $1$). More generally, we prove an Ax-Kochen type result on preservation of inp-minimality for Henselian valued fields of equicharacteristic $0$ in the RV language., Comment: v.2: 15 pages, minor corrections and presentation improvements; accepted to the Journal of Symbolic Logic

The following conjecture is due to Shelah-Hasson: Any infinite strongly NIP field is either real closed, algebraically closed, or admits a non-trivial definable henselian valuation, in the language of rings. We specialise this conjecture to ordered fields in the language of ordered rings, which leads towards a systematic study of the class of strongly NIP almost real closed fields. As a result, we obtain a complete characterisation of this class., To appear in MLQ Math. Log. Q. A previous version of this preprint was part of arXiv:1810.10377. arXiv admin note: text overlap with arXiv:2010.11832

We prove that if two semi-algebraic subsets of $\mathbb{Q}_p^n$ have the same $p$-adic measure, then this equality can already be deduced using only some basic integral transformation rules. On the one hand, this can be considered as a positive answer to a $p$-adic analogue of a question asked by Kontsevich-Zagier in the reals (though the question in the reals is much harder). On the other hand, our result can also be considered as stating that over $\mathbb{Q}_p$, universal motivic integration (in the sense of Hrushovski-Kazhdan) is just $p$-adic integration., 17 pages

We prove quantifier elimination for the theory of quasi-real closed fields with a compatible valuation. This unifies the same known results for algebraically closed valued fields and real closed valued fields., Comment: 5 pages

We introduce and study a natural class of fields in which certain first-order definable sets are existentially definable, and characterise this class by a number of equivalent conditions. We show that global fields belong to this class, and in particular obtain a number of new existential (or diophantine) predicates over global fields., Minor corrections

In this note we give sentences φK in the language of fields which describe the isomorphy type of K among finitely generated fields, provided the Kronecker dimension of K is ≤ 2, or equivaelntly, K is the function field of a curve over a global field, thus extending the corresponding results by Rumely concerning global fields. This closes the gap from Scanlon’s [Sc] approach to proving what he calls Pop’s Conjecture for K as above.

We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued fields and closed ordered differential fields. Furthermore, we prove pro-definability of other distinguished subspaces, some of which have an interesting geometric interpretation. Our general strategy consists in showing that definable types are uniformly definable, a property which implies pro-definability using an argument due to E. Hrushovski and F. Loeser. Uniform definability of definable types is finally achieved by studying classes of stably embedded pairs., We divide the original article into two parts. The current update contains the work about uniform definability and pro-definability in different theories. The part concerning strict pro-definability and axiomatization of tame pairs will be updated separately

We consider two overlapping classes of fields, IAC and VAC, which are defined using valuation theory but which do not involve a distinguished valuation. Rather, each class is defined by a condition that quantifies over all possible valuations on the field. In his thesis, Hong asked whether these two classes are equal (Hong, 2013, Question 5.6.8). In this paper, we give an example that negatively answers Hong's question. We also explore several situations in which the equivalence does hold with an additional assumption, including the case where every $K'\equiv K$ is IAC., Comment: 12 pages, based on results from a chapter of the author's thesis, under the supervision of Professor Deirdre Haskell

Pseudoexponential fields are exponential fields similar to complex exponentiation satisfying the Schanuel Property, which is the abstract statement of Schanuel's Conjecture, and an adapted form of existential closure. Here we show that if we remove the Schanuel Property and just care about existential closure, it is possible to create several existentially closed exponential functions on the algebraic numbers that still have similarities with complex exponentiation. The main difficulties are related to the arithmetic of algebraic numbers, and they can be overcome with known results about specialisations of multiplicatively independent functions on algebraic varieties., Comment: 8 pages. Several stylistic edits and updated bibliography

We give model theoretic criteria for the existence of ∃∀ and ∀∃- formulas in the ring language to define uniformly the valuation rings ${\cal O}$ of models $\left( {K,\,{\cal O}} \right)$ of an elementary theory Σ of henselian valued fields. As one of the applications we obtain the existence of an ∃∀-formula defining uniformly the valuation rings ${\cal O}$ of valued henselian fields $\left( {K,\,{\cal O}} \right)$ whose residue class field k is finite, pseudofinite, or hilbertian. We also obtain ∀∃-formulas φ2 and φ4 such that φ2 defines uniformly k[[t]] in k(t) whenever k is finite or the function field of a real or complex curve, and φ4 replaces φ2 if k is any number field.

We shall define a general notion of dimension, and study groups and rings whose interpretable sets carry such a dimension. In particular, we deduce chain conditions for groups, definability results for fields and domains, and show that a pseudofinite $\widetilde {\mathfrak M}_c$ -group of finite positive dimension contains a finite-by-abelian subgroup of positive dimension, and a pseudofinite group of dimension 2 contains a soluble subgroup of dimension 2.

In this article we study definable functions in tame expansions of algebraically closed valued fields. For a given definable function we have two types of results: of type (I), which hold at a neighborhood of infinity, and of type (II), which hold locally for all but finitely many points in the domain of the function. In the first part of the article, we show type (I) and (II) results concerning factorizations of definable functions over the value group. As an application, we show that tame expansions of algebraically closed valued fields having value group $\mathbb{Q}$ (like $\mathbb{C}_p$ and $\overline{\mathbb{F}_p}^{alg}(\!(t^\mathbb{Q})\!)$) are polynomially bounded. In the second part, under an additional assumption on the asymptotic behavior of unary definable functions of the value group, we extend these factorizations over the residue multiplicative structure $\mathrm{RV}$. In characteristic 0, we obtain as a corollary that the domain of a definable function $f\colon X\subseteq K\to K$ can be partitioned into sets $F\cup E\cup J$, where $F$ is finite, $f|E$ is locally constant and $f|J$ satisfies locally the Jacobian property.

For any two complete discrete valued fields $K_1$ and $K_2$ of mixed characteristic with perfect residue fields, we show that if the $n$-th valued hyperfields of $K_1$ and $K_2$ are isomorphic over $p$ for each $n\ge1$, then $K_1$ and $K_2$ are isomorphic. More generally, for $n_1,n_2\ge 1$, if $n_2$ is large enough, then any homomorphism, which is over $p$, from the $n_1$-th valued hyperfield of $K_1$ to the $n_2$-th valued hyperfield of $K_2$ can be lifted to a homomorphism from $K_1$ to $K_2$. We compute such $n_2$ effectively, which depends only on the ramification indices of $K_1$ and $K_2$. Moreover, if $K_1$ is tamely ramified, then any homomorphism over $p$ between the first valued hyperfields is induced from a unique homomorphism of valued fields. Using this lifting result, we deduce a relative completeness theorem of AKE-style in terms of valued hyperfields. We also study some relationships between valued hyperfields, truncated discrete valuation rings, and complete discrete valued fields of mixed characteristic. For a prime number $p$ and a positive integer $e$ and for large enough $n$, we show that a certain category of valued hyperfields is equivalent to the category of truncated discrete valuation rings of length $n$ and the ramification indices $e$ having perfect residue fields of characteristic $p$. Furthermore, in the tamely ramified case, we show that a subcategory of this category of valued hyperfields is equivalent to the category of complete discrete valued rings of mixed characteristic $(0,p)$ having perfect residue fields., Comment: 26 pages, no figures

Abraham Robinson's method for finding model completions is refined and and generalized for model companions and is applied to the theory of fields equipped with both a valuation and an automorphism., Comment: 24 pages of size A5

We study the existential (and parts of the universal-existential) theory of equicharacteristic henselian valued fields. We prove, among other things, an existential Ax-Kochen-Ershov principle, which roughly says that the existential theory of an equicharacteristic henselian valued field (of arbitrary characteristic) is determined by the existential theory of the residue field; in particular, it is independent of the value group. As an immediate corollary, we get an unconditional proof of the decidability of the existential theory of $\mathbb{F}_{q}((t))$.

We give a construction of quasiminimal fields equipped with pseudo-analytic maps, generalising Zilber's pseudo-exponential function. In particular we construct pseudo-exponential maps of simple abelian varieties, including pseudo-$\wp$-functions for elliptic curves. We show that the complex field with the corresponding analytic function is isomorphic to the pseudo-analytic version if and only the appropriate version of Schanuel's conjecture is true and the corresponding version of the strong exponential-algebraic closedness property holds. Moreover, we relativize the construction to build a model over a fairly arbitrary countable subfield and deduce that the complex exponential field is quasiminimal if it is exponentially-algebraically closed. This property asks only that the graph of exponentiation have non-trivial intersection with certain algebraic varieties but does not require genericity of these points. Furthermore Schanuel's conjecture is not required as a condition for quasiminimality., v3: Substantial improvements to the organisation and presentation

We study the question which henselian fields admit definable henselian valuations (with or without parameters). We show that every field which admits a henselian valuation with non-divisible value group admits a parameter-definable (non-trivial) henselian valuation. In equicharacteristic $0$, we give a complete characterization of henselian fields admitting a parameter-definable (non-trivial) henselian valuation. We also obtain partial characterization results of fields admitting 0-definable (non-trivial) henselian valuations. We then draw some Galois-theoretic conclusions from our results., Comment: 19 pages

We study solutions of exponential polynomials over the complex field. Assuming Schanuel's conjecture we prove that certain polynomials have generic solutions in the complex field., Comment: 17 pages

We study the automorphism group of the algebraic closure of a substructure A of a pseudo-finite field F, or more generally, of a bounded PAC field F. This paper answers some of the questions of [1], and in particular that any finite group which is geometrically represented in a pseudo-finite field must be abelian.

We show that any theory of tame henselian valued fields is NIP if and only if the theory of its residue field and the theory of its value group are NIP. Moreover, we show that if $(K,v)$ is a henselian valued field of residue characteristic $\mathrm{char}(Kv)=p$ for which $K^\times/(K^\times)^p$ is finite in case $p>0$, then $(K,v)$ is NIP iff $Kv$ is NIP and $v$ is roughly tame., 11 pages

Fried and Kollár constructed a fully faithful functor from the category of graphs to the category of fields. We give a new construction of such a functor and use it to resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S, there exists a countable field F of arbitrary characteristic with the same essential computable-model-theoretic properties as. Along the way, we develop a new computable category theory, and prove that our functor and its partially defined inverse (restricted to the categories of countable graphs and countable fields) are computable functors., National Science Foundation (U.S.) (Grant DMS-1069236)

Meadows are alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero is zero. Divisive meadows are meadows with the multiplicative inverse operation replaced by a division operation. Viewing a fraction as a term over the signature of divisive meadows that is of the form p / q, we investigate which divisive meadows admit transformation of fractions into simple fractions, i.e. fractions without proper subterms that are fractions., 23 pages; one theorem and two corollaries of it added at end of Sect. 5; some minor errors corrected

Denef and Loeser defined a map from the Grothendieck ring of sets definable in pseudo-finite fields to the Grothendieck ring of Chow motives, thus enabling to apply any cohomological invariant to these sets. We generalize this to perfect, pseudo algebraically closed fields with pro-cyclic Galois group. In addition, we define some maps between different Grothendieck rings of definable sets which provide additional information, not contained in the associated motive. In particular we infer that the map of Denef-Loeser is not injective., Comment: 15 pages, to appear in JSL; minor corrections and one proof replaced by a sketch of proof and a reference

We study Grothendieck rings (in the sense of logic) of fields. We prove the triviality of the Grothendieck rings of certain fields by constructing definable bijections which imply the triviality. More precisely, we consider valued fields, for example, fields of Laurent series over the real numbers, over p-adic numbers and over finite fields, and construct definable bijections from the line to the line minus one point., Comment: 9 pages

We give a complete description of minimal groups infinitely definable in separably closed fields of finite degree of imperfection. In particular we answer positively the question of the existence of such a group with infinite transcendence degree (i.e., a minimal group with non thin generic).

Admitting a non-trivial $p$-henselian valuation is a weaker assumption on a field than admitting a non-trivial henselian valuation. Unlike henselianity, $p$-henselianity is an elementary property in the language of rings. We are interested in the question when a field admits a non-trivial 0-definable $p$-henselian valuation (in the language of rings). We give a classification of elementary classes of fields in which the canonical $p$-henselian valuation is uniformly 0-definable. We then apply this to show that there is a definable valuation inducing the ($t$-)henselian topology on any ($t$-)henselian field which is neither separably nor real closed., 13 pages, revised version

Meadows have been proposed as alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero is zero. Thus, the multiplicative inverse operation of a meadow is an involution. In this paper, we study `non-involutive meadows', i.e.\ variants of meadows in which the multiplicative inverse of zero is not zero, and pay special attention to non-involutive meadows in which the multiplicative inverse of zero is one., Comment: 14 pages

We construct and study fields F with the property that F has infinitely many extensions of some fixed degree, but E*/(E*)^n is finite for every finite extension E of F and every n>0., 9 pages

Regular groups and fields are common generalizations of minimal and quasi-minimal groups and fields, so the conjectures that minimal or quasi-minimal fields are algebraically closed have their common generalization to the conjecture that each regular field is algebraically closed. Standard arguments show that a generically stable regular field is algebraically closed. LetKbe a regular field which is not generically stable and letpbe its global generic type. We observe that ifKhas a finite extensionLof degreen, thenP(n)has unbounded orbit under the action of the multiplicative group ofL.Known to be true in the minimal context, it remains wide open whether regular, or even quasi-minimal, groups are abelian. We show that if it is not the case, then there is a counter-example with a unique nontrivial conjugacy class, and we notice that a classical group with one nontrivial conjugacy class is not quasi-minimal, because the centralizers of all elements are uncountable. Then, we construct a group of cardinality ω1with only one nontrivial conjugacy class and such that the centralizers of all nontrivial elements are countable.

We show that algebraic analogues of universal group covers, surjective group homomorphisms from a $\mathbb{Q}$-vector space to $F^{\times}$ with "standard kernel", are determined up to isomorphism of the algebraic structure by the characteristic and transcendence degree of $F$ and, in positive characteristic, the restriction of the cover to finite fields. This extends the main result of "Covers of the Multiplicative Group of an Algebraically Closed Field of Characteristic Zero" (B. Zilber, JLMS 2007), and our proof fills a hole in the proof given there., Version accepted by the Bull. London Math. Soc

We consider the valued field $\mathds{K}:=\mathbb{R}((\Gamma))$ of formal series (with real coefficients and monomials in a totally ordered multiplicative group $\Gamma>$). We investigate how to endow $\mathds{K}$ with a logarithm $l$, which satisfies some natural properties such as commuting with infinite products of monomials. In the article "Hardy type derivations on generalized series fields", we study derivations on $\mathds{K}$. Here, we investigate compatibility conditions between the logarithm and the derivation, i.e. when the logarithmic derivative is the derivative of the logarithm. We analyse sufficient conditions on a given derivation to construct a compatible logarithm via integration of logarithmic derivatives. In her monograph "Ordered exponential fields", the first author described the exponential closure $\mathds{K}^{\rm{EL}}$ of $(\mathds{K},l)$. Here we show how to extend such a log-compatible derivation on $\mathds{K}$ to $\mathds{K}^{\rm{EL}}$., Comment: 25 pages

We prove a general version of the "Stability Theorem": if $K$ is a valued field such that the ramification theoretical defect is trivial for all of its finite extensions, and if $F|K$ is a finitely generated (transcendental) extension of valued fields for which equality holds in the Abhyankar inequality, then the defect is also trivial for all finite extensions of $F$. This theorem is applied to eliminate ramification in such valued function fields. It has applications to local uniformization and to the model theory of valued fields in positive characteristic., Comment: 31 pages

We consider the valued field $\mathds{K}:=\mathbb{R}((\Gamma))$ of generalized series (with real coefficients and monomials in a totally ordered multiplicative group $\Gamma$). We investigate how to endow $\mathds{K}$ with a series derivation, that is a derivation that satisfies some natural properties such as commuting with infinite sums (strong linearity) and (an infinite version of) Leibniz rule. We characterize when such a derivation is of Hardy type, that is, when it behaves like differentiation of germs of real valued functions in a Hardy field. We provide a necessary and sufficent condition for a series derivation of Hardy type to be surjective., Comment: 26 pages, 2 figures

ZusammenfassungWir konstruieren einen schlechten Körper der Charakteristik Null. Mit anderen Worten, wir konstruieren einen algebraisch abgeschlossenen Körper mit einem Dimensionsbegriff analog der Zariski-Dimension, zusammen mit einer unendlichen echten multiplikativen Untergruppe der Dimension Eins, so daβ der Körper selbst Dimension Zwei hat. Dies beantwortet eine alte Frage von Zilber.

Dichotomies in various conjectures from algebraic geometry are in fact occurrences of the dichotomy among Zariski structures. This is what Hrushovski showed and which enabled him to solve, positively, the geometric Mordell–Lang conjecture in positive characteristic. Are we able now to avoid this use of Zariski structures? Pillay and Ziegler have given a direct proof that works for semi-abelian varieties they called ‘very thin’, which include the ordinary abelian varieties. But it does not apply in all generality: we describe here an abelian variety which is not very thin. More generally, we consider from a model-theoretical point of view several questions about the fields of definition of semi-abelian varieties.

I prove a version of Schanuel's conjecture for Weierstrass equations in differential fields, answering a question of Zilber, and show that the linear independence condition in the statement cannot be relaxed.

We answer a question of Pillay and Ziegler and construct a type of $U$-rank 1 (of the theory of separably closed fields) which is thin but not very thin.

We relate the integrability of vector fields, and of the vanishing of $p$-torsion, to model-theoretic questions concerning separably closed fields, endowed canonically with a derivation. While each differential field $(F_p(t)^s,D_p)$ is known to be decidable, we show that the asymptotic theory of these fields as a class is undecidable in a strong sense. This precludes a geometric answer to certain generalizations of the Grothendieck-Katz conjecture.

The study of pseudo-algebraically closed fields (henceforth called PAC) started with the work of J. Ax on finite and pseudo-finite fields [1]. He showed that the infinite models of the theory of finite fields are exactly the perfect PAC fields with absolute Galois group isomorphic to , and gave elementary invariants for their first order theory, thereby proving the decidability of the theory of finite fields. Ax's results were then extended to a larger class of PAC fields by M. Jarden and U. Kiehne [21], and Jarden [19]. The final word on theories of PAC fields was given by G. Cherlin, L. van den Dries and A. Macintyre [10], see also results by Ju. Ershov [13], [14]. Let K be a PAC field. Then the elementary theory of K is entirely determined by the following data:• The isomorphism type of the field of absolute numbers of K (the subfield of K of elements algebraic over the prime field).• The degree of imperfection of K.• The first-order theory, in a suitable ω-sorted language, of the inverse system of Galois groups al(L/K) where L runs over all finite Galois extensions of K.They also showed that the theory of PAC fields is undecidable, by showing that any graph can be encoded in the absolute Galois group of some PAC field. It turns out that the absolute Galois group controls much of the behaviour of the PAC fields. I will give below some examples illustrating this phenomenon.

We show that the class of separably closed fields with a generic automorphism is an elementary class, whose theory is model complete in a natural extension of the language of fields with an automorphism. We describe the completions of this theory and obtain some results on types, imaginaries, and modularity.

In this paper, we look at strongly minimal sets definable in a differentially closed field of characteristic 0. In [3], Hrushovski and Sokolović show that such sets are essentially Zariski geometries. Thus either thre is a definable strongly minimal field nonorthogonal to $D$, or $D$ is locally modular and nontrivial, or $D$ is trivial. We show that the strongly minimal sets defined by a certain family of differential equations are trivial. We also prove a theorem wich provides a test for the orthogonality of types over an ordinary differential field.

We transpose Delon’s analysis of types in valued fields to unramified henselian valued fields of mixed characteristic, by using coefficient maps of order n. This yields the Ax-Kochen-Ershov transfer principle for the independence property in this class of valued fields.

We show that there are 0-definably complete ordered fields which are not real closed. Therefore, the theory of definably with parameters complete ordered fields does not follow from the theory of 0-definably complete ordered fields. The mentioned completeness notions for ordered fields are the definable versions of completeness in the sense of Dedekind cuts. In earlier joint work, we had shown that it would become successively weakened if we just required nonexistence of definable regular gaps and then disallowing parameters. The result in this note shows reducing in the opposite order, at least one side is sharp. Received 27 October 2018 AMS subject classification: Primary 03C64; Secondary 12L12 Keywords: ordered field, 0-definably complete, real closed field

In the present paper some tools are given to state the exact number of roots for some simple classes of exponential terms (with one variable). The result were obtained by generalizing Sturm's technique for real closed fields. Moreover for arbitrary non-zero terms t(x) certain estimations concerning the location of roots of t(x) are given. MSC: 03C65, 03C60, 12L12.