Weil conjectures

Weil conjectures
Name	Weil conjectures
Proposer	André Weil
Proposed	1949
Status	proven
Key figures	Alexander Grothendieck, Pierre Deligne, Jean-Pierre Serre, Hermann Weyl, Emilio Artin
Main tools	Étale cohomology, Lefschetz trace formula, Algebraic geometry, Intersection theory

Weil conjectures The Weil conjectures are a set of foundational statements about the zeta functions of algebraic varieties over finite fields proposed by André Weil in 1949. They connected problems in number theory, algebraic geometry, and topology and motivated the development of Étale cohomology and the expansion of the Grothendieck school, culminating in proofs by Pierre Deligne and others. The conjectures include analogues of the Riemann hypothesis, a functional equation, rationality, and an interpretation of zeta-function coefficients in terms of cohomology.

History and statement of the conjectures

Weil formulated his conjectures after work on the Riemann hypothesis for curves by Hermann Weyl and results on zeta functions by Emilio Artin and Helmut Hasse. Early progress involved contributions from Oscar Zariski, Jean-Pierre Serre, and the influence of the Italian school of algebraic geometry. Alexander Grothendieck reframed Weil's predictions using his program in scheme theory and proposed a cohomological formalism modeled on Betti cohomology and De Rham cohomology; this led to the development of Étale cohomology and the formulation of the conjectures as properties of eigenvalues of Frobenius acting on cohomology groups. The statements assert: rationality of the zeta function (proved by Dwork for certain cases), a functional equation analogous to that of Riemann zeta function, a cohomological interpretation in terms of Betti-type numbers as in work inspired by Lefschetz, and a Riemann-type bound on eigenvalues ultimately proved by Deligne.

Zeta functions of varieties over finite fields

For a variety defined over a finite field studied after Weil's suggestion, one associates a zeta function counting points over finite extensions of the base field—a construction reminiscent of the Dedekind zeta function and the Hasse–Weil zeta function. Early explicit computations for curves relied on techniques used by Helmut Hasse in the proof of the Hasse bound and subsequent refinements by Max Deuring and Michael Artin; later, the formalism of scheme theory and Grothendieck's étale topology allowed a cohomological interpretation. The zeta function is expressed as a product involving characteristic polynomials of the Frobenius endomorphism acting on cohomology groups, reflecting parallels with Poincaré duality and the Weil pairing in the context of abelian varieties such as Jacobian varieties.

Analogues with the Riemann hypothesis and functional equation

Weil drew a precise analogy between his conjectures and the classical Riemann hypothesis for the Riemann zeta function, proposing that zeros and poles of the zeta functions for varieties lie on specific "critical lines" determined by cohomological degree, mirroring the symmetry in the functional equation for Riemann zeta function. The predicted functional equation uses a duality paralleling Poincaré duality and the dualizing sheaf concepts refined in the work of Grothendieck and Jean-Pierre Serre, and echoes invariance properties familiar from modular form functional equations studied by Hecke and Atkin.

Proofs and key ingredients (Étale cohomology, Lefschetz trace formula)

Grothendieck initiated a program to prove the conjectures by developing Étale cohomology and an abstract Lefschetz formalism inspired by the Lefschetz fixed-point theorem; collaborators included Jean-Pierre Serre, Alexandre Grothendieck's students and colleagues at Institut des Hautes Études Scientifiques and École Normale Supérieure. The rationality and functional equation parts were established using properties of étale cohomology, the Lefschetz trace formula, and comparison theorems linking algebraic and topological cohomologies, with important contributions from Bernard Dwork, who proved rationality for some cases via p-adic methods, and from Grothendieck proving most parts modulo an analogue of the Riemann hypothesis. The final, deepest ingredient—the Riemann-type bound on Frobenius eigenvalues—was proved by Pierre Deligne using a combination of ideas including monodromy, weights, and purity emerging from Tannakian categories and the formalism developed by Grothendieck and refined by Deligne in his proofs during the 1970s.

Consequences and applications

The resolution of the conjectures had far-reaching consequences for arithmetic geometry, influencing work on the Hasse principle, the Langlands program, and conjectures about L-functions of varieties such as those arising from elliptic curves and Abelian varieties. Techniques developed for the proofs led to advances in the study of motives, the formulation of the Tate conjecture, and progress on counting points on varieties used in coding theory and cryptography relying on finite-field point counts of curves and surfaces. The cohomological viewpoint shaped later breakthroughs by researchers at institutions like Princeton University, Harvard University, and University of Paris.

Generalizations and related conjectures

Generalizations include the extension of weight and purity theory to mixed-characteristic settings explored by Grothendieck and successors, links to the Tate conjecture and the conjectural theory of motives promoted by Yves André and others, and interactions with the Langlands program as developed by Robert Langlands and contributors such as Pierre Deligne and Michael Harris. Related problems involve p-adic cohomology theories advanced by Kiran Kedlaya and the development of rigid cohomology and crystalline cohomology by researchers including Pierre Berthelot, each extending aspects of the original program to broader classes of varieties and yielding new conjectures and avenues connecting Galois representations and automorphic forms.

Category:Algebraic geometry