Special transformations in algebraically closed valued fields

DOI10.1016/J.APAL.2010.06.005MaRDI QIDQ636388zbMATH OpenOpenAlexFDO

Authors Yimu Yin

Publication date 26 August 2011

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1006.2467

zbMATH Keywords

Grothendieck groupmotivic integrationvalued fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Other analytic theory (analogues of beta and gamma functions, (p)-adic integration, etc.) (11S80) Model theory (number-theoretic aspects) (11U09) Model theory of fields (12L12)

Abstract: 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 fundamental work of Hrushovski and Kazhdan. We limit our attention to a simple major subclass of V-minimal theories of the form ACVF_S(0, 0), that is, the theory of algebraically closed valued fields of pure characteristic $0$ expanded by a (VF, Gamma)-generated substructure S in the language L_RV. The main advantage of this subclass is the presence of syntax. It enables us to simplify the arguments with many different technical details while following the major steps of the Hrushovski-Kazhdan theory.

Review text

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)].

Recommendations

• Integration in algebraically closed valued fields
• Generalized Euler characteristic in power-bounded T-convex valued fields
• Integration in algebraically closed valued fields with sections
• Integration in valued fields
• Intégration motivique sur les schémas formels

Cites work

• b-MINIMALITY
• Cell Decomposition and Local Zeta Functions in a Tower of Unramified Extensions of a p -Adic Field
• Constructible motivic functions and motivic integration
• Decision procedures for real and p‐adic fields
• Henselianity and the Denef-Pas language
• scientific article; zbMATH DE number 3563286 (Why is no real title available?)
• scientific article; zbMATH DE number 3566956 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• Integration in valued fields
• One-dimensional fibers of rigid subanalytic sets
• p-adic semi-algebraic sets and cell decomposition.
• Rigid Subanalytic Sets
• Uniform p-adic cell decomposition and local zeta functions.
• What is motivic measure?

Cited in

(9)

• Virtual rigid motives of semi-algebraic sets
• Integration in algebraically closed valued fields with sections
• A note on \(\mu\)-stabilizers in ACVF
• Motivic integration and Milnor fiber
• The value ring of geometric motivic integration, and the Iwahori Hecke algebra of \(\text{SL}_2\). With an appendix by Nir Avni.
• On the computability of some positive-depth supercuspidal characters near the identity
• Generalized Euler characteristic in power-bounded T-convex valued fields
• Fourier transform of the additive group in algebraically closed valued fields
• Integration in algebraically closed valued fields

This page was built for publication: Special transformations in algebraically closed valued fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q636388)