The Exact Poincaré Lemma in Crystalline Cohomology of Higher Level

We prove a formal Poincaré Lemma in crystalline cohomology of higher level and we derive a de Rham interpretation of crystalline cohomology of higher level. We also define the Spencer complex of higher level and show that it can be used to compute the cohomology of arithmetic -modules.