Integration over spaces of non-parametrized arcs and motivic versions of the monodromy zeta function

These notes give a basic introduction to the theory of $p$-adic and motivic zeta functions, motivic integration, and the monodromy conjecture.

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 Nic...

We provide a gentle introduction to arc spaces, motivic integration and stringy invariants. We explain the basic concepts and first results, including the p-adic number theoretic pre-history, and we provide concrete examples. The text is a slightly adapted version of the 'extended abstract' of the author's talks at the 12th MSJ-IRI "Singularity Theory and Its Applications" (2003) in Sapporo. At the end we included a list of various recent results.

We discuss some formulae which express the Alexander polynomial (and thus the zeta-function of the classical monodromy transformation) of a plane curve singularity in terms of the ring of functions on the curve. One of them describes the coefficients of the Alexander polynomial or of zeta-function of the monodromy transformation as Euler characteristics of some explicitly constructed spaces. For the Alexander polynomial these spaces are complements to arrangements of projecti...

A meromorphic function on a compact complex analytic manifold defines a $\bc\infty$ locally trivial fibration over the complement of a finite set in the projective line $\bc\bp^1$. We describe zeta-functions of local monodromies of this fibration around atypical values. Some applications to polynomial functions on $\bc^n$ are described.

Motivic measure on the space of functions was introduced by Campillo, Delgado and Gusein-Zade as an analog of the motivic measure on the space of arcs . In this paper we prove that the measure on the space of functions can be related to the motivic measure on the space of arcs by a factor, which can be defined explicitly in geometric terms. This provides a possibility to rewrite motivic integrals over the space of functions as integrals over the union of all symmetric powers ...

To a Nash function germ, we associate a zeta function similar to the one introduced by J. Denef and F. Loeser. Our zeta function is a formal power series with coefficients in the Grothendieck ring $\mathcal{M}$ of $\mathcal{AS}$-sets up to $\mathbb{R}^*$-equivariant $\mathcal{AS}$-bijections over $\mathbb{R}^*$, an analog of the Grothendieck ring constructed by G. Guibert, F. Loeser and M. Merle. This zeta function generalizes the previous construction of G. Fichou but thanks...

Earlier the authors offered an equivariant version of the classical monodromy zeta function of a G-invariant function germ with a finite group G as a power series with the coefficients from the Burnside ring of the group G tensored by the field of rational numbers. One of the main ingredients of the definition was the definition of the equivariant Lefschetz number of a G-equivariant transformation given by W.L\"uck and J.Rosenberg. Here we offer another approach to a definiti...

We offer an equivariant analogue of the monodromy zeta function of a germ invariant with respect to an action of finite group G as an element of the Grothendieck ring of finite (Z x G)-sets. We formulate equivariant analogues of the Sebastiani-Thom theorem and of the A'Campo formula.

This is an attempt at an elementary exposition, with examples, of the theory of motivic integration developed by R. Cluckers and F. Loeser, with the view towards applications in representation theory of p-adic groups.