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.

Integral cohomology of dual boundary complexes is motivic

Cell decomposition and dual boundary complexes of character varieties

Motivic cohomology of equicharacteristic schemes

Dual boundary complexes of Betti moduli spaces over the two-sphere with one irregular singularity

The integral identity conjecture in motivic homotopy theory

Cohomology and geometry of Deligne–Lusztig varieties for

A motivic construction of the de Rham-Witt complex

Atiyah duality for motivic spectra

Cohomology and geometry of Deligne--Lusztig varieties for ${\rm GL}_n$

Torsion birational motives of surfaces and unramified cohomology

On integral cohomology of certain orbifolds

Motivic integration on special rigid varieties and the motivic integral identity conjecture

Cohomologies of Unipotent Harmonic Bundles over Quasi-Projective Varieties I: the Case of Noncompact Curves

Homotopy theory of smooth compactifications of algebraic varieties

The Cohomology Ring of the Deligne-Mumford Moduli Space of Real Rational Curves with Conjugate Marked Points

Integral cohomology of configuration spaces of the sphere

The cohomology of framed moduli spaces and the coordinate ring of torus fixed points of quotient singularities

Non-abelian cohomology of universal curves in positive characteristic

Cohomological integrality for symmetric quotient stacks

Cohomological integrality for weakly symmetric representations of reductive groups