Integration of positive constructible functions against Euler characteristic and dimension

DOI10.1016/J.JPAA.2006.03.005MaRDI QIDQ861862zbMATH OpenOpenAlexFDO

Authors Raf Cluckers, Mário J. Edmundo

Publication date 2 February 2007

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

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

zbMATH Keywords

Radon transforminversionsubanalytic set\(p\)-adicsdirect imageo-minimal expansions of groupspositive constructible functionsPresburger structuresubanalytic function

Mathematics Subject Classification ID

Local ground fields in algebraic geometry (14G20) Radon transform (44A12) Model theory of ordered structures; o-minimality (03C64) Real-analytic and semi-analytic sets (14P15) Applications of logic to group theory (20A15)

Abstract: Following recent work of R. Cluckers and F. Loeser [Fonctions constructible et integration motivic I, C. R. Math. Acad. Sci. Paris 339 (2004) 411 - 416] on motivic integration, we develop a direct image formalism for positive constructible functions in the globally subanalytic context. This formalism is generalized to arbitrary first-order logic models and is illustrated by several examples on the p-adics, on the Presburger structure and on o-minimal expansions of groups. Furthermore, within this formalism, we define the Radon transform and prove the corresponding inversion formula.

Recommendations

• Constructible function and motivic integration. I.
• Constructible functions and motivic integration. II
• Integration with respect to the Euler characteristic and its applications
• Stability under integration of sums of products of real globally subanalytic functions and their logarithms
• Evaluation of motivic functions, non-nullity, and integrability in fibers

Cites work

• scientific article; zbMATH DE number 4123876 (Why is no real title available?)
• scientific article; zbMATH DE number 1057764 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• A structure theorem for semibounded sets in the reals
• Additive reducts of real closed fields
• Analytic $p$-adic cell decomposition and integrals
• Between groups and rings
• Classification of semi-algebraic \(p\)-adic sets up to semi-algebraic bijection
• Constructible function and motivic integration. I.
• Constructible functions and motivic integration. II
• Constructible motivic functions and motivic integration
• Euler Integration and Euler Multiplication
• Grothendieck rings of o-minimal expansions of ordered Abelian groups
• Operations on constructible functions
• Presburger sets and p-minimal fields
• Structure theorems for o-minimal expansions of groups

Cited in

(7)

• A complexity theory of constructible functions and sheaves
• scientific article; zbMATH DE number 1952019 (Why is no real title available?)
• Hybrid transforms of constructible functions
• Constructible function and motivic integration. I.
• O-minimalism
• Loci of integrability, zero loci, and stability under integration for constructible functions on Euclidean space with Lebesgue measure
• Euler integration over definable functions

This page was built for publication: Integration of positive constructible functions against Euler characteristic and dimension

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