group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
$\ell$-Adic cohomology is a cohomology theory on suitable varieties which is constructed as an inverse limit of étale cohomology over different coefficients.
$\ell$-Adic cohomology is a Weil cohomology theory. It is endowed with a Galois action and therefore gives us a way of obtaining Galois modules from algebraic varieties.
Let $X$ be a (smooth?) proper variety over a field. Fix $\ell$ a prime number different from the characteristic of $k$. The $\ell$-adic cohomology is defined to be the cohomology theory on the étale site given by the inverse limit over $n \in \mathbb{N}$
of étale cohomology with coefficients in $\mathbb{Z}/\ell^n\mathbb{Z}$.
The key insights into getting finite dimensionality with coefficients in a field of characteristic $0$ when $k$ has positive characteristic is to first base change to $\overline{k}$ to make the theory “geometric.” Then only work with torsion sheaves so that appropriate finiteness theorems for étale cohomology of proper varieties can be used, and then pass to the limit.
Notice that on the left $\mathbb{Q}_{\ell}$ is not an actual sheaf whose actual sheaf cohomology is being computed instead the expression on the left is defined by the genuine sheaf cohomology groups on the right.
This is rectified by passing to pro-étale cohomology. Here $\mathbb{Q}_{\ell}$ exists as an actual sheaf and its genuine abelian sheaf cohomology is $\ell$-adic cohomology. (Bhatt-Scholze 13, section 6.8)
A textbook account is in
Surveys include
A variant of the étale site, well adapted to the needs of $\ell$-adic cohomology, the pro-étale site (locally contractible in some sense) is discussed in
Last revised on July 2, 2022 at 18:56:16. See the history of this page for a list of all contributions to it.