Jump to content

ℓ-adic sheaf

From Wikipedia, the free encyclopedia
(Redirected from L-adic sheaf)

In algebraic geometry, an ℓ-adic sheaf on a Noetherian scheme X is an inverse system consisting of -modules in the étale topology and inducing .[1][2]

Bhatt–Scholze's pro-étale topology gives an alternative approach.[3]

Motivation

[edit]

The development of étale cohomology as a whole was fueled by the desire to produce a 'topological' theory of cohomology for algebraic varieties, i.e. a Weil cohomology theory that works in any characteristic. An essential feature of such a theory is that it admits coefficients in a field of characteristic 0. However, constant étale sheaves with no torsion have no interesting cohomology. For example, if is a smooth variety over a field , then for all positive . On the other hand, the constant sheaves do produce the 'correct' cohomology, as long as is invertible in the ground field . So one takes a prime for which this is true and defines -adic cohomology as .

This definition, however, is not completely satisfactory: As in the classical case of topological spaces, one might want to consider cohomology with coefficients in a local system of -vector spaces, and there should be a category equivalence between such local systems and continuous -representations of the étale fundamental group.

Another problem with the definition above is that it behaves well only when is a separably closed. In this case, all the groups occurring in the inverse limit are finitely generated and taking the limit is exact. But if is for example a number field, the cohomology groups will often be infinite and the limit not exact, which causes issues with functoriality. For instance, there is in general no Hochschild-Serre spectral sequence relating to the Galois cohomology of .[4]

These considerations lead one to consider the category of inverse systems of sheaves as described above. One has then the desired equivalence of categories with representations of the fundamental group (for -local systems, and when is normal for -systems as well), and the issue in the last paragraph is resolved by so-called continuous étale cohomology, where one takes the derived functor of the composite functor of taking the limit over global sections of the system.

Constructible and lisse ℓ-adic sheaves

[edit]

An ℓ-adic sheaf is said to be

  • constructible if each is constructible.
  • lisse if each is constructible and locally constant.

Some authors (e.g., those of SGA 412)[5] assume an ℓ-adic sheaf to be constructible.

Given a connected scheme X with a geometric point x, SGA 1 defines the étale fundamental group of X at x to be the group classifying finite Galois coverings of X. Then the category of lisse ℓ-adic sheaves on X is equivalent to the category of continuous representations of on finite free -modules. This is an analog of the correspondence between local systems and continuous representations of the fundament group in algebraic topology (because of this, a lisse ℓ-adic sheaf is sometimes also called a local system).

ℓ-adic cohomology

[edit]

An ℓ-adic cohomology groups is an inverse limit of étale cohomology groups with certain torsion coefficients.

The "derived category" of constructible ℓ-adic sheaves

[edit]

In a way similar to that for ℓ-adic cohomology, the derived category of constructible -sheaves is defined essentially as

(Scholze & Bhatt 2013) writes "in daily life, one pretends (without getting into much trouble) that is simply the full subcategory of some hypothetical derived category ..."

See also

[edit]

References

[edit]
  1. ^ Milne, James S. (1980-04-21). Etale Cohomology (PMS-33). Princeton University Press. p. 163. ISBN 978-0-691-08238-7.
  2. ^ Stacks Project, Tag 03UL.
  3. ^ Scholze, Peter; Bhatt, Bhargav (2013-09-04). "The pro-étale topology for schemes". arXiv:1309.1198v2 [math.AG].
  4. ^ Jannsen, Uwe (1988). "Continuous Étale Cohomology". Mathematische Annalen. 280 (2): 207–246. ISSN 0025-5831.
  5. ^ Deligne, Pierre (1977). Cohomologie Etale. Lecture Notes in Mathematics (in French). Vol. 569. Berlin; New York: Springer-Verlag. pp. iv+312. doi:10.1007/BFb0091516. ISBN 978-3-540-08066-4. MR 0463174.
[edit]