A trace formula for rigid varieties, and motivic Weil generating series for formal schemes (Q1000583)

This paper is an extension of the results of the author with \textit{J. Sebag} in [Invent.\ Math.\ 168, No.\ 1, 133--173 (2007; Zbl 1136.14010)]. He introduces motivic integration, the motivic Serre invariant, and the Weil generating series for certain classes of formal schemes \(X\) (regular of pseudo-finite type over a complete d.v.r.). For this, he proves a trace formula, that states that the \(\ell\)-adic euler characteristic of the Serre invariant of the generic fiber of \(X\) is the trace of the action of a generator of the tame geometric monodromy group on the \(\ell\)-adic cohomology space of \(X\) base changed to the tame closure of the ground field. (Note: the tameness condition is really necessary). The proof is ``by explicit computation'', or possibly by resolutions of singularities if the characteristic of the ground field is zero. A typical application is the following comparison result: let \(f\) be a morphism from a smooth variety to the affine line. The motivic zeta function of \(f\) coincides with the Weil generating series of the formal completion of \(f\).