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
Additional Information
- Kien Huu Nguyen
- Affiliation: Université Lille 1, Laboratoire Painlevé, CNRS - UMR 8524, Cité Scientifique, 59655 Villeneuve d’Ascq Cedex, France; and Department of Mathematics, Hanoi National University of Education, 136 XuanThuy street, Cau Giay, Hanoi, Vietnam
- Address at time of publication: Department of Mathematics, KU Leuven, Celestijnenlaan 200B, 3001 Leuven, Belgium
- MR Author ID: 1218332
- Email: hkiensp@gmail.com, kien.nguyenhuu@kuleuven.be
- Received by editor(s): October 25, 2016
- Received by editor(s) in revised form: July 19, 2017
- Published electronically: October 24, 2019
- Additional Notes: The author was supported by the European Research Council under the European Community’s Seventh Framework Programme (FP7/2007-2013) with ERC Grant Agreement nr. 61572 2 MOTMELSUM. He also acknowledges the support of the Labex CEMPI (ANR-11-LABX-0007-01).
- © Copyright 2019 by the author under Creative Commons Attribution-Noncommercial 3.0 License (CC BY NC 3.0)
- Journal: Trans. Amer. Math. Soc. Ser. B 6 (2019), 274-296
- MSC (2010): Primary 03C60; Secondary 03C10, 03C98, 11M41, 20E07, 20C15
- DOI: https://doi.org/10.1090/btran/23
- MathSciNet review: 4022599