Motivic integration in all residue field characteristics for Henselian discretely valued fields of characteristic zero (Q2018377)

This paper generalizes the results by \textit{R. Cluckers} and \textit{F. Loeser} [Invent. Math. 173, No. 1, 23--121 (2008; Zbl 1179.14011)] about (arithmetic) motivic integration. Recall that arithmetic motivic integration is a formalism to integrate functions on \(X(K)\) uniformly in \(K\), where \(X\) is a definable set (e.g.\ a variety), \(K\) is a suitable valued field and the functions one integrates are defined in terms of definable objects in \(K\). Here, ``definable'' means: definable in a certain first-order language \(\mathcal L\). In [Zbl 1179.14011], the fields \(K\) are complete, discretely valued fields of equi-characteristic \(0\), and \(\mathcal L\) is the Denef-Pas language (i.e., up to interdefinability, the language of rings together with a predicate for the valuation ring and an angular component map). The present paper generalizes this as follows: (1) Instead of considering valued fields \(K\) of equi-characteristic \(0\), one considers fields of characteristic \(0\) and fixed residue characteristic \(p\) (which may be \(0\)) and of fixed ramification degree \(e\) (which is \(0\) if \(p = 0\)). The conditions that \(K\) is complete and discretely valued are kept. (2) The language \(\mathcal L\) contains higher angular component maps \(\text{ac}_n: K \to \mathcal O_K/ \pi_K^nO_K\), \(x \mapsto \pi_K^{-\text{ord}(x)}x+\pi_K^nO_K\), where \(O_K\) is the valuation ring and \(\pi_K\) is a uniformizer. (These \(\text{ac}_n\) are added to the language even in the case \(p=0\), where they would not be necessary to get a working theory, but where they nevertheless enrich the class of functions that can be integrated.) (3) The language \(\mathcal L\) is allowed to be even larger, as long as certain axioms are satisfied. In particular, analytic functions can be included in the language. Whereas the motivic integration from [Zbl 1179.14011] specializes to (\(p\)-adic) integration in local fields of characteristic \((0, p)\) only for sufficiently big \(p\), the one from the present paper specializes to all \(p\), as long as the ramification is bounded. In particular, this makes it possible to compute \(p\)-adic integrals uniformly in all finite extensions of \(\mathbb Q_p\) of fixed ramification \(e\). As an example application, one obtains motivic Igusa local zeta functions that specialize to all those extensions of \(\mathbb Q_p\), generalizing [\textit{J. Denef} and \textit{F. Loeser}, J. Am. Math. Soc. 14, No. 2, 429--469 (2001; Zbl 1040.14010)]. The formalism is also used to implement motivic integration on rigid varieties (using an analytic language \(\mathcal L\)), and it is shown that the results are compatible with those from \textit{F. Loeser} and \textit{J. Sebag} [Duke Math. J. 119, No. 2, 315--344 (2003; Zbl 1078.14029)].