Definable equivalence relations and zeta functions of groups (with an appendix by Raf Cluckers)

We prove that the theory of the p-adics Qp admits elimination of imaginaries provided we add a sort for GLn(Qp)/GLn(Zp) for each n. We also prove that the elimination of imaginaries is uniform in p. Using p-adic and motivic integration, we deduce the uniform rationality of certain formal zeta functi...

Full description

Bibliographic Details
Main Authors: Hrushovski, E, Martin, B, Rideau, S
Format: Journal article
Language:English
Published: European Mathematical Society Publishing House 2018