Special transformations in algebraically closed valued fields (Q636388)

This is the first in a series of papers in which the author aims to rewrite and work out the Hrushovski-Kazhdan theory of motivic integration in a restricted setting. The basic idea of motivic integration in local fields is to compute the Haar measure of a set in a way that is independent of the underlying field. For this one assigns to each first-order formula a ``measure'', typically an element of a Grothendieck ring of varieties, which then specializes to the Haar measure of the set defined by that formula in (almost) all of those local fields. A very abstract form of this, for so-called V-minimal expansions of the theory of algebraically closed valued fields, is introduced in [\textit{E.~Hrushovski} and \textit{D.~Kazhdan}, ``Integration in valued fields'', in: V. Ginzburg (ed.), Algebraic geometry and number theory. Basel: Birkhäuser. Progress in Mathematics 253, 261--405 (2006; Zbl 1136.03025)]. Yin specializes this to the theory \(\text{ACVF}_S(0,0)\) of algebraically closed valued fields of pure characteristic zero in the Basarab-Kuhlmann-style two-sorted language \(\mathcal{L}_{\text{RV}}\) with valued field sort \(\text{VF}\) and residue multiplicative structure sort \(\text{RV}\) (where \(\text{RV}(K)=K^\times/(1+\mathfrak{m}_K)\)), expanded by constants from a substructure \(S\) which is generated by elements from \(\text{VF}\) and the imaginary value group sort \(\Gamma\). The motivic measure in this integration theory takes the form of a canonical isomorphism \(\mathbb{K}_+\text{VF}_\ast[\cdot]\rightarrow\mathbb{K}_+\text{RV}[\ast,\cdot]/\text{I}_{\text{sp}}\) between the Grothendieck semigroup of the category of definable sets \(\text{VF}_\ast[\cdot]\) associated with the \(\text{VF}\)-sort and the Grothendieck semigroup of the category of definable sets \(\text{RV}[\ast,\cdot]\) associated with the \(\text{RV}\)-sort modulo a semigroup congruence relation \(\text{I}_{\text{sp}}\). The present paper presents two of the three steps of the construction of this isomorphism. Namely, a lifting \(\mathbb{L}\) from \(\text{RV}[\ast,\cdot]\) to \(\text{VF}_\ast[\cdot]\) is constructed which is proven to be surjective. More precisely, the author shows that every object of \(\text{VF}_\ast[\cdot]\) is in definable bijection with an element in the image of \(\mathbb{L}\) via one of the so-called special transformations occurring in the title of the paper. It is then proven that \(\mathbb{L}\) induces a homomorphism \(\mathbb{K}_+\text{RV}[\ast,\cdot]\rightarrow\mathbb{K}_+\text{VF}_\ast[\cdot]\). The third step of the construction, the identification of the kernel of this homomorphism, is presented in the sequel [\textit{Y.~Yin}, ``Integration in algebraically closed valued fields'', Ann. Pure Appl. Logic 162, No. 5, 384--408 (2011; Zbl 1225.03042)].