Remark 64.16.2. Remarks on Theorem 64.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 ith cohomology group of R\Gamma _ c(X_{\bar k}, K).
Comments (0)
There are also: