導来函手による定義
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/08/19 14:56 UTC 版)
「層係数コホモロジー」の記事における「導来函手による定義」の解説
グロタンディエクの定義は大域切断 Γ X : F ↦ F ( X ) {\displaystyle \Gamma _{X}:{\mathcal {F}}\mapsto {\mathcal {F}}(X)} の導来函手として、層 F {\displaystyle {\mathcal {F}}} に係数を持つ位相空間 X の層コホモロジーを定義した。 この函手は、完全函手ではない。このことは、分岐切断の理論の他にもありふれている事実である（例えば、複素数の対数の場合、指数層系列を参照）。これは左完全系列であり、従って、右導来函手の系列を持ち、 H i ( X , F ) ( i ≥ 0 ) {\displaystyle H^{i}(X,{\mathcal {F}})\quad (i\geq 0)} と書く。 これらの導来函手の存在は、層のアーベル圏のホモロジー代数によりもたらされ、実際、このことが理論の設定の主たる理由である。このことは入射分解を持つこととは独立である。すなわち、理論の中での計算は、実践的には短完全系列や長完全系列がより良いアイデアであり得ることを通して、単射的分解での計算が可能である。 導来函手は任意のアサイクリックな分解へ函手を適用し、複体のコホモロジーを保つことで計算可能であるので、コホモロジー群を計算する方法が複数存在する。具体的な状況とは独立して、細層、軟弱層、アサイクル層が、コホモロジー群の具体的計算に使われる。単射的層（英語版）(injective sheaves)を参照。
※この「導来函手による定義」の解説は、「層係数コホモロジー」の解説の一部です。
「導来函手による定義」を含む「層係数コホモロジー」の記事については、「層係数コホモロジー」の概要を参照ください。
- 導来函手による定義のページへのリンク
