[Paper Review] Special transformations in algebraically closed valued fields

Yimu Yin|arXiv (Cornell University)|Jun 12, 2010

Advanced Topology and Set Theory7 references4 citations

TL;DR

This paper presents the first two steps of Hrushovski-Kazhdan's motivic integration theory in algebraically closed valued fields of characteristic 0, establishing a canonical lifting map from RV-definable sets to VF-definable sets and proving that this map induces a surjective homomorphism on Grothendieck semigroups. The key contribution is the construction of special bijections and volume forms that enable a motivic integration framework without relying on angular components or cell decomposition.

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.

Motivation & Objective

• To simplify and clarify the foundational steps of Hrushovski-Kazhdan motivic integration in algebraically closed valued fields of characteristic 0.
• To establish a lifting map from RV-definable sets to VF-definable sets that respects definable bijections and dimensions.
• To demonstrate that the Grothendieck semigroup of VF-definable sets is generated by lifts of RV-definable sets via special bijections.
• To lay the groundwork for motivic integration by constructing a surjective homomorphism between Grothendieck semigroups of volume forms.
• To provide a syntactic framework for motivic integration that avoids reliance on cell decomposition or angular component maps.

Proposed method

• Introduces the language LRV with VF and RV sorts, where RV combines residue field and value group.
• Defines special bijections in VF* as definable bijections that preserve structure and allow lifting from RV to VF.
• Constructs a lifting map L from RV[*,·] to VF* that sends objects in RV to isomorphic images in VF.
• Introduces categories with volume forms (µVF[k], µRV[k]) by equipping definable sets with measurable functions and Jacobian conditions.
• Uses RV-pullbacks and dimension theory to ensure compatibility between VF and RV structures under lifting.
• Applies Jacobian change-of-variables formulas in both VF and RV contexts to preserve measure-theoretic structure.

Experimental results

Research questions

• RQ1 How can motivic integration be constructed in ACVF(0,0) without relying on angular component maps or cell decomposition?
• RQ2 What is the role of special bijections in connecting definable sets in the VF-sort to those in the RV-sort?
• RQ3 How can volume forms on RV-definable sets be lifted to VF-definable sets while preserving measure-theoretic properties?
• RQ4 What conditions ensure that two RV-definable sets with volume forms have isomorphic lifts in the VF-sort?
• RQ5 Can the Grothendieck semigroup of VF-definable sets be generated by lifts of RV-definable sets under a canonical homomorphism?

Key findings

• The lifting map L from RV[*,·] to VF* induces a surjective homomorphism on Grothendieck semigroups, showing that every VF-definable set is isomorphic to the lift of some RV-definable set up to special bijections.
• Every object in µVF[k] is isomorphic to a lift L(U, π) of an object (U, π) in µRV[k], establishing a canonical correspondence between volume forms.
• For any µRV[k]-isomorphism F: (U, ω) → (U′, ω′), there exists a measure-preserving lift F↑: L(U, ω) → L(U′, ω′) satisfying the Jacobian condition in both RV and Γ-sorts.
• The Jacobian transformation preserves integrals in the sense of motivic integration, validating the change-of-variables formula at the level of Grothendieck semigroups.
• The construction shows that the kernel of the induced homomorphism K+µRV[k] → K+µVF[k] is captured by iterated blowups of RV-objects, suggesting a full description of the congruence relation.
• The theory achieves a foundational framework for motivic integration in ACVF(0,0) that is independent of cell decomposition and angular components, relying instead on syntactic control and special bijections.