Étale Cohomology and the Weil Conjectures

This is the webpage for the weekly seminar on étale cohomology and the Weil conjectures, a learning seminar with the goal of understanding the proofs due to Grothendieck and Deligne of the Weil conjectures. The goal for Fall 2026 is to get through enough to understand Deligne's La conjecture de Weil: I, including all the proofs (with few to no blackboxes). If there is interest, the seminar can continue in the spring to cover Weil II.

Logistics

1. Time: 1730-1830 on Mondays
2. Place: Fine Hall 401
3. Contacts: Dhruv Goel (dhruvgoel@princeton.edu) and Patrick Borse (pborse@princeton.edu)
4. Mailing List: There is a mailing list for this seminar. If you are not on it and would like to be on it, or you are on it and would like to be taken off it, please reach out to me at dhruvgoel@princeton.edu.
5. Prerequisites Assumed: Familiarity with algebraic geometry at the level of Vakil or Hartshorne.
6. Notes: The shared Overleaf document can be found here.

Talk Titles

1. Dhruv: Organizational Meeting and Overview of the Weil Conjectures

   • Logistics: 1730-1830 on Monday 260907 in Fine 401
   • Abstract: We will finalize logistics and then review the story of the Weil conjectures. We will start with the Riemann and Dedekind \(\zeta\)-functions, discuss local zeta functions of finite-type \(\mathbb{F}_q\)-schemes, do some easy computations (such as for projective spaces, Grassmannians, and elliptic curves) by hand, and state the Weil conjectures. Then we will overview the proof strategy using Weil cohomology theories and the Lefschetz Trace Formula, lay out the plan for the rest of the seminar, and end by distributing the first few talks.

2. Dhruv: Proof of the Weil Conjectures for Curves via Riemann-Roch, Serre Duality, and the Hodge Index Theorem

   • Logistics: 1730-1830 on Monday 260914 in Fine 401
   • Abstract: We will present the proof of the Weil conjectures for nice curves. The proof of rationality and the functional equation uses only Riemann-Roch with Serre duality; the proof of the Riemann hypothesis uses intersection theory on surfaces, or more specifically, the Hodge Index Theorem. As a bonus, we will discuss a geometric analog of the analytic class number formula for number fields, and illustrate it in examples such as the Fermat quartic and a certain cyclic cover of the line.

3. Dhruv: Proof of the Weil Conjectures for Diagonal Hypersurfaces

   • Logistics: 1730-1830 on Wednesday 260923 in Fine 601
   • Abstract: Following Weil's 1949 paper containing the eponymous conjectures, we will quickly review the basic properties of Gauss and Jacobi sums for finite fields, and use these to prove the Weil conjectures for diagonal hypersurfaces, the key ingredient being the Hasse-Davenport relation. Combined with difficult results of Katz and Scholl, this remains the shortest path to the proof of conjectures to date. In particular, we will encounter our first variety with a negative sign in the functional equation: a smooth quadric surface with a non-split Fano scheme of lines. If time permits, we will explain how this computation relates to the cohomology of complex hypersurfaces via the weak Lefschetz theorem and the Chern-Gauss-Bonnet computation of Euler characteristics.

Resources

Generalities on Sites

1. Notes on Grothendieck Topologies by Michael Artin
2. Notes on Grothendieck topologies, fibered categories and descent theory by Angelo Vistoli

Étale Cohomology

1. Grothendieck topologies and étale cohomology by Pieter Belmans
2. Lectures on Étale Cohomology by J. S. Milne
3. Lecture Notes for Étale Cohomology by Stefan Patrikis

Weil Conjectures

1. Notes on Deligne's "La Conjecture de Weil. I" by Tony Feng
2. La conjecture de Weil: I and La conjecture de Weil: II by P. Deligne; an English translation of the fomer due to Evgeny Goncharov can be found here
3. Weil Conjectures Exposition by Evgeny Goncharov
4. Appendix C of Algebraic Geometry by R. Hartshorne
5. An Overview of Deligne's Proof of the Riemann Hypothesis for Varieties over Finite Fields by Nick Katz
6. The Riemann Hypothesis over Finite Fields: From Weil to the Present Day by J. S. Milne
7. Chapter II of Abelian Varieties by J. S. Milne
8. Zeta functions in algebraic geometry by Mircea Mustață.
9. Chapter 2. Points over Finite Fields and the Weil Conjectures by Mihnea Popa
10. A course on the Weil Conjectures by Tamás Szamuely (notes by Davide Lombardo)
11. Numbers of Solutions of Equations in Finite Fields by André Weil, the 1949 paper in which Weil first poses the eponymous conjectures. An expanded account of the computation done by Weil for "diagonal hypersurfaces" can also be found in Chapters 10 and 11 of Ireland and Rosen.

Textbook References

1. Cohomologie étale, Séminaire de géométrie algébrique du Bois Marie SGA 4½, par P. Deligne avec la collaboration de J. F. Boutot, A. Grothendieck, L. Illusie et J. L. Verdier, Volume 569 of Lecture Notes in Mathematics, Springer-Verlag, 1977
2. Étale Cohomology and the Weil Conjecture by E. Freitag and R. Kiehl, Band 13 der Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, Springer-Verlag, 1988
3. Étale Cohomology Theory, Revised Edition by Lei Fu, Volume 14 of Nankai Tracts in Mathematics, World Scientific Publishing Co. Pte. Ltd., 2015
4. Weil Conjectures, Perverse Sheaves and \(\ell\)-adic Fourier Transform by R. Kiehl and R. Weissauer, Volume 42 of Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, Springer-Verlag, 2001
5. Étale Cohomology by J. S. Milne, Princeton University Press, 1980
6. Chapter 7 of Rational Points on Varieties by Bjorn Poonen, Volume 186 of Graduate Studies in Mathematics, American Mathematical Society, 2017
7. Introduction to Étale Cohomology by Günter Tamme, Universitext, Springer-Verlag, 1994

Many more references were collected on this website by Bhargav Bhatt (although beware the broken links). See also the MIT STAGE Seminar from Fall 2025, this seminar by Caleb Ji, and notes from the seminar organized by Brian Conrad and the one by Bhargav Bhatt.