La rationalité uniforme de la série Poincaré de relations d'équivalence p-adiques et la conjecture d'Igusa sur des sommes exponentielles

• Main Author: Nguyen, Huu Kien
• Other Authors: Lille 1
• Language: fr
• Published: 2018
• Subjects: Intégration motivique; Famille définissable des relations équivalences; Élimination des imaginaires; Seuil log canonique; 515.243
• Online Access: http://www.theses.fr/2018LIL1I020/document

La rationalité des séries de Poincaré associées avec famille définissable des relations équivalences dans quelques théories sur corps valués a été recherchée par Denef. Ce problème a une relation avec l'existence d'élimination des imaginaires des théories sur corps valués (voir le résultat de Hrushovski, Martin and Rideau). La théorie d'intégration motivique est née nous aide pour montrer la dépendance uniforme dans corps locaux p-adiques de la rationalité des séries de Poincaré. Dans le chapitre 1 de cette thèse, je donne une extension du résultat sur la rationalité uniforme dans p des séries de Poincaré associées avec famille définissable des relations équivalences dans quelques théories sur corps valués dans lesquels élimination des imaginaires n'est pas prouvée comme théories sur structures analytiques. Ma méthode est que j'étends la théorie d'intégration motivique pour fonctions constructibles dans deux papiers de Cluckers et Loeser aux fonctions constructibles rationnelles. Autre problème important dans la théorie des nombres est estimation des sommes exponentielles. Sommes exponentielles modulo pm pour un nombre premier p et un nombre naturel m a été étudié par Igusa. Igusa a découvert une relation profonde entre estimation des sommes exponentielles avec pôles de la fonction zêta local d'Igusa et montré que si on a une estimation uniforme dans p et m de sommes exponentielles, on peut obtenir une formule sommatoire de Poisson pour Adèle de type de Siegel-Weil. Dans les chapitres 2, 3, 4, on va prouver quelques versions uniformes dans p et m de borne supérieure de sommes exponentielles donnés par le seuil log canonique ou par polyèdre de Newton. === The results in the rationality of Poincaré series associated with definable family of equivalence relations over valued fields was researched by Denef. This problem has relation with the existence of elimination of imaginaries theorem for theories of valued fields (see the result of Hrushovski, Martin and Rideau). Motivic integration theory was born helps us to show the uniform dependence of the rationality of Poincaré series on p-adic local fields. In the chapter 1 of this thesis, I extend the result on p-uniform rationality of Poincaré series associated with definable family of equivalence relations in some theories of valued field in which elimination of imaginaries has not been proved yet, for example theories on analytic structures. My method is that I extend the motivic integration theory for constructible motivic functions in two papers of Cluckers and Loeser to rational constructible motivic functions. Another classical problem of number theory is estimation of exponential sums. Exponential sums modulo pm was studied by Igusa, and for a fixed prime p, he gave a deep relation between estimation of exponential sums modulo pm and poles of Igusa local zeta function. Igusa also showed that a uniform estimation in p and m of exponential sums modulo pm could give an Poisson summation formula of Siegel-Weil type. By this motivation, many researches tried to give the best uniform upper bound of exponential sums modulo pm. In the chapters 2, 3, 4, we will try to obtain some uniform versions for upper bound of exponential sums modulo pm given by log-canonical threshold or Newton polyhedron due to Igusa's, Denef-Sperber's and Cluckers-Veys's conjectures.