Searcharxiv⌕ Search

arXiv subjects

F. Loeser

Publications and source records attributed to F. Loeser.

35 records · Page 2Linked to original sources
arXiv2004

Ax-Kochen-Er{š}ov Theorems for $p$-adic integrals and motivic integration

This survey paper, to appear in he proceedings of the Miami Winter School ``Geometric Methods in Algebra and Number Theory'', is concerned with extending classical results à la Ax-Kochen-Er{š}ov to $p$-adic integrals in a motivic setting, using the framework of constructible motivic functions we introduced in math.AG/0410203. We conclude the paper by discussing briefly the relevance of our results to the study of orbital integrals and the Fundamental Lemma.

math.AG↗
arXiv2004

Fonctions constructibles et intégration motivique I

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.

math.AG↗
arXiv2004

Fonctions constructibles et intégration motivique II

We extend the formalism of I to a global setting for which a theorem on fiber integrals and a Fubini theorem are obtained. We compare our formalism to the previous constructions of motivic integration in the geometric and arithmetic cases.

math.AG↗
arXiv2001

Macdonald integrals and monodromy

We prove several results on monodromies associated to Macdonald integrals, that were used in our previous work on the finite field analogue of a conjecture of Macdonald. We also give a new proof of our formula expressing recursively the zeta function of the local monodromy at the origin of the discriminant of a finite Coxeter group in terms of the degrees of the group.

math.AG↗
arXiv2000

Geometry on arc spaces of algebraic varieties

This paper is a survey on arc spaces, a recent topic in algebraic geometry and singularity theory. The geometry of the arc space of an algebraic variety yields several new geometric invariants and brings new light to some classical invariants.

math.AG↗
arXiv1999

Definable sets, motives and p-adic integrals

We associate canonical virtual motives to definable sets over a field of characteristic zero. We use this construction to show that very general p-adic integrals are canonically interpolated by motivic ones.

math.AG↗
arXiv1998

Motivic exponential integrals and a motivic Thom-Sebastiani Theorem

We introduce motivic analogues of p-adic exponential integrals. We prove a basic multiplicativity property from which we deduce a motivic analogue of the Thom-Sebastiani Theorem. In particular, we obtain a new proof of the Thom-Sebastiani Theorem for the Hodge spectrum of (non isolated) singularities of functions.

math.AG↗
arXiv1998

Motivic Igusa zeta functions

We define motivic analogues of Igusa's local zeta functions. These functions take their values in a Grothendieck group of Chow motives. They specialize to p-adic Igusa local zeta functions and to the topological zeta functions we introduced several years ago. We study their basic properties, such as functional equations, and their relation with motivic nearby cycles. In particular the Hodge spectrum of a singular point of a function may be recovered from the Hodge realization of these zeta functions.

math.AG↗
arXiv1998

Germs of arcs on singular algebraic varieties and motivic integration

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.

math.AG↗