Showing 1–50 of 55 results for author: Hrushovski, E

Approximate equivalence relations

Authors: Ehud Hrushovski

Abstract: We study approximate equivalence relations up to commensurability, in the presence of a definable measure. As a basic framework, we give a presentation of probability logic based on continuous logic. Hoover's normal form is valid here; if one begins with a discrete logic structure, it reduces arbitrary formulas of probability logic to correlations between quantifier-free formulas. We completely cl… ▽ More We study approximate equivalence relations up to commensurability, in the presence of a definable measure. As a basic framework, we give a presentation of probability logic based on continuous logic. Hoover's normal form is valid here; if one begins with a discrete logic structure, it reduces arbitrary formulas of probability logic to correlations between quantifier-free formulas. We completely classify binary correlations in terms of the Kim-Pillay space, leading to strong results on the interpretative power of pure probability logic over a binary language. Assuming higher amalgamation of independent types, we prove a higher stationarity statement for such correlations. We also give a short model-theoretic proof of a categoricity theorem for continuous logic structures with a measure of full support, generalizing theorems of Gromov-Vershik and Keisler, and often providing a canonical model for a complete pure probability logic theory. These results also apply to local probability logic, providing in particular a canonical model for a local pure probability logic theory with a unique 1-type and geodesic metric. For sequences of approximate equivalence relations with an 'approximately unique' probability logic 1-type, we obtain a structure theorem generalizing the `Lie model' theorem for approximate subgroups. The models here are Riemannian homogeneous spaces, fibered over a locally finite graph. Specializing to definable graphs over finite fields, we show that after a finite partition, a definable binary relation converges in finitely many self-compositions to an equivalence relation of geometric origin. For NIP theories, pursuing a question of Pillay's, we prove an archimedean finite-dimensionality statement for the automorphism groups of definable measures, acting on a given type of definable sets. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Model Equivalences

Authors: Michael Benedikt, Ehud Hrushovski

Abstract: We look at equivalence relations on the set of models of a theory -- MERs, for short -- such that the class of equivalent pairs is itself an elementary class, in a language appropriate for pairs of models. We provide many examples of definable MERs, along with the first steps of a classification theory for them. We characterize the special classes of definable MERs associated with preservation of… ▽ More We look at equivalence relations on the set of models of a theory -- MERs, for short -- such that the class of equivalent pairs is itself an elementary class, in a language appropriate for pairs of models. We provide many examples of definable MERs, along with the first steps of a classification theory for them. We characterize the special classes of definable MERs associated with preservation of formulas, either in classical first order logic or in continuous logic, and uncover an intrinsic role for the latter. We bring out a nontrivial relationship with interpretations (imaginary sorts), leading to a wider hierarchy of classes related to the preservation of reducts. We give results about the relationship between these classes, both for general theories and for theories satisfying additional model-theoretic properties, such as stability. △ Less

Submitted 21 June, 2024; originally announced June 2024.

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

Imaginaries, products and the adele ring

Authors: Jamshid Derakhshan, Ehud Hrushovski

Abstract: We describe the imaginary sorts of infinite products in terms of imaginary sorts of the factors. We extend the result to certain reduced powers and then to infinite products $\prod_{i\in I} M_i$ enriched with a predicate for the ideal of finite subsets of $I$. As a special case, using the Hils-Rideau-Kikuchi uniform $p$-adic elimination of imaginaries, we find the imaginary sorts of the ring of ra… ▽ More We describe the imaginary sorts of infinite products in terms of imaginary sorts of the factors. We extend the result to certain reduced powers and then to infinite products $\prod_{i\in I} M_i$ enriched with a predicate for the ideal of finite subsets of $I$. As a special case, using the Hils-Rideau-Kikuchi uniform $p$-adic elimination of imaginaries, we find the imaginary sorts of the ring of rational adeles. Our methods include the use of the Harrington-Kechris-Louveau Glimm-Efros dichotomy both for transitioning from monadic second order imaginaries to first-order reducts, and for proving a certain ``one-way'' model-theoretic orthogonality within the adelic imaginaries. △ Less

Submitted 20 September, 2023; originally announced September 2023.

MSC Class: 03C95; 03C10

Compactifications of pseudofinite and pseudo-amenable groups

Authors: Gabriel Conant, Ehud Hrushovski, Anand Pillay

Abstract: We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable compactification of a pseudofinite group has an abelian connected component. We then discuss the relationship between Turing's work, the Jordan-Schur Theorem, and a… ▽ More We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable compactification of a pseudofinite group has an abelian connected component. We then discuss the relationship between Turing's work, the Jordan-Schur Theorem, and a (relatively) more recent result of Kazhdan \cite{Kazh} on approximate homomorphisms, and we use this to widen our scope from finite groups to amenable groups. In particular, we develop a suitable continuous logic framework for dealing with definable homomorphisms from pseudo-amenable groups to compact Lie groups. Together with the stabilizer theorems of \cite{HruAG,MOS}, we obtain a uniform (but non-quantitative) analogue of Bogolyubov's Lemma for sets of positive measure in discrete amenable groups. We conclude with brief remarks on the case of amenable topological groups. △ Less

Submitted 16 August, 2023; originally announced August 2023.

Comments: 23 pages

The Theory of the Entire Algebraic Functions

Authors: Taylor Dupuy, Ehud Hrushovski

Abstract: Let A be the integral closure of the ring of polynomials CC[t], within the field of algebraic functions in one variable. We show that A interprets the ring of integers. This contrasts with the analogue for finite fields, proved to have a decidable theory (see Prestel-Schmid and van den Dries-A. Macintyre). Let A be the integral closure of the ring of polynomials CC[t], within the field of algebraic functions in one variable. We show that A interprets the ring of integers. This contrasts with the analogue for finite fields, proved to have a decidable theory (see Prestel-Schmid and van den Dries-A. Macintyre). △ Less

Submitted 10 December, 2023; v1 submitted 20 May, 2023; originally announced May 2023.

MSC Class: 03C40

Embedded Finite Models Beyond Restricted Quantifier Collapse

Authors: Michael Benedikt, Ehud Hrushovski

Abstract: We revisit evaluation of logical formulas that allow both uninterpreted relations, constrained to be finite, as well as an interpreted vocabulary over an infinite domain. This formalism was denoted embedded finite model theory in the past. It is clear that the expressiveness and evaluating complexity of formulas of this type depends heavily on the infinite structure. If we embed in a wild struct… ▽ More We revisit evaluation of logical formulas that allow both uninterpreted relations, constrained to be finite, as well as an interpreted vocabulary over an infinite domain. This formalism was denoted embedded finite model theory in the past. It is clear that the expressiveness and evaluating complexity of formulas of this type depends heavily on the infinite structure. If we embed in a wild structure like the integers with additive and multiplicative arithmetic, logic is extremely expressive and formulas are impossible to evaluate. On the other hand, for some well-known decidable structures, the expressiveness and evaluating complexity are similar to the situation without the additional infrastructure. The latter phenomenon was formalized via the notion of ``Restricted Quantifier Collapse'': adding quantification over the infinite structure does not add expressiveness. Beyond these two extremes little was known. In this work we show that the possibilities for expressiveness and complexity are much wider. We show that we can get almost any possible complexity of evaluation while staying within a decidable structure. We also show that in some decidable structures, there is a disconnect between expressiveness of the logic and complexity, in that we cannot eliminate quantification over the structure, but this is not due to an ability to embed complex relational computation in the logic. We show failure of collapse for the theory of finite fields and the related theory of pseudo-finite fields, which will involve coding computation in the logic. As a by-product of this, we establish new lower-bounds for the complexity of decision procedures for several decidable theories of fields, including the theory of finite fields. In the process of investigating this landscape, we investigate several weakenings of collapse. △ Less

Submitted 20 May, 2024; v1 submitted 18 April, 2023; originally announced April 2023.

Globally valued function fields: existential closure

Authors: Itaï Ben Yaacov, Ehud Hrushovski

Abstract: 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 that {\em the canonical GVF structure on $k(t)^{alg}$ is existentially closed}. This can be read as saying that a variety {\em with a distinguished curve clas… ▽ More 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 that {\em the canonical GVF structure on $k(t)^{alg}$ is existentially closed}. This can be read as saying that a variety {\em with a distinguished curve class} is a good approximation for a formula in the language of GVFs, in the same way that a variety is close to a formula for the theory ACF of algebraically closed fields. △ Less

Submitted 14 December, 2022; originally announced December 2022.

Specialization of Difference Equations and High Frobenius Powers

Authors: Yuval Dor, Ehud Hrushovski

Abstract: We study valued fields equipped with an automorphism $σしぐま$ which is locally infinitely contracting in the sense that $αあるふぁ\llσしぐまαあるふぁ$ for all $0<αあるふぁ\inΓがんま$. We show that various notions of valuation theory, such as Henselian and strictly Henselian hulls, admit meaningful transformal analogues. We prove canonical amalgamation results, and exhibit the way that transformal wild ramification is controlled by torsor… ▽ More We study valued fields equipped with an automorphism $σしぐま$ which is locally infinitely contracting in the sense that $αあるふぁ\llσしぐまαあるふぁ$ for all $0<αあるふぁ\inΓがんま$. We show that various notions of valuation theory, such as Henselian and strictly Henselian hulls, admit meaningful transformal analogues. We prove canonical amalgamation results, and exhibit the way that transformal wild ramification is controlled by torsors over generalized vector groups. Model theoretically, we determine the model companion: it is decidable, admits a simple axiomatization, and enjoys elimination of quantifiers up to algebraically bounded quantifiers. The model companion is shown to agree with the limit theory of the Frobenius action on an algebraically closed and nontrivially valued field. This opens the way to a motivic intersection theory for difference varieties that was previously available only in characteristic zero. As a first consequence, the class of algebraically closed valued fields equipped with a distinguished Frobenius $x\mapsto x^{q}$ is decidable, uniformly in $q$. △ Less

Submitted 14 December, 2022; v1 submitted 10 December, 2022; originally announced December 2022.

Comments: identical to v1 apart from slight modifications in abstract

Tropical functions on a skeleton

Authors: Antoine Ducros, Ehud Hrushovski, François Loeser, Jinhe Ye

Abstract: We prove a general finiteness statement for the ordered abelian group of tropical functions on skeleta in Berkovich analytifications of algebraic varieties. Our approach consists in working in the framework of stable completions of algebraic varieties, a model-theoretic version of Berkovich analytifications, for which we prove a similar result, of which the former one is a consequence. We prove a general finiteness statement for the ordered abelian group of tropical functions on skeleta in Berkovich analytifications of algebraic varieties. Our approach consists in working in the framework of stable completions of algebraic varieties, a model-theoretic version of Berkovich analytifications, for which we prove a similar result, of which the former one is a consequence. △ Less

Submitted 19 June, 2024; v1 submitted 8 October, 2022; originally announced October 2022.

Comments: 47 pages

MSC Class: 14G22; 03C98 (Primary); 14T20 (Secondary)

Journal ref: Journal de l'École polytechnique -- Mathématiques, Tome 11 (2024), pp. 613-654

On metric approximate subgroups

Authors: E. Hrushovski, A. Rodriguez Fanlo

Abstract: Let $G$ be a group with a metric $\mathrm{d}$ invariant under left and right translations, and let $\bar{\mathbb{D}}_r$ be the ball of radius $r$ around the identity. A $(k,r)$-metric approximate subgroup is a symmetric subset $X$ of $G$ such that the pairwise product set $XX$ is covered by at most $k$ translates of $X\bar{\mathbb{D}}_r$. This notion was introduced in arXiv:math/0601431 along with… ▽ More Let $G$ be a group with a metric $\mathrm{d}$ invariant under left and right translations, and let $\bar{\mathbb{D}}_r$ be the ball of radius $r$ around the identity. A $(k,r)$-metric approximate subgroup is a symmetric subset $X$ of $G$ such that the pairwise product set $XX$ is covered by at most $k$ translates of $X\bar{\mathbb{D}}_r$. This notion was introduced in arXiv:math/0601431 along with the version for discrete groups (approximate subgroups). In arXiv:0909.2190, it was shown for the discrete case that, at the asymptotic limit of $X$ finite but large, the "approximateness" (or need for more than one translate) can be attributed to a canonically associated Lie group. Here we prove an analogous result in the metric setting, under a certain finite covering assumption on $X$ replacing finiteness. In particular, if $G$ has bounded exponent, we show that any $(k,r)$-metric approximate subgroup is close to a $(1,r')$-metric approximate subgroup for an appropriate $r'$. △ Less

Submitted 25 April, 2024; v1 submitted 2 September, 2022; originally announced September 2022.

MSC Class: 03C98; 11P70; 20N99; 20A15

Piecewise Interpretable Hilbert Spaces

Authors: Alexis Chevalier, Ehud Hrushovski

Abstract: We study Hilbert spaces $H$ interpreted, in an appropriate sense, in a first-order theory. Under a new finiteness hypothesis that we call {\em scatteredness} we prove that $H$ is a direct sum of {\em asymptotically free} components, where short-range interactions are controlled by algebraic closure and long-range interactions vanish. Examples include $L^2$-spaces relative to Macpherson-Steinhorn d… ▽ More We study Hilbert spaces $H$ interpreted, in an appropriate sense, in a first-order theory. Under a new finiteness hypothesis that we call {\em scatteredness} we prove that $H$ is a direct sum of {\em asymptotically free} components, where short-range interactions are controlled by algebraic closure and long-range interactions vanish. Examples include $L^2$-spaces relative to Macpherson-Steinhorn definable measures; $L^2$ spaces relative to the Haar measure of the absolute Galois groups; irreducible unitary representations of $p$-adic Lie groups; and unitary representations of the automorphism group of an $ωおめが$-categorical theory. In the last case, our main result specialises to a theorem of Tsankov. New methods are required, making essential use of local stability theory in continuous logic. △ Less

Submitted 12 September, 2022; v1 submitted 11 October, 2021; originally announced October 2021.

Comments: Heavily revised version. Some new content in sections 2,3,4

Invariant measures in simple and in small theories

Authors: Artem Chernikov, Ehud Hrushovski, Alex Kruckman, Krzysztof Krupinski, Slavko Moconja, Anand Pillay, Nicholas Ramsey

Abstract: We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, and (ii) a definable group G in a simple theory such that G is not definably amenable, i.e. there is no translation invariant Keisler measure on G We also discuss paradoxical decompositions both in the setting of… ▽ More We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, and (ii) a definable group G in a simple theory such that G is not definably amenable, i.e. there is no translation invariant Keisler measure on G We also discuss paradoxical decompositions both in the setting of discrete groups and of definable groups, and prove some positive results about small theories, including the definable amenability of definable groups, and nontriviality of the graded Grothendieck ring. △ Less

Submitted 2 July, 2022; v1 submitted 15 May, 2021; originally announced May 2021.

Comments: 32 pages. This is a revised version of the paper taking into account suggestions of the referee. It has been accepted by the Journal of Math. Logic

MSC Class: 03C45; 43A07

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)

Beyond the Lascar Group

Authors: Ehud Hrushovski

Abstract: We work in a first-order setting where structures are spread out over a metric space, with quantification allowed only over bounded subsets. Assuming a doubling property for the metric space, we define a canonical {\em core} $\mathcal{J}$ associated to such a theory, a locally compact structure that embeds into the type space over any model. The automorphism group of $\mathcal{J}$, modulo certain… ▽ More We work in a first-order setting where structures are spread out over a metric space, with quantification allowed only over bounded subsets. Assuming a doubling property for the metric space, we define a canonical {\em core} $\mathcal{J}$ associated to such a theory, a locally compact structure that embeds into the type space over any model. The automorphism group of $\mathcal{J}$, modulo certain infinitesimal automorphisms, is a locally compact group $\mathcal{G}$. The automorphism groups of models of the theory are related with $\mathcal{G}$, not in general via a homomorphism, but by a {\em quasi-homomorphism}, respecting multiplication up to a certain canonical compact error set. This fundamental structure is applied to describe the nature of approximate subgroups. Specifically we obtain a full classification of (properly) approximate lattices of $SL_n({\mathbb{R}})$ or $SL_n({\mathbb{Q}}_p)$. △ Less

Submitted 21 February, 2022; v1 submitted 24 November, 2020; originally announced November 2020.

Comments: v3: a few local improvements; an editing error above 5.28 fixed; a more general treatment of minimal commensurability class of subgroups containing a given commensurability class of approximate subgroups (5.10)

On first order amenability

Authors: Ehud Hrushovski, Krzysztof Krupiński, Anand Pillay

Abstract: We introduce the notion of first order amenability, as a property of a first order theory $T$: every complete type over $\emptyset$, in possibly infinitely many variables, extends to an automorphism-invariant global Keisler measure in the same variables. Amenability of $T$ follows from amenability of the (topological) group $Aut(M)$ for all sufficiently large $\aleph_{0}$-homogeneous countable mod… ▽ More We introduce the notion of first order amenability, as a property of a first order theory $T$: every complete type over $\emptyset$, in possibly infinitely many variables, extends to an automorphism-invariant global Keisler measure in the same variables. Amenability of $T$ follows from amenability of the (topological) group $Aut(M)$ for all sufficiently large $\aleph_{0}$-homogeneous countable models $M$ of $T$ (assuming $T$ to be countable), but is radically less restrictive. First, we study basic properties of amenable theories, giving many equivalent conditions. Then, applying a version of the stabilizer theorem from [Amenability, connected components, and definable actions; E. Hrushovski, K. Krupiński, A. Pillay], we prove that if $T$ is amenable, then $T$ is G-compact, namely Lascar strong types and Kim-Pillay strong types over $\emptyset$ coincide. This extends and essentially generalizes a similar result proved via different methods for $ωおめが$-categorical theories in [Amenability, definable groups, and automorphism groups; K. Krupiński, A. Pillay] . In the special case when amenability is witnessed by $\emptyset$-definable global Keisler measures (which is for example the case for amenable $ωおめが$-categorical theories), we also give a different proof, based on stability in continuous logic. Parallel (but easier) results hold for the notion of extreme amenability. △ Less

Submitted 4 January, 2021; v1 submitted 17 April, 2020; originally announced April 2020.

Comments: This paper contains the material in Section 4 of our preprint "Amenability and definability" (arXiv:1901.02859v1). Following the advice of editors and referees we have divided that preprint into two papers, the current paper being the second

MSC Class: 03C45; 43A07

Non-archimedean integrals as limits of complex integrals

Authors: A. Ducros, E. Hrushovski, F. Loeser

Abstract: We explain how non-archimedean integrals considered by Chambert-Loir and Ducros naturally arise in asymptotics of families of complex integrals. To perform this analysis we work over a non-standard model of the field of complex numbers, which is endowed at the same time with an archimedean and a non-archimedean norm. Our main result states the existence of a natural morphism between bicomplexes of… ▽ More We explain how non-archimedean integrals considered by Chambert-Loir and Ducros naturally arise in asymptotics of families of complex integrals. To perform this analysis we work over a non-standard model of the field of complex numbers, which is endowed at the same time with an archimedean and a non-archimedean norm. Our main result states the existence of a natural morphism between bicomplexes of archimedean and non-archimedean forms which is compatible with integration. △ Less

Submitted 7 February, 2022; v1 submitted 19 December, 2019; originally announced December 2019.

Comments: 69 pages

MSC Class: 14G22; 03C98 (Primary) 03C20; 14T05 (Secondary)

Journal ref: Duke Mathematical Journal 172, 313-386 (2023)

Definability patterns and their symmetries

Authors: Ehud Hrushovski

Abstract: We identify a canonical structure J associated to any first-order theory, the {\it space of definability patterns}. It generalizes the imaginary algebraic closure in a stable theory, and the hyperimaginary bounded closure in simple theories. J admits a compact topology, not necessarily Hausdorff, but the Hausdorff part can already be bigger than the Kim-Pillay space. Using it, we obtain simple pro… ▽ More We identify a canonical structure J associated to any first-order theory, the {\it space of definability patterns}. It generalizes the imaginary algebraic closure in a stable theory, and the hyperimaginary bounded closure in simple theories. J admits a compact topology, not necessarily Hausdorff, but the Hausdorff part can already be bigger than the Kim-Pillay space. Using it, we obtain simple proofs of a number of results previously obtained using topological dynamics, but working one power set level lower. The Lascar neighbour relation is represented by a canonical relation on the compact Hausdorff part J; the general Lascar group can be read off this compact structure. This gives concrete form to results of Krupiński, Newelski, Pillay, Rzepecki and Simon, who used topological dynamics applied to large models to show the existence of compact groups mapping onto the Lascar group. In an appendix, we show that a construction analogous to the above but using infinitary patterns recovers the Ellis group of \cite{kns}, and use this to sharpen the cardinality bound for their Ellis group from $\beth_5$ to $\beth_3$, showing the latter is optimal. There is also a close connection to another school of topological dynamics, set theory and model theory, centered around the Kechris-Pestov-Todor\v cević correspondence. We define the Ramsey property for a first order theory, and show - as a simple application of the construction applied to an auxiliary theory - that any theory admits a canonical minimal Ramsey expansion. This was envisaged and proved for certain Fraissé classes, first by Kechris-Pestov-Todor\v cević for expansions by orderings, then by Melleray, Nguyen Van Thé, Tsankov and Zucker for more general expansions. △ Less

Submitted 11 January, 2022; v1 submitted 4 November, 2019; originally announced November 2019.

Comments: Various local edits, following lectures to the Oxford Logic Group and in Kazhdan's seminar. An example of a non-Hausdorff pattern automorphism group has been added

Ax's theorem with an additive character

Authors: Ehud Hrushovski

Abstract: Motivated by Emmanuel Kowalski's exponential sums over definable sets in finite fields, we generalize Ax's theorem on pseudo-finite fields to a continuous-logic setting allowing for an additive character. The role played by Weil's Riemann hypothesis for curves over finite fields is taken by the `Weil bound' on exponential sums. Subsequent model-theoretic developments, including simplicity and the… ▽ More Motivated by Emmanuel Kowalski's exponential sums over definable sets in finite fields, we generalize Ax's theorem on pseudo-finite fields to a continuous-logic setting allowing for an additive character. The role played by Weil's Riemann hypothesis for curves over finite fields is taken by the `Weil bound' on exponential sums. Subsequent model-theoretic developments, including simplicity and the Chatzidakis-Van den Dries-Macintyre definable measures, also generalize. Analytically, we have the following consequence: consider the algebra of functions $\Ff_p^n \to \Cc$ obtained from the additive characters and the characteristic functions of subvarieties by pre- or post-composing with polynomials, applying min and sup operators to the real part, and averaging over subvarieties. Then any element of this class can be approximated, uniformly in the variables and in the prime $p$, by a polynomial expression in $Ψぷさい_p(ξくしー)$ at certain algebraic functions $ξくしー$ of the variables, where $Ψぷさい(n \mod p) = exp(2 πぱいi n/p)$ is the standard additive character. △ Less

Submitted 10 April, 2021; v1 submitted 4 November, 2019; originally announced November 2019.

Comments: Version 3: various local changes, with some material reorganized for clarity. The main mathematical difference is in section 5, where the connection to Duke-Friedlander-Iwaniec is considerably tightened

Non-locally modular regular types in classifiable theories

Authors: Elisabeth Bouscaren, Bradd Hart, Ehud Hrushovski, Michael C. Laskowski

Abstract: We introduce the notion of strong $p$-semi-regularity and show that if $p$ is a regular type which is not locally modular then any $p$-semi-regular type is strongly $p$-semi-regular. Moreover, for any such $p$-semi-regular type, "domination implies isolation" which allows us to prove the following: Suppose that $T$ is countable, classifiable and $M$ is any model. If $p\in S(M)$ is regular but not… ▽ More We introduce the notion of strong $p$-semi-regularity and show that if $p$ is a regular type which is not locally modular then any $p$-semi-regular type is strongly $p$-semi-regular. Moreover, for any such $p$-semi-regular type, "domination implies isolation" which allows us to prove the following: Suppose that $T$ is countable, classifiable and $M$ is any model. If $p\in S(M)$ is regular but not locally modular and $b$ is any realization of $p$ then every model $N$ containing $M$ that is dominated by $b$ over $M$ is both constructible and minimal over $Mb$. △ Less

Submitted 13 April, 2024; v1 submitted 24 October, 2019; originally announced October 2019.

Comments: Revised version, many details added, Appendix extended

MSC Class: 03C45

Amenability, connected components, and definable actions

Authors: Ehud Hrushovski, Krzysztof Krupiński, Anand Pillay

Abstract: We study amenability of definable and topological groups. Among our main technical tools is an elaboration on and strengthening of the Massicot-Wagner version of the stabilizer theorem, and some results around measures. As an application we show that if $G$ is an amenable topological group, then the Bohr compactification of $G$ coincides with a certain "weak Bohr compactification" introduced i… ▽ More We study amenability of definable and topological groups. Among our main technical tools is an elaboration on and strengthening of the Massicot-Wagner version of the stabilizer theorem, and some results around measures. As an application we show that if $G$ is an amenable topological group, then the Bohr compactification of $G$ coincides with a certain "weak Bohr compactification" introduced in [24]. Formally, $G^{00}_{topo} = G^{000}_{topo}$. We also prove wide generalizations of this result, implying in particular its extension to a "definable-topological" context, confirming the main conjectures from [24]. We introduce $\bigvee$-definable group topologies on a given $\emptyset$-definable group $G$ (including group topologies induced by type-definable subgroups as well as uniformly definable group topologies), and prove that the existence of a mean on the lattice of closed, type-definable subsets of $G$ implies (under some assumption) that $cl(G^{00}_M) = cl(G^{000}_M)$ for any model $M$. We study the relationship between definability of an action of a definable group on a compact space, weakly almost periodic actions, and stability. We conclude that for any group $G$ definable in a sufficiently saturated structure, every definable action of $G$ on a compact space supports a $G$-invariant probability measure. This gives negative solutions to some questions and conjectures from [22] and [24]. We give an example of a $\emptyset$-definable approximate subgroup $X$ in a saturated extension of the group $\mathbb{F}_2 \times \mathbb{Z}$ in a suitable language for which the $\bigvee$-definable group $H:=\langle X \rangle$ contains no type-definable subgroup of bounded index. This refutes a conjecture by Wagner and shows that the Massicot-Wagner approach to prove that a locally compact "model" exists for each approximate subgroup does not work in general. △ Less

Submitted 21 November, 2021; v1 submitted 9 January, 2019; originally announced January 2019.

Comments: Version 4 contains the material in Sections 2, 3, and 5 of version 1. Following the advice of editors and referees we have divided version 1 into two papers, version 4 being the first. The second paper is entitled "On first order amenability"

MSC Class: 03C45; 20A15; 20N99; 43A07; 54H20; 54H11

Polynomial Invariants for Affine Programs

Authors: Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell

Abstract: We exhibit an algorithm to compute the strongest polynomial (or algebraic) invariants that hold at each location of a given affine program (i.e., a program having only non-deterministic (as opposed to conditional) branching and all of whose assignments are given by affine expressions). Our main tool is an algebraic result of independent interest: given a finite set of rational square matrices of t… ▽ More We exhibit an algorithm to compute the strongest polynomial (or algebraic) invariants that hold at each location of a given affine program (i.e., a program having only non-deterministic (as opposed to conditional) branching and all of whose assignments are given by affine expressions). Our main tool is an algebraic result of independent interest: given a finite set of rational square matrices of the same dimension, we show how to compute the Zariski closure of the semigroup that they generate. △ Less

Submitted 2 May, 2018; v1 submitted 6 February, 2018; originally announced February 2018.

Valued fields, Metastable groups

Authors: Ehud Hrushovski, Silvain Rideau-Kikuchi

Abstract: 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 metastable (over a sort $Γがんま$) if every type over a sufficiently rich base structure can be viewed as part of a $Γがんま$-parametrized family of stably dominated types. We i… ▽ More 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 metastable (over a sort $Γがんま$) if every type over a sufficiently rich base structure can be viewed as part of a $Γがんま$-parametrized family of stably dominated types. We initiate a study of definable groups in metastable theories of finite rank. Groups with a stably dominated generic type are shown to have a canonical stable quotient. Abelian groups are shown to be decomposable into a part coming from $Γがんま$, and a definable direct limit system of groups with stably dominated generic. In the case of ACVF, among definable subgroups of affine algebraic groups, we characterize the groups with stably dominated generics in terms of group schemes over the valuation ring. Finally, we classify all fields definable in ACVF. △ Less

Submitted 2 July, 2024; v1 submitted 25 September, 2017; originally announced September 2017.

Comments: 49 pages. We correct an error in the published version pointed out by P. Wang. The exact list of changes can be found in the corrigendum hal-04601852. The main changes are as follows: Definition 2.21 has been amended, there is a new section 2.6 on cofinal types, the hypothesis of Lemma 5.5 is stronger, Definition 5.6 has been amended

Revisiting virtual difference ideals

Authors: Zoé Chatzidakis, Ehud Hrushovski

Abstract: The main idea of [4] was that structures built from periodic prime ideals have better properties from the usual ones built from invariant ideals; but unable to work with periodic ideals alone, we had to generalise further to a somewhat ephemeral setting called virtual ideals. This text has two purposes. It corrects an error in [4] discovered by Tom Scanlon's UCB seminar, recovering all results for… ▽ More The main idea of [4] was that structures built from periodic prime ideals have better properties from the usual ones built from invariant ideals; but unable to work with periodic ideals alone, we had to generalise further to a somewhat ephemeral setting called virtual ideals. This text has two purposes. It corrects an error in [4] discovered by Tom Scanlon's UCB seminar, recovering all results for all virtual ideals. In addition, based on results in [3], we describe a wide family of difference equations where virtual ideals reduce to periodic ideals. △ Less

Submitted 11 July, 2024; v1 submitted 30 August, 2016; originally announced August 2016.

Comments: Contains an erratum to Z. Chatzidakis, E. Hrushovski, Y. Peterzil, Model theory of difference fields, II: Periodic ideals and the trichotomy in all characteristics, Proceedings of the London Math. Society(3) 85 (2002), 257 - 311

MSC Class: 03C60; 12H10

Imaginaries and definable types in algebraically closed valued fields

Authors: Ehud Hrushovski

Abstract: The text is based on notes from a class entitled {\em Model Theory of Berkovich Spaces}, given at the Hebrew University in the fall term of 2009, and retains the flavor of class notes. It includes an exposition of material from \cite{hhmcrelle}, \cite{hhm} and \cite{HL}, regarding definable types in the model completion of the theory of valued fields, and the classification of imaginary sorts. The… ▽ More The text is based on notes from a class entitled {\em Model Theory of Berkovich Spaces}, given at the Hebrew University in the fall term of 2009, and retains the flavor of class notes. It includes an exposition of material from \cite{hhmcrelle}, \cite{hhm} and \cite{HL}, regarding definable types in the model completion of the theory of valued fields, and the classification of imaginary sorts. The latter is given a new proof, based on definable types rather than invariant types, and on the notion of {\em generic reparametrization}. I also try to bring out the relation to the geometry of \cite{HL} - stably dominated definable types as the model theoretic incarnation of a Berkovich point. △ Less

Submitted 28 March, 2014; originally announced March 2014.

Berkovich spaces embed in Euclidean spaces

Authors: Ehud Hrushovski, François Loeser, Bjorn Poonen

Abstract: Let K be a field that is complete with respect to a nonarchimedean absolute value such that K has a countable dense subset. We prove that the Berkovich analytification V^an of any d-dimensional quasi-projective scheme V over K embeds in R^{2d+1}. If, moreover, the value group of K is dense in R_{>0} and V is a curve, then we describe the homeomorphism type of V^an by using the theory of local dend… ▽ More Let K be a field that is complete with respect to a nonarchimedean absolute value such that K has a countable dense subset. We prove that the Berkovich analytification V^an of any d-dimensional quasi-projective scheme V over K embeds in R^{2d+1}. If, moreover, the value group of K is dense in R_{>0} and V is a curve, then we describe the homeomorphism type of V^an by using the theory of local dendrites. △ Less

Submitted 24 October, 2012; originally announced October 2012.

Comments: 15 pages

MSC Class: 14G22 (Primary) 54F50 (Secondary)

Journal ref: L'Enseignement Mathématique. 60, 273-292 (2014)

On the canonical base property

Authors: Ehud Hrushovski, Daniel Palacin, Anand Pillay

Abstract: We give an example of a finite rank, in fact aleph-1 categorical theory where the CBP (canonical base property) does not hold. We include a "group-like" example. We also prove, in a finite Morley rank context, if all definable Galois groups are "rigid" then the theory has the CBP (in a strong sense). We give an example of a finite rank, in fact aleph-1 categorical theory where the CBP (canonical base property) does not hold. We include a "group-like" example. We also prove, in a finite Morley rank context, if all definable Galois groups are "rigid" then the theory has the CBP (in a strong sense). △ Less

Submitted 27 May, 2012; originally announced May 2012.

Comments: 15 pages

MSC Class: 03C45

Unexpected imaginaries in valued fields with analytic structure

Authors: Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson

Abstract: We give an example of an imaginary defined in certain valued fields with analytic structure which cannot be coded in the `geometric' sorts which suffice to code all imaginaries in the corresponding algebraic setting. We give an example of an imaginary defined in certain valued fields with analytic structure which cannot be coded in the `geometric' sorts which suffice to code all imaginaries in the corresponding algebraic setting. △ Less

Submitted 21 December, 2011; originally announced December 2011.

MSC Class: 03C60

On subgroups of semi-abelian varieties defined by difference equations

Authors: Zoé Chatzidakis, Ehud Hrushovski

Abstract: Consider the algebraic dynamics on a torus T=G_m^n given by a matrix M in GL_n(Z). Assume that the characteristic polynomial of M is prime to all polynomials X^m-1. We show that any finite equivariant map from another algebraic dynamics onto (T,M) arises from a finite isogeny T \to T. A similar and more general statement is shown for Abelian and semi-abelian varieties. In model-theoretic terms,… ▽ More Consider the algebraic dynamics on a torus T=G_m^n given by a matrix M in GL_n(Z). Assume that the characteristic polynomial of M is prime to all polynomials X^m-1. We show that any finite equivariant map from another algebraic dynamics onto (T,M) arises from a finite isogeny T \to T. A similar and more general statement is shown for Abelian and semi-abelian varieties. In model-theoretic terms, our result says: Working in an existentially closed difference field, we consider a definable subgroup B of a semi-abelian variety A; assume B does not have a subgroup isogenous to A'(F) for some twisted fixed field F, and some semi-Abelian variety A'. Then B with the induced structure is stable and stably embedded. This implies in particular that for any n>0, any definable subset of B^n is a Boolean combination of cosets of definable subgroups of B^n. This result was already known in characteristic 0 where indeed it holds for all commutative algebraic groups ([CH]). In positive characteristic, the restriction to semi-abelian varieties is necessary. △ Less

Submitted 23 February, 2016; v1 submitted 5 December, 2011; originally announced December 2011.

Comments: Revised version, to appear

MSC Class: 03C45; 03C60; 03C98; 12H10

Monodromy and the Lefschetz fixed point formula

Authors: E. Hrushovski, F. Loeser

Abstract: We give a new proof - not using resolution of singularities - of a formula of Denef and the second author expressing the Lefschetz number of iterates of the monodromy of a function on a smooth complex algebraic variety in terms of the Euler characteristic of a space of truncated arcs. Our proof uses l-adic cohomology of non-archimedean spaces, motivic integration and the Lefschetz fixed point form… ▽ More We give a new proof - not using resolution of singularities - of a formula of Denef and the second author expressing the Lefschetz number of iterates of the monodromy of a function on a smooth complex algebraic variety in terms of the Euler characteristic of a space of truncated arcs. Our proof uses l-adic cohomology of non-archimedean spaces, motivic integration and the Lefschetz fixed point formula for finite order automorphisms. We also consider a generalization due to Nicaise and Sebag and at the end of the paper we discuss connections with the motivic Serre invariant and the motivic Milnor fiber. △ Less

Submitted 30 September, 2013; v1 submitted 8 November, 2011; originally announced November 2011.

Comments: 38 pages; correction of misprints and addition of details; in section 8 statements have been slightly modified

MSC Class: 03C98; 14B05; 14J17; 32S25; 32S55

Journal ref: Ann. Sci. École Norm. Sup. 48, 313-349 (2015)

A note on generically stable measures and fsg groups

Authors: Ehud Hrushovski, Anand Pillay, Pierre Simon

Abstract: We prove that if μみゅーis a generically stable stable measure in a first order theory with NIP and mu(φふぁい(x,b)) = 0 for all b, then μみゅー^{(n)}(\exists y(φふぁい(x_1,y)\wedge ... \wedge φふぁい(x_n,y))) = 0. We deduce that if G is an fsg grooup then a definable subset X of G is generic just if every translate of X does not fork over \emptyset. We prove that if μみゅーis a generically stable stable measure in a first order theory with NIP and mu(φふぁい(x,b)) = 0 for all b, then μみゅー^{(n)}(\exists y(φふぁい(x_1,y)\wedge ... \wedge φふぁい(x_n,y))) = 0. We deduce that if G is an fsg grooup then a definable subset X of G is generic just if every translate of X does not fork over \emptyset. △ Less

Submitted 13 May, 2011; originally announced May 2011.

Comments: 8 pages

MSC Class: 03C45; 28A99

Journal ref: Notre Dame J. Formal Logic 53, no. 4 (2012), 599-605

Affine Nash groups over real closed fields

Authors: Ehud Hrushovski, Anand Pillay

Abstract: We prove that a semialgebraically connected affine Nash group over a real closed field R is Nash isogenous to the semialgebraically connected component of the group H(R) of R-points of some algebraic group H defined over R. In the case when R is the field of real numbers this result was claimed in the paper "Groups definable in local fields and pseudofinite fields", Israel J. Math. 85 (1994) by th… ▽ More We prove that a semialgebraically connected affine Nash group over a real closed field R is Nash isogenous to the semialgebraically connected component of the group H(R) of R-points of some algebraic group H defined over R. In the case when R is the field of real numbers this result was claimed in the paper "Groups definable in local fields and pseudofinite fields", Israel J. Math. 85 (1994) by the same two authors, but a mistake in the proof was recently found, and the new proof we obtained has the advantage of being valid over an arbitrary real closed field. We also extend the result to not necessarily connected affine Nash groups over arbitrary real closed fields. △ Less

Submitted 13 May, 2011; originally announced May 2011.

Comments: 9 pages

MSC Class: 14P20; 22E15; 03C64

Non-archimedean tame topology and stably dominated types

Authors: E. Hrushovski, F. Loeser

Abstract: Let $V$ be a quasi-projective algebraic variety over a non-archimedean valued field. We introduce topological methods into the model theory of valued fields, define an analogue $\hat {V}$ of the Berkovich analytification $V^{an}$ of $V$, and deduce several new results on Berkovich spaces from it. In particular we show that $V^{an}$ retracts to a finite simplicial complex and is locally contractibl… ▽ More Let $V$ be a quasi-projective algebraic variety over a non-archimedean valued field. We introduce topological methods into the model theory of valued fields, define an analogue $\hat {V}$ of the Berkovich analytification $V^{an}$ of $V$, and deduce several new results on Berkovich spaces from it. In particular we show that $V^{an}$ retracts to a finite simplicial complex and is locally contractible, without any smoothness assumption on $V$. When $V$ varies in an algebraic family, we show that the homotopy type of $V^{an}$ takes only a finite number of values. The space $\hat {V}$ is obtained by defining a topology on the pro-definable set of stably dominated types on $V$. The key result is the construction of a pro-definable strong retraction of $\hat {V}$ to an o-minimal subspace, the skeleton, definably homeomorphic to a space definable over the value group with its piecewise linear structure. △ Less

Submitted 28 January, 2016; v1 submitted 1 September, 2010; originally announced September 2010.

Comments: Final version

MSC Class: 03C65; 03C98; 14G22 (Primary); 03C64; 14T05 (Secondary)

Journal ref: Annals of Mathematics Studies, 192. Princeton University Press, Princeton, NJ, 2016. vii+216 pp

Generically stable and smooth measures in NIP theories

Authors: Ehud Hrushovski, Anand Pillay, Pierre Simon

Abstract: We study stable like behaviour in first order theories without the independence property. We introduce generically stable measures, give characterizatiions, and show their ubiquity. We also introduce generic compact domination. We also prove the approximate definability of arbitrary Borel probability measures on definable sets in the real and p-adic fields. We study stable like behaviour in first order theories without the independence property. We introduce generically stable measures, give characterizatiions, and show their ubiquity. We also introduce generic compact domination. We also prove the approximate definability of arbitrary Borel probability measures on definable sets in the real and p-adic fields. △ Less

Submitted 25 February, 2010; originally announced February 2010.

Comments: 36 pages

MSC Class: 03C45

Stable group theory and approximate subgroups

Authors: Ehud Hrushovski

Abstract: We note a parallel between some ideas of stable model theory and certain topics in finite combinatorics related to the sum-product phenomenon. For a simple linear group G, we show that a finite subset X with |X X \^{-1} X |/ |X| bounded is close to a finite subgroup, or else to a subset of a proper algebraic subgroup of G. We also find a connection with Lie groups, and use it to obtain some conseq… ▽ More We note a parallel between some ideas of stable model theory and certain topics in finite combinatorics related to the sum-product phenomenon. For a simple linear group G, we show that a finite subset X with |X X \^{-1} X |/ |X| bounded is close to a finite subgroup, or else to a subset of a proper algebraic subgroup of G. We also find a connection with Lie groups, and use it to obtain some consequences suggestive of topological nilpotence. Combining these methods with Gromov's proof, we show that a finitely generated group with an approximate subgroup containing any given finite set must be nilpotent-by-finite. Model-theoretically we prove the independence theorem and the stabilizer theorem in a general first-order setting. △ Less

Submitted 16 May, 2011; v1 submitted 11 September, 2009; originally announced September 2009.

Comments: Further local corrections, thanks to two anonymous referres

On algebraic closure in pseudofinite fields

Authors: Özlem Beyarslan, Ehud Hrushovski

Abstract: We study the automorphism group of the algebraic closure of a substructure A of a pseudo-finite field F. We show that the behavior of this group, even when A is large, depends essentially on the roots of unity in F. For almost all completions of the theory of pseudo-finite fields we show that algebraic closure agrees with definable closure, as soon as A contains the relative algebraic closure of t… ▽ More We study the automorphism group of the algebraic closure of a substructure A of a pseudo-finite field F. We show that the behavior of this group, even when A is large, depends essentially on the roots of unity in F. For almost all completions of the theory of pseudo-finite fields we show that algebraic closure agrees with definable closure, as soon as A contains the relative algebraic closure of the prime field. △ Less

Submitted 12 January, 2012; v1 submitted 11 September, 2009; originally announced September 2009.

Comments: 9pp, to appear in JSL. Several corrections in new version; Remark (ii) replaced by Example 11 and Remark 12. Thanks to referee for two very useful reports

Motivic Poisson summation

Authors: Ehud Hrushovski, David Kazhdan

Abstract: We develop a "motivic integration" version of the Poisson summation formula for function fields, with values in the Grothendieck ring of definable exponential sums. We also study division algebras over the function field, and obtain relations among the motivic Fourier transforms of a test function at different completions. We use these to prove, in a special case, a motivic version of a theorem… ▽ More We develop a "motivic integration" version of the Poisson summation formula for function fields, with values in the Grothendieck ring of definable exponential sums. We also study division algebras over the function field, and obtain relations among the motivic Fourier transforms of a test function at different completions. We use these to prove, in a special case, a motivic version of a theorem of Deligne-Kazhdan-Vigneras. △ Less

Submitted 4 February, 2009; originally announced February 2009.

Comments: 46pp

An invariant for difference field extensions

Authors: Zoé Chatzidakis, Ehud Hrushovski

Abstract: In this paper we introduce a new invariant (the distant degree) for difference field extensions of finite transcendence degree, and we explore some of its properties. We also discuss a generalisation of this invariant and of the limit degree to groups with an automorphism. In this paper we introduce a new invariant (the distant degree) for difference field extensions of finite transcendence degree, and we explore some of its properties. We also discuss a generalisation of this invariant and of the limit degree to groups with an automorphism. △ Less

Submitted 1 August, 2011; v1 submitted 4 February, 2009; originally announced February 2009.

Comments: After posting the previous version, we discovered the work of Willis on totally disconnected locally compact groups. Over a large area of overlap, our "distant degree" invariant of an automorphism agrees with Willis' {\em scale}. In the new version we describe the relations between the two frameworks. 14pp. July 2011: Small changes

MSC Class: 5B10; 12H10; 39A05

On finite imaginaries

Authors: Ehud Hrushovski

Abstract: We study finite imaginaries in certain valued fields, and prove a conjecture of Cluckers and Denef. We study finite imaginaries in certain valued fields, and prove a conjecture of Cluckers and Denef. △ Less

Submitted 4 February, 2009; originally announced February 2009.

Comments: 15pp

On central extensions and definably compact groups in o-minimal structures

Authors: Ehud Hrushovski, Ya'acov Peterzil, Anand Pillay

Abstract: We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is elementarily equivalent to (G/G^00, .). We also prove results on the internality of finite covers of G in an o-minimal environment, as well as the full compa… ▽ More We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is elementarily equivalent to (G/G^00, .). We also prove results on the internality of finite covers of G in an o-minimal environment, as well as the full compact domination conjecture. These results depend on key theorems about the interpretability of central and finite extensions of definable groups, in the o-minimal context. These methods and others also yield interpretability results for universal covers of arbitrary definable real Lie groups, from which we can deduce the semialgebraicity of finite covers of Lie groups such as SL(2,R). △ Less

Submitted 1 November, 2008; originally announced November 2008.

MSC Class: 03C64; 22E15

Difference fields and descent in algebraic dynamics, II

Authors: Zoé Chatzidakis, Ehud Hrushovski

Abstract: This second part of the paper strengthens the descent theory described in the first part to rational maps, arbitrary base fields, and dynamics given by correspondences. We obtain in particular a decomposition of any difference field extension into a tower of finite, field-internal and one-based difference field extensions. This is needed in order to obtain the "dynamical Northcott" Theorem 1.11… ▽ More This second part of the paper strengthens the descent theory described in the first part to rational maps, arbitrary base fields, and dynamics given by correspondences. We obtain in particular a decomposition of any difference field extension into a tower of finite, field-internal and one-based difference field extensions. This is needed in order to obtain the "dynamical Northcott" Theorem 1.11 of Part I in sharp form. △ Less

Submitted 4 July, 2008; v1 submitted 24 November, 2007; originally announced November 2007.

Comments: Revised version; some corrections related to purely inseparable descent, with thanks to referee

MSC Class: 03C60; 12H10; 14GXX

Difference fields and descent in algebraic dynamics - I

Authors: Zoé Chatzidakis, Ehud Hrushovski

Abstract: We draw a connection between the model-theoretic notions of modularity (or one-basedness), orthogonality and internality, as applied to difference fields, and questions of descent in in algebraic dynamics. In particular we prove in any dimension a strong dynamical version of Northcott's theorem for function fields, answering a question of Szpiro and Tucker and generalizing a theorem of Baker's f… ▽ More We draw a connection between the model-theoretic notions of modularity (or one-basedness), orthogonality and internality, as applied to difference fields, and questions of descent in in algebraic dynamics. In particular we prove in any dimension a strong dynamical version of Northcott's theorem for function fields, answering a question of Szpiro and Tucker and generalizing a theorem of Baker's for the projective line. The paper comes in three parts. This first part contains an exposition some of the main results of the model theory of difference fields, and their immediate connection to questions of descent in algebraic dynamics. We present the model-theoretic notion of internality in a context that does not require a universal domain with quantifier-elimination. We also note a version of canonical heights that applies well beyond polarized algebraic dynamics. Part II sharpens the structure theory to arbitrary base fields and constructible maps where in part I we emphasize finite base change and correspondences. Part III will include precise structure theorems related to the Galois theory considered here, and will enable a sharpening of the descent results for non-modular dynamics. △ Less

Submitted 4 July, 2008; v1 submitted 24 November, 2007; originally announced November 2007.

Comments: Revised version

MSC Class: 03C60; 12H10; 14GXX

On NIP and invariant measures

Authors: Ehud Hrushovski, Anand Pillay

Abstract: We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of $NIP$ (not the independence property), continuing aspects of math.LO/0607442. Among key results are: (i) if $p = tp(b/A)$ does not fork over $A$ then the Lascar strong type of $b$ over $A$ coincides with the compact strong type of $b$ over $A$ and any global nonforking extension of $p$ is Borel d… ▽ More We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of $NIP$ (not the independence property), continuing aspects of math.LO/0607442. Among key results are: (i) if $p = tp(b/A)$ does not fork over $A$ then the Lascar strong type of $b$ over $A$ coincides with the compact strong type of $b$ over $A$ and any global nonforking extension of $p$ is Borel definable over $bdd(A)$ (ii) analogous statements for Keisler measures and definable groups, including the fact that $G^{000} = G^{00}$ for $G$ definably amenable, (iii) definitions, characterizations and properties of "generically stable" types and groups (iv) uniqueness of translation invariant Keisler measures on groups with finitely satisfiable generics (vi) A proof of the compact domination conjecture for definably compact commutative groups in $o$-minimal expansions of real closed fields. △ Less

Submitted 29 January, 2009; v1 submitted 11 October, 2007; originally announced October 2007.

Comments: Changes from the first version include removing the old section 8 on generic compact domination, giving a more complete account of the Vapnik-Chervonenkis theorem and its applications, the addition of an appendix on the existence of definable Skolem functions in suitable o-minimal structures, as well as expanding and clarifying various proofs

MSC Class: 03C45; 03C60; 20F67

Definable equivalence relations and zeta functions of groups

Authors: Ehud Hrushovski, Ben Martin, Silvain Rideau, Raf Cluckers

Abstract: We prove that the theory of the $p$-adics ${\mathbb Q}_p$ admits elimination of imaginaries provided we add a sort for ${\rm GL}_n({\mathbb Q}_p)/{\rm GL}_n({\mathbb Z}_p)$ for each $n$. We also prove that the elimination of imaginaries is uniform in $p$. Using $p$-adic and motivic integration, we deduce the uniform rationality of certain formal zeta functions arising from definable equivalence re… ▽ More We prove that the theory of the $p$-adics ${\mathbb Q}_p$ admits elimination of imaginaries provided we add a sort for ${\rm GL}_n({\mathbb Q}_p)/{\rm GL}_n({\mathbb Z}_p)$ for each $n$. We also prove that the elimination of imaginaries is uniform in $p$. Using $p$-adic and motivic integration, we deduce the uniform rationality of certain formal zeta functions arising from definable equivalence relations. This also yields analogous results for definable equivalence relations over local fields of positive characteristic. The appendix contains an alternative proof, using cell decomposition, of the rationality (for fixed $p$) of these formal zeta functions that extends to the subanalytic context. As an application, we prove rationality and uniformity results for zeta functions obtained by counting twist isomorphism classes of irreducible representations of finitely generated nilpotent groups; these are analogous to similar results of Grunewald, Segal and Smith and of du Sautoy and Grunewald for subgroup zeta functions of finitely generated nilpotent groups. △ Less

Submitted 30 December, 2017; v1 submitted 30 December, 2006; originally announced January 2007.

Comments: 89 pages. Various corrections and changes. To appear in J. Eur. Math. Soc

MSC Class: 03C60; 03C10; 11M41; 20E07; 20C15

The value ring of geometric motivic integration and the Iwahori Hecke algebra of SL_2

Authors: Ehud Hrushovski, David Kazhdan

Abstract: In \cite{HK}, an integration theory for valued fields was developed with a Grothendieck group approach. It was shown that the semiring of semi-algebraic sets with measure preserving morphisms is isomorphic to a certain semiring formed out of twisted varieties over the residue field and rational polytopes over the value group. With a view to representation-theoretic applications, we require a simpl… ▽ More In \cite{HK}, an integration theory for valued fields was developed with a Grothendieck group approach. It was shown that the semiring of semi-algebraic sets with measure preserving morphisms is isomorphic to a certain semiring formed out of twisted varieties over the residue field and rational polytopes over the value group. With a view to representation-theoretic applications, we require a simpler description of the possible values of the integration, and in particular natural homomorphisms into fields. In the present paper we obtain such results after tensoring with Q. Since this operation trivializes the full semiring, we restrict to bounded sets. We show that the resulting Q-algebra is generated by its one-dimensional part. In the "geometric" case, i.e. working over an elementary submodel as a base, we determine the structure precisely. As a corollary we obtain useful canonical homomorphisms in the general case. In the appendix we define the Iwahori Hecke algebra of $SL_2$ over an algebraically closed valued field using motivic integration (to replace the Haar measure) and study its structure. △ Less

Submitted 3 September, 2013; v1 submitted 4 September, 2006; originally announced September 2006.

Comments: 33 pages, with an appendix by Nir Avni. v.2 minor spelling mistake. v.3 Some typos corrected, notably in Lemma 3.12 and Theorem 3.22; Cor. 3.5 is stated more strongly with same proof; a couple of remarks have been added

MSC Class: 03C60; 11S80; 20C08

Groups, measures, and the NIP

Authors: Ehud Hrushovski, Ya'acov Peterzil, Anand Pillay

Abstract: We discuss measures, invariant measures on definable groups, and genericity, often in an NIP (failure of the independence property) environment. We complete the proof of the third author's conjectures relating definably compact groups $G$ in saturated $o$-minimal structures to compact Lie groups. We also prove some other structural results about such $G$, for example the existence of a left inva… ▽ More We discuss measures, invariant measures on definable groups, and genericity, often in an NIP (failure of the independence property) environment. We complete the proof of the third author's conjectures relating definably compact groups $G$ in saturated $o$-minimal structures to compact Lie groups. We also prove some other structural results about such $G$, for example the existence of a left invariant finitely additive probability measure on definable subsets of $G$. We finally introduce a new notion "compact domination" (domination of a definable set by a compact space) and raise some new conjectures in the $o$-minimal case. △ Less

Submitted 18 July, 2006; originally announced July 2006.

Comments: 47pp

Groupoids, imaginaries and internal covers

Authors: Ehud Hrushovski

Abstract: Let $T$ be a first-order theory. A correspondence is established between internal covers of models of $T$ and definable groupoids within $T$. We also consider amalgamations of independent diagrams of algebraically closed substructures, and find strong relation between: covers, uniqueness for 3-amalgamation, existence of 4-amalgamation, imaginaries of $T^\si$, and definable groupoids. As a corollar… ▽ More Let $T$ be a first-order theory. A correspondence is established between internal covers of models of $T$ and definable groupoids within $T$. We also consider amalgamations of independent diagrams of algebraically closed substructures, and find strong relation between: covers, uniqueness for 3-amalgamation, existence of 4-amalgamation, imaginaries of $T^\si$, and definable groupoids. As a corollary, we describe the imaginary elements of families of finite-dimensional vector spaces over pseudo-finite fields. △ Less

Submitted 2 March, 2011; v1 submitted 16 March, 2006; originally announced March 2006.

Comments: Local improvements; thanks to referee of Turkish Mathematical Journal. First appeared in the proceedings of the Paris VII seminar: structures algébriques ordonnée (2004/5)

MSC Class: 03C07

Stable domination and independence in algebraically closed valued fields

Authors: Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson

Abstract: We seek to create tools for a model-theoretic analysis of types in algebraically closed valued fields (ACVF). We give evidence to show that a notion of 'domination by stable part' plays a key role. In Part A, we develop a general theory of stably dominated types, showing they enjoy an excellent independence theory, as well as a theory of definable types and germs of definable functions. In Part… ▽ More We seek to create tools for a model-theoretic analysis of types in algebraically closed valued fields (ACVF). We give evidence to show that a notion of 'domination by stable part' plays a key role. In Part A, we develop a general theory of stably dominated types, showing they enjoy an excellent independence theory, as well as a theory of definable types and germs of definable functions. In Part B, we show that the general theory applies to ACVF. Over a sufficiently rich base, we show that every type is stably dominated over its image in the value group. For invariant types over any base, stable domination coincides with a natural notion of `orthogonality to the value group'. We also investigate other notions of independence, and show that they all agree, and are well-behaved, for stably dominated types. One of these is used to show that every type extends to an invariant type; definable types are dense. Much of this work requires the use of imaginary elements. We also show existence of prime models over reasonable bases, possibly including imaginaries. △ Less

Submitted 20 November, 2006; v1 submitted 11 November, 2005; originally announced November 2005.

MSC Class: 12J10; 03C45; 03C60

Integration in valued fields

Authors: Ehud Hrushovski, David Kazhdan

Abstract: We develop a theory of integration over valued fields of residue characteristic zero. In particular we obtain new and base-field independent foundations for integration over local fields of large residue characteristic, extending results of Denef,Loeser, Cluckers. The method depends on an analysis of definable sets up to definable bijections. We obtain a precise description of the Grothendieck s… ▽ More We develop a theory of integration over valued fields of residue characteristic zero. In particular we obtain new and base-field independent foundations for integration over local fields of large residue characteristic, extending results of Denef,Loeser, Cluckers. The method depends on an analysis of definable sets up to definable bijections. We obtain a precise description of the Grothendieck semigroup of such sets in terms of related groups over the residue field and value group. This yields new invariants of all definable bijections, as well as invariants of measure preserving bijections. △ Less

Submitted 28 April, 2006; v1 submitted 6 October, 2005; originally announced October 2005.

Comments: Local corrections

MSC Class: 03C60; 11S80

A question of van den Dries and a theorem of Lipshitz and Robinson: Not everything is standard

Authors: Ehud Hrushovski, Ya'acov Peterzil

Abstract: We use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expansions of real closed fields and structures over the real numbers. We write a first order sentence which is true in the Lipshitz-Robinson structure but fails in any possible interpretation over the field of real number… ▽ More We use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expansions of real closed fields and structures over the real numbers. We write a first order sentence which is true in the Lipshitz-Robinson structure but fails in any possible interpretation over the field of real numbers. △ Less

Submitted 28 September, 2005; originally announced September 2005.