層コホモロジー

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

数学では、層コホモロジー(sheaf cohomology)は、アーベル群の層に関連する 層の理論の一面であり、ホモロジー代数へ適用され、層 F の大域切断の具体的な計算を可能とする。数値的な領域での幾何学的な問題の記述として、層コホモロジーの理論は、重要な幾何学的な不変量の次元を計算することへ有用なツールとして使うことができる。

1950年以後の数年間で急速に発展した層コホモロジーは、代数幾何学や多変数複素函数論ホッジ理論でのリーマン・ロッホの定理のより古典的な方法や因子の一次系英語版(linear system of divisors)の解析へ結びついた。層コホモロジー群のランク、もしくは次元は、幾何学的なデータの新鮮な元となったり、古い仕事の新しい解釈を発生させたりする。

定義[編集]

チェックコホモロジー[編集]

最初に定義された層コホモロジーのバージョンは、チェックコホモロジー英語版(Čech cohomology)を基礎とし、そこでは、位相空間 X の開集合 U の属する小さな変換が、前もって固定されているアーベル群 A の上というよりも U 上で変化するアーベル群 F(U) とされている。このことは、コチェイン英語版(cochain)が具体的に書き下すことが容易であることを意味し、実際、有理型函数クザン問題のような典型的な応用が、数学の領域の中で有名な一群をなす。層の観点からは、チェック理論(Čech theory)は、A に値を持つ局所定数函数英語版(locally constant function)への層の制限である。層の理論の中では、基本群がその上で作用する局所係数英語版(local coefficients)をもつような、つまり、より一般的な係数の非常に異なった種類を持つツイストしたバージョンと見ることをも含んでいる。

この理論の一つの問題は、X 自体がうまく振る舞わ英語版(well-behaved)ないと チェックコホモロジーが良い性質を持たないということである。このことは、X が多様体のような場合は困難ではないが、ザリスキー位相が一般にはハウスドルフ的ではないので、代数幾何学への応用では困ることになる。チェックコホモロジーの問題は、層の短完系列に付随するコホモロジー群長完全系列を作ることに失敗することで明白となる。実践的には、このことは計算を行うときの基本的方法(つまり、与えられた層から短完全系列を通して他のものをどのようにして導き出すかを示し、結果を求める)である。理論は暫くの間、混乱した状態であった。ジャン・ピエール・セール(Jean-Pierre Serre)はチェックの理論が成り立つことを示し、他方、アレクサンドル・グロタンディーク(Alexandre Grothendieck)は、長完全系列の成り立つようなより抽象的な定義を提案した。

導来函手による定義[編集]

グロタンディエクの定義は大域切断

\Gamma_X: \mathcal F \mapsto \mathcal F(X)

導来函手として、層 \mathcal F に係数を持つ位相空間 X の層コホモロジーを定義した。

この函手は、完全函手ではない。このことは、分岐裁断の理論の他にもありふれている事実である(例えば、複素数対数の場合、指数的層系列英語版(exponential sequence)を参照)。これは左完全系列であり、従って、右導来函手の系列を持ち、

H^i(X, \mathcal F), i \geq 0

と書く。

これらの導来函手の存在は、層のアーベル圏ホモロジー代数によりもたらされ、実際、このことが理論の設定の主たる理由である。このことは単射的分解英語版(injective resolution)を持つこととは独立である。すなわち、理論の中での計算は、実践的には短完全系列や長完全系列がより良いアイデアであり得ることを通して、単射的分解での計算が可能である。

導来函手は任意のアサイクルな[1]分解へ函手を適用し、複体のコホモロジーを保つことで計算可能であるので、コホモロジー群を計算する方法が複数存在する。具体的な状況とは独立して、細層、軟弱層、アサイクル層が、コホモロジー群の具体的計算に使われる。単射的層英語版(injective sheaves)を参照。

応用[編集]

結局、(ゴドメン英語版(Godement)の書籍のような)さらにテクニカルな拡張と応用の分野がある。例えば、層は変換群へ適用され、ボレル・ムーアホモロジー英語版(Borel-Moore homology)の形のホモロジー論や、ボレル・ボット・ヴェイユの定理英語版(Borel-Bott-Weil theorem)の表現論に、代数幾何学や複素多様体の標準的となっていることと同様に、影響を与えた。

エタール・コホモロジーからの特別な要求は、コホモロジー以上に層コホモロジーの再解釈があり、函手的なアプローチを適用して与えられる。平坦コホモロジー英語版(Flat cohomology)、クリスタリン・コホモロジー英語版(crystalline cohomology)も基本モデルの適用として成功している。

オイラー標数[編集]

\mathcal{F} のオイラー標数 \chi(\mathcal{F}) は、

 \chi(\mathcal{F}) := \sum_{i \in \mathbf{Z}_0^+} (-1)^i \,{\rm rank}\, (H^{i}(X, \mathcal F))

により定義される。

この表現はベッチ数交代和としてのオイラー標数に一般化であるが、この表現が意味をなすためには、2つの条件が満たされねばならない。第一は、和の各項がほとんど全て英語版(almost all) 0、つまり、ある N が存在し、 i \geq N である必要がある。さらにランクアーベル群のランク英語版(rank of an abelian group)、もしくはベクトル空間の次元のように、加群の理論からの well-defined な函数で、問題のコホモロジー群の有限の値となっていることである。従って、項の和の有限性とコホモロジー群の有限性という 2つの種類の有限性の証明が要求される

連接層のような理論では、そのような定理があり、χ(F) の値が他の考え方(例えば、ヒルツェブルフ・リーマン・ロッホの定理グロタンディエク・リーマン・ロッホの定理英語版(Grothendieck-Riemann-Roch theorem))から、個別の項のランクよりも容易に計算することができる。実践的には、H0(X,F) が最も興味が持たれ、他の Hi(X,F) 上の消滅定理によりランクを計算する一つの方法がある。この方法は、標準的な間接的な層の理論の方法で数値的な結果がもたらされる。

特異コホモロジーとの関係[編集]

局所可縮英語版(locally contractible)な位相空間に対し、A に係数を持つ特異コホモロジー英語版(singular cohomology)群は、任意のアーベル群 A に対し、A の定数層とする層コホモロジー群に一致する。

脚注[編集]

  1. ^ 高次コホモロジー群が 0 となるようなコホモロジー

参考文献[編集]

ほとんどのの参考文献は層コホモロジーを扱っている。例えば、