Assume you are an algebraic geometry advanced student who has mastered **Hartshorne**'s book supplemented on the arithmetic side by the introduction of **Lorenzini** - "*An Invitation to Arithmetic Geometry*" and by **Liu** - "*Algebraic Geometry and Arithmetic Curves*".


* What would be a good learning path towards the proof of the Weil Conjectures for algebraic varieties (not just curves)?
* What modern references are available and in which order should be studied?


Besides the original [article I](http://www.numdam.org/numdam-bin/fitem?id=PMIHES_1974__43__273_0) and [article II](http://www.numdam.org/numdam-bin/fitem?id=PMIHES_1980__52__137_0) by Deligne and the [results on rationality](http://www.jstor.org/stable/2372974) by Dwork, there is the book **Freitag/Kiehl** - "*Étale Cohomology and the Weil Conjecture*" and the [online pdf](http://www.jmilne.org/math/CourseNotes/lec.html) by **Milne** - "*Lectures on Étale Cohomology*". The first title is out of stock and hard to get and the second seems to me too brief and succinct.


* Is it better to master étale cohomology by itself elsewhere and then refer to the original articles? Is any further algebraic/arithmetic background necessary?


Thank you in advance for any hints on how to approach such a study program, and for any related advice towards a self-learning path in arithmetic geometry. (*This question is [cross posted to math.stackexchange](https://math.stackexchange.com/questions/241863/learning-path-for-the-proof-of-the-weil-conjectures) so all kind of students and professionals can provide their advice regardless of their membership to these forums.*)



Learning path for the proof of the Weil Conjectures
I'm not an expert, but here is how I would plan my trip:


There are obviously two parts: rationality + functional equation + comparison with Betti numbers (which follow from the construction of etale cohomology) and the Riemann hypothesis (which is much deeper).


I would therefore follow the following plan:


1. Learn classical algebraic topology, esp. singular cohomology, Poincare duality, Lefschetz fixed point formula, Leray-Serre spectral sequence.
2. Learn an overview of $\ell$-adic cohomology, without technical details. First, understand how a good cohomology theory like in 1. above will prove the first part of the conjectures. Then understand etale topology and definition of $\ell$-adic cohomology groups and how the Frobenius morphism happens to act on them.
3. Technical machinery underlying $\ell$-adic cohomology. I haven't studied this myself very well, but Milne's book seems to be a standard reference.
4. Read Deligne's Weil I article. It's beautifully written and you don't need much more than 1. and 2. above. The main technical tool is the use of Lefschetz pencils, which is there just to make induction on dimension possible. You can just assume Lefschetz pencils exist, or look to SGA if interested. Note that in Deligne's approach it is crucial to work with constructible sheaves, not just the constant sheaf.
5. Read Deligne's Weil II article. It reproves Weil I and adds much more, but is much longer and more difficult.


Note: 3. and 4. above might be mostly independent. A very good reference is Katz's article "L-functions and monodromy: four lectures on Weil II".


