Equivariant motivic integration and proof of the integral identity conjecture for regular functions

Abstract

We develop Denef-Loeser’s motivic integration to an equivariant version and use it to prove the full integral identity conjecture for regular functions. In comparison with Hartmann’s work, the equivariant Grothendieck ring defined in this article is more elementary and it yields the application to the conjecture.