Algèbre et géométrie

Real semialgebraic sets admit so-called cellular decomposition, i.e. representation as a union of convenient semialgebraic images of standard cubes. The Gromov-Yomdin Lemma (later generalized by Pila and Wilkie) proves that the maps could be chosen of C^r-smooth norm at most one, and the number of such maps is uniformly bounded for finite-dimensional families. This number was not effectively bounded by Yomdin or Gromov, but itnecessarily grows as r ? ?. It turns out there is a natural obstruction to a naive holomorphic complexification of this result related to the natural […]

Tame geometry is the study of structures where the definable sets admit finite complexity. Around 15 years ago Pila and Wilkie discovered a deep connection between tame geometry and diophantine approximation, in the form of asymptotic estimates on the number of rational points in a tame set (as a function of height). This later led to deep applications in diophantine geometry, functional transcendence and Hodge theory.I will describe some conjectures and a long-term project around a more effective form of tame geometry, suited for improving the quality of the diophantine […]

I will report on a joint work with Mário Edmundo and Jinhe Ye in which we introduced a sheaf cohomology theory for algebraic varieties over non-archimedean fields based on Hrushovski-Loeser spaces. After informally framing our main results with respect to classical statements, I will discuss some details of our construction and the main difficulties arising in this new context. If time allows, I will further explain how our results allow us to recover results of V. Berkovich on the sheaf cohomology of the analytification of an algebraic variety over a […]

Fix an abstract field K. For each K-variety V, we will define an étale-open topology on the set V(K) of rational points of V. This notion uniformly recovers (1) the Zariski topology on V(K) when K is algebraically closed, (2) the analytic topology on V(K) when K is the real numbers, (3) the valuation topology on V(K) when K is almost any henselian field. On pseudo-finite fields, the étale-open topology seems to be new, and has some interesting properties.The étale-open topology is mostly of interest when K is large (also […]

In their work, Hrushovski and Loeser proposed the space V̂ of generically stable types concentrating on V to study the homotopy type of the Berkovich analytification of V. An important feature of V̂ is that it is canonically identified as a projective limit of definable sets in ACVF, which grants them tools from model theory. In this talk, we will give a brief introduction to this object and present an alternative approach to internalize various spaces of definable types, motivated by Poizat's work on belles paires of stable theories. Several […]

Fix an abstract field K. For each K-variety V, we will define an “étale-open” topology on the set V(K) of rational points of V. This notion uniformly recovers (1) the Zariski topology on V(K) when K is algebraically closed, (2) the analytic topology on V(K) when K is the real numbers, (3) the valuation topology on V(K) when K is almost any henselian field. On pseudo-finite fields, the étale-open topology seems to be new, and has some interesting properties. The étale-open topology is mostly of interest when Kis large (also […]

Groups definable in o-minimal structures have been studied by many authors in the last 30 years and include algebraic groups over algebraically closed fields of characteristic 0, semi-algebraic groups over real closed fields, important classes of real Lie groups such as abelian groups, compact groups and linear semisimple groups. In this talk I will present results on groups definable in o-minimal structures, demonstrating a strong analogy with topological decompositions of linear algebraic groups. Limitations of this analogy will be shown through several examples.

Skolem (1956) studied the germs at infinity of the smallest class of real valued functions on the positive real line containing the constant 1, the identity function x, and such that whenever f and g are in the set, f+g, fg and f^g are also in the set. This set of germs is well ordered and Skolem conjectured that its order type is epsilon-zero. Van den Dries and Levitz (1984) computed the order type of the fragment below 2^(2^x). They did so by studying the possible limits at infinity of […]

Roth's theorem on arithmetic progression states that a subset A of the natural numbers of positive upper density contains an arithmetic progression of length 3, that is, the equation x+z=2y has a solution in A.Finitary versions of Roth's theorem study subsets A of {0, ... , N}, and ask whether the same holds for sufficiently large N, for a fixed lower bound on the density. In a similar way, concerning finite groups, one may study whether or not sufficiently large sets of a finite group contain solutions of an equation, […]