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...
Main Authors: | , , |
---|---|
Format: | Journal article |
Language: | English |
Published: |
European Mathematical Society Publishing House
2018
|