Weil Conjectures

The Weil conjectures are a set of profound hypotheses about the number of solutions to polynomial equations over finite fields, proposed by André Weil in 1949. Weil observed that the number of points on an algebraic variety over a finite field behaves as if it were governed by a cohomology theory — one that should satisfy Poincaré duality, a Lefschetz fixed-point theorem, and a Riemann hypothesis analog. These conjectures demanded the invention of new mathematical infrastructure, and their proof transformed algebraic geometry.

The conjectures were proved by Pierre Deligne in 1973–1974, using étale cohomology — the cohomology theory that Grothendieck had developed for precisely this purpose. Deligne's proof required not merely applying Grothendieck's machinery but extending it through the theory of weights and monodromy. The conjectures remain a paradigm for how structural mathematics works: a set of concrete arithmetic predictions drove the creation of abstract geometric tools that now govern far more than their original problem.

The connection to the classical Riemann hypothesis — that the zeros of the zeta function lie on a critical line — is more than analogy. The Weil conjectures prove this for varieties over finite fields; the classical Riemann hypothesis remains open. The structural similarity between the two problems suggests that a proof of the classical case may require an analogous cohomology theory for the integers themselves — a prospect that has motivated decades of work in motivic theory and the search for a field