Rationality and meromorphy of zeta functions

This article is all about two theorems on equations over finite fields which have been proved in the past decade. First, the finiteness of the rigid cohomology of a variety over a finite field. Second, the p-adic meromorphy of the unit root zeta function of a family of varieties over a finite field...