Finiteness of crystalline cohomology of higher level (Q746898)

\textit{P. Berthelot} [Ann. Sci. Éc. Norm. Supér., IV. Sér. 29, No. 2, 185--272 (1996; Zbl 0886.14004)] generalized the notion of PD structure in crystalline cohomology theory to that of ``\(m\)-PD structure (PD structure of level \(m\))'' for each natural number \(m\). From this, one can generalize the usual crystalline cohomology theory to \(m\)-crystalline cohomology using a level-\(m\) version of the crystalline site. In this paper, the author proves the boundedness, the base change, and the finiteness of the crystalline cohomology of level \(m\). \textit{B. Le Stum} and \textit{A. Quirós} [J. Algebra 240, 559--588 (2001; Zbl 1064.14015)] proved the exact crystalline Poicaré lemma, namely the ``jet complex of order \(p^m\)'' calculates the crystalline cohomology of level \(m\). Unfortunately, this complex is not bounded and the proof to its local freeness contains a gap. So the finiteness of crystalline cohomology of level \(m\) does not follow from the exact crystalline Poincaré lemma. The main contribution of this paper is to introduce an auxiliary ``de Rham-like'' complex which locally resolves a \textit{direct sum} of finitely many copies of the structure sheaf (as opposed to the structure sheaf itself). This allows the author to prove cohomological boundedness and the base change theorem. Together with the exact crystalline Poincaré lemma of Le Stum and Quirós, the author concludes the finiteness of crystalline cohomology of level \(m\).