Generalized Euler characteristic in power-bounded T-convex valued fields

DOI10.1112/S0010437X17007497MaRDI QIDQ4590950zbMATH OpenOpenAlexFDO

Authors Yimu Yin

Publication date 21 November 2017

Published in Compositio Mathematica (Search for Journal in Brave)

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

zbMATH Keywords

Euler characteristicmotivic integration\(o\)-minimal valued field\(T\)-convexity

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Non-Archimedean valued fields (12J25) Model theory of fields (12L12)

Abstract: We lay the groundwork in this first installment of a series of papers aimed at developing a theory of Hrushovski-Kazhdan style motivic integration for certain type of non-archimedean o-minimal fields, namely power-bounded T-convex valued fields, and closely related structures. The main result of the present paper is a canonical homomorphism between the Grothendieck semirings of certain categories of definable sets that are associated with the VF-sort and the RV-sort of the language L_TRV. Many aspects of this homomorphism can be described explicitly. Since these categories do not carry volume forms, the formal groupification of the said homomorphism is understood as a universal additive invariant or a generalized Euler characteristic. It admits, not just one, but two specializations to Z. The overall structure of the construction is modeled on that of the original Hrushovski-Kazhdan construction.

Recommendations

• Integration in valued fields
• Integration in algebraically closed valued fields
• Special transformations in algebraically closed valued fields
• Integration in algebraically closed valued fields with sections
• Analytic cell decomposition and analytic motivic integration

Cites work

• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• T-convexity and tame extensions
• T-convexity and tame extensions II
• Canonical forms for definable subsets of algebraically closed and real closed valued fields
• Computing o-minimal topological invariants using differential topology
• Constructible motivic functions and motivic integration
• Geometric categories and o-minimal structures
• Grothendieck rings of o-minimal expansions of ordered Abelian groups
• Integration in algebraically closed valued fields
• Integration in algebraically closed valued fields with sections
• Integration in valued fields
• Lipschitz stratifications in power-bounded o-minimal fields
• Monodromy and the Lefschetz fixed point formula
• O-minimal residue fields of o-minimal fields
• Special transformations in algebraically closed valued fields
• The elementary theory of restricted analytic fields with exponentiation
• The field of reals with multisummable series and the exponential function.
• Virtual Betti numbers of real algebraic varieties.
• Weakly o-minimal structures and real closed fields

Cited in

(6)

• Special transformations in algebraically closed valued fields
• Interpretable fields in various valued fields
• Definable functions and stratifications in power-bounded \(T\)-convex fields
• Motivic integration and Milnor fiber
• A dichotomy for \(T\)-convex fields with a monomial group
• Hensel minimality I

This page was built for publication: Generalized Euler characteristic in power-bounded \(T\)-convex valued fields

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