Integration in algebraically closed valued fields with sections
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\).
- Integration in algebraically closed valued fields
- Integration in valued fields
- Special transformations in algebraically closed valued fields
- Constructible motivic functions and motivic integration
- Integration of functions of motivic exponential class, uniform in all non-Archimedean local fields of characteristic zero
- The value ring of geometric motivic integration, and the Iwahori Hecke algebra of \(\text{SL}_2\). With an appendix by Nir Avni.
- Generalized Euler characteristic in power-bounded T-convex valued fields
- Fourier transform of the additive group in algebraically closed valued fields
- Special transformations in algebraically closed valued fields
- Integration in algebraically closed valued fields
This page was built for publication: Integration in algebraically closed valued fields with sections
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1759365)
