Weil conjectures
From Academic Kids

In mathematics, the Weil conjectures, which had become theorems by 1975, were some highlyinfluential proposals from the late 1940s by André Weil on the generating functions (known as local zetafunctions) derived from counting the number of points on algebraic varieties over finite fields. The main burden was that such zetafunctions should be rational functions, should satisfy a form of functional equation, and should have their zeroes in restricted places. The last two parts were quite consciously modelled on the Riemann zeta function and Riemann hypothesis.
In fact the case of curves over finite fields had been proved by Weil himself, finishing the project started by Hasse's theorem on elliptic curves over finite fields. The conjectures were natural enough in one direction, simply proposing that known good properties would extend. Their interest was obvious enough from within number theory: they implied the existence of machinery that would provide upper bounds for exponential sums, a basic concern in analytic number theory.
What was really eyecatching, from the point of view of other mathematical areas, was the proposed connection with algebraic topology. Given that finite fields are discrete in nature, and topology speaks only about the continuous, the detailed formulation of Weil (based on working out some examples) was striking and novel. It suggested that geometry over finite fields should fit into wellknown patterns relating to Betti numbers, the Lefschetz fixedpoint theorem and so on.
Weil himself, it is said, never seriously tried to prove the conjectures. The analogy with topology suggested that a new homological theory be set up applying within algebraic geometry. This took two decades (it was a central aim of the work and school of Alexander Grothendieck) building up on initial suggestions from Serre and others. The rationality part of the conjectures was proved first, by Bernard Dwork, using padic methods. The rest awaited the construction of étale cohomology, a theory whose very definition lies quite deep. The proofs were completed by Pierre Deligne, roughly speaking using a painstaking induction argument on dimension.
The conjectures of Weil have therefore taken their place within the general theory (of Lfunctions, in the broad sense). Since étale cohomology has had many other applications, this development exemplifies the relationship between conjectures (based on examples, guesswork and intuition), theorybuilding, problemsolving, and spinoffs, even in the most abstract parts of pure mathematics.ja:ヴェイユ予想