Evaluation of motivic functions, non-nullity, and integrability in fibers
Algebraic Geometry
2021-12-08 v2 Logic
Abstract
We define an operation of evaluation at a point for motivic constructible (exponential) functions from the Cluckers-Loeser framework of motivic integration and show that two such motivic functions are abstractly equal if and only if their evaluations at each point are the same. We similarly characterise relative integrability in terms of integrability in each fiber separately. These results simplify the mentioned frameworks of motivic integration and their usage.
Keywords
Cite
@article{arxiv.2004.09981,
title = {Evaluation of motivic functions, non-nullity, and integrability in fibers},
author = {Raf Cluckers and Immanuel Halupczok},
journal= {arXiv preprint arXiv:2004.09981},
year = {2021}
}