Crystalline cohomology and Katz's conjecture
Crystalline cohomology is a type of Weil cohomology theory that fills in the gap at $p$ in the family of $l$-adic cohomologies. It's introduced by Alexander Grothendieck and developed by Pierre Berthelot. We will briefly discuss what is crystalline cohomology and why we need it. With the help of Frobenius action, we can define a semi-linear morphism on crystalline cohomology which provides a Newton polygon. We will state the Katz's conjecture (which is proved by Mazur and Ogus) (slogan: Newton polygon lies above Hodge polygon) and show some applications (if time permits).