群のコホモロジー

数学、とくにホモロジー代数学において、群のコホモロジーとは代数的トポロジーに由来する技法であるコホモロジー論を使って群を研究するために使われる数学的な道具立てである。群の表現のように、群のコホモロジーは群 G}} の G}} 加群への作用をみることで、その群の性質を明らかにする。G}} 加群を Gn}} の元が n}} 単体を表す位相空間のように扱うことで、コホモロジー群 //H////n//}} などの位相的な性質が計算できる。コホモロジー群は群 G}} や G}} 加群 M}} の構造に関する洞察を与える。群のコホモロジーは加群や空間への群作用の固定点や群作用に関する商加群や商空間を研究において一定の役割を果たす。群のコホモロジーは群論そのものへの応用はもちろん、抽象代数・ホモロジー代数・代数的トポロジー・代数的整数論などの分野でも用いられている。代数的トポロジーには、群のホモロジーと呼ばれる双対理論がある。

これらの代数的な概念は位相的な概念と密接に関連している。離散群 G}} の群のコホモロジーは G}} を基本群とする適当な空間——つまり対応するEilenberg-MacLane空間——の特異コホモロジーである。したがって Z}} のコホモロジーは円 //S//1}} の特異コホモロジーと思うことができ、同様に Z/2Z}} のコホモロジーは P∞}} の特異コホモロジーと思うことができる。

群のコホモロジーについては非常に多くのこと——低次コホモロジーの解釈・関手性・群の変更——が知られている。群のコホモロジーに関する主題は1920年代に始まり、1940年代後半に発達し、現在でも活発に研究が続いている。

1. 動機
-----

群 G}} はその表現を通じて研究されるべきであるという群論における一般的なパラダイムがある。このような表現をわずかに一般化したものに G}} 加群がある：G}} 加群とは群 G}} の各元が自己同型として作用するアーベル群 M}} である。われわれは G}} は乗法的に、 M}} は加法的に書くことにする。

G}} 加群 M}} が与えられたとき、 G}} 不変な元のなす部分加群

を考えるのは自然である。いま N}} が M}} の G}} 部分加群であるとすると、一般に「 //M/////N//}} の不変な元は M}} の不変な元の N}} の不変な元による商として得られる」というのは正しくない：N}} を法として不変であることの方が広い。群の1次コホモロジー //H//1}} はこの差をきちんと測ることを目的とする。

一般に群のコホモロジー関手 //H//∗}} は不変な元をとる関手がどれほど完全でないかを測っている。これは長完全列によって表される。

2. 定義
-----

すべての G}} 加群からなるクラスは圏である。各 G}} 加群 M}} に MG}} を対応させることで G}} 加群の圏からアーベル群の圏 Ab}} への関手が得られる。この関手は左完全であるが右完全とは限らない。したがって右導来関手をとることができる。その値はアーベル群であり、//H////n//}} と表され、M}} に係数をもつ群の n}} 次コホモロジー群と呼ばれる。

2.1. 双対鎖複体
----------

導来関手を使った定義は概念的には極めて明快であるが、実際に利用するには一部の著者が定義としている、次の計算法が役に立つことが多いMilneSerre。//n// ≥ 0}} に対して //C////n//}} を Gn}} から M}} への関数全体からなる群とする。これはアーベル群であり、その元をn}} 次の双対鎖という。双対境界作用素を

で定めると //d////n//+1 ∘ //d////n// =}} 0}} が成り立つので、これはコホモロジーが計算可能な双対鎖複体を定める。上述の導来関手を使った群のコホモロジーの定義はこの複体のコホモロジー

と同型であることを示すことができる。ここで n}} 次の双対輪体群、n}} 次の双対境界群はそれぞれ次のように定義される。

2.2. 関手 Ext//n//}} と群のコホモロジーの形式的な定義
-----------------------------------

G}} 加群を群環 Z[//G//]}} 上の加群とみると

であることに注意する。つまり M}} の G}} 不変な元からなる部分群は Z}} ——これは自明な G}} 加群と見做す——から M}} への準同型からなる群と同一視される。したがって Ext}} 関手は Hom}} 関手の導来関手であるから、自然同型

がある。これらの Ext}} 群は Z}} の射影分解から計算することもでき、そのような分解は G}} のみに依存し、M}} には依存しないという利点がある。

3. 群のホモロジー
----------

群のコホモロジーの構成と双対になる群のホモロジーが次のように定義できる：G}} 加群 M}} が与えられたとき、DM}} を mset から生成される部分加群とする。M}} に対して、いわゆるcoinvariantsと呼ばれる商

を与える対応は右完全関手である。その左導来関手

が群のホモロジーである。M}} に MG}} を対応させる反変関手は M}} を Z ⊗Z[//G//] //M//}} に送る関手と同型である。したがってTor関手を使って群のホモロジーの表示

を得ることもできる。ここでコホモロジー・ホモロジーにおける上付き・下付きの規約は群のinvariants・coinvariantsの規約と一致していることに注意せよ。つまり"co-"は

コホモロジー //H//∗}} とinvariants //X////G//}} に対応する上付き
ホモロジー //H//∗}} とcoinvariants //X////G// :=}} //X/////G//}} に対応する下付きを入れ替える。

具体的にはホモロジー群 //Hn//}} は次のように計算できる。まず自明な Z[//G//]}} 加群 Z}} の射影分解

からはじめる。共変関手 – ⊗Z[//G//] //M//}} を F}} の各項ごとに適用して鎖複体

を得る。//Hn//}} はこの鎖複体のホモロジー群 //Hn//}} である。

4. 低次のコホモロジー群
-------------

4.1. //H//1}}
-------------

1次コホモロジー群はいわゆる交差準同型——つまり写像//f// : //G// → //M//}} ですべての //a//, //b// ∈ //G//}} に対して //f// =}} //f// + //af//}} を満たすもの——のいわゆる内部交差準同型——つまり写像 //f// : //G// → //M//}} である固定された //m// ∈ //M//}} に対して //f// =}} //am// − //m//}} で与えられるもの——による商である。これは双対鎖などの定義から従う。

もし G}} の M}} への作用が自明ならば、これは群準同型 //G// → //M//}} からなる群 //H//1 =}} Hom}} となる。

//H//1}} の場合を考えよう。ここで Z−}} は整数群に非自明な Z/2}} 作用を入れたものを表す。交差準同型は写像 //f// : Z/2 → Z}} で //f// =}} 0}} とある整数 a}} に対して //f// =}} //a//}} を満たすものからなる。内部交差準同型はさらに //f// =}} 2//a//}} をみたすものであり、したがって

となる。

4.2. //H//2}}
-------------

M}} が自明な G}} 加群ならば、2次コホモロジー群 //H//2}} は G}} の M}} による中心拡大の集合と一対一対応する。より一般に、G}} の M}} への作用が非自明ならば //H//2}} は G}} の M}} による拡大 0 → //M// → //E// → //G// → 0}} すべての同型類を分類する。ここで G}} の E}} への作用は M}}の G}} 構造から与えられる。

上の例において、Z/2}} の Z−}} による拡大は無限二面体群に限るので //H//2 =}} 0}} である。

ブラウアー群は2次コホモロジー群の例である：それは体 k}} の絶対ガロア群の分離閉包における可逆元への作用に関するコホモロジー

である。

5. 性質
-----

以下では M}} は G}} 加群とする。

5.1. コホモロジーの長完全列
----------------

実際には次の事実を使ってコホモロジー群を計算することがしばしばある。つまり G}} 加群の短完全列

は長完全列

を誘導する。いわゆる連結準同型

は非斉次双対鎖のことばで次のように記述できるMilne。もし c}} が //H////n//}} の n}} 次の双対鎖 φ : //G////n// → //N//}} に代表される元ならば、δ//n//}} は //d////n//+1}} に代表される。ここで ψ}} は φ}} を「持ち上げて」得られる n}} 次の双対鎖 //G////n// → //M//}} である。

5.2. 関手性
--------

群のコホモロジーは次の意味で群 G}} に反変的に依存している：つまり群準同型 //f// : //H// → //G//}} は自然な射 //H////n// → //H////n//}} を誘導する。これを制限写像という。もし H}} の G}} における指数が有限ならば、逆向きの移送写像date=2017-11-24}}と呼ばれる写像

があるBrown。次数 0 のところでは、この写像は

で与えられる。G}} 加群の射 //M// → //N//}} が与えられたとき、コホモロジー群の射 //H////n// → //H////n//}} を得ることができる。

5.3. 積
------

位相幾何学や微分幾何学における他のコホモロジー論などと同様に群のコホモロジーも積構造を持っている。どんな G}} 加群 M}} と N}} に対してもカップ積と呼ばれる自然な写像

がある。これは に次数つき反可換環の構造を与える。ここで R}} は Z}} や Z///p//}} などの環である。有限群 G}} に対して、このコホモロジー環の標数 p}} における偶数次部分 は G}} の群構造に関する多くの情報を持っている。たとえばこの環のクルル次元はアーベル部分群 //r//}} の最大ランクに等しい。

G}} を位数2の離散群とする。実射影空間 P∞}} は群 G}} の分類空間である。//k// =}} F2}} を二元体とする。このとき

となる。これは P∞}} の胞体コホモロジー環だからである。

5.4. Künneth公式
--------------

//M// =}} //k//}} を体とすると //H//∗}} は次数つき k}} 多元環であり、群の直積のコホモロジーはそれぞれの群のコホモロジーとKünneth公式

によって関連づけられる。たとえば G}} を階数 r}} の基本アーベル2群、//k// =}} F2}} とするとKünneth公式は G}} のコホモロジーが //H//1}} に属する r}} 個の類によって生成される k}} 上の多項式環であることを示している。

6. 歴史
-----

1940年ごろ、ハインツ・ホップは2つの積演算について考えていたHopf。リー群の上に2つの閉曲線があったとすると、リー群の積演算を使ってこの閉曲線同士を乗算することで閉曲面ができる。これが1つ目の積演算である。もう1つは負曲率の閉リーマン多様体上の2つの閉測地線に対して定義されるものである。この2つの閉曲線が定める基本群の元が可換であったとすると、これらによって「張られる」トーラスのような閉曲面を定めることができる。ホップは2つの閉曲線に対して定義されるこれら2種類の積を統一的に理解しようとした。そして、これらの積を定義するためにリー群やリーマン多様体の構造は不要であることに気づいた。背景にある原理は、1次のホモトピー群である基本群と2次のホモロジー群を関係付けるものであり、極めて一般的な状況で通じるものであった。そして1941年、次の公式

を発表したWeibel。ここで X}} は考えている空間、 は2次の整数係数ホモロジー群、 は2次のホモトピー群、h}} はフレヴィッツ準同型、F}} と R}} は X}} の基本群 pi}}sub を生成元と関係式で pi}}sub と表示したときの自由群と関係式、 は交換子で生成される群である。特に が自明な群であれば、この公式から位相的な不変量である2次のホモロジー群が基本群から純代数的に計算できることになる。

続く研究でホップは高次のホモトピー群 pi}}sub が 1 < //i// < //n//}} に対して自明になるならば も基本群から代数的に決まることを示したEilenberg。これから、この場合には n}} 次までのホモロジー群がすべて基本群から代数的に決定できることになる。しかし、ホップはこの段階ではどのように決定できるかまでは示さなかった。

群のコホモロジーとホモロジーは、2次のホモロジー群に対してホップが証明した公式の右辺を生成元と関係式に依らない内在的な式にし、さらに先の条件を満たす空間の高次のホモロジー群を基本群で代数的に記述するためにサミュエル・アイレンベルグとソーンダース・マックレーンによって生み出された。Eilenberg では群のコホモロジーの定義が与えられ、そして双対鎖複体を用いた現代でも用いられる定義が群のコホモロジー群の計算結果として述べられている。そして先の条件を満たす空間について「空間のコホモロジー＝群のコホモロジー」が成り立つという形で高次のホップの公式が発表されている。

彼らがどのように考えて群のホモロジーの定義に至ったかを述べると次のようになるMacLane。まず を弧状連結な位相空間とする。そして

を の特異複体とする。この位相空間の点を1つ取り、それを基点する。頂点がすべて基点に写されるような特異単体で生成される部分複体は、X}} が弧状連結なので、この特異複体と同じホモロジー群を定めるEilenberg。なのではじめから は頂点が基点に写される特異単体を基底とする自由アーベル群とし、特異単体としては頂点が基点に写されるものだけを考える。

の基本群を とする。 を の元の 個の組 を生成元とする自由アーベル群とする。これは基本群から純代数的に定義されている。

から への準同型 を次のように定義する。

の場合は自明なものが1つあるのでそれで定める。

の場合。 を特異1単体とする。 の辺01は頂点が基点なので自然に基本群の元 を定める。 による の像がこの になるように を定める。考えている特異単体が明らかで を と表しているときは と書ける。

の場合。 を特異2単体とする。先ほどと同様に、辺01が定める基本群の元 と辺12が定める基本群の元 がある。 による の像が になるように を定める。考えている特異単体が明らかで を と表しているときは と書ける。

一般の場合も同様にして定める。これで

という図式ができた。 が複体の射となるように、つまりこの図が可換図式となるように を定めたい。

例として の場合を考える。T}} を 特異2単体とし、これを と書くことにする。また境界を と書くことにする。先ほどと同様に辺01が定める基本群の元を x}}、辺12が定める基本群の元を で表す。特異複体の境界作用素の定義から である。辺02は辺01と辺12を繋いだものとホモトープなので である。これに注意することにより が分かる。よって と定義すれば可換図式になる。

の場合も同様に考えれば と定義すればよいことが分かる。

一般の場合には

と定義するとうまくいく harvtxt。この により は複体になるので、この複体のホモロジー群を取ることができる。また、この複体の を取ると双対複体が得られ、これからコホモロジー群を得ることができる。このコホモロジー群は が に自明に作用する場合に#双対鎖複体で定義したものと全く同じである。このようにして彼らは基本群 から純代数的に複体を構成し、群のホモロジー群の定義に到達した。そして が定める特異ホモロジー群から群のホモロジー群への準同型を調べることでホップの研究を一般化した。

7. 脚注
-----

7.1. 注釈
-------

7.2. 出典
-------

8. 参考文献
-------

8.1. 歴史関連
---------