Logarithmic Exact Crystalline Poincar\'e Lemma of Higher Level modulo p

Abstract

Le Stum and Quir\'os proved the formal Poincar\'e lemma in crystalline cohomology of higher level using the jet complex, and applied it to give a de Rham interpretation of this cohomology. In this article, we prove the logarithmic version of the formal Poincar\'e lemma modulo p. Provided that each term of the log. jet complex is locally free, it gives the logarithmic version of the de Rham interpretation of the crystalline cohomology of higher level.