Remark 63.16.2. Remarks on Theorem 63.16.1.

This formula holds in any dimension. By a dévissage lemma (which uses proper base change etc.) it reduces to the current statement – in that generality.

The complex $R\Gamma _ c(X_{\bar k}, K)$ is defined by choosing an open immersion $j : X \hookrightarrow \bar X$ with $\bar X$ projective over $k$ of dimension at most 1 and setting

\[ R\Gamma _ c(X_{\bar k}, K) := R\Gamma (\bar X_{\bar k}, j_!K). \]This is independent of the choice of $\bar X$ follows from (insert reference here). We define $H^ i_ c(X_{\bar k}, K)$ to be the $i$th cohomology group of $R\Gamma _ c(X_{\bar k}, K)$.

## Comments (0)