Integration in algebraically closed valued fields with sections (Q1759365)

In this article, Hrushovski-Kazhdan-style motivic integration is extended to expansions of ACVF by different types of cross sections. It builds on previous work by the author [Ann. Pure Appl. Logic 161, No. 12, 1541--1564 (2010; Zbl 1226.03044); ibid. 162, No. 5, 384--408 (2011; Zbl 1225.03042)], where he gave a simplified exposition of motivic integration in a more specific context. We write \(\text{VF}\) for the valued field, \(\mathcal{M}\) for the maximal ideal of the valuation ring, \(\text{RV} = \text{VF}^\times/(1+\mathcal{M})\) for the leading term structure, and \(\Gamma\) for the value group. In the present paper, ACVF is expanded in two different ways: (a) by a cross section \(\Gamma \to \text{VF}\), or (b) by two cross sections \(\Gamma \to \text{RV} \to \text{VF}\). Moreover, any additional expansion of the language on \(\text{RV}\) is also allowed. Recall that the main theorem of motivic integration is that there exists an isomorphism between a certain Grothendieck semiring of definable sets in \(\text{VF}\) and a quotient of a similar Grothendieck semiring of definable sets in \(\text{RV}\) by some semiring congruence relation \(\mathrm{I}_{\mathrm{sp}}\). As in the original paper by Hrushovski-Kazhdan, three variants of these Grothendieck rings are considered: (i) without volume forms, (ii) with volume forms taking values in \(\Gamma\), and (iii) with volume forms taking values in \(\text{RV}\). The main result (Theorem~5.17) states that the isomorphism exists for (i), (ii), (iii) in setting (a) and for (i), (ii) in setting (b). In all these cases, \(\mathrm{I}_{\mathrm{sp}}\) is still generated by the same single element as in the setting without cross section. As an application, the author proves that certain generalized Igusa zeta functions are uniformly rational for all non-Archimedean local fields \(L\) of characteristic \(0\), without bound on the ramification degree of \(L\).