Integration in valued fields

  • Ehud Hrushovski
  • David Kazhdan
Part of the Progress in Mathematics book series (PM, volume 253)


We develop a theory of integration over valued fields of residue characteristic zero. In particular, we obtain new and base-field independent foundations for integration over local fields of large residue characteristic, extending results of Denef, Loeser, and Cluckers. The method depends on an analysis of definable sets up to definable bijections. We obtain a precise description of the Grothendieck semigroup of such sets in terms of related groups over the residue field and value group. This yields new invariants of all definable bijections, as well as invariants of measure-preserving bijections.


Open Ball Euler Characteristic Full Subcategory Closed Ball Grothendieck Group 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    J. T. Baldwin and A. H. Lachlan, On strongly minimal sets, J. Symbolic Logic, 36 (1971), 79–96.zbMATHCrossRefMathSciNetGoogle Scholar
  2. [2]
    Ş. A. Basarab and F. V. Kuhlmann, An isomorphism theorem for Henselian algebraic extensions of valued fields, Manuscripta Math., 77-2-3 (1992), 113–126.CrossRefMathSciNetGoogle Scholar
  3. [3]
    V. V. Batyrev, Birational Calabi-Yau n-folds have equal Betti numbers, in New Trends in Algebraic Geometry (Warwick, 1996) London Mathematical Society Lecture Note Series, Vol. 264, Cambridge University Press, Cambridge, UK, 1999, 1–11.Google Scholar
  4. [4]
    I. N. Bernstein, Analytic continuation of generalized functions with respect to a parameter, Funk. Anal. Priložen., 6-4 (1972), 26–40.Google Scholar
  5. [5]
    Z. Chatzidakis and E. Hrushovski, Model theory of difference fields, Trans. Math. Soc. Amer., 351-8 (1999), 2997–3071.zbMATHCrossRefMathSciNetGoogle Scholar
  6. [6]
    R. Cluckers and D. Haskell, Grothendieck rings of Z-valued fields, Bull. Symbolic Logic, 7-2 (2001), 262–226.zbMATHMathSciNetGoogle Scholar
  7. [7]
    R. Cluckers and F. Loeser, Fonctions constructibles et intégration motivique I, II, math.AG/0403350 and math.AG/0403349, 2004; also available online from Scholar
  8. [8]
    R. Cluckers and F. Loeser, Fonctions constructibles exponentiel les, transformation de Fourier motivique et principe de transfert, math.NT/0509723, 2005; C. R. Acad. Sci. Paris Sér. I Math., to appear.Google Scholar
  9. [9]
    C. C. Chang and H. J. Keisler, Model Theory, 3rd ed., Studies in Logic and the Foundations of Mathematics, Vol. 73, North-Holland, Amsterdam, 1990.zbMATHGoogle Scholar
  10. [10]
    J. Denef and F. Loeser, Definable sets, motives and p-adic integrals, J. Amer. Math. Soc., 14 (2001), 429–469.zbMATHCrossRefMathSciNetGoogle Scholar
  11. [11]
    H. B. Enderton, A Mathematical Introduction to Logic 2nd ed., Harcourt/Academic Press, Burlington, MA, 2001.zbMATHGoogle Scholar
  12. [12]
    I. Fesenko and M. Kurihara, eds., Invitation to Higher Local Fields, Geometry and Topology Monographs, Vol. 3, Mathematics Institute, University of Warwick, Coventry, UK, 2000.zbMATHGoogle Scholar
  13. [13]
    M. Gromov, Endomorphisms of symbolic algebraic varieties, J. European Math. Soc., 1-2 (1999), 109–197.zbMATHCrossRefMathSciNetGoogle Scholar
  14. [14]
    R. Cluckers, L. Lipshitz, and Z. Robinson, Analytic cell decomposition and analytic motivic integration, math.AG/0503722, 2005; Ann. Sci. École Norm. Sup., to appear.Google Scholar
  15. [15]
    D. Haskell, and D. Macpherson, Cell decompositions of C-minimal structures, Ann. Pure Appl. Logic, 66-2 (1994), 113–162.zbMATHCrossRefMathSciNetGoogle Scholar
  16. [16]
    D. Haskell, E. Hrushovski, and H. D. Macpherson, Definable sets in algebraically closed valued fields, Part I: Elimination of imaginaries, preprint, 2002; Crelle, to appear.Google Scholar
  17. [17]
    D. Haskell, E. Hrushovski, and H. D. Macpherson, Stable domination and independence in algebraically closed valued fields, math.LO/0511310, 2005.Google Scholar
  18. [18]
    E. Hrushovski, Elimination of imaginaries for valued fields, preprint.Google Scholar
  19. [19]
    P. T. Johnstone, Notes on Logic and Set Theory, Cambridge Mathematical Textbooks, Cambridge University Press, Cambridge, UK, 1987.zbMATHGoogle Scholar
  20. [20]
    M. Kageyama and M. Fujita, Grothendieck rings of o-minimal expansions of ordered Abelian groups, math.LO/0505331, 2005.Google Scholar
  21. [21]
    D. Kazhdan, An algebraic integration, in Mathematics: Frontiers and Perspectives, American Mathematical Society, Providence, RI, 2000, 93–115.Google Scholar
  22. [22]
    M. Larsen and V. A. Lunts, Motivic measures and stable birational geometry, Moscow Math. J., 3-1 (2003), 85–95.zbMATHMathSciNetGoogle Scholar
  23. [23]
    L. Lipshitz, Rigid subanalytic sets, Amer. J. Math., 115-1 (1993), 77–108.zbMATHCrossRefMathSciNetGoogle Scholar
  24. [24]
    L. Lipshitz and Z. Robinson, One-dimensional fibers of rigid subanalytic sets, J. Symbolic Logic, 63-1 (1998), 83–88.zbMATHCrossRefMathSciNetGoogle Scholar
  25. [25]
    F. Loeser and J. Sebag, Motivic integration on smooth rigid varieties and invariants of degenerations, Duke Math. J., 119-2 (2003), 315–344.zbMATHCrossRefMathSciNetGoogle Scholar
  26. [26]
    J. Maříková, Geometric Properties of Semilinear and Semibounded Sets, M.A. thesis, Charles University, Prague, 2003; preprint.Google Scholar
  27. [27]
    T. Mellor, talk, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, 2005.Google Scholar
  28. [28]
    A. Pillay, An Introduction to Stability Theory, Oxford Logic Guides, Oxford University Press, Oxford, UK, 1983.zbMATHGoogle Scholar
  29. [29]
    A. Pillay, Geometric Stability Theory, Oxford Logic Guides, Oxford University Press, Oxford, UK, 1996.zbMATHGoogle Scholar
  30. [30]
    J. Pas, Uniform p-adic cell decomposition and local zeta functions, J. Reine Angew. Math., 399 (1989), 137–172.zbMATHMathSciNetGoogle Scholar
  31. [31]
    B. Poizat, Cours de Théorie des modeles: Nur al mantiq wal ma’arifah (A Course in Model Theory: An Introduction to Contemporary Mathematical Logic), Universitext, Springer-Verlag, New York, 2000 (translated from the French by M. Klein and revised by the author).Google Scholar
  32. [32]
    B. Poizat, Une théorie de Galois imaginaire, J. Symbolic Logic, 48-4 (1983), 1151–1170.zbMATHCrossRefMathSciNetGoogle Scholar
  33. [33]
    A. Robinson, Complete Theories, North-Holland, Amsterdam, 1956.zbMATHGoogle Scholar
  34. [34]
    H. H. Crapo and G.-C. Rota, On the Foundations of Combinatorial Theory: Combinatorial Geometries, preliminary ed., M.I.T. Press, Cambridge, MA, London, 1970.zbMATHGoogle Scholar
  35. [35]
    S. Shelah, Classification Theory and the Number of Nonisomorphic Models, 2nd ed., Studies in Logic and the Foundations of Mathematics 92, North-Holland, Amsterdam, 1990.Google Scholar
  36. [36]
    L. van den Dries, Dimension of definable sets, algebraic boundedness and Henselian fields, Ann. Pure Appl. Logic, 45-2 (1989), 189–209.zbMATHCrossRefMathSciNetGoogle Scholar
  37. [37]
    L. van den Dries, Tame Topology and o-Minimal Structures, London Mathematical Society Lecture Note Series, Vol. 248, Cambridge University Press, Cambridge, UK, 1998.zbMATHGoogle Scholar

Copyright information

© Birkhäuser Boston 2006

Authors and Affiliations

  • Ehud Hrushovski
    • 1
  • David Kazhdan
    • 1
  1. 1.Institute of MathematicsHebrew University of JerusalemJerusalemIsrael

Personalised recommendations