Zeta functions of equivalence relations over finite fields

摘要

We prove the rationality of the generating function associated to the number of equivalence classes of F_qκ-points of a constructible equivalence relation defined over the finite field F_q. This is a consequence of the rationality of Weil zeta functions and of first order formulas, together with the existence of a suitable parameter space for constructible families of constructible sets.