MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Let $p$ be a prime number. Let $X\to\operatorname{Spec}\mathbb Z_p$ be smooth and proper. Is it true that the map $H^i(X,\Omega^{\bullet\geq j}_{X/\mathbb Z_p})\to H^i(X,\Omega^\bullet_{X/\mathbb Z_p})$ induced by the inclusion of complexes is injective? This is easy to see if the groups $H^i(X,\Omega^j_{X/\mathbb Z_p})$ are $p$-torsion free, but I think it should be true in general.


share|cite|improve this question

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.