MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The Poincare lemma fails in positive characteristic, since pth powers vanish under differention. My question is : is there still some kind of resolution of the local system k by considering some twisted DeRham complex.

share|cite|improve this question
Have you heard about crystalline cohomology? (see It is not really a resolution of the local system $k$, though... – Leo Alonso Mar 31 '11 at 8:27
It fails even in char.0, because the Poincare lemma works only formally locally and the de Rham complex is not exact in positive degrees. On the other hand, the cohomology of any constant sheaf vanishes on an irreducible topological space, so anyway taking resolutions of $k$ would not lead no anything of interest. – Piotr Achinger Mar 31 '11 at 13:05
in char o the deRham is a resolution of C , which implies $H(X,C) \cong H_{Dr}(X)$ – chemaida Mar 31 '11 at 15:16
chemaida, to be clear, the Poincar\'e lemma holds for holomorphic or $C^\infty$ forms, but it can fail for the algebraic de Rham complex even in characteristic $0$ (which is what Piotr was referring to). Nevertheless the hypercohomology of the algebraic de Rham complex does give the correct answer, although the reasons are more subtle. – Donu Arapura Mar 31 '11 at 16:00
Ok..thank you for your responses..I would be interested in the subtle reason that Donu alludes to or even a reference – chemaida Apr 1 '11 at 7:25

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.