Motivic Integration

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 sch...