Related papers: Additive invariants in o-minimal valued fields
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…
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…
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 are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that every definable subset in the…
Cluckers and Lipshitz have shown that real closed fields equipped with real analytic structure are o-minimal. This generalizes the well-known subanalytic structure $\mathbb{R}_{\mathrm{an}}$ on the real numbers. We extend this line of…
This survey paper explains how one can attach geometric invariants to semialgebraic sets defined over non-archimedean fields, using the theory of motivic integration of Hrushovski and Kazhdan. It also discusses tropical methods to compute…
A Basarab-Kuhlmann style language L_RV is introduced in the Hrushovski-Kazhdan integration theory. The theory ACVF of algebraically closed valued fields formulated in this language admits quantifier elimination. In this paper, using…
We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field $K$ based on Hrushovski-Loeser's stable completion. In parallel, we develop a sheaf cohomology of definable…
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…
In \cite{HK}, an integration theory for valued fields was developed with a Grothendieck group approach. It was shown that the semiring of semi-algebraic sets with measure preserving morphisms is isomorphic to a certain semiring formed out…
I analyze $\mathcal{O}$-weakly immediate and $\mathcal{O}$-residual types in an o-minimal expansion of an ordered field $\mathbb{E}$, where $\mathcal{O}$ is a convex valuation ring. The main result is a characterization of those exponential…
We put forward in this paper a uniform narrative that weaves together several variants of Hrushovski-Kazhdan style integral, and describe how it can facilitate the understanding of the Denef-Loeser motivic Milnor fiber and closely related…
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 show that, for a certain large class of power-bounded $o$-minimal $\mathcal{L}_T$-theories $T$ whose field of exponents is infinite-dimensional as a vector space over the rationals, any definable set in a $T$-convex valued field…
Let H be a homology theory for algebraic varieties over a field k. To a complete k-variety X, one naturally attaches an ideal of the coefficient ring H(k). We show that, when X is regular, this ideal depends only on the upper Chow motive of…
We show that functions definable in power bounded $T$-convex fields have the (multidimensional) Jacobian property. Building on work of I. Halupczok, this implies that a certain notion of non-archimedean stratifications is available in such…
Following our first article, we continue to investigate ultrametic modules over a ring of twisted polynomials of the form $[K;\vfi]$, where $\vfi$ is a ring endomorphism of $K$. The main motivation comes from the the theory of valued…