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.

Infinite derivatives vs integral operators. The Moeller-Zwiebach puzzle

Infinite Derivatives vs Integral Operators. The Moeller-Zwiebach Puzzle

Homological Integral of Hopf Algebras

Infinite Matrix Method, ($\boldsymbol~{op}$) Type Space, Invariance and Demi-Linear Analysis

Multiple operator integrals in non-separable von Neumann algebras

Multiple operator integrals, pseudodifferential calculus, and asymptotic expansions

Some Infinite Series and Functional Relations That Arose in the Context of Fractional Calculus

Infinite Number of Integrals of Motion in Classically Integrable System with Boundary (Ii)

An Infinite-Dimensional Linking Theorem and Applications

Higher derivatives of operator functions in ideals of von Neumann algebras

Infinite derivative's series expansion of Indefinite and Definite Integral

Hilbert Direct Integrals of Monotone Operators

Integral Representation Formulas in Banach Algebra Settings

The infinite-order integro-differential operator related to the Lebedev–Skalskaya transform

Entire Monogenic Functions of Given Proximate Order and Continuous Homomorphisms

Interchange Rules for Integral Functions

The fundamental theorem of calculus in differential rings

Some Inclusion Properties of A Certain Family of Integral Operators

The integral identity conjecture in motivic homotopy theory

On a version of the Problem B of Mahler involving derivatives