Lemma 60.25.5 (07QA)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 3: Topics in Scheme Theory
Chapter 60: Crystalline Cohomology
Section 60.25: Pulling back along purely inseparable maps
Lemma 60.25.5 (cite)

numberstags

Lemma 60.25.5. With notations and assumptions as in Lemma 60.25.4 the map

\[ f^* : H^ i(\text{Cris}(X/S), \mathcal{F}) \longrightarrow H^ i(\text{Cris}(X'/S), \mathcal{F}') \]

has kernel and cokernel annihilated by $q^{i + 1}$.

Proof. This follows from the fact that $E$ has nonzero cohomology sheaves in degrees $-1$ and up, so that the spectral sequence $H^ a(\mathcal{H}^ b(E)) \Rightarrow H^{a + b}(E)$ converges. This combined with the long exact cohomology sequence associated to a distinguished triangle gives the bound. $\square$

Comments (0)

There are also:

2 comment(s) on Section 60.25: Pulling back along purely inseparable maps

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment