  We interpret the "explicit formula" in the sense of analytic number theory
for the zeta function of an ordinary abelian variety of dimension g over a
finite field as a transversal index theorem on a (2g+1)-dimensional Riemannian
foliated space. This generalizes a work of Deninger for elliptic curves.
