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

DOI10.1112/S0010437X17007497zbMATH Open1506.03093arXiv1509.07695OpenAlexW2963462782MaRDI QIDQ4590950FDOQ4590950

Authors: Yimu Yin 

Publication date: 21 November 2017

Published in: Compositio Mathematica (Search for Journal in Brave)

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.

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

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

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)

Cites Work

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

Cited In (6)

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

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)