From Cell Decomposition to Motivic Integration, Hensel Minimality, and Point Counting

Abstract

Following Macintyre's quantifier elimination result for semi-algebraic $p$-adic sets from 1976, Denef's cell decomposition from 1984 has played a catalyzing role for both motivic integration and Hensel minimality. Motivic integration has in turn been applied in the Langlands program via transfer principles to change the characteristic of the local field, e.g., for the fundamental lemma. Hensel minimality has been used to study rational points on definable sets, providing non-archimedean analogues of results by Pila and Wilkie in o-minimal structures. I will review some related results and open questions.

References in corpus (13)

• Constructible motivic functions and motivic integration
• Stability under integration of sums of products of real globally subanalytic functions and their logarithms
• Integrability of oscillatory functions on local fields: transfer principles
• Hensel minimality I
• Uniform Yomdin-Gromov parametrizations and points of bounded height in valued fields
• Igusa's conjecture for exponential sums: optimal estimates for non-rational singularities
• Distributions and wave front sets in the uniform non-archimedean setting
• Integration of Oscillatory and Subanalytic Functions
• A Pila--Wilkie theorem for Hensel minimal curves
• Combining Igusa's conjectures on exponential sums and monodromy with semi-continuity of the minimal exponent
• Periods, Power Series, and Integrated Algebraic Numbers
• Parametric Fourier and Mellin transforms of power-constructible functions
• Rational points of rigid-analytic sets: a Pila-Wilkie type theorem