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 […]