層とコホモロジー

層は局所的に定義され、一貫して貼り合わされたデータを記録するものであり、層コホモロジーは局所的な解から大域的な解へと移行する際の障害を測定する。

Definition

空間上の層とは、各開集合に、制限と貼り合わせに関して互換性のある切断（sections）の集合（または群、環、加群）を割り当てるものである。層コホモロジーは、大域切断を取る操作の導来関手の列であり、局所切断が大域的に貼り合わされない度合いを定量化する。

Scope

このトピックでは、位相空間またはスキーム上の前層と層、茎（stalks）、層化（sheafification）、層の射（morphisms of sheaves）について紹介し、構造層（structure sheaf）、イデアル層（ideal sheaves）、連接層（coherent sheaves）、準連接層（quasi-coherent sheaves）を中心的な例として取り上げる。また、大域切断関手（global-sections functor）の導来関手（derived functors）を介した層コホモロジーの展開、Čechコホモロジーという計算ツール、射影空間上の連接層のコホモロジー、そしてSerreの有限性定理（finiteness theorem）、消滅定理（vanishing theorems）、Serre双対性（Serre duality）といった基礎的な結果についても論じる。

Core questions

• 貼り合わせの公理は、層を局所から大域へのデータに適したツールとする上でどのように機能するのか？
• 連接層と準連接層は、スキーム上の幾何学について何を捉えているのか？
• 層コホモロジーが導来関手として定義されるのはなぜか、そしてČechコホモロジーはそれをどのように計算するのか？
• Serreの有限性定理、消滅定理、双対性定理は、連接コホモロジーについて何を教えてくれるのか？

Key concepts

• 前層、層、茎、層化
• 連接層と準連接層
• 導来関手としての層コホモロジー
• Čechコホモロジーと導来コホモロジーとの一致
• Serreの有限性、消滅、Serre双対性

Clinical relevance

層コホモロジーは代数幾何学の中心的な計算エンジンであり、直線束（line bundles）の切断、変形（deformations）、障害理論（obstruction theory）を制御する。同じ機構はWeil予想の証明に用いられたエタールコホモロジー（étale cohomology）の基礎となっており、位相幾何学や複素幾何学においても広く普及している。

History

Lerayは1940年代に層とそのコホモロジーを導入した。SerreのFAC（1955年）は連接層コホモロジーを代数幾何学にもたらし、Grothendieckは彼の東北論文（1957年）においてコホモロジーを導来関手として再構築し、この枠組みが現代の扱いで採用されている。

Key figures

• Jean Leray
• Jean-Pierre Serre
• Alexander Grothendieck

Seminal works

• hartshorne1977
• maclane1971

Frequently asked questions

前層と層の違いは何ですか？

前層は開集合に制限写像を伴うデータを割り当てるものですが、層はさらに、重なり合う部分で一致する局所切断が一意な大域切断に貼り合わされることを要求します。これは幾何学に必要な局所性そのものです。

層コホモロジーは幾何学的にどのような意味を持つのでしょうか？

その次元は、大域切断、障害、そして種数（genus）などの不変量を数えます。高次コホモロジーの消滅は、局所的な幾何学的データ、例えば直線束の切断などが大域的に組み立てられることを可能にします。