Weil conjectures and affine hypersurfaces

We give yet another proof of the Riemann hypothesis for smooth proper varieties over a finite field (Deligne's theorem), by reducing to the hypersurface case.

The latter was established by N.

Katz via an elementary argument.

A reduction of this kind was previously carried out by A.

J.

Scholl.

Our approach is slightly different, and relies on deformation to an affine hypersurface, together with Artin's vanishing theorem and basic properties of perverse sheaves.