Related papers: Integration of positive constructible functions ag…
We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative…
We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative…
We introduce spaces of exponential constructible functions in the motivic setting for which we construct direct image functors in the absolute and relative cases. This allows us to define a motivic Fourier transformation for which we get…
We introduce spaces of exponential constructible functions in the motivic setting for which we construct direct image functors in the absolute and relative cases. This allows us to define a motivic Fourier transformation for which we get…
We extend the formalism of I to a global setting for which a theorem on fiber integrals and a Fubini theorem are obtained. We compare our formalism to the previous constructions of motivic integration in the geometric and arithmetic cases.
In this article, we study the commutativity between the pull-back and the push-forward functors on constructible functions in Cluckers--Loeser motivic integration.
The main results of this paper are a Cell Decomposition Theorem for Henselian valued fields with analytic structure in an analytic Denef-Pas language, and its application to analytic motivic integrals and analytic integrals over…
Characterizing in a constructive way the set of real functions whose Fourier transforms are positive appears to be yet an open problem. Some sufficient conditions are known but they are far from being exhaustive. We propose two constructive…
We introduce a general definition of hybrid transforms for constructible functions. These are integral transforms combining Lebesgue integration and Euler calculus. Lebesgue integration gives access to well-studied kernels and to regularity…
This is an attempt at an elementary exposition, with examples, of the theory of motivic integration developed by R. Cluckers and F. Loeser, with the view towards applications in representation theory of p-adic groups.
This work brings Mellin transforms into the realm of motivic integration. The new, larger class of motivic functions is stable under motivic Mellin and Fourier transforms, with general Fubini results and change of variables formulas. It…
We define an operation of evaluation at a point for motivic constructible (exponential) functions from the Cluckers-Loeser framework of motivic integration and show that two such motivic functions are abstractly equal if and only if their…
Let K be an algebraically closed field, X a K-scheme, and X(K) the set of closed points in X. A constructible set C in X(K) is a finite union of subsets Y(K) for finite type subschemes Y in X. A constructible function f : X(K) --> Q has…
This is the second installment of a series of papers aimed at developing a theory of Hrushovski-Kazhdan style motivic integration for certain types of nonarchimedean $o$-minimal fields, namely power-bounded $T$-convex valued fields, and…
Exponential-constructible functions are an extension of the class of constructible functions. This extension was formulated by Cluckers-Loeser in the context of semi-algebraic and sub-analytic structures, when they studied stability under…
The aim of this note is threefold. The first is to obtain a simple characterization of relative constructible sheaves when the parameter space is projective. The second is to study the relative Fourier-Mukai for relative constructible…
One constructs new operations of pull-back and push-forward on valuations on manifolds with respect to submersions and immersions. A general Radon type transform on valuations is introduced using these operations and the product on…
In Chapter 3 of his Notes on constructive mathematics, Martin-L{\"o}f describes recursively constructed ordinals. He gives a constructively acceptable version of Kleene's computable ordinals. In fact, the Turing definition of computable…
We enrich the class of power-constructible functions, introduced in [CCRS23], to a class of algebras of functions which contains all complex powers of subanalytic functions, their parametric Mellin and Fourier transforms, and which is…
In this paper, we construct the motivic exceptional direct image functors for fs log schemes. This construction is a part of the motivic six-functor formalism for fs log schemes.