Showing 1–15 of 15 results for author: Hils, M

Lang-Weil Type Estimates in Finite Difference Fields

Authors: Martin Hils, Ehud Hrushovski, Jinhe Ye, Tingxiang Zou

Abstract: We prove a uniform estimate of the number of points for difference algebraic varieties in finite difference fields in the spirit of Lang-Weil. More precisely, we give uniform lower and upper bounds for the number of rational points of a difference variety in terms of its transformal dimension. As a main technical ingredient, we prove an equidimensionality result for Frobenius reductions of differe… ▽ More We prove a uniform estimate of the number of points for difference algebraic varieties in finite difference fields in the spirit of Lang-Weil. More precisely, we give uniform lower and upper bounds for the number of rational points of a difference variety in terms of its transformal dimension. As a main technical ingredient, we prove an equidimensionality result for Frobenius reductions of difference varieties. △ Less

Submitted 2 June, 2024; originally announced June 2024.

MSC Class: Primary 12H10; 11U09 Secondary 03C60; 03C20

Stably Embedded Pairs of Ordered Abelian Groups

Authors: Martin Hils, Martina Liccardo, Pierre Touchard

Abstract: We investigate when an ordered abelian group $G$ is stably embedded in a given elementary extension $H$. We focus on a large class of ordered groups which includes maximal ordered groups with interpretable archimedean valuation. We give a complete answer for groups in this class which takes the form of a transfer principle for valued groups. It follows in particular that all types in the lexicogra… ▽ More We investigate when an ordered abelian group $G$ is stably embedded in a given elementary extension $H$. We focus on a large class of ordered groups which includes maximal ordered groups with interpretable archimedean valuation. We give a complete answer for groups in this class which takes the form of a transfer principle for valued groups. It follows in particular that all types in the lexicographic product $\prod_{i\in ω} \mathbb{Z}$ are definable. △ Less

Submitted 2 October, 2024; v1 submitted 19 August, 2023; originally announced August 2023.

Comments: 34 pages

An Approximate AKE Principle for Metric Valued Fields

Authors: Martin Hils, Stefan Marian Ludwig

Abstract: We study metric valued fields in continuous logic, following Ben Yaacov's approach, thus working in the metric space given by the projective line. As our main result, we obtain an approximate Ax-Kochen-Ershov principle in this framework, completely describing elementary equivalence in equicharacteristic 0 in terms of the residue field and value group. Moreover, we show that, in any characteristic,… ▽ More We study metric valued fields in continuous logic, following Ben Yaacov's approach, thus working in the metric space given by the projective line. As our main result, we obtain an approximate Ax-Kochen-Ershov principle in this framework, completely describing elementary equivalence in equicharacteristic 0 in terms of the residue field and value group. Moreover, we show that, in any characteristic, the theory of metric valued difference fields does not admit a model-companion. This answers a question of Ben Yaacov. △ Less

Submitted 30 July, 2025; v1 submitted 22 August, 2022; originally announced August 2022.

Comments: 22 pages, Presentation revised

MSC Class: 03C66; 03C60 (Primary); 12L10 (Secondary)

Some definable types that cannot be amalgamated

Authors: Martin Hils, Rosario Mennuni

Abstract: We exhibit a theory where definable types lack the amalgamation property. We exhibit a theory where definable types lack the amalgamation property. △ Less

Submitted 20 July, 2022; originally announced July 2022.

Comments: 4 pages

MSC Class: Primary: 03C45; Secondary: 03C30

Journal ref: Math. Log. Quart., 69: 46-49 (2023)

Beautiful pairs

Authors: Pablo Cubides Kovacsics, Martin Hils, Jinhe Ye

Abstract: We introduce an abstract framework to study certain classes of stably embedded pairs of models of a complete $\mathcal{L}$-theory $T$, called \textit{beautiful pairs}, which comprises Poizat's belles paires of stable structures and van den Dries-Lewenberg's tame pairs of o-minimal structures. Using an amalgamation construction, we relate several properties of beautiful pairs with properties analog… ▽ More We introduce an abstract framework to study certain classes of stably embedded pairs of models of a complete $\mathcal{L}$-theory $T$, called \textit{beautiful pairs}, which comprises Poizat's belles paires of stable structures and van den Dries-Lewenberg's tame pairs of o-minimal structures. Using an amalgamation construction, we relate several properties of beautiful pairs with properties analogous to properties in Fraïssé classes. After characterizing beautiful pairs of various theories of ordered abelian groups and valued fields, including the theories of algebraically, $p$-adically and real closed valued fields, we show an Ax-Kochen-Ershov type result for beautiful pairs of henselian valued fields. As an application, we derive strict pro-definability of particular classes of definable types. When $T$ is one of the theories of valued fields mentioned above, the corresponding classes of types are related to classical geometric spaces and our main result specializes to their strict pro-definability. Most notably, we exhibit the strict pro-definability of a natural space of types associated to Huber's analytification. In this way, we also recover a result of Hrushovski-Loeser on the strict pro-definability of stably dominated types in algebraically closed valued fields, which corresponds to Berkovich's analytification. △ Less

Submitted 31 March, 2025; v1 submitted 1 December, 2021; originally announced December 2021.

Comments: 41 pages

MSC Class: 03C45; 03C10 (Primary) 03C64; 12J10; 12L12 (Secondary)

One dimensional commutative groups definable in algebraically closed valued fields and in the pseudo-local fields

Authors: Juan Pablo Acosta, Martin Hils

Abstract: We give a complete list of the one-dimensional groups definable in algebraically closed valued fields and i the pseudo-local fields, up to a finite index subgroup and a quotient by a finite subgroup. We give a complete list of the one-dimensional groups definable in algebraically closed valued fields and i the pseudo-local fields, up to a finite index subgroup and a quotient by a finite subgroup. △ Less

Submitted 3 March, 2025; v1 submitted 1 December, 2021; originally announced December 2021.

MSC Class: 03C07

Un principe d'Ax-Kochen-Ershov imaginaire

Authors: Martin Hils, Silvain Rideau-Kikuchi

Abstract: We study interpretable sets in henselian and sigma-henselian valued fields with value group elementarily equivalent to Q or Z. Our first result is an Ax-Kochen-Ershov type principle for weak elimination of imaginaries in finitely ramified characteristic zero henselian fields -- relative to value group imaginaries and residual linear imaginaries. We extend this result to the valued difference conte… ▽ More We study interpretable sets in henselian and sigma-henselian valued fields with value group elementarily equivalent to Q or Z. Our first result is an Ax-Kochen-Ershov type principle for weak elimination of imaginaries in finitely ramified characteristic zero henselian fields -- relative to value group imaginaries and residual linear imaginaries. We extend this result to the valued difference context and show, in particular, that existentially closed equicharacteristic zero multiplicative difference valued fields eliminate imaginaries in the geometric sorts; the omega-increasing case corresponds to the theory of the non-standard Frobenius automorphism acting on an algebraically closed valued field. On the way, we establish some auxiliary results on separated pairs of characteristic zero henselian fields and on imaginaries in linear structures which are also of independent interest. △ Less

Submitted 20 October, 2023; v1 submitted 24 September, 2021; originally announced September 2021.

Comments: 73 pages, minor corrections

MSC Class: Primary: 03C45; Secondary: 03C10; 03C60; 12J10; 12L12

The domination monoid in henselian valued fields

Authors: Martin Hils, Rosario Mennuni

Abstract: We study the domination monoid in various classes of structures arising from the model theory of henselian valuations, including RV-expansions of henselian valued fields of residue characteristic 0 (and, more generally, of benign valued fields), p-adically closed fields, monotone D-henselian differential valued fields with many constants, regular ordered abelian groups, and pure short exact sequen… ▽ More We study the domination monoid in various classes of structures arising from the model theory of henselian valuations, including RV-expansions of henselian valued fields of residue characteristic 0 (and, more generally, of benign valued fields), p-adically closed fields, monotone D-henselian differential valued fields with many constants, regular ordered abelian groups, and pure short exact sequences of abelian structures. We obtain Ax-Kochen-Ershov type reductions to suitable fully embedded families of sorts in quite general settings, and full computations in concrete ones. △ Less

Submitted 18 September, 2023; v1 submitted 31 August, 2021; originally announced August 2021.

MSC Class: 03C45 (Primary) 03C60; 03C64; 12J10; 12L12 (Secondary)

Journal ref: Pacific J. Math. 328 (2024) 287-323

Definable Equivariant Retractions in Non-Archimedean Geometry

Authors: Martin Hils, Ehud Hrushovski, Pierre Simon

Abstract: For $G$ an algebraic group definable over a model of $\operatorname{ACVF}$, or more generally a definable subgroup of an algebraic group, we study the stable completion $\widehat{G}$ of $G$, as introduced by Loeser and the second author. For $G$ connected and stably dominated, assuming $G$ commutative or that the valued field is of equicharacteristic 0, we construct a pro-definable $G$-equivariant… ▽ More For $G$ an algebraic group definable over a model of $\operatorname{ACVF}$, or more generally a definable subgroup of an algebraic group, we study the stable completion $\widehat{G}$ of $G$, as introduced by Loeser and the second author. For $G$ connected and stably dominated, assuming $G$ commutative or that the valued field is of equicharacteristic 0, we construct a pro-definable $G$-equivariant strong deformation retraction of $\widehat{G}$ onto the generic type of $G$. For $G=S$ a semiabelian variety, we construct a pro-definable $S$-equivariant strong deformation retraction of $\widehat{S}$ onto a definable group which is internal to the value group. We show that, in case $S$ is defined over a complete valued field $K$ with value group a subgroup of $\mathbb{R}$, this map descends to an $S(K)$-equivariant strong deformation retraction of the Berkovich analytification $S^{\mathrm{an}}$ of $S$ onto a piecewise linear group, namely onto the skeleton of $S^{\mathrm{an}}$. This yields a construction of such a retraction without resorting to an analytic (non-algebraic) uniformization of $S$. Furthermore, we prove a general result on abelian groups definable in an NIP theory: any such group $G$ is a directed union of $\infty$-definable subgroups which all stabilize a generically stable Keisler measure on $G$. △ Less

Submitted 7 January, 2021; originally announced January 2021.

Comments: 29 pages

MSC Class: 03C45 (Primary); 03C98; 12J25; 14G22 (Secondary)

Imaginaries in separably closed valued fields

Authors: Martin Hils, Moshe Kamensky, Silvain Rideau

Abstract: We show that separably closed valued fields of finite imperfection degree (either with lambda-functions or commuting Hasse derivations) eliminate imaginaries in the geometric language. We then use this classification of interpretable sets to study stably dominated types in those structures. We show that separably closed valued fields of finite imperfection degree are metastable and that the space… ▽ More We show that separably closed valued fields of finite imperfection degree (either with lambda-functions or commuting Hasse derivations) eliminate imaginaries in the geometric language. We then use this classification of interpretable sets to study stably dominated types in those structures. We show that separably closed valued fields of finite imperfection degree are metastable and that the space of stably dominated types is strict pro-definable. △ Less

Submitted 28 September, 2017; v1 submitted 7 December, 2016; originally announced December 2016.

MSC Class: 12J20; 03C10; 03C98

Model Theory of Compact Complex Manifolds with an Automorphism

Authors: Martin Bays, Martin Hils, Rahim Moosa

Abstract: Motivated by possible applications to meromorphic dynamics, and generalising known properties of difference-closed fields, this paper studies the theory CCMA of compact complex manifolds with a generic automorphism. It is shown that while CCMA does admit geometric elimination of imaginaries, it cannot eliminate imaginaries outright: a counterexample to 3-uniqueness in CCM is exhibited. Finite-dime… ▽ More Motivated by possible applications to meromorphic dynamics, and generalising known properties of difference-closed fields, this paper studies the theory CCMA of compact complex manifolds with a generic automorphism. It is shown that while CCMA does admit geometric elimination of imaginaries, it cannot eliminate imaginaries outright: a counterexample to 3-uniqueness in CCM is exhibited. Finite-dimensional types are investigated and it is shown, following the approach of Pillay and Ziegler, that the canonical base property holds in CCMA. As a consequence the Zilber dichotomy is deduced: finite-dimensional types of SU-rank one are either one-based or almost internal to the fixed field. In addition, a general criterion for stable embeddedness in TA (when it exists) is established, and used to determine the full induced structure of CCMA on projective varieties, simple nonalgebraic complex tori, and simply connected nonalgebraic strongly minimal manifolds. △ Less

Submitted 3 March, 2017; v1 submitted 23 February, 2015; originally announced February 2015.

Comments: A slight misformulation in the statement of the abelian group configuration in the published version has been corrected

MSC Class: 03C60 (Primary); 03C45; 03C65; 32J99 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 369 (2017), no. 6, 4485-4516

Bad fields with torsion

Authors: Juan Diego Caycedo, Martin Hils

Abstract: We extend the construction of bad fields of characteristic zero to the case of arbitrary prescribed divisible green torsion. We extend the construction of bad fields of characteristic zero to the case of arbitrary prescribed divisible green torsion. △ Less

Submitted 14 March, 2014; v1 submitted 20 July, 2013; originally announced July 2013.

Comments: 13 pages. With minor corrections. To appear in the Journal of Symbolic Logic

MSC Class: Primary: 03C65; Secondary: 03C50

Valued difference fields and NTP2

Authors: Artem Chernikov, Martin Hils

Abstract: We show that the theory of the non-standard Frobenius automorphism, acting on an algebraically closed valued field of equal characteristic 0, is NTP2. More generally, in the contractive as well as in the isometric case, we prove that a sigma-henselian valued difference field of equicharacteristic 0 is NTP2, provided both the residue difference field and the value group (as an ordered difference gr… ▽ More We show that the theory of the non-standard Frobenius automorphism, acting on an algebraically closed valued field of equal characteristic 0, is NTP2. More generally, in the contractive as well as in the isometric case, we prove that a sigma-henselian valued difference field of equicharacteristic 0 is NTP2, provided both the residue difference field and the value group (as an ordered difference group) are NTP2. △ Less

Submitted 26 August, 2013; v1 submitted 7 August, 2012; originally announced August 2012.

Comments: Changes in v3: Section about resilience had been removed due to a mistake pointed out by the referee (and a corresponding conjecture had been added), the main theorem had been slightly generalized, overall presentation had been improved and some minor mistakes were corrected. Accepted for publication in the Israel Journal of Mathematics

MSC Class: 03C45; 03C60; 12L12

Some Definability Results in Abstract Kummer Theory

Authors: Martin Bays, Misha Gavrilovich, Martin Hils

Abstract: Let $S$ be a semiabelian variety over an algebraically closed field, and let $X$ be an irreducible subvariety not contained in a coset of a proper algebraic subgroup of $S$. We show that the number of irreducible components of $[n]^{-1}(X)$ is bounded uniformly in $n$, and moreover that the bound is uniform in families $X_t$. We prove this by purely Galois-theoretic methods. This proof applies i… ▽ More Let $S$ be a semiabelian variety over an algebraically closed field, and let $X$ be an irreducible subvariety not contained in a coset of a proper algebraic subgroup of $S$. We show that the number of irreducible components of $[n]^{-1}(X)$ is bounded uniformly in $n$, and moreover that the bound is uniform in families $X_t$. We prove this by purely Galois-theoretic methods. This proof applies in the more general context of divisible abelian groups of finite Morley rank. In this latter context, we deduce a definability result under the assumption of the Definable Multiplicity Property (DMP). We give sufficient conditions for finite Morley rank groups to have the DMP, and hence give examples where our definability result holds. △ Less

Submitted 1 April, 2013; v1 submitted 27 December, 2011; originally announced December 2011.

Comments: 21 pages; minor notational fixes

Journal ref: Int. Math. Res. Not. IMRN 2014, no. 14, 3975-4000

Generic Automorphisms and Green Fields

Authors: Martin Hils

Abstract: We show that the generic automorphism is axiomatisable in the green field of Poizat (once Morleyised) as well as in the bad fields which are obtained by collapsing this green field to finite Morley rank. As a corollary, we obtain "bad pseudofinite fields" in characteristic 0. In both cases, we give geometric axioms. In fact, a general framework is presented allowing this kind of axiomatisation. We… ▽ More We show that the generic automorphism is axiomatisable in the green field of Poizat (once Morleyised) as well as in the bad fields which are obtained by collapsing this green field to finite Morley rank. As a corollary, we obtain "bad pseudofinite fields" in characteristic 0. In both cases, we give geometric axioms. In fact, a general framework is presented allowing this kind of axiomatisation. We deduce from various constructibility results for algebraic varieties in characteristic 0 that the green and bad fields fall into this framework. Finally, we give similar results for other theories obtained by Hrushovski amalgamation, e.g. the free fusion of two strongly minimal theories having the definable multiplicity property. We also close a gap in the construction of the bad field, showing that the codes may be chosen to be families of strongly minimal sets. △ Less

Submitted 12 April, 2011; v1 submitted 26 March, 2010; originally announced March 2010.

Comments: Some minor changes; new: a result of the paper (Cor 4.8) closes a gap in the construction of the bad field

MSC Class: 03C45 (Primary) 03C35; 03C60; 03C65 (Secondary)

Journal ref: J. Lond. Math. Soc. 2011