Research Seminar "The Weil Conjectures"
- Students will learn basics of the etale cohomology theory, including a proof of the Weil conjectures and its applications to Number Theory and Topology.
- Students will learn how to compute zeta function of projective spaces and elliptic curves.
- Students will learn how to compute the etale fundamental group of projective spaces and elliptic curves.
- Students will learn Hilbert's 90 theorem
- Students will learn how to compute 0th, 2nd, and the rank of the first cohomology groups for curves.
- Students will learn how to compute the cohomology of punctured curves
- Students will learn about the cycle class map
- Students will learn that the cohomology of a smooth proper family form a local system over the base
- Students will learn about the Weil pairing for curves
- Students will learn how to compute the monodromy
- Students will learn how to show that the monodromy is big
- Students will learn the basic ideas in Deligne's proof of the last Weil conjecture.
- Zeta function of varieties over finite fields.Statement of the Weil conjectures. Proof for curves. Kahler's analogue.
- Etale morphisms. The etale fundamental groupInfinitesimal criterion, Henselian rings.
- Grothendieck's topologyFaithfully flat descent
- The etale cohomology of curvesTsen's theorem, Poincare duality for curves.
- Proper base change.Proof of the proper base change theorem
- Poincare dualityGrothendieck-Lefschetz fixed point formula
- Cohomological dimension. Purity.The Gysin sequence
- Smooth base changeProof of the smooth base change theorem
- Vanishing cyclesPicard-Lefschetz formula
- Lefschetz PencilsKazhdan-Margulis Theorem
- Proof of the Weil conjecturesRankin's trick
- Interim assessment (4 module)0.3 * Homeworks and Final Exam + 0.7 * Homeworks and Final Exam
- Dolgachev, I. (2012). Classical Algebraic Geometry : A Modern View. Cambridge: Cambridge University Press. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=473170
- Hartshorne, R., & American Mathematical Society. (1975). Algebraic Geometry, Arcata 1974 : [proceedings]. Providence: AMS. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=772699