Motivic integration and the Grothendieck group of pseudo-finite fields

We survey our recent work on an extension of the theory of motivic integration, called arithmetic motivic integration. We developed this theory to understand how p-adic integrals of a very general type depend on p.Comment: 11 page

Non-archimedean tame topology and stably dominated types

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.Comment: Final versio

Character sums associated to finite Coxeter groups

We prove a character sum identity for Coxeter arrangements which is a finite field analogue of Macdonald's conjecture proved by Opdam.Comment: 20 pages, to appear in Transactions of the A.M.

Lefschetz numbers of iterates of the monodromy and truncated arcs

We express 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.Comment: 10 page