The filtered Poincare lemma in higher level (with applications to algebraic groups)

We show that the Poincare lemma we proved elsewhere in the context of crystalline cohomology of higher level behaves well with regard to the Hodge filtration. This allows us to prove the Poincare lemma for transversal crystals of level m. We interpret the de Rham complex in terms of what we call the Berthelot-Lieberman construction and show how the same construction call be used to study the conormal complex and invariant differential forms of higher level for a group scheme. Bringing together both instances of the construction, we show that crystalline extensions of transversal crystals by algebraic groups can be computed by reduction to the filtered de Rham complexes. Our theory does not ignore torsion and, unlike in the classical case (m = 0), not all invariant forms are closed. Therefore, close invariant differential forms of level m provide new invariants and we exhibit some examples as applications.