Cohomological descent

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,

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

References

  1. Conrad, Lemma 6.8.
  2. Conrad, Definition 6.5.

External links


This article is issued from Wikipedia - version of the Sunday, February 15, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.