Finiteness of Crystalline Cohomology of Higher Level

Abstract

We prove the finiteness of crystalline cohomology of higher level. An important ingredient is a "higher de Rham complex" and a kind of Poincar\'e lemma for it.