ℓ-adic sheaf

(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