Motivic integration in all residue field characteristics for Henselian discretely valued fields of characteristic zero
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)].
- Intégration motivique sur les schémas formels
- Analytic cell decomposition and analytic motivic integration
- Integration of functions of motivic exponential class, uniform in all non-Archimedean local fields of characteristic zero
- A motivic version of p-adic integration
- Motivic integration in mixed characteristic with bounded ramification: a summary
- Integrability of oscillatory functions on local fields: transfer principles
- Evaluation of motivic functions, non-nullity, and integrability in fibers
- Motivic local density
- A motivic local Cauchy-Crofton formula
- Shalika Germs for $$\mathfrak{s}\mathfrak{l}_{n}$$ and $$\mathfrak{s}\mathfrak{p}_{2n}$$ Are Motivic
- Motivic integration in mixed characteristic with bounded ramification: a summary
- Transfer principles for bounds of motivic exponential functions
- A motivic version of p-adic integration
- Analytic cell decomposition and analytic motivic integration
- Chai's conjecture and Fubini properties of dimensional motivic integration
- Integration of functions of motivic exponential class, uniform in all non-Archimedean local fields of characteristic zero
- The auto Igusa-zeta function of a plane curve singularity is rational
- Intégration motivique sur les schémas formels
- scientific article; zbMATH DE number 2115452 (Why is no real title available?)
- Formal deformations of algebraic spaces and generalizations of the motivic Igusa-zeta function
- Uniform rationality of the Poincaré series of definable, analytic equivalence relations on local fields
- Integration in valued fields
- Hensel minimality I
- Ideal growth in amalgamated powers of nilpotent rings of class two and zeta functions of quiver representations
- Integration in algebraically closed valued fields
- Motivic Vitushkin invariants
- Riso-stratifications and a tree invariant
This page was built for publication: Motivic integration in all residue field characteristics for Henselian discretely valued fields of characteristic zero
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2018377)
