Proposition 59.54.2 (Leray spectral sequence). Let $f: X \to Y$ be a morphism of schemes and $\mathcal{F}$ an étale sheaf on $X$. Then there is a spectral sequence

\[ E_2^{p, q} = H_{\acute{e}tale}^ p(Y, R^ qf_*\mathcal{F}) \Rightarrow H_{\acute{e}tale}^{p+q}(X, \mathcal{F}). \]

## Comments (0)