Arithmetic motivic Poincaré series of toric varieties (Q1951010)

The aim of the paper is the study of the arithmetic motivic Poincaré series of a toric variety. Let us begin with some definitions: If \((S,0)\) is a germ of algebraic variety defined over a characteristic zero field \(k\), then \(H_m(S)\) is the set of \(m\)-jets, i.e. the set of morphisms Spec\((k[t]/(t^{m+1}))\longrightarrow S\) which send the closed point onto 0. \textit{J. Denef} and \textit{F. Loeser} [J. Am. Math. Soc. 14, No. 2, 429--469 (2001; Zbl 1040.14010)] introduced the arithmetic motivic Poincaré series of \((S,0)\) which is the generating series of the sequence \(([H_m(S)])_m\) where \([Y]\) denotes the arithmetic measure of a Zariski locally closed set \(Y\) (i.e. the image of \(Y\) in the Grothendieck ring of Chow motives). Denef and Loeser proved that this generating series \(P(T)\) is rational and its denominator is a product of terms of the form \(1-\mathbb{L}^aT^b\) for some \(a\in\mathbb{Z}\) and \(b\in\mathbb{N}\). This series is a more subtle invariant than the geometric Poincaré series introduced by \textit{J. Denef} and \textit{F. Loeser} in [Invent. Math. 135, No. 1, 201--232 (1999; Zbl 0928.14004] and it specializes (in the case \(S\) is defined over the integers) into another generating series, the Serre-Osterlé series of \((S,0)\). The rationality of this Poincaré series is proved using non effective methods (resolution of singularities and quantifier elimination for the field \(k((t))\)). The specific form of the denominator of the arithmetic motivic Poincaré series of \((S,0)\) motives the study of the poles of this series, in particular it is a natural problem to relate these poles to geometric invariants of \((S,0)\). Very few cases have been studied (plane curves, normal toric surfaces, quasi-ordinary hypersurfaces... see the paper under review for references), and the subject of this paper is the study of this Poincaré series for germs of toric variety (not necessarily normal). In particular it provides a finite set of of candidate poles for this series.