ガロア表現とChebotarevの密度定理の使い方

好きな証明 Advent Calendar 2018 の13日目の記事です。

好きな証明 Advent Calendarということで，私が今年になってから勉強し始めた「ガロア表現」という分野の定理の中で，特に面白いと思った証明を紹介したいと思います。

動機と参考文献

きっかけは以前から勉強していた岩澤理論でした。どうしても理解したい定理があって，その証明にガロア表現が出てきます。

特に今回のテーマである「ガロア表現の同値性」が関わってくるのですが，その同値性を示すのにどうやら「Chebotarevの密度定理」（あとで出てきます）が使えるらしいのです。

私の印象ですが，割とこの辺の知識は常識みたいに扱われることが多く，証明にも空気のように「Chebotarevの密度定理より」と書いてあったりします。いったいどうしてChebotarevの密度定理が使えるのかと不思議に思っていました。

しばらく勉強していくうちに，ガロア表現の同値性にChebotarevの密度定理が関係する「理屈」がわかってきました。そのことがとても嬉しくてこの記事を書いています。

私が勉強しているのは，整数論サマースクールの記事３つです。これらが今回の記事の参考文献になります。

[1] 落合理：プレサマースクール—数論的な体の絶対ガロア群の構造への道先案内—
http://www.math.sci.osaka-u.ac.jp/~ochiai/ss2009proceeding/ss2009preparation.pdf

[2] 山内卓也：ガロア表現の基礎 I
http://www.math.sci.osaka-u.ac.jp/~ochiai/ss2009proceeding/ss2009yamauchi.2010-2-13.pdf

[3] 千田雅隆：ガロア表現の基礎 II
http://www.math.sci.osaka-u.ac.jp/~ochiai/ss2009proceeding/summer-school.pdf

今回書いている内容は，基本的には上のPDFのどれかに書かれていることです。そのため，内容を正確に知りたい人は上のPDFを読むのが一番いいと思います。

そういった意味でこの記事の価値がどこにあるのかよくわかりませんが，でもどうしても書きたくなっちゃったので仕方ありません。

１節で基本的な事項をさらってから，２節で本題の「ガロア表現の同値性」について，３節で「Chebotarevの密度定理」について紹介します。
４節・５節でChebotarevの密度定理がどのように証明に使われるのか説明して，６節で証明のキーポイントを説明して終わります。

「ガロア表現とか難しい！ぜんぜん分からないよ！」という方は６節だけでも読んでいただけると嬉しいです。

それでは，少し長くなりますがお付き合いください。

1．ガロア表現とは（前提知識）

そもそもガロア表現とは何でしょうか。私の理解した範囲で，すごーく簡単に（雑に？）説明しましょう。

この節の内容については，関連する発表を以前したことがあり，その発表が参考になったり（ならなかったり）するかもしれません。

この記事の最後に「関連動画＆スライド」としてまとめていますので，必要に応じてみてください。

代数体 $K$ があります。 $K$ 上のすべての有限次分離拡大を考えて，それらをすべて含むような分離拡大のことを分離閉包 $K^{\text{sep}}$ といいます*1。絶対ガロア群 $G_K$ とは， $K^{\text{sep}}/K$ のガロア群のことで， $K$ 上のガロア群をすべて含んだガロア群の親玉みたいな存在です。

$G_K$ のことを詳しく知ることができれば， $K$ 上のすべての有限次拡大の情報がガロア対応を通して得られるので， $G_K$ のことが知りたいという気持ちになります。

$G_K$ のことを知るために，表現論を使おうというのがガロア表現のアイデアです。 $G_K$ が「作用する」 $E$ 係数のベクトル空間 $V$ を考えて， $V$ への作用を通して得られる線形表現 $\rho$ を通じて $G_K$ のことを知ろうと考えます。

つまり，

$\rho \colon G_K \to \operatorname{Aut}_{E}(V)$

という連続な準同型写像を考えることになります。この $\rho$ をガロア表現といいます。

連続性を考えるということは，当然 $G_K$ や $\operatorname{Aut}_{E}(V)$ に適切な位相が入っている必要があるわけですが， $G_K$ にはクルル位相が， $\operatorname{Aut}_{E}(V)$ には $E$ に入る位相が誘導する位相が入ります。詳しくは [1] や [2] を参考に。

より一般に， $G_K$ の部分群 $H$ による商 $\Gamma = G_K/H$ を考えて，

$\rho \colon \Gamma \to \operatorname{Aut}_{E}(V)$

を考えることもあります。この場合の $\rho$ もガロア表現と呼ぶことにします。

なお， $\operatorname{Aut}_{E}(V)$ はベクトル空間の自己同型のなす群なので， $V$ の基底を固定すれば行列の群 $\operatorname{GL}_n(V)$ と同型になります。したがって， $\rho$ によって $g\in \Gamma$ を $\rho(g)$ という行列に移すことができるということですね。

行列なので，たとえばトレースや行列式が計算できます。これらをそれぞれ

$\operatorname{Tr}(\rho(g)), \operatorname{det}(\rho(g))$

と表すことにします。これらは基底の取り方によらない不変量になります。

また，ガロア表現 $\rho$ に対して， $\rho$ の半単純化 $\rho^{\text{ss}}$ という新たなガロア表現が作れます。詳しい定義は [2] の定義2-2-5で。

この半単純化に対しては，トレースの不変性

$\operatorname{Tr}(\rho) = \operatorname{Tr}(\rho^{\text{ss}})$

が成り立ちます。

もう一つ，Chebotarevの密度定理にはフロベニウスという登場人物が必要ですので，その説明を簡単にします。

この記事を通して $\Sigma_K$ を $K$ の素イデアル全体の集合とします。また， $S$ を $\Sigma_K$ の部分集合であるような有限集合とします。 $S$ に含まれない $\Sigma_K$ の各素イデアルで不分岐な $K$ の代数拡大（ $S$ の外不分岐な拡大と言います）で最大のものを考えて，それを $K_S$ と表すことにします。この $K_S$ のガロア群 $\operatorname{Gal}(K_S/K)$ の中にフロベニウス（自己同型）という重要な元がいます。

$\newcommand{\pee}{\mathfrak{p}}\pee \in \Sigma_K\setminus S$ に対して $\operatorname{Gal}(K_S/K)$ の元 $\operatorname{Frob}_\pee$ が（共役を除いて）一意的に定まり，これを $\pee$ についてのフロベニウス（自己同型）といいます。この $\operatorname{Frob}_\pee$ を $G_K$ に持ち上げたものも同じく $\operatorname{Frob}_\pee$ と表現することにします。

また， $S$ の外不分岐な有限次拡大 $L/K$ に対しても，同様にフロベニウス $\operatorname{Frob}_\pee$ が定義できます。上の $\operatorname{Frob}_\pee$ （ $K_S$ の自己同型）を $L$ に制限させたものは， $L$ の自己同型となり，これは $L/K$ のフロベニウスに一致します。そこで， $L/K$ のフロベニウスも単に $\operatorname{Frob}_\pee$ と書くことにします。

また，ガロア表現にも分岐・不分岐という概念は定義されます。 $\pee$ についての惰性群 $I_{\pee}$ に対して， $\rho(I_\pee) = \{1\}$ が成り立つとき， $\rho$ は $\pee$ で不分岐であるといいます。そうではないとき， $\rho$ は $\pee$ で分岐するといいます。

なお， $\rho$ が分岐するような素イデアルの集合 $S_{\rho}$ は， $K_{\rho} := (K^{\text{sep}})^{\operatorname{Ker}(\rho)}$ という $K$ の拡大体を考えたときに， $K_{\rho}$ で分岐する素イデアルとちょうど一致します。

２．ガロア表現（の半単純化）の同値性

一般に，２つのガロア表現 $\rho, \rho'$ があったときに，両者が同値であるとは，任意の $g\in G_K$ に対して $t\in \operatorname{Aut}_{E}(V)$ が存在して

$\rho(g) = t \rho(g)'t^{-1}$

が成立するときをいいます。このとき， $\rho$ と $\rho'$ は同値であるといい， $\rho \sim \rho'$ と表します。

さて，一般に２つのガロア表現 $\rho, \rho'$ があったときに，それらの同値性を示すのはなかなか難しい問題だと言われます。

ところがです。ガロア表現の半単純化については，次の定理によって同値性が判定できます。この定理が，本記事の本題です。

定理

$\rho, \rho' \colon G_K \to \operatorname{Aut}_{E}(V)$ をガロア表現とする． $\rho, \rho'$ の分岐素点の有限集合を $S_{\rho}, S_{\rho'}$ とし， $S = S_{\rho}\cup S_{\rho'}$ とする． $K$ の $\pee \in \Sigma_K \setminus S$ なる任意の素イデアル $\pee$ に対して，

$\operatorname{Tr}(\rho(\operatorname{Frob}_\pee)) = \operatorname{Tr}(\rho'(\operatorname{Frob}_\pee))$

が成り立つならば， $\rho^{\text{ss}} \sim \rho'^{\text{ss}}$ が成り立つ．

ガロア表現の半単純化については「（不分岐な $\pee$ についての）フロベニウスに対応するトレースの値」だけを見れば同値性が判定できるということを主張しています。言い換えると，ガロア表現の半単純化はフロベニウスのトレースの値によって一意的に定まると言えます。

可換環論を用いると「半単純加群はトレースが一致すれば一致する」という命題が（大変ですが）示せるそうです。（参考文献 [2] の命題2-2-7および付録（5節））

この命題を認めると，上の定理を示すためには

（仮定） $\operatorname{Tr}(\rho(\operatorname{Frob}_\pee)) = \operatorname{Tr}(\rho'(\operatorname{Frob}_\pee)), \; \pee \in \Sigma_K \setminus S$

が成り立つならば，

（帰結） $\operatorname{Tr}(\rho(g)) = \operatorname{Tr}(\rho'(g)), \; g\in G_K$

が成り立つ．

を示す必要があります。この証明にChebotarevの密度定理が使えるのです。

３．Chebotarevの密度定理とは

簡単にChebotarevの密度定理 *2 について紹介します。

有限次ガロア拡大 $L/K$ のガロア群 $G := \operatorname{Gal}(L/K)$ を考えます。 $\sigma, \sigma' \in G$ に共役 $\sigma \sim \sigma'$ という同値関係を次のように入れます。

$\sigma \sim \sigma' \;\; \Longleftrightarrow \;\;$ $\tau \in G$ が存在して $\sigma = \tau \sigma' \tau^{-1}$

$G$ を共役関係で割った共役類を考えて， $\sigma \in G$ の属する共役類を $[\sigma]$ と表しましょう。このとき， $G$ のある共役類 $C \subset G$ に対して

$S(C) = \{ \pee \colon K$ の $L$ で不分岐な素イデアル $\; \mid \; [ \operatorname{Frob}_{\pee}] = C \}$

なる集合を考えます。つまり， $\operatorname{Frob}_{\pee}$ が共役類 $C$ に一致するような素イデアル $\pee$ 全体の集合です。

$K$ の素イデアル全体 $\Sigma_K$ に対する $S(C)$ の密度 $d( S(C) )$ を考えましょう。これが共役類 $C$ と $G$ の位数を用いてかけるというのがChebotarevの密度定理です。

Chebotarevの密度定理

$\displaystyle d( S(C) ) = \frac{\# C}{\# G}$

ここで， $d( S(C) )$ を単に密度と言いましたが，正確にいえば解析的密度と呼ばれるものです。詳しくは参考文献 [3] の1.1節を。

具体例として $K = \mathbb{Q}, L = \mathbb{Q}(\zeta_a)$ を考えましょう（ $a > 0$ で， $\zeta_a$ は1の原始 $a$ 乗根）。この場合，

$G = \operatorname{Gal}(L/K) \simeq (\mathbb{Z}/a\mathbb{Z})^\times$

となります。ここで， $p \equiv b \pmod{a}$ なる素数を考えると， $p$ に対応するフロベニウス $\operatorname{Frob}_p$ は，ガロア群側では $\overline{b} \in (\mathbb{Z}/a\mathbb{Z})^\times$ に対応します。よって， $p \equiv b \pmod{a}$ なる $\mathbb{Z}$ の素イデアル $(p)$ 全体の集合を $S([ \overline{b} ])$ と書くことができます。

Chebotarevの密度定理より

$\displaystyle d( S([ \overline{b} ]) ) = \frac{1}{\varphi(a)} > 0$

となることから， $S([ \overline{b} ])$ は無限集合です。したがって， $an+b$ 型の素数（ $a, b$ は互いに素）は無数に存在します。

この意味で，Chebotarevの密度定理は，ディリクレの算術級数定理の一般化になっています。

４．Chebotarevの密度定理の使い方（前半）

Chebotarevの密度定理を使えば，上の（仮定）から（帰結）が得られるというわけですが，さてどうやって使うのでしょうか。

$\rho, \rho' \colon G_K \to \operatorname{Aut}_E(V)$ をガロア表現とします。 $\operatorname{Ker}(\rho) \cap \operatorname{Ker}(\rho')$ は $G_K$ の部分群となります。 $\operatorname{Ker}(\rho) \cap \operatorname{Ker}(\rho')$ によって固定される $K^{\text{sep}}$ の部分体を考えると，それは $S = S_{\rho}\cup S_{\rho'}$ で分岐する $K$ 上の拡大体となります。これを $K_{S}$ と表します。

このとき，準同型定理より自然な射影 $\pi \colon G_K \to G_K/( \operatorname{Ker}(\rho) \cap\operatorname{Ker}(\rho') )$ を考えると，

$\rho = \tilde{\rho} \circ \pi$

$\rho' = \tilde{\rho'} \circ \pi$

なる準同型 $\tilde{\rho}, \tilde{\rho'}$ が存在します。

このようなとき，ガロア表現 $\rho, \rho'$ は $G_K/( \operatorname{Ker}(\rho) \cap \operatorname{Ker}(\rho') )$ を経由するといいます。 $H := G_K/( \operatorname{Ker}(\rho) \cap \operatorname{Ker}(\rho') )$ と置いておきましょう。

ガロア表現 $\rho$ は， $G_K$ と比べて少し小さな群 $H$ を経由して， $\tilde{\rho}$ の行き先によって決まるわけです（考えやすくなった）。したがって， $\rho$ から定まるガロア表現 $\tilde{\rho} \colon H \to \operatorname{Aut}_E(V)$ を考えれば十分だとわかります。

ここから，まず簡単な場合として，ガロア表現が $G_K$ の有限商を経由する場合（つまり $H$ が有限の場合）を考えましょう。

もし， $H$ が有限群であれば（つまり， $K_{S} / K$ が有限次拡大であれば），Chebotarevの密度定理を使ってただちに（帰結）が得られることがわかるでしょう。*3

というのも， $H \simeq \operatorname{Gal}(K_{S} / K)$ ですが， $H$ の任意の共役類 $C$ を考えると，Chebotarevの密度定理から

$\displaystyle d( S(C) ) = \frac{\# C}{\# H}$

より，任意の共役類 $C$ に対してフロベニウスが存在する（素イデアル $\pee$ が存在して $[ \operatorname{Frob}_{\pee}] = C$ ）ことがわかります。

また，ガロア表現のトレースの値は共役類に対して定まります。よって，任意のフロベニウスのトレースが決まれば，ガロア群の任意の元のトレースが決まるというわけです。

よって， $H$ が無限群になる場合，すなわち， $\rho, \rho'$ が有限とは限らない群を経由する場合について考える必要があります。

この場合は，Chebotarevの密度定理は直接的には使えませんが，Chebotarevの密度定理から従う次の系を使うことができます。

系：
$\Sigma_K$ を $K$ の素イデアル全体の集合， $S$ をその有限部分集合とする．また， $K_S$ を $S$ の外不分岐な最大のガロア拡大とする．

$X$ を共役で安定な $H = \operatorname{Gal}(K_S/K)$ の部分集合で, 任意の $\pee \in \Sigma_K \setminus S$ に対して $X$ は $[\operatorname{Frob}_p]$ を含んでいるようなものとする．このとき $X$ は $H$ の稠密な部分集合となる．

証明は，参考文献 [3] の系1.4に書いてあります。

要するに上で言っていることは，不分岐な素イデアルについてのフロベニウスによってできる $H$ の部分集合 $X$ が $H$ に稠密に入っているということです。

ガロア表現が有限群 $H$ を経由する場合は， $H$ の任意の共役類すべてにフロベニウスがいてくれたので，ただちに証明できました。無限群 $H$ を経由する場合は，すべての共役類にフロベニウスがいるとはもはや言えません。一方で，フロベニウスに対応する $H$ の部分群が $H$ の中で稠密な部分集合になっていることは言えます。

これを使うとどのように（仮定） $\Longrightarrow$ （帰結） を示していけるのでしょうか。

５．Chebotarevの密度定理の使い方（後半）

それでは， $H$ が有限群とは限らない場合について示していきましょう。

先に説明した通り， $H := \operatorname{Ker}(\rho) \cap \operatorname{Ker}(\rho')$ とすると，ガロア表現 $\rho, \rho' \colon G_K \to \operatorname{Aut}_E(V)$ は $H$ を経由します。したがって，準同型定理より $\tilde{\rho}, \tilde{\rho'} \colon H \to \operatorname{Aut}_E(V)$ を考えれば十分です。これらを改めて $\rho, \rho'$ とします。

ここで， $H$ の部分集合

$F = \{h \in H \mid \mathrm{tr}(\rho(h)) = \mathrm{tr}(\rho'(h))\}$

を考えます。この $F$ が $H$ に一致することが示すべき【帰結】です。

このとき， $F$ は $H$ の閉集合であることがわかります。理由は [2] の脚注8にて。

一方， $H$ の部分集合

$E = \{h \in H \mid \exists \pee \in \Sigma_K\setminus S, h = \mathrm{Frob}_{\pee})\}$

を考えます。つまり， $E$ は $K$ の不分岐な素イデアルについてのフロベニウスに一致する $H$ の元の集合です。

これは【仮定】により， $F$ に含まれます。なぜなら，【仮定】により少なくともフロベニウスについてだけいえば， $\rho, \rho'$ のトレースが一致することがわかっているからです。よって $E \subset F$ です。

結果的に $E \subset F \subset H$ なる包含の列が得られました。

$H$ に対応する代数体 $(K^{\text{sep}})^H$ は， $S = S_{\rho} \cup S_{\rho'}$ としたときの $S$ の外不分岐な最大のガロア拡大体 $K_S$ なので， $K_S$ にChebotarevの密度定理の系が適用できて， $E$ は $H$ に稠密に入っていることがわかります。