GAUS-AG on Poincaré duality in characteristic $p$ [log_dr_witt_seminar_2026]

The logarithmic de Rham-Witt complex is a useful construction for $p$-adic cohomology, just like the roots of unity for $\ell$-adic cohomology. In this reading seminar, I introduce the original logarithmic de Rham-Witt complex à la Illusie, make it more or less readable and compare it to the complex in Bhatt-Lurie-Mathew.