Abstract:The integral identity conjecture of Kontsevich and Soibelman plays an important role in proving the existence of motivic Donaldson-Thomas invariants for three-dimensional noncommutative Calabi-Yau manifolds. There are a number of different formulations of this conjecture in different contexts and accordingly, there are corresponding solutions to them. The methods devoted to solving this conjecture are diverse, ranging from $\ell$-adic cohomology of rigid analytic varieties to Hrushovski-Kazhdan motivic integration and motivic Fubini theorem for tropicalization maps,... In a recent work, Ivorra deduces a functorial version of the integral identity in the stable homotopy of schemes, from the Braden hyperbolic localization theorem. This functorial version concerns Ayoub's nearby cycles functor associated with a $\mathbb{G}_m$-equivariant function $f \colon X \longrightarrow \mathbb{A}^1$ on vector bundles with a linear action of $\mathbb{G}_m$ on algebraic varieties over a field of characteristic zero. In the present work, we follow the functorial approach by Ivorra and extend the scope of the original conjecture by Kontsevich and Soibelman by studying more generally the case of $\mathbb{G}_m$-equivariant functions on algebraic $S$-spaces with a $\tau$-locally linearizable action of $\mathbb{G}_m$ over a noetherian scheme $S$ and extend the functorial integral identity to these cases. Our result is functorial, it allows more flexibity on the characteristic of the base scheme and the formulation exists in the world of motives which can realizes to other settings, e.g., étale realization, Betti realization, virtual motives... We also prove a result which is independent of interest and already appears in the work of others, namely, the motivic version of the functorial compatibility of the Bernstein isomorphisms with constant term functors.

Local motivic invariants of rational functions in two variables

Moduli Space of Cubic Newton Maps

Bifurcation Measures and Quadratic Rational Maps

Birational invariance of motivic zeta functions of $K$-trivial varieties, and obstructions to smooth fillings

Motivic distribution of rational curves and twisted products of toric varieties

Local linear Morsifications

Boundary local integrability of rational functions in two variables

Motivic, logarithmic, and topological Milnor fibrations

Motivic configurations on the line

$S^1$-localisation by pseudocycles, lifts to $S^1$-localisation of moduli spaces, and application to invariants of $S^1$-equivariant symplectic cohomology

The integral identity conjecture in motivic homotopy theory

Remarks on the motivic sphere without $\mathbb A^1$-invariance

Motivic nearby cycles functors, local monodromy and universal local acyclicity

Noncommutative Motives I: A Universal Characterization of the Motivic Stable Homotopy Theory of Schemes

Motivic realization of rigid G-local systems on curves and tamely ramified geometric Langlands

Motivic complexes over finite fields and the ring of correspondences at the generic point

Mixed motives and motivic birational covers

On Motivic and Arithmetic Refinements of Donaldson-Thomas invariants

Motivic invariants of birational maps

On fields of meromorphic functions on neighborhoods of rational curves

Generic motives and motivic cohomology of fields