Commit 2026-03-12 07:50 cdc017d5

feat(AlgebraicGeometry): ℓ-adic cohomology (#36306) Let X be a scheme and ℓ be a prime number. We define the sheaf associated to the topological group ℤ_[ℓ] on the pro-étale site of X following Definition 6.8.1 of Bhatt-Scholze. Its cohomology groups are the ℓ-adic cohomology groups of X. We will eventually be able to show that this definition agrees with the classical definition as the inverse limit of étale cohomology groups (see Proposition 5.6.2 in the article cited above).