層のコホモロジー

層といえばコホモロジーだろう。Iversen も “Cohomology of Sheaves” という本 [Ive86] を書いている。

位相空間上の層のコホモロジーについては, この Iversen の本の他に, Godement の [God73] や Bredon の [Bre97] がある。 Iversen の本は, ホモロジー代数に慣れていないと読み辛いので, まずは Bredon の本を見るのが良いと思う。

多様体上の層のコホモロジーについては, Kashiwara と Schapira の本 [KS94] もある。

トポロジーの視点からは, とりあえず位相空間上の Abel群の層のコホモロジーを知っているべきだろう。

• Abel群の層のコホモロジーの定義

具体例として, 位相空間の Čech cohomology は重要な例である。 幾何学的なデータが Čech cocycle として表わされたりする。例えば, 主\(G\)束の座標変換とか gerbe を構成するデータなど。また, ホモトピー論的な fibration でも, numerable な被覆を持つ場合には, cocycle を考えることができる。一度は Čech cohomology の構成を勉強しておいて損はないだろう。

• Čech cohomology

多様体では, まず de Rham cohomology を層のコホモロジーとして表わすことを知っておくべきだろう。

• 層のコホモロジーとしての de Rham cohomology

References

[Bre97]

Glen E. Bredon. Sheaf theory. Second. Vol. 170. Graduate Texts in Mathematics. Springer-Verlag, New York, 1997, pp. xii+502. isbn: 0-387-94905-4. url: https://doi.org/10.1007/978-1-4612-0647-7.

[God73]

Roger Godement. Topologie algébrique et théorie des faisceaux. Troisième édition revue et corrigée, Publications de l’Institut de Mathématique de l’Université de Strasbourg, XIII, Actualités Scientifiques et Industrielles, No. 1252. Paris: Hermann, 1973, pp. viii+283.

[Ive86]

Birger Iversen. Cohomology of sheaves. Universitext. Berlin: Springer-Verlag, 1986, pp. xii+464. isbn: 3-540-16389-1. url: http://dx.doi.org/10.1007/978-3-642-82783-9.

[KS94]

Masaki Kashiwara and Pierre Schapira. Sheaves on manifolds. Vol. 292. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. With a chapter in French by Christian Houzel, Corrected reprint of the 1990 original. Berlin: Springer-Verlag, 1994, pp. x+512. isbn: 3-540-51861-4.