[Intégration de fonctions de classe motivique exponentielle, uniforme dans tous les corps locaux de caractéristique nulle]
Par une cascade de généralisations, nous développons une théorie de l’intégration motivique qui fonctionne uniformément dans tous les corps locaux non archimédiens de caractéristique nulle, en surmontant des difficultés reliées à la ramification et à la caractéristique résiduelle petite. Nous définissons une classe de fonctions – appelées fonctions de classe motivique exponentielle – dont nous démontrons qu’elle est stable par intégration et par transformation de Fourier, étendant des résultats et des définitions de [10], [11] et [5]. Nous démontrons des résultats uniformes reliés à la rationalité et à différents types de lieux. Un ingrédient clef est une forme raffinée de l’élimination des quantificateurs de Denef-Pas, qui nous permet de comprendre des ensembles définissables dans le groupe de valeur et dans le corps valué.
Through a cascade of generalizations, we develop a theory of motivic integration which works uniformly in all non-archimedean local fields of characteristic zero, overcoming some of the difficulties related to ramification and small residue field characteristics. We define a class of functions, called functions of motivic exponential class, which we show to be stable under integration and under Fourier transformation, extending results and definitions from [10], [11] and [5]. We prove uniform results related to rationality and to various kinds of loci. A key ingredient is a refined form of Denef-Pas quantifier elimination which allows us to understand definable sets in the value group and in the valued field.
Accepté le :
Publié le :
DOI : 10.5802/jep.63
Keywords: Motivic integration, motivic Fourier transforms, motivic exponential functions, $p$-adic integration, non-archimedean geometry, Denef-Pas cell decomposition, quantifier elimination, uniformity in all local fields
Mot clés : Intégration motivique, transformation de Fourier motivique, fonctions motiviques exponentielles, intégration $p$-adique, géométrie non archimédienne, décomposition cellulaire de Denef-Pas, élimination des quantificateurs, uniformité dans tous les corps locaux
@article{JEP_2018__5__45_0, author = {Cluckers, Raf and Halupczok, Immanuel}, title = {Integration of functions of~motivic~exponential~class, uniform~in~all~non-archimedean local fields of characteristic zero}, journal = {Journal de l{\textquoteright}\'Ecole polytechnique {\textemdash} Math\'ematiques}, pages = {45--78}, publisher = {Ecole polytechnique}, volume = {5}, year = {2018}, doi = {10.5802/jep.63}, mrnumber = {3732692}, zbl = {06988573}, language = {en}, url = {http://www.numdam.org/articles/10.5802/jep.63/} }
TY - JOUR AU - Cluckers, Raf AU - Halupczok, Immanuel TI - Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero JO - Journal de l’École polytechnique — Mathématiques PY - 2018 SP - 45 EP - 78 VL - 5 PB - Ecole polytechnique UR - http://www.numdam.org/articles/10.5802/jep.63/ DO - 10.5802/jep.63 LA - en ID - JEP_2018__5__45_0 ER -
%0 Journal Article %A Cluckers, Raf %A Halupczok, Immanuel %T Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero %J Journal de l’École polytechnique — Mathématiques %D 2018 %P 45-78 %V 5 %I Ecole polytechnique %U http://www.numdam.org/articles/10.5802/jep.63/ %R 10.5802/jep.63 %G en %F JEP_2018__5__45_0
Cluckers, Raf; Halupczok, Immanuel. Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero. Journal de l’École polytechnique — Mathématiques, Tome 5 (2018), pp. 45-78. doi : 10.5802/jep.63. http://www.numdam.org/articles/10.5802/jep.63/
[1] The wave front set of the Fourier transform of algebraic measures, Israel J. Math., Volume 207 (2015) no. 2, pp. 527-580 | MR | Zbl
[2] Relative elimination of quantifiers for Henselian valued fields, Ann. Pure Appl. Logic, Volume 53 (1991) no. 1, pp. 51-74 | DOI | MR | Zbl
[3] Presburger sets and -minimal fields, J. Symbolic Logic, Volume 68 (2003), pp. 153-162 | DOI | MR | Zbl
[4] Orbital integrals for linear groups, J. Inst. Math. Jussieu, Volume 7 (2008) no. 2, pp. 269-289 | MR | Zbl
[5] Integrability of oscillatory functions on local fields: transfer principles, Duke Math. J., Volume 163 (2014) no. 8, pp. 1549-1600 | DOI | MR | Zbl
[6] Uniform analysis on local fields and applications to orbital integrals (2017) (arXiv:1703.03381)
[7] Fields with analytic structure, J. Eur. Math. Soc. (JEMS), Volume 13 (2011), pp. 1147-1223 | DOI | MR | Zbl
[8] -minimality, J. Math. Logic, Volume 7 (2007) no. 2, pp. 195-227 | MR | Zbl
[9] Constructible motivic functions and motivic integration, Invent. Math., Volume 173 (2008) no. 1, pp. 23-121 | MR | Zbl
[10] Constructible exponential functions, motivic Fourier transform and transfer principle, Ann. of Math. (2), Volume 171 (2010), pp. 1011-1065 | DOI | MR | Zbl
[11] Motivic integration in all residue field characteristics for Henselian discretely valued fields of characteristic zero, J. reine angew. Math., Volume 701 (2015), pp. 1-31 | MR | Zbl
[12] Decision procedures for real and -adic fields, Comm. Pure Appl. Math., Volume 22 (1969), pp. 131-151 | DOI | MR | Zbl
[13] The rationality of the Poincaré series associated to the -adic points on a variety, Invent. Math., Volume 77 (1984), pp. 1-23 | DOI | Zbl
[14] -adic semialgebraic sets and cell decomposition, J. reine angew. Math., Volume 369 (1986), pp. 154-166
[15] On the Degree of Igusa’s local zeta function, Amer. J. Math., Volume 109 (1987), pp. 991-1008 | DOI | MR | Zbl
[16] Report on Igusa’s local zeta function, Séminaire Bourbaki (Astérisque), Volume 201-203, Société Mathématique de France, 1991, pp. 359-386 | Zbl
[17] Arithmetic and geometric applications of quantifier elimination for valued fields, Model theory, algebra, and geometry (Haskell, D.; Pillay, A.; Steinhorn, C., eds.) (MSRI Publications), Volume 39, Cambridge University Press, 2000, pp. 173-198 | MR
[18] Definable sets, motives and -adic integrals, J. Amer. Math. Soc., Volume 14 (2001) no. 2, pp. 429-469 | DOI | MR | Zbl
[19] Relative decidability and definability in henselian valued fields, J. Symbolic Logic, Volume 76 (2011) no. 4, pp. 1240-1260 | DOI | MR | Zbl
[20] Resolution of singularities of an algebraic variety over a field of characteristic zero. I, Ann. of Math. (2), Volume 79 (1964) no. 1, pp. 109-203 | MR | Zbl
[21] Integration in valued fields, Algebraic geometry and number theory (Progress in Math.), Volume 253, Birkhäuser Boston, Boston, MA, 2006, pp. 261-405 | DOI | MR | Zbl
[22] An introduction to the theory of local zeta functions, Studies in advanced mathematics, American Mathematical Society, Providence, RI, 2000 | Zbl
[23] Motivic integration on smooth rigid varieties and invariants of degenerations, Duke Math. J., Volume 119 (2003) no. 2, pp. 315-344 | MR | Zbl
[24] On definable subsets of -adic fields, J. Symbolic Logic, Volume 41 (1976), pp. 605-610 | DOI | MR | Zbl
[25] Invariant de Serre et fibre de Milnor analytique, Comptes Rendus Mathématique, Volume 341 (2005) no. 1, pp. 21-24 | DOI | MR | Zbl
[26] Motivic Serre invariants, ramification, and the analytic Milnor fiber, Invent. Math., Volume 168 (2007) no. 1, pp. 133-173 | MR | Zbl
[27] Uniform -adic cell decomposition and local zeta functions, J. reine angew. Math., Volume 399 (1989), pp. 137-172 | MR | Zbl
[28] Cell decomposition and local zeta functions in a tower of unramified extensions of a -adic field, Proc. London Math. Soc. (3), Volume 60 (1990) no. 1, pp. 37-67 | DOI | MR | Zbl
[29] Some properties of analytic difference valued fields, J. Inst. Math. Jussieu, Volume 16 (2017) no. 3, pp. 447-499 | DOI | MR | Zbl
[30] Intégration motivique sur les schémas formels, Bull. Soc. math. France, Volume 132 (2004) no. 1, pp. 1-54 | DOI | Numdam | Zbl
Cité par Sources :