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.

Invariants of identity-tangent diffeomorphisms: explicit formulae and effective computation

The integral identity conjecture in motivic homotopy theory

Diffeomorphisms, Analytic Torsion and Noncommutative Geometry

Reduction of Singularities of Holomorphic Maps of $\cv^2$ Tangent to the Identity

New Invariants and Attracting Domains for Holomorphic Maps in $\mathbf{c}^2$ Tangent to the Identity

Local invariants of noncommutative tori

Tangents of invariant sets

Invariants of tangles with flat connections in their complements.I. Invariants and holonomy R-matrices

On Motivic and Arithmetic Refinements of Donaldson-Thomas invariants

Computing Dixmier Invariants and Some Geometric Configurations of Quartic Curves with 2 Involutions

The Affine Invariant of Generalized Semitoric Systems

Positive Transversality Via Transfer Operators and Holomorphic Motions with Applications to Monotonicity for Interval Maps

On geometric invariants of singular plane curves

Computing Topological Invariants Using Fixed Points

Isomorphism Invariants for Multivariable C*-Dynamics

Geometric invariants for non-archimedean semialgebraic sets

An Invariant for Transverse Coassociative 4-Folds

On invariants of second-order ordinary differential equations $y''=f(x,y,y')$ via point transformations

Invariant Polynomials On Compact Complex-Manifolds

Integral Invariants for 3D Curves: an Inductive Approach

New Invariants for Complex Manifolds and Isolated Singularities