明日、ガロア表現を使った記事を書きたいと思うのですが、その内容を理解するための準備編として、今日はガロア表現の基本的なところをまとめたいと思います。
「基本的なところ」と銘打っておきながら申し訳ないのですが、今回の内容は非常に難しい内容となっております。
tsujimotterがまさに勉強中の「理解の最前線」を書いている記事となっていますので、内容も誤り等含んでいる可能性があります。
そのため、勉強する際は、私の記述をうのみにしないようお願いします。
なお、今回の記事は以下の伊藤先生のPDF「コホモロジー論とモチーフ」
https://www.math.kyoto-u.ac.jp/~tetsushi/files/hokudai200609.pdf
や、整数論サマースクール「l進ガロア表現とガロア変形の整数論」
http://www4.math.sci.osaka-u.ac.jp/~ochiai/ss2009proceeding/ss2009proceeding.html
の内容を参考にしています。
ガロア表現とは、一言でいうなら「ガロア群の行列による表現」です。その言葉の意味するところについてまずはざっくりしたイメージを説明します。
あるベクトル空間 を考えて、その元 がガロア群 によって に動かされるとします。
この から への移動がもし「線形変換」によって表せるとき、つまり行列によって表せるとき、 を行列そのものだと思うことができますね。これが要するにガロア表現です。
以下では、より詳しく説明していきたいと思います。
群の作用・群の表現
上で述べたガロア表現の説明は正確ではないので、より正確に議論するために、群の作用と群の表現について定義しましょう。
少しだけ一般的な状況を考えます。 を環とし、 を 上の加群(これを-加群ともいいます)とします。
が「体」のときには、 は -ベクトル空間( を係数とするベクトル空間のこと)になりますので、ベクトル空間の係数の箇所を「環」としたものだと思ってもらえればと思います。
群を としたとき、 が -加群 に作用するとは次のように定義されます。ただし、この節では を有限群と仮定して考えます。
任意の と に対して,.
単位元 と任意の に対して,.
任意の と に対して,.
任意の ,, に対して,.
と には、本来なんの関係もありません。そこで、 の元が の元にどのように影響を及ぼすのか(群の作用)を という記号で表し、群の加群への作用が満たすべき性質を4つに分けて記述したのが上の定義というわけですね。
それでは、上の4つの性質がどのような条件になっているかを確認しましょう。
その前に、一つ記号を導入したいと思います。 に を作用させたのが なわけですが、その対応関係を写像
で表すことにしましょう。この写像 が一体どんな写像なのか、順を追って示します。
性質 (1), (2)
性質 は全単射
(証明)
つまり、写像
に対して、逆写像
の存在が言える。
性質 (3)
性質 はアーベル群としての自己同型写像
(証明)
より、 はアーベル群としての群準同型。さらに、全単射なのでアーベル群としての自己同型が言える。
性質 (4)
性質 は -加群としての自己同型写像
(証明)
より、 は -加群としての準同型写像。さらに、全単射なので -加群としての自己同型が言える。
というわけで、結局、 より、 が -加群としての自己同型であることがわかりました。
すなわち、 の -加群としての自己同型全体のなす群を としたとき、以下の写像が存在することが言えたわけです。
ところで、この が群の準同型写像であることは性質 から言えます。
である。ここで、 は群 の演算であり、 が群の演算を保つ。
結局、群の作用の性質 から、群の準同型
の存在が言えたというわけですね。
これを持って、群の作用の定義とすることもあります。
が存在するとき, は に作用するという.
逆も言えるので、これまで示したのと逆に示していけば、最初の定義の4つの性質が導かれます。
なお、これまで を環としてきましたが、 を体とすると、 は -ベクトル空間となります。このとき、 の元は、 から への線形写像となります。
を有限次ベクトル空間として、その次元を とし、基底 を固定します。すると、 からの任意の線形写像 は、よく知られているように基底の行き先によって定まります。
すなわち、線形写像 はこれらの係数を並べた 次正方行列だと思うことができます。したがって、先ほどの群 の作用は
と思って良いというわけですね。
これによって、群 の元を行列だと思うことができる、という最初の話の説明ができました。
ガロア表現の定義は、もうちょっとで完了します。
ガロア表現とは
ここから、群 としてガロア群を考えます。ただし、ガロア表現においては、一般に無限次元の拡大におけるガロア群を考えます。
特に、 を一般の体とし、 の分離閉包 なる大きな体を考えます。 は、 上のすべての有限次ガロア拡大を含んでいるような、いわば親玉のような体です。 のガロア群を
と定義し、 を絶対ガロア群といいます。
ここで考えたいのは の への作用
というわけですね。
は無限次拡大のため は無限群になりますが、先ほどの群の作用の定義では有限群を仮定していました。無限群の場合は注意が必要になります。
有限次拡大 のときには、一般にガロア対応
が成り立ちますが、無限次の場合はそうではありません。
にクルル位相と呼ばれる位相を入れて、位相群としての構造を考えることで
というガロア対応が、無限次の場合においても成り立ってくれます。
無限次の表現においては、一般に位相群としての構造を保つこと、すなわち準同型写像 の連続性が要請されます。
対する の位相について考えますが、係数 を体として、係数体によって異なる位相を入れることにします。係数体 としては、典型的な例として以下の3つのみを考えることにします。
② 複素数体
③ 進体
ただし、 は素数とします。 進体とは 進数体 の有限次拡大体のことです。
①②のケースにおいては に離散位相を入れ、③のケースにおいては に 進位相を入れることにします。
このようにしておくことで、ようやくガロア表現の定義ができます。
このとき,連続準同型写像
を のガロア表現という.また, を の表現空間という.
これにてガロア表現の定義が完了です。お疲れ様でした。
先ほど、係数体について①②③の場合わけがありましたが、それぞれ対応するガロア表現に以下の名前がついています。
① が有限体 のとき、 を 表現という。
② が複素数体 のとき、 をアルティン表現という。
③ が 進体のとき、 を 進表現という。
それぞれ違いがあるわけですが、大きな違いは です。①②のときは, は有限群になります。①②のときは に離散位相を入れました。両辺の位相の「整合性」みたいなものが影響しているみたいです。(tsujimotterは、これについては詳しく理解できていません。)
群の準同型定理によって、 は有限次拡大のガロア群 を経由するので、 は有限次拡大に対応するガロア表現になります。
③のときにはそうとは限りません。
フロベニウスの定義
ここからは を代数体とし、代数体特有の議論をしたいと思います。ここではフロベニウスという重要な登場人物が現れます。
の素点 に対して、 における の完備化 を考え、 上の埋め込み を一つ固定します。これにより絶対ガロア群の間の包含関係
が得られます。この を における分解群といいます。ガロア表現
に対して、 の分解群への制限
が考えることができます。これは のガロア表現になっていますね。
を有限素点とし、剰余体を とおくと、重要な完全列
が得られます。この を における惰性群といいます。
は有限体の絶対ガロア群より、 と同型であることがわかります。さらに、 の位数を と書くことにすると、絶対ガロア群は
によって位相的に生成されることがわかります。
したがって、 を上の によって によって引き戻したものは、「 の違いを除けば」一意に定まります。すなわち、 をそれぞれ によって にうつしたものは、 が存在して
の関係にあります。この「 倍の部分を見なかったことにすれば」 は同一のものといえます。こういう状況を「 の違いを除いて」と表現します。英語だと "up to " と言ったりします。この up to で定まる の元を(幾何的)フロベニウスといい、改めて で表します。
なお、包含関係 により、フロべニウスは の元でもある()とみなせることにも注意します。 の元としてのフロべニウスも と表記することにします。
ただし、ここにもフロべニウスの不定性が生じるポイントがあります。 上の埋め込み を一つ固定していたことを思い出しましょう。埋め込みのとり方を変えれば、 の への入り方が変わってしまい、結果としてフロべニウスは の元として異なるものになってしまいます。
(有限次拡大のときは、 の上の素点 のとり方によって、分解群が変わってしまうことがあったと思いますが、それと同じ話です。)
埋め込みのとり方によって からうつる の元を の共役ということにします。このフロべニウスの共役については、次の命題が成り立つことにも注意します。この事実はあとで使いたいと思います。
が成り立つ。
以上、フロべニウスの2通りの不定性について議論していましたが、ややこしいので改めてまとめたいと思います。
①埋め込み を固定すると、 が得られる。
②完全列
どのような不定性が生じるか:
①における埋め込みのとり方によって における入り方が異なり、フロべニウスは の元として 次のような不定性を持つ:
②における の引き戻しによって、フロべニウスは の元として "up to " で定まる:
記事公開時点でのtsujimotterは、上記の不定性のうち②の方を①と同じものだと思い込んでいました。これについては、ありがたいことに@LT_shuさんという方からご指摘いただいて誤解を解くことができました。とはいえ、ややこしいことには変わりないと思いますので、丁寧にまとめてみました。
不定性②の (i):分岐・不分岐
次回の記事でも、有限素点 に対して の行き先を調べることが重要になります。しかしながら、そもそも に対して は一意に定まらない(不定性がある)というのは少々厄介ですね。
ここでは2つの不定性のうち、②の不定性についての考えたいと思います。
における惰性群 の行き先を考えることにします。 なので、 を考えることができます。
もし のとき、任意の に対して の による行き先を考えると
が成り立ちます。よって、 の引き戻しとして をどのようにとったとしても、 による の行き先が一意に定まります。
以上を踏まえて、分岐・不分岐という概念を導入します。
が成り立つとき、 は で不分岐であるという。
逆に、 のとき、 は で分岐するという。
すなわち、 が で不分岐である状況だけで議論を進めることができれば、②の不定性についての問題は生じないということになりますね。
不定性②の (ii):フロベニウスの への作用
上では、分岐する素点を避ければ不定性②についての問題は生じないということでした。しかし、分岐する素点をすべて避けるのは困難な場合があります。実際、次回考えるゼータ関数では、分岐する素点も含んだすべての有限素点を扱う必要があり、そういった意味でも分岐する素点に対しても考慮が必要です。
ここでは②の不定性について、もう一つの対策を考えてみましょう。今度は「作用する空間から の影響を除いてしまう」というものです。
フロベニウス について、ベクトル空間 への作用について考えてみましょう。
の中で特に の作用について動かない元全体の集まり を次で定義します。
が で不分岐であるときは、任意の に対し
なので、 は に一致しますね。
は に自然に作用しますので、 より は にも自然に作用します。
また、 が で分岐する場合についても、 は に自然に作用します。
「tsujimotterはここの部分が示せませんでした」と書いたところ、いつもお世話になっている梅崎さんから証明の方法を教えていただきました。ありがとうございます。
自然に作用するということは、任意の に対して であることを言う必要があります。すなわち、任意の に対して
が言えればよいことになります。ポイントは、 が の正規部分群であることです。
は の正規部分群より、任意の に対して
が成り立ちます。よって任意の に対して
となります。両辺に を作用させて
ですが、 より
がいえます。よって、 であることが示せました。
さらにいうと、上の証明により任意の に対して
が成り立ちます。よって、 の引き戻し をどのように選んでも、 への作用は変わりません。すなわち、②の不定性を打ち消せることがわかりました。
による への作用を と表記することにしましょう。これは から への(-)線形変換です。
「群の作用・群の表現」の節によれば、線形変換は基底を固定すれば行列で表せるのでした。 は正方行列で表せます。行列だと思うことができるのです。
不定性①:トレース・行列式・固有多項式
以上の議論によって、フロベニウス について、②の不定性にかかわらず への作用 は定まることがわかりました。
一方で、フロべニウスにはもう一つの不定性①がありました。これについての影響を考えたいと思います。
先ほどまでは の埋め込み を固定し、これによって を の元とみなしていました。埋め込み を動かすことで の への入り方が変わりますが、これによって の元としてのフロべニウスのとり方が変わります。うつりあうフロべニウスたちのことをそれぞれ共役と呼ぶのでした。
また、フロベニウス の任意の共役 は、ある が存在して
と表せるのでした。この式に を適用すると
となりますが、これは行列の相似変換の形になっています。
と表すことができる変換のことでした。上の式も、まさにこの形になっています。
よくよく考えてみれば、 の行き先を「行列」としてみるためには、基底を固定する必要がありました。基底を取り替えると、行列は相似変換されます。その意味でも、行列の相似変換に対して不変な量を考える必要があります。
線形代数を思い出すと、トレース、行列式、固有多項式は相似変換において保存されるのでした。
dora.bk.tsukuba.ac.jp
なお、変数 の行列 の固有多項式とは、 を単位行列として
と表せるものです。この式が となるような を求めると、 が の固有値になるのでした。
ここでは、変数を として
という形のものも固有多項式と呼ぶことにします。 として、 倍すれば両者は一致しますね。
よって
は、それぞれ に対する相似変換について不変な量となります。
したがって、これらの量は①の不定性を打ち消すことがわかりますので、有限素点 に対して一意に定まる量であることがわかりました。
まとめ
今回は「ガロア表現の基本的なところ」と題して、主に次の3点を定義しました。
- 群の作用・群の表現
- ガロア表現
- フロベニウスと関連する不変量
フロべニウスには2通りの不定性があったわけですが、どちらも最終的には打ち消すような不変量を得ることができました。
次回はこれらの準備をもとに「ガロア表現のゼータ関数」について考えたいと思います。