Germs of arcs on singular algebraic varieties and motivic integration

Abstract

We study the scheme of formal arcs on a singular algebraic variety and its images under truncations. We prove a rationality result for the Poincare series of these images which is an analogue of the rationality of the Poincare series associated to p-adic points on a p-adic variety. The main tools which are used are semi-algebraic geometry in spaces of power series and motivic integration (a notion introduced by M. Kontsevich). In particular we develop the theory of motivic integration for semi-algebraic sets of formal arcs on singular algebraic varieties, we prove a change of variable formula for birational morphisms and we prove a geometric analogue of a result of Oesterle.

Revised Nov. 1997, to appear in Inventiones Mathematicae, 27 pages

Cited by in corpus (40)

• Constructible motivic functions and motivic integration
• Discriminants in the Grothendieck Ring
• A trace formula for rigid varieties, and motivic Weil generating series for formal schemes
• The $p$-cyclic McKay correspondence via motivic integration
• Terminal valuations and the Nash problem
• Bijectiveness of the Nash Map for Quasi-Ordinary Hypersurface Singularities
• Proofs of the integral identity conjecture over algebraically closed fields
• Hensel minimality I
• Jet schemes and invariant theory
• Wilder McKay correspondences
• On $p$-adic string amplitudes in the limit $p$ approaches to one
• Differentials on the arc space
• Familles d'espaces de m-jets et d'espaces d'arcs
• Inversion of adjunction for quotient singularities
• The annihilator of the Lefschetz motive
• Jet schemes of quasi-ordinary surface singularities
• The arc space of the Grassmannian
• Multiplicity structure of the arc space of a fat point
• Lebesgue measure theory and integration theory on non-archimedean real closed fields with archimedean value group
• Standard monomials and invariant theory for arc spaces I: general linear group
• Motivic integration and the birational invariance of BCOV invariants
• Embedding codimension of the space of arcs
• Motivic Zeta Functions on $\mathds{Q}$-Gorenstein Varieties
• A proof of the integral identity conjecture, II
• An inverse mapping theorem for blow-Nash maps on singular spaces
• Geometric motivic Poincaré series of quasi-ordinary singularities
• Grothendieck ring of semialgebraic formulas and motivic real Milnor fibres
• Generalised Poincaré series and embedded resolution of curves
• Motivic integration over wild Deligne-Mumford stacks
• Geometric Batyrev-Manin-Peyre for equivariant compactifications of additive groups
• Equivariant motivic integration and proof of the integral identity conjecture for regular functions
• Equivariant zeta functions for invariant Nash germs
• Arc spaces, motivic measure and Lipschitz geometry of real algebraic sets
• Characteristic classes of proalgebraic varieties and motivic measures
• Motivic versions of mass formulas by Krasner, Serre and Bhargava
• On jet closures of singularities
• On motivic principal value integrals
• Motivic distribution of rational curves and twisted products of toric varieties
• From Cell Decomposition to Motivic Integration, Hensel Minimality, and Point Counting
• The motivic zeta function and its smallest poles