Klaus Mattis

§9: The derived de Rham-Witt complex 1/2

Alternative description of the de Rham–Witt complex. More general criterion for when it can recover the de Rham complex. Define the derived de Rham–Witt and derived de Rham complexes (Construction 9.2.5, Variant 9.2.6) and the conjugate filtration (Remark 9.2.7). Discuss Theorem 9.3.1 (the saturated de Rham–Witt complex in terms of the derived one). Prove Corollary 9.3.5 as an application. Prove Theorem 9.4.1 and Proposition 9.4.6.