Cohomological descent

From Wikipedia, the free encyclopedia

In algebraic geometry, a cohomological descent is, roughly, a "derived" version of a fully faithful descent in the classical descent theory. This point is made precise by the below: the following are equivalent:[1] in an appropriate setting, given a map a from a simplicial space X to a space S,

  • is fully faithful.
  • The natural transformation is an isomorphism.

The map a is then said to be a morphism of cohomological descent.[2]

The treatment in SGA uses a lot of topos theory. Conrad's notes gives a more down-to-earth exposition.

See also[]

  • hypercovering, of which a cohomological descent is a generalization

References[]

  1. ^ Conrad, Lemma 6.8.
  2. ^ Conrad, Definition 6.5.
  • SGA4 Vbis [1]
  • Brian Conrad, Cohomological descent [2]
  • P. Deligne, Théorie des Hodge III, Publ. Math. IHES 44 (1975), pp. 6–77.

External links[]


Retrieved from ""