Let $A/\mathbb F_q$ be an abelian variety over a finite field. Define $A_\ell = A[\ell^\infty](\mathbb F_q)$, the $\ell^n$ ($n\geq 0)$ torsion points defined over the base field. I can assume $\ell \neq 0$ in $\mathbb F_q$ if necessary. 

Is there a Lefschetz style trace formula relating $A_\ell$ to the trace of the Frobenius on some cohomology groups? If we let $a_\ell = |A_\ell|$, then note that:

$$|A(\mathbb F_q)| = \sum_{\ell} (a_\ell - 1)$$
where the right hand side sums over all primes and only finitely many terms are non zero. The left hand side has an interpretation in terms of the action of the Frobenius on the Etale cohomology groups and it would be great if any such relation also lifted to the level of cohomology groups.