Advertisement

Integration in valued fields

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

Summary

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.

Keywords

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    J. T. Baldwin and A. H. Lachlan, On strongly minimal sets, J. Symbolic Logic, 36 (1971), 79–96.MATHCrossRefMathSciNetGoogle 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.MATHCrossRefMathSciNetGoogle Scholar
  6. [6]
    R. Cluckers and D. Haskell, Grothendieck rings of Z-valued fields, Bull. Symbolic Logic, 7-2 (2001), 262–226.MATHMathSciNetGoogle 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 http://www.dma.ens.fr/~loeser/.Google 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.MATHGoogle Scholar
  10. [10]
    J. Denef and F. Loeser, Definable sets, motives and p-adic integrals, J. Amer. Math. Soc., 14 (2001), 429–469.MATHCrossRefMathSciNetGoogle Scholar
  11. [11]
    H. B. Enderton, A Mathematical Introduction to Logic 2nd ed., Harcourt/Academic Press, Burlington, MA, 2001.MATHGoogle 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.MATHGoogle Scholar
  13. [13]
    M. Gromov, Endomorphisms of symbolic algebraic varieties, J. European Math. Soc., 1-2 (1999), 109–197.MATHCrossRefMathSciNetGoogle 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.MATHCrossRefMathSciNetGoogle 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.MATHGoogle 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.MATHMathSciNetGoogle Scholar
  23. [23]
    L. Lipshitz, Rigid subanalytic sets, Amer. J. Math., 115-1 (1993), 77–108.MATHCrossRefMathSciNetGoogle Scholar
  24. [24]
    L. Lipshitz and Z. Robinson, One-dimensional fibers of rigid subanalytic sets, J. Symbolic Logic, 63-1 (1998), 83–88.MATHCrossRefMathSciNetGoogle 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.MATHCrossRefMathSciNetGoogle 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.MATHGoogle Scholar
  29. [29]
    A. Pillay, Geometric Stability Theory, Oxford Logic Guides, Oxford University Press, Oxford, UK, 1996.MATHGoogle Scholar
  30. [30]
    J. Pas, Uniform p-adic cell decomposition and local zeta functions, J. Reine Angew. Math., 399 (1989), 137–172.MATHMathSciNetGoogle 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.MATHCrossRefMathSciNetGoogle Scholar
  33. [33]
    A. Robinson, Complete Theories, North-Holland, Amsterdam, 1956.MATHGoogle 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.MATHGoogle 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.MATHCrossRefMathSciNetGoogle 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.MATHGoogle 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