This monograph focuses on the geometric theory of motivic integration, which takes its values in the Grothendieck ring of varieties. This theory is rooted in a groundbreaking idea of Kontsevich and was further developed by Denef & Loeser and Sebag. It is presented in the context of formal schemes over a discrete valuation ring, without any restriction on the residue characteristic. The text first discusses the main features of the Grothendieck ring of varieties, arc schemes, and Greenberg schemes. It then moves on to motivic integration and its applications to birational geometry and non-Archimedean geometry. Also included in the work is a prologue on p-adic analytic manifolds, which served as a model for motivic integration.
With its extensive discussion of preliminaries and applications, this book is an ideal resource for graduate students of algebraic geometry and researchers of motivic integration. It will also serve as a motivation for more recent and sophisticated theories that have been developed since.
Introduction.- Prologue:
p-adic Integration.- Analytic Manifolds.- The Theorem of Batyrev-Kontsevich.- Igusa's Local Zeta Function.- The Grothendieck Ring of Varieties.- Additive Invariants on Algebraic Varieties.- Motivic Measures.- Cohomolical Realizations.- Localization, Completion, and Modification.- The Theorem of Bittner.- The Theorem of LarsenLunts and Its Applications.- Arc Schemes.- Weil Restriction.- Jet Schemes.- The Arc Scheme of a Variety.- Topological Properties of Arc Schemes.- The Theorem of GrinbergKazhdanDrinfeld.- Greenberg Schemes.- Complete Discrete Valuation Rings.- The Ring Schemes
Rn.- Greenberg Schemes.- Topological Properties of Greenberg Schemes.- Structure Theoremes for Greenberg Schemes.- Greenberg Approximation on Formal Schemes.- The Structure of the Truncation MlCs