Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter August 14, 2021

A p-adic variant of Kontsevich–Zagier integral operation rules and of Hrushovski–Kazhdan style motivic integration

Raf Cluckers and Immanuel Halupczok

Abstract

We prove that if two semi-algebraic subsets of pn have the same p-adic measure, then this equality can already be deduced using only some basic integral transformation rules. On the one hand, this can be considered as a positive answer to a p-adic analogue of a question asked by Kontsevich–Zagier in the reals (though the question in the reals is much harder). On the other hand, our result can also be considered as stating that over p, universal motivic integration (in the sense of Hrushovski–Kazhdan) coincides with the usual p-adic integration.


Dedicated to Angus Macintyre, source of inspiration


Funding source: European Research Council

Award Identifier / Grant number: 615722 MOTMELSUM

Funding source: KU Leuven

Award Identifier / Grant number: IF C14/17/083

Funding source: Agence Nationale de la Recherche

Award Identifier / Grant number: ANR-11-LABX-0007-01

Funding source: Deutsche Forschungsgemeinschaft

Award Identifier / Grant number: SFB 878

Award Identifier / Grant number: GRK 2240

Award Identifier / Grant number: 426488848

Funding statement: Raf Cluckers was partially supported by the European Research Council under the European Community’s Seventh Framework Programme (FP7/2007-2013) with ERC Grant Agreement No. 615722 MOTMELSUM, by KU Leuven IF C14/17/083, and thanks the Labex CEMPI (ANR-11-LABX-0007-01). Immanuel Halupczok was partially supported by the SFB 878: Groups, Geometry and Actions, by the research training group GRK 2240: Algebro-Geometric Methods in Algebra, Arithmetic and Topology, and by the individual research grant No. 426488848, Archimedische und nicht-archimedische Stratifizierungen höherer Ordnung, all three funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation). Part of the work has been done while Immanuel Halupczok was affiliated to the University of Leeds.

Acknowledgements

We would like to thank J. Denef, F. Loeser and A. Macintyre for interesting discussions on the topics of the paper, and the referees for useful comments and suggestions.

References

[1] R. Cluckers, Classification of semi-algebraic p-adic sets up to semi-algebraic bijection, J. reine angew. Math. 540 (2001), 105–114. 10.1515/crll.2001.081Search in Google Scholar

[2] R. Cluckers, Presburger sets and p-minimal fields, J. Symb. Log. 68 (2003), no. 1, 153–162. 10.2178/jsl/1045861509Search in Google Scholar

[3] R. Cluckers, Analytic p-adic cell decomposition and integrals, Trans. Amer. Math. Soc. 356 (2004), no. 4, 1489–1499. 10.1090/S0002-9947-03-03458-5Search in Google Scholar

[4] R. Cluckers, I. Halupczok and S. Rideau-Kikuchi, Hensel minimality I, preprint (2019), https://arxiv.org/abs/1909.13792. 10.1017/fmp.2022.6Search in Google Scholar

[5] R. Cluckers, G. Comte and F. Loeser, Lipschitz continuity properties for p-adic semi-algebraic and subanalytic functions, Geom. Funct. Anal. 20 (2010), no. 1, 68–87. 10.1007/s00039-010-0060-0Search in Google Scholar

[6] R. Cluckers and I. Halupczok, Definable sets up to definable bijections in Presburger groups, Trans. London Math. Soc. 5 (2018), no. 1, 47–70. 10.1112/tlm3.12011Search in Google Scholar

[7] R. Cluckers and L. Lipshitz, Fields with analytic structure, J. Eur. Math. Soc. (JEMS) 13 (2011), no. 4, 1147–1223. 10.4171/JEMS/278Search in Google Scholar

[8] R. Cluckers and F. Loeser, Constructible motivic functions and motivic integration, Invent. Math. 173 (2008), no. 1, 23–121. 10.1007/s00222-008-0114-1Search in Google Scholar

[9] 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. 10.1007/BF01389133Search in Google Scholar

[10] J. Denef, p-adic semi-algebraic sets and cell decomposition, J. reine angew. Math. 369 (1986), 154–166. Search in Google Scholar

[11] J. Denef and L. van den Dries, p-adic and real subanalytic sets, Ann. of Math. (2) 128 (1988), no. 1, 79–138. 10.2307/1971463Search in Google Scholar

[12] E. Hrushovski and D. Kazhdan, Integration in valued fields, Algebraic geometry and number theory, Progr. Math. 253, Birkhäuser, Boston (2006), 261–405. 10.1007/978-0-8176-4532-8_4Search in Google Scholar

[13] M. Kontsevich and D. Zagier, Periods, Mathematics unlimited—2001 and beyond, Springer, Berlin (2001), 771–808. 10.1007/978-3-642-56478-9_39Search in Google Scholar

[14] A. Macintyre, On definable subsets of p-adic fields, J. Symb. Log. 41 (1976), no. 3, 605–610. 10.1017/S0022481200051173Search in Google Scholar

[15] M. Presburger, Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt, Comptes rendus du premier congres des mathematiciens des pays slaves, Ksiaznica Atlas, Lwów (1930), 91–101, 395. Search in Google Scholar

[16] L. van den Dries, Algebraic theories with definable Skolem functions, J. Symb. Log. 49 (1984), no. 2, 625–629. 10.2307/2274194Search in Google Scholar

[17] L. van den Dries, Dimension of definable sets, algebraic boundedness and Henselian fields, Stability in model theory. II (Trento 1987), Ann. Pure Appl. Logic 45, North-Holland, Amsterdam (1989), 189–209. 10.1016/0168-0072(89)90061-4Search in Google Scholar

Received: 2020-03-05
Revised: 2021-03-11
Published Online: 2021-08-14
Published in Print: 2021-10-01

© 2021 Walter de Gruyter GmbH, Berlin/Boston

Scroll Up Arrow