  The comparison theorem for a smooth projective variety $X$ over $\mathbb{C}$
tells us that the Betti numbers are independent of $l$. We aim to understand
the $l$ independence of Betti numbers for smooth projective varieties $X$ over
$k$, where $k$ is an algebraic extension of $\mathbb{F}_p$.
