Lorenzo Mantovani

§10: Comparison with crystalline cohomolgy 1/2

The de Rham–Witt complex computes crystalline cohomology. If not done in the talk about §6, quickly introduce/recall crystalline cohomology (see for example the book by Berthelot or Tag 07GI in the Stacks project), state Theorem 10.1.1 and explain the strategy for the proof (§10.1). Prove Proposition 10.2.1; coordinate with the speaker of the next talk (they might need intermediate results and proofs from §10.2). If not done in the talk about §6 and time permits, prove Proposition 6.4.1 (which shows that the assumptions in the main result are needed).