Kohomologický původ - Cohomological descent

tento článek má nejasný styl citace. Použité odkazy mohou být jasnější odlišným nebo konzistentním stylem citace a poznámka pod čarou. (Února 2015) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

V algebraické geometrii, a cohomologický původ je zhrubaodvozený "verze plně věrného sestupu v klasice teorie sestupu. Tento bod je upřesněn níže: následující jsou ekvivalentní:^[1] ve vhodném prostředí, vzhledem k mapě A ze zjednodušeného prostoru X do prostoru S,

• ${ displaystyle a ^ {*}: D ^ {+} (S) až D ^ {+} (X)}$ je plně věrný.
• Přirozená transformace ${ displaystyle operatorname {id} _ {D ^ {+} (S)} to Ra _ {*} circ ^ {*}}$ je izomorfismus.

Mapa A pak se říká, že je morfismem cohomologického původu.^[2]

Léčba v SGA využívá hodně teorie topos. Conradovy poznámky dávají více pozemské expozice.

Viz také

• hyperkrytí, z čehož je cohomologický původ zevšeobecněním

Reference

• SGA4 V^bis [1]
• Brian Conrad, kohomologický původ [2]
• P. Deligne, Théorie des Hodge III, Publ. Matematika. IHES 44 (1975), s. 6–77.

externí odkazy

• http://ncatlab.org/nlab/show/cohomological+descent

Tento související s topologií článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.