Constructible motivic functions and motivic integration

Abstract

We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative framework, in which we develop a relative version of motivic integration. These results have been announced in math.AG/0403349 and math.AG/0403350. Main results and statements unchanged. Many minor slips corrected and some details added.

Final version

References in corpus (1)

• Germs of arcs on singular algebraic varieties and motivic integration

Cited by in corpus (20)

• A trace formula for rigid varieties, and motivic Weil generating series for formal schemes
• The fundamental lemma of Jacquet-Rallis in positive characteristics
• Stability under integration of sums of products of real globally subanalytic functions and their logarithms
• Euler integration over definable functions
• Integrability of oscillatory functions on local fields: transfer principles
• Hensel minimality I
• Non-Archimedean Whitney stratifications
• On singularity properties of convolutions of algebraic morphisms
• On singularity properties of convolutions of algebraic morphisms -- the general case (with an appendix joint with Gady Kozma)
• On the computability of some positive-depth supercuspidal characters near the identity
• Motivic local density
• Lebesgue measure theory and integration theory on non-archimedean real closed fields with archimedean value group
• A proof of the integral identity conjecture, II
• Chai's Conjecture and Fubini properties of dimensional motivic integration
• Efficient algorithms for computing the Euler-Poincaré characteristic of symmetric semi-algebraic sets
• Equivariant motivic integration and proof of the integral identity conjecture for regular functions
• Is there an analytic theory of automorphic functions for complex algebraic curves?
• Trees of definable sets over the p-adics
• Definable sets up to definable bijections in Presburger groups
• From Cell Decomposition to Motivic Integration, Hensel Minimality, and Point Counting