Uniform rationality of the Poincaré series of definable, analytic equivalence relations on local fields

Nguyen, Kien

doi:10.1090/btran/23

Uniform rationality of the Poincaré series of definable, analytic equivalence relations on local fields
HTML articles powered by AMS MathViewer

by Kien Huu Nguyen HTML | PDF

Trans. Amer. Math. Soc. Ser. B 6 (2019), 274-296

Abstract:

Poincaré series of $p$-adic, definable equivalence relations have been studied in various cases since Igusa’s and Denef’s work related to counting solutions of polynomial equations modulo $p^n$ for prime $p$. General semi-algebraic equivalence relations on local fields have been studied uniformly in $p$ recently by Hrushovski, Martin and Rideau (2014). In this paper we generalize their rationality result to the analytic case, uniformly in $p$, we build further on their appendix given by Cluckers as well as on work by van den Dries (1992), on work by Cluckers, Lipshitz and Robinson (2006). In particular, the results hold for large positive characteristic local fields. We also introduce rational motivic constructible functions and their motivic integrals, as a tool to prove our main results.

References

A. I. Borevich and I. R. Shafarevich, Number theory, Pure and Applied Mathematics, Vol. 20, Academic Press, New York-London, 1966. Translated from the Russian by Newcomb Greenleaf. MR 0195803
Raf Cluckers, Analytic $p$-adic cell decomposition and integrals, Trans. Amer. Math. Soc. 356 (2004), no. 4, 1489–1499. MR 2034315, DOI 10.1090/S0002-9947-03-03458-5
R. Cluckers and L. Lipshitz, Fields with analytic structure, J. Eur. Math. Soc. (JEMS) 13 (2011), no. 4, 1147–1223. MR 2800487, DOI 10.4171/JEMS/278
Raf Cluckers and Leonard Lipshitz, Strictly convergent analytic structures, J. Eur. Math. Soc. (JEMS) 19 (2017), no. 1, 107–149. MR 3584560, DOI 10.4171/JEMS/662
Raf Cluckers, Leonard Lipshitz, and Zachary Robinson, Analytic cell decomposition and analytic motivic integration, Ann. Sci. École Norm. Sup. (4) 39 (2006), no. 4, 535–568 (English, with English and French summaries). MR 2290137, DOI 10.1016/j.ansens.2006.03.001
Raf Cluckers and François Loeser, Constructible motivic functions and motivic integration, Invent. Math. 173 (2008), no. 1, 23–121. MR 2403394, DOI 10.1007/s00222-008-0114-1
Raf Cluckers and François Loeser, Motivic integration in all residue field characteristics for Henselian discretely valued fields of characteristic zero, J. Reine Angew. Math. 701 (2015), 1–31. MR 3331725, DOI 10.1515/crelle-2013-0025
Raf Cluckers and François Loeser, Ax-Kochen-Eršov theorems for $p$-adic integrals and motivic integration, Geometric methods in algebra and number theory, Progr. Math., vol. 235, Birkhäuser Boston, Boston, MA, 2005, pp. 109–137. MR 2159379, DOI 10.1007/0-8176-4417-2_{5}
Raf Cluckers and François Loeser, b-minimality, J. Math. Log. 7 (2007), no. 2, 195–227. MR 2423950, DOI 10.1142/S0219061307000664
Paul J. Cohen, Decision procedures for real and $p$-adic fields, Comm. Pure Appl. Math. 22 (1969), 131–151. MR 244025, DOI 10.1002/cpa.3160220202
J. Denef, The rationality of the Poincaré series associated to the $p$-adic points on a variety, Invent. Math. 77 (1984), no. 1, 1–23. MR 751129, DOI 10.1007/BF01389133
Jan Denef, Report on Igusa’s local zeta function, Astérisque 201-203 (1991), Exp. No. 741, 359–386 (1992). Séminaire Bourbaki, Vol. 1990/91. MR 1157848
J. Denef and L. van den Dries, $p$-adic and real subanalytic sets, Ann. of Math. (2) 128 (1988), no. 1, 79–138. MR 951508, DOI 10.2307/1971463
Lou van den Dries, Analytic Ax-Kochen-Ersov theorems, Proceedings of the International Conference on Algebra, Part 3 (Novosibirsk, 1989) Contemp. Math., vol. 131, Amer. Math. Soc., Providence, RI, 1992, pp. 379–398. MR 1175894
Deirdre Haskell, Ehud Hrushovski, and Dugald Macpherson, Definable sets in algebraically closed valued fields: elimination of imaginaries, J. Reine Angew. Math. 597 (2006), 175–236. MR 2264318, DOI 10.1515/CRELLE.2006.066
Deirdre Haskell, Ehud Hrushovski, and Dugald Macpherson, Unexpected imaginaries in valued fields with analytic structure, J. Symbolic Logic 78 (2013), no. 2, 523–542. MR 3145194, DOI 10.2178/jsl.7802100
Ehud Hrushovski, Ben Martin, and Silvain Rideau, Definable equivalence relations and zeta functions of groups, J. Eur. Math. Soc. (JEMS) 20 (2018), no. 10, 2467–2537. With an appendix by Raf Cluckers. MR 3852185, DOI 10.4171/JEMS/817
Jun-ichi Igusa, Complex powers and asymptotic expansions. I. Functions of certain types, J. Reine Angew. Math. 268(269) (1974), 110–130. MR 347753, DOI 10.1515/crll.1974.268-269.110
Jun-ichi Igusa, Complex powers and asymptotic expansions. II. Asymptotic expansions, J. Reine Angew. Math. 278(279) (1975), 307–321. MR 404215, DOI 10.1515/crll.1975.278-279.307
Jun-ichi Igusa, Forms of higher degree, Tata Institute of Fundamental Research Lectures on Mathematics and Physics, vol. 59, Tata Institute of Fundamental Research, Bombay; Narosa Publishing House, New Delhi, 1978. MR 546292
Angus Macintyre, On definable subsets of $p$-adic fields, J. Symbolic Logic 41 (1976), no. 3, 605–610. MR 485335, DOI 10.2307/2272038
Angus Macintyre, Rationality of $p$-adic Poincaré series: uniformity in $p$, Ann. Pure Appl. Logic 49 (1990), no. 1, 31–74. MR 1076249, DOI 10.1016/0168-0072(90)90050-C
David Marker, Model theory, Graduate Texts in Mathematics, vol. 217, Springer-Verlag, New York, 2002. An introduction. MR 1924282
Johan Pas, Uniform $p$-adic cell decomposition and local zeta functions, J. Reine Angew. Math. 399 (1989), 137–172. MR 1004136, DOI 10.1515/crll.1989.399.137
Jean-Pierre Serre, Quelques applications du théorème de densité de Chebotarev, Inst. Hautes Études Sci. Publ. Math. 54 (1981), 323–401 (French). MR 644559