01 · The idea
In everyday language
Over a finite field, polynomial equations have finitely many solutions. Count them not only in the original field but also in its finite extensions, and package the counts into a zeta function. The Weil conjectures predict a remarkably structured form for this function. Deligne proved the crucial bounds on Frobenius eigenvalues, completing the remaining conjecture for smooth projective varieties. Cohomology supplies the spaces on which Frobenius acts, while the eigenvalue bounds control fluctuations in point counts. Arithmetic counting therefore becomes a window into an underlying geometric structure, rather than a series of unrelated enumerations.
Why it matters
The proof completed the Weil-conjecture programme and provided fundamental estimates and structural tools throughout arithmetic geometry, with consequences for many counting and number-theoretic problems.
