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.

中文翻译：

---

正则函数的等变动机积分和积分恒等猜想的证明

我们将 Denef-Loeser 的动机积分发展为等变版本，并用它来证明正则函数的完整积分恒等猜想。与 Hartmann 的工作相比，本文定义的等变 Grothendieck 环更基本，它产生了对猜想的应用。