Related papers: Integration in power-bounded $T$-convex valued fie…

We lay the groundwork in this first installment of a series of papers aimed at developing a theory of Hrushovski-Kazhdan style motivic integration for certain type of non-archimedean o-minimal fields, namely power-bounded T-convex valued…

We develop a theory of Hrushovski-Kazhdan style motivic integration for certain type of non-archimedean o-minimal fields, namely polynomial-bounded T-convex valued fields. The structure of valued fields is expressed through a two-sorted…

We develop a framework of motivic integration in the style of Hrushovski--Kazhdan in arbitrary Hensel minimal fields of equicharacteristic zero. Hence our work generalizes that of Hrushovski--Kazhdan and Yin, but applies more broadly to…

We present two of the three major steps in the construction of motivic integration, that is, a homomorphism between Grothendieck semigroups that are associated with a first-order theory of algebraically closed valued fields, in the…

We construct Hrushovski-Kazhdan style motivic integration in certain expansions of ACVF. Such an expansion is typically obtained by adding a full section or a cross-section from the RV-sort into the VF-sort and some (arbitrary) extra…

The first two steps of the construction of motivic integration in the fundamental work of Hrushovski and Kazhdan have been presented in arXiv:1006.2467v1. In this paper we present the final third step. As in arXiv:1006.2467v1, we limit our…

We introduce a quotient of the Grothendieck ring of varieties by identifying classes of universally homeomorphic varieties. We show that the standard realization morphisms factor through this quotient, and we argue that it is the correct…

We define a motivic measure on the Berkovich analytification of an algebraic variety defined over a trivially valued field, and introduce motivic integration in this setting. The construction is geometric with a similar spirit as…

We continue the study of the Hrushovski-Kazhdan integration theory and consider exponential integrals. The Grothendieck ring is enlarged via a tautological additive character and hence can receive such integrals. We then define the Fourier…

We construct a new motivic integration morphism, the so-call bounded integral, that interpolates both the integration morphisms with and without volume forms of Hrushovski and Kazhdan. This is done within the framework of model theory of…

We prove in this paper the original version of Kontsevich and Soibelman's motivic integral identity conjecture for formal functions by developing a novel framework for equivariant motivic integration on special rigid varieties. This theory…

We survey our recent work on an extension of the theory of motivic integration, called arithmetic motivic integration. We developed this theory to understand how p-adic integrals of a very general type depend on p.

We construct an upgrade of the motivic volume by keeping track of dimensions in the Grothendieck ring of varieties. This produces a uniform refinement of the motivic volume and its birational version introduced by Kontsevich and Tschinkel…

We extend the formalism and results on motivic integration from ["Constructible motivic functions and motivic integration", Invent. Math., Volume 173, (2008) 23-121] to mixed characteristic discretely valued Henselian fields with bounded…

We define a motivic analogue of the Haar measure for groups of the form G(k((t))), where k is an algebraically closed field of characteristic zero, and G is a reductive algebraic group defined over k. A classical Haar measure on such groups…

We propose a suitable substitute for the classical Grothendieck ring of an algebraically closed field, in which any quasi-projective scheme is represented, while maintaining its non-reduced structure. This yields a more subtle invariant,…

Let k be a field of characteristic not 2. We conjecture that if X is a quasi-projective k-variety with trivial motivic Euler characteristic, then Sym$^n$X has trivial motivic Euler characteristic for all n. Conditional on this conjecture,…

Let $\Gamma$ be a divisible subgroup of $(\mathbb{R},+)$. Our central result states that, at the level of Grothendieck groups, the classification of $\Gamma$-rational polyhedra in $\mathbb{R}^n$ up to affine transformations in…

Hadwiger's Theorem states that Euclidean-invariant convex-continuous valuations of definable sets are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable…

Through a cascade of generalizations, we develop a theory of motivic integration which works uniformly in all non-archimedean local fields of characteristic zero, overcoming some of the difficulties related to ramification and small residue…