Finiteness of Crystalline Cohomology of Higher Level
  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. 
Kazuaki Miyatani
math.AG