今回のテーマは 「群コホモロジー」 です。
整数論や諸々を勉強していると、群コホモロジーという言葉をよく耳にします。調べてみると、とても難しそうな定義が並んでいてよくわからない。少し前までの私はそんな感じでした。
一方で、難しい定義であっても、辛抱強く理解しようと試みれば、いつの間にか慣れてしまうこともあるようです。実際、今の私はそれなりに群コホモロジーを受け入れることができています。
まずは定義を受け入れてみることが大事なのかもしれません。というわけで、「定義をとにかく理解する」を目標に、群コホモロジーの定義について、私の理解できた範囲でまとめてみたいと思います。
記事の後半では、具体的な計算とともに「ヒルベルトの定理90」という重要な定理についても紹介します。
群コホモロジーの定義は、①コチェイン複体を用いた方法と②導来関手を用いた方法がありますが、今回は簡単のため①の方法で定義を紹介したいと思います。
複体
を群とします。また、 を が作用する加群(-加群)とします。-加群の定義は次の通りです:
- 任意の と に対し
- の単位元 と任意の に対し
- 任意の と に対し
このとき、 は -加群であるという。
1, 2 が成り立つとき、 は集合 に作用するといいます。1 は一見「当たり前」の条件に見えますが、 は群 における演算で、 は の元への作用を表します。違う世界の演算同士が可換であるというのがポイントです。
加えて、今回は特に「 は加群」としているので、 の演算 の構造を保つという条件 3 が入っています。
群作用の典型的な例としては、 上のガロア拡大 の乗法群 とガロア群 があります。 の元 は の元に作用しますね。
このような の組に対して、以下のような集合を考えます。
の元 個組 に対して の元を1つ割り当てる写像 全体を考えるわけですね。
注意したいのは、この写像というのは本当に単なる写像であって、何か構造を保存したりする必要は一切ないということです。
また、この はアーベル群の構造を持つことに注意しましょう。 の間の加法 を次のように定めます。
行き先の にはアーベル群の構造が入っていましたので、右辺の は における加法です。こうしてあげれば、 という から への写像がきちんと定まりますね。
さて、次が一番難しいのですが、 と の間には、次の という写像が定まります。定義は次の通りです。
を次の式で定義する:
「なんだこりゃ」と思った人も多いかと思います。実際、私も「難しすぎてこんなのわかるわけない」と思っていました。この写像をとにかく理解しないと、群コホモロジーの定義が理解できないというのだから大変です。
というわけで、冒頭で述べた通り「定義をとにかく理解する」を目標に、なんとか理解を試みましょう。以下の枠内で、可能な限り丁寧に、この写像 の定義について説明したいと思います。
まずは がどんな写像かについて理解しましょう。
を観察します。 によって、「 個の の元をとる という写像」が「 個の元をとる という写像」に対応するわけですね。
「写像 から写像 に対応する写像 」というように、写像が入れ子になっているのがややこしいですね。
というのが行き先の写像の名前です。 は、 という引数を受け取り なる の元に対応する写像であるというわけですね。
というわけで、あとは の定義式 が分かれば良いですね。式 の両辺の変数の個数に着目しましょう。
一方、右辺には3つの項があります。複雑ですが、順番に確認しましょう。
右辺第1項目は となっていますが、 の変数には の 個が入っています。なるほど、 だけ取り出して、残り 個を に突っ込んだんですね。 の値は の元になりますから、 の への作用は定義されています。よって、 という値は計算できますね。
右辺第2項目はシグマ記号になっていますが、その 番目の項を考えてみましょう。 という形をしています。とてもややこしそうに見えますが、実はそれほど難しくはありません。先ほど述べたように には変数が 個しか入りませんから、変数を一つ減らす必要があります。
まず、 番目から 番目までに を順に代入、
番目から 番目までに を順に代入、
最後に、残った 番目には と を掛け合わせた を代入
という具合に入れていきます。これでちょうど の枠に収まりましたね。
あとは、 の符号をつけるというわけですが、これにより の順に符号がつくことになりますね。
最後に第3項目ですが、これは単純に だけを除いて普通に代入しています。符号は、第2項における最後の項が であれば 、 であれば がつくようになっています。
たしかに から への写像 が定義できていることが確認できましたね。
もちろん、なぜこのような写像を定義するのかは、今のところさっぱりわかりません。一方で、冒頭に述べた通り今回の目的は「定義をとにかく理解する」なので、これぐらいでよしとしましょう。後半で具体的な計算をするので、そのときにはもう少し実態がつかめるかもしれません。
さて、写像 ですが、良い性質が二つあります。
一つは、群準同型写像であるということです。 はアーベル群であることは先ほど述べました。この構造を保つような写像になっているということで、すなわち
が成り立っているということです。これは簡単に証明できるので、ぜひ自分で考えてみてください。
もう一つの性質は、 に対して が成り立つということです。こちらは簡単にはいかないので、ここでは省略したいと思います。
ということで、以上の議論から と は次のような性質を持つことがわかりました。
は、 に対して が成り立つ。
このような性質を持つアーベル群の準同型の列のことを複体といいます。
複体に対しては、次に述べる方法によって「コホモロジー」という量を計算することができます。今回の複体については、それが群コホモロジーであるというわけです。
群コホモロジーの定義
準備が整ったので、いよいよ群コホモロジーを定義しましょう。
-コサイクル という の部分群を次で定義します:
準同型写像 に着目して、写像 の行き先が 0 になるような の部分群を考えるわけですね。素朴には、方程式 を満たす 全体と考えることができます。
続いて、-コバウンダリ という の部分群を次で定義します:
今度は、1次下がった準同型写像 に着目して、この像を とするのですね。素朴には、1次下の写像 によって、 と表せる 全体の集合と考えることができます。
そこで、 のときは と定義することにします。
「-コバウンダリは -コサイクルであること」すなわち、 であることは、複体の条件を使って次のように示すことができます。
を -コバウンダリの任意の元とします。-コバウンダリは、-次の写像 を使って と表せるのでした。これに を適用すると
となります。最後の等号は、複体の条件 からしたがいます。複体の条件はここで効いてくるのですね。
よって、 は -コサイクルであり、 が言えました。
コバウンダリがコサイクルの部分群になることがわかったので(特にアーベル群の部分群より正規部分群なので)、コサイクルをコバウンダリで割った剰余群
を考えることができます。これが 次の群コホモロジーの定義です。
もし群コホモロジー が 0 になるとき、すなわち
が成立するとき、上記の複体は において完全であるといいます。
コホモロジーは「完全からどれだけ離れているか」を表す量になっているというわけですね。
低次のコホモロジーの計算
せっかく群コホモロジーを定義したので、 について、具体的に計算してみましょう。
の計算:
のとき、 を考えたいと思います。ここは少し特殊ですが、1元集合 から への写像を考えることになります。
(空集合を添字集合とする直積集合を考える必要があります。)
上の結果を受け入れて を「1元集合 から への写像全体」だと思うと、 の任意の写像 は行き先の値によって決まります。したがって、 ということになります。
0-コサイクルは、 なので、 を計算します。 とすると、 は
となります。 は1元集合からの写像なので、 の引数には しか入らないことに注意します。
なので、 の元だと思って と書き直すと
となります。0-コサイクルは となるような のことですから、任意の に対して を満たす ということになります。これは、 によって固定される の部分群 のことですね。
というわけで、 であることがわかりました。
また0-コバウンダリは、上で注意したように と定義されますので、0次の群コホモロジーは
ということになります。
たしかに、 の への作用に関する情報を取り出している感じがしますね。
の計算:
続いて、 のときを考えましょう。
まず、 は から への写像全体です。これはそのまま考えて良いでしょう。あえていうなら、 ですね。
のときとは順番が逆になりますが、1-コバウンダリから計算します。このためには を計算する必要がありますが、これは のときに計算していましたね。
1-コバウンダリは、 でした。よって、 は、 が存在して、任意の に対して
となるような ということになります。 の値が「 という数への作用を通して具体的にかける」という特徴を持った ということですね。
最後に、1-コサイクルを計算します。このためには今度は を計算する必要があります。再度、 とし、 を定義に従って計算すると
となります。だんだん慣れてきたでしょうか?
したがって、1-コサイクルは より、。すなわち、任意の に対して
を満たす 全体ということになります。
移項して少しだけ整理すると
ということになるでしょうか。
のようになると思うのですが、これはそのまま成り立たなくて に の作用がくっついたような「少し崩れた」ものを1-コサイクルと呼ぶということですね。
以上により、1次の群コホモロジーは次のようになります。
よりイメージが湧くように、少し特殊な状況で1次の群コホモロジーを考えたいと思います。 が に自明に作用している状況です。「 が に自明に作用する」とは、任意の に対して が成り立つということです。
この状況下では、1-コサイクル は
となります。これはつまり、 は群準同型写像ということです。
また、1-コバウンダリを考えると より、任意の1-コバウンダリは となります。
したがって、1次の群コホモロジーは次のように表すことができるでしょう。
ただし、 は から への群準同型写像全体のなすアーベル群である。
乗法形と加法形
さて、これまで として「加法的な」演算の入った群を考えてきました。すなわち、 というような演算が入っているということですね。
しかしながら、アーベル群だったとしても「乗法的な」演算の入った群を考えることもあるはずです。たとえば、冒頭に述べたような では、乗法の演算は のように表します。
群の作用についても、加法的な定義では のように表していましたが、乗法的な定義においては のように表すことが多いかと思います。また、単位元も 0 から 1 に変わります。
上の群コホモロジーの定義においては、加法的な記号を使ったために、乗法的な群の場合はその都度読み替える必要が出てきます。これは非常に面倒なので、再度コサイクルやコバウンダリの計算結果を乗法的なものに表し直したいと思います。
乗法的な群ということで、 を という群に書き換えてみます。(これは気分の問題です)
のとき:
0-コサイクル は、任意の に対して となるような 全体となります。
0-コバウンダリは となります。
したがって、0次コホモロジー は0-コサイクルに一致します。
のとき:
1-コバウンダリ は、 が存在して、任意の に対して
となるような 全体ということになります。(「マイナス」が「割り算」に変わる点に注意ですね。)
1-コサイクル は、任意の に対して
を満たす 全体ということになります。
書き換えると
を満たす ということになりますね。
ヒルベルトの定理90
最後に、低次の群コホモロジーを考える上で、一つの重要な定理である「ヒルベルトの定理90」について紹介したいと思います。
ここまで丁寧に準備してきたので、ヒルベルトの定理90の主張は直ちに理解できます。
つまり、ガロア群 は や に作用するわけですが、このときの1次の群コホモロジーは消えてしまうということを主張しています。群コホモロジーが消えるという条件は、実際色々な証明に使われています。
ここでは、群コホモロジーの応用については触れませんが、定義を遡って、素朴な意味で「群コホモロジーが消える」ことの意味を確認してみましょう。
乗法群の方で確認してみましょう。
まず、ガロア群の元を の記号で表すことにします。また、 の元、すなわち写像 による の行き先を と表すことにします。
( に対して値 が決まるという意味ですね。)
ということは
ということです。これは
ということ、標語的にいうなら「1-コサイクルならば1-コバウンダリ」逆に「1-コバウンダリならば1-コサイクル」であることを意味します。
が1-コサイクルであることは、上の乗法形の1-コサイクルを思い出すと、任意の に対し
が成り立つということです。
このような は、1-コバウンダリでもあるというのがヒルベルトの定理90の主張です。すなわち、ある が存在して、任意の に対し
を満たすということですね。(逆も成り立つ)
まとめるとこういうことです。
写像 について
が成り立つ(1-コサイクル)ならば、ある が存在して は
と表せる(1-コバウンダリ)。その逆も成り立つ。
おわりに
今回は群コホモロジーの定義を丁寧に説明し、低次のコホモロジーを計算しました。また、群コホモロジーの基本的な定理である「ヒルベルトの定理90」の主張を解説しました。
群コホモロジーやヒルベルトの定理90がどのように使えるかについては、まだ説明していませんが、少なくともこれで「定義だけは理解した」という状況にはなったかと思います。
群コホモロジーの定義は、最初のうちは複雑な気がしてしまいますが、慣れの問題もあるかと思います。まだ腑に落ちないという方もいるかと思いますが、そんな方は今回の記事の計算をぜひ自分の手でもやってみてください。ただ文章を読んだだけの状態とは全く違った理解になるかと思います。
なお、群コホモロジーやヒルベルトの定理90は、tsujimotterのノートブックの過去記事でも既に登場し、活躍しています。以下の関連記事でまとめていますので、興味がある方はぜひご覧になってください。
それでは今日はこの辺で。
3/23追記
が に自明に作用するとき、 であることを追記しました。
ヒルベルトの定理90の言い換えで逆も成り立つことを忘れていたので、追記しました。