tsujimotter.hatenablog.com
以上の記事では,整数論にガロア理論を適用させ,素イデアルの分解法則を見出す「ヒルベルトの理論」の枠組みを紹介し,その系として円分体の分解法則を導きました。
上の記事から半年以上経っているので,円分体の類体論を復習しつつ,言い足りなかったことを少し補足したいと思います。
復習するテーマは大きく分けて以下の2つです。
・ガロア拡大における分解法則とフロベニウス
・円分体の素イデアル分解法則
この記事のすぐあとに,続きの記事を書きたいと思っています。今回の記事はそのための準備です。例によって,少々レベルが高い記事になりますが,よかったら合わせて読んでみてください。
復習1:ガロア拡大における分解法則とフロベニウス
まずは,問題設定とモチベーションを思い出しましょう。
を代数体のガロア拡大とします。ガロア拡大なので,ガロア群 を考えることができます。この設定の下で「 上の素イデアル が拡大体 でどのように分解されるかを考えたい」というのがモチベーションであり,それを明らかにするのがヒルベルトの理論でした。
上での の素イデアル分解を考え,素因子の1つを として固定しましょう(このとき が成り立ちますね)。
固定した に対して重要な の部分群,分解群 と惰性群 を考えることができます。
一方で, の整数環 を で割った有限体 と の整数環 を で割った有限体 の間には,) という有限次拡大を考えることができました。この拡大のガロア群を とします。
すると,次の図のような対応関係があって「代数体の拡大」と「有限体の拡大」が見事に結びつくのでしたね。
さらに都合の良いことに「有限体の拡大」のガロア群 はフロベニウス自己同型 によって生成されます。 はノルム写像で,定義は に対して以下となります。
したがって,拡大された有限体 のうち,元の有限体 に属していた元は「 の個数乗」すると元に戻ってきて区別できるということです。これがフロベニウス自己同型の意味するところですね。
さらにこの拡大のガロア群は,このフロベニウス自己同型ただ1つによって生成される巡回群になっているというのです。有限体の世界はなかなか面白いです。
さて,有限個の素イデアルを除いて は不分岐です。不分岐であれば,惰性群 は潰れますから,分解群 と は同型となります。
したがって, のフロベニウスに対応する代数体の自己同型が に一対一で存在します。これを における のフロベニウス自己同型と呼びましょう*1。この元たった1つによって が生成されるので「分解法則がよくわかる」というわけですね。
具体的には, を で不分岐とし のフロベニウス自己同型の位数を としたとき,この を使って の分解指数 は
と表せることがわかります。
さて,代数体における のフロベニウス自己同型は,有限体 に制限すると, という自己同型として振舞います。ここで です。したがって,
を満たす が, における のフロベニウス自己同型です。この を と書くことにしましょう。
※フロベニウス自己同型を定義する式 は頻繁に用いますので,ぜひ覚えておいてください。
補足1:フロベニウス自己同型とアーベル拡大
フロベニウス自己同型の定義において,今は を固定しています。この を入れ変えてしまった場合,フロベニウス自己同型は同じものになるのでしょうか。気になりますよね。
実は,単にガロア拡大であるだけでは,フロベニウス自己同型は の入れ替えによって異なるものに変わってしまいます。
まず, と共役な の素因数は,任意の を用いて と表せることに注意します。 のフロベニウス自己同型を としたとき,
が成り立ちますが,この式の両辺に を作用させましょう。
さらに, となるように をとると
となります。すなわち, のフロベニウス自己同型は, となるわけです。記号を使って表すと,
がいえるわけです。
ここまでは,一般のガロア拡大に対して考えてきました。もし, がアーベル群であれば,すなわち, がアーベル拡大であれば,上記の積は可換になります。したがって,
が言えます。標語的に言えば,フロベニウス自己同型は の素イデアル の取り方によらない,つまり, のみに依存するといえるわけです。そこで,アーベル拡大においては, における のフロベニウス自己同型を
と表すことにしましょう。この記号をアルティン記号と呼びます。
まとめると,アーベル拡大であればフロベニウスは基礎体 の素イデアル によって定まるという,非常に都合のよい性質を持ちます。一般のガロア拡大とアーベル拡大の違いが,このようなところに現れてくるのですね。
前回の記事はアルティン記号を用いないで進めました。それでもよいのですが,こうしておくと色々便利なことがあるので今回定義しました。まず,記号の が基礎体の素数となっているのがポイントですね。基礎体の情報だけで表せるというのが利点です。
補足2:アルティン写像と相互法則
後のために,アルティン記号をもう少しだけ拡張しておきましょう。
のイデアル は, のように一意に素因数分解できます。このとき, における のアルティン記号を
で定義します。すると,アルティン記号を に対しても定義できました。
さて,こんなことをして何になるのでしょうか。実は,ちゃんと意味はあるのです。
まず, の任意のイデアル に対してアルティン記号を考えましょう。すると,すべての の元を尽くすことがわかります。
つまり, のイデアルを元として持つ群(これを便宜上「イデアル群」と呼びます)からガロア群への準同型写像が
によって与えられ,全射になっているということです。この写像をアルティン写像と呼びます。アルティン写像は単射ではありませんが, が単位元(すなわち恒等写像)になる でつくられる部分群によって「イデアル群」を割ってあげれば全単射をつくれます。これがアルティン相互法則です。
「イデアル群」というものが何なのか定義をしないと本来は意味をなしませんが,難しいので今日はやめておきます。とにかく,この同型が具体的に与えられるという点が重要だということは覚えておいてください。
復習2:円分体の素イデアル分解法則
以下では,, として,円分体の素イデアル分解法則を,具体的に考えていきましょう。
まず,円分体のフロベニウス自己同型を考えると, のフロベニウス自己同型は
となることがわかります。ちょっと大変ですが,今回はしっかり証明しましょう。ただし,一般の証明は難しいので, (素数)とします。
をそれぞれ素数とする。
と の における分解の素因数 に対して, のフロベニウス写像を とすると
が成り立つ。左辺は
であるから, を調べればよい。 より
が成り立てば十分である。
一方, より, となる (ただし,)が存在する。この を用いて
が得られる。(右辺)−(左辺)より
であるが, は単数より
が成り立つ。
ここでもし ならば, は1の原始 乗根。
tsujimotter.hatenablog.com
上の記事で証明した補題により, は で完全分岐します。すなわち
である。つまり, の 上の素因子は に限られる。また である。 という条件,すなわち, と は素にもかかわらず, と が共通の素因子を持つことになる。これはおかしい。よって, である。
以上より, が得られた。
のフロベニウス自己同型 が式 により具体的にわかったので,この位数を調べることで の分解法則が完全にわかります。
ここで,円分体のガロア群には以下のような同型があったことを思い出しましょう。
単に同型なだけでなく,以下のような対応によって具体的に与えられます(これが超重要です)。
は, を代表元とする の類を表します。つまり, ということです。
この同型写像により
と対応しますから, のフロベニウス自己同型 の位数は, の における位数に対応します。
したがって,以下の分解法則が得られます。
特に, であれば, は完全分解する。
以上で,円分体の分解法則が得られました。
最近よく使っている「 であれば, は完全分解する」という事実も,ちゃんと導くことができましたね。この法則の応用例はこちら。
tsujimotter.hatenablog.com
最後に,まだ触れていなかったアルティン相互法則について触れて終わりにしましょう。
式 をよーくみてみましょう。アルティン相互法則とほとんど同じ形をしていますね。
実際,アルティン相互法則
より式 を導くことができます。
と素因数分解しておくと,
のようにアルティン記号を分解できます。円分体のフロベニウスは式 より
で与えられますから,
より,
が得られます。たしかに式 の写像が得られました。
まとめ
今回は「円分体の分解法則」だけ紹介しましたが,この流れを踏まえることで「二次体の場合の分解法則」も得ることができます。実はその話がしたくてこの記事を書きました。
一般に,これらは「Q上の類体論」と呼ばれるものですが,これが円分体の分解法則の延長で得られるのです。この辺が円分体が雛形と言われる所以でしょう。
次の記事では,ぜひ円分体のパワーを味わってください!
*1:そして崇めましょう