今日は 類体論 のステートメント(主張)を述べて、その簡単な解説をしたいと思います。
類体論のステートメントは、大きく2種類あって、
- 合同イデアル群を用いたもの
- イデール群を用いたもの
があります。また、今回は単に「類体論」と言っていますが、
- 大域類体論
- 局所類体論
の2種類があります。代数体に対する類体論が大域類体論で、局所体に対する類体論が局所類体論です。
今日は、合同イデアル群 を用いた 大域類体論 のお話をします。つまり、代数体についての理論です。
これまでも本ブログで「類体論的現象」についてはいくつか紹介してきましたが、類体論そのものについてまとめたことはありませんでした。本当はずっと以前からまとめたいと考えていたのですが、「無限素点」の取り扱いに自信がなかったためお蔵入りとなっていたのでした。ようやく出してもいいかもしれないと思えるようになったので、出してみたいと思います(間違ったことを言っていたらごめんなさい)。
無限素点に関してはやはり扱いが面倒だと感じたので、前半では無限素点を考える必要のない 「総虚な体」 上に限定した話をします。ただし、今後のことも考えて、後半でおまけ程度に一般の場合の話もします。
ちなみに今回の記事は、今後書きたい記事の前提知識を与えることを目的として書いています。そのため、内容としては最低限のものしか述べないつもりです。ご了承ください。
目次:
前提知識:素イデアル分解とフロベニウス
この節では、本記事で必要となる前提知識について駆け足で振り返りたいと思います。この節の内容については別の記事でも詳しく書いたので、この節の内容を読んでもよくわからなかったという人は、リンク先の記事を適宜参考にしてください。
tsujimotter.hatenablog.com
総虚な 代数体を とし、 上の有限次アーベル拡大を とします。類体論は、この についての素イデアル分解を、 のガロア群 を通して理解するための理論といっていいかもしれません。
の整数環を とし、対応する素イデアルを と表すことにします。以下、「 の整数環 の素イデアル 」というのは面倒なので、簡単に「 の素イデアル 」と呼ぶことにしたいと思います。これは整数論で一般的に用いられる呼び方です。
さて、 の素イデアル を固定し、これを に持ち上げることを考えましょう。すなわち、 を考えます。 はもちろん の整数環です。このとき、よく知られたように は、 において素イデアルとは限らず、一般に の素イデアルの積に分解されます。
この分解の様子は、 がガロア拡大であれば一般に
と表すことができます。
式 において、指数 が であれば「 は で分岐する」、そうでないときは「 は で不分岐である」といいます。また不分岐かつ であれば「 は で完全分解する」といいます。
以下では、 を割り切る の素イデアルの1つを固定し と表しましょう。 が を割り切ることを、 と表すことにしましょう。
つまり、次のような状況を考えていることになります。
このほかに、以下の記号が現れます。どの記号も「イデアル」を表すのに用います。
- : のフラクトゥーア
- : のフラクトゥーア
さて、今後の議論における重要な道具として フロベニウス を定義します。 はそれぞれ有限体となり、後者は前者の有限次拡大となっています。有限体の拡大は素性がよく知られていて、そのガロア群 は非常にわかりやすい形をしています。
という写像を考えると、これは の元を固定する の自己同型となっています。さらに、 は を生成元とする巡回群となっています。
一方、 に対して、 に対応した部分群 を以下のように定義します:
これを の分解群と呼びます。 の分解群から、有限体のガロア群への自然な写像 は全射になることが知られています。この写像の核を の惰性群といって と表します。
ここでもし、惰性群 が潰れている場合、 が不分岐となります。このとき、 は同型写像となり、式 の写像 の への持ち上げが存在します。 がアーベル拡大の場合は、この持ち上げは によらず、 に対して一意に定まります。したがって、これを のフロベニウスと呼んで、 と表すことにします。
この のフロベニウス が非常に重要で、アーベル拡大 で が完全分解する条件を定めてくれます。具体的には、 が不分岐のとき が定まり
となります。
アルティン写像
上で述べたように、 のフロベニウス は、 の素イデアル に対応する の元を指していました。この対応関係は
を表しているように見えます。これを拡張して「 の分数イデアル」と「ガロア群」の対応関係を定める写像を考えましょう。
ただし、分岐する素イデアルはうまく避ける必要があります。 の分岐するすべての素イデアルをすべて含む の素イデアルの有限集合 を考えます。
をすべて掛け合わせてできる整イデアルを としましょう。すなわち
です。
ここで、 と素な の分数イデアル を考えます。「 と素」の意味は、 の素イデアルによって、割り切れないという意味です。 を素イデアル分解したときに現れる素イデアルは、すべて では分岐しません。このような分数イデアル全体を と定義します。つまり、こういうことです。
分数イデアル の素イデアル分解を
と表したとき、以下の写像
を考えます。これは、要するに を割り切るすべての素イデアルを、対応するフロベニウスに置き換えて(機械的に)掛け合わせたものとなっています。この写像の行き先は の元になっており、写像
が得られたことになります。これを アルティン写像 と呼ぶことにします。
左辺の はアーベル群となっており、アルティン写像は、群準同型写像となっています。このアルティン写像の性質が、類体論においては重要になります。
導手とray類体
アルティン写像の持つ重要な性質は、アルティン相互法則です。(弱い版の)アルティン相互法則は、 で分岐するような の素イデアルで割り切れる整イデアル で、任意の に対して
を満たすものが存在する、という法則です。
この法則を考えるときには、 であるような の単項分数イデアル 全体を集めた集合を考えると便利でしょう。これを とします。
はアーベル群となり、 の部分群となります。
一方で、 であっても、 であるかもしれません。というのも、 なので、もし が を満たせば、 は の元となるからです。
の単数は だけとは限りません。 として、 となるような が存在すれば、 となります。
すると、アルティン相互法則は次のように言い換えられます。こっちを覚えましょう。
が成り立つものが存在する.
上の法則は、適切な をとれば、 となる は(つまり、アルティン写像の核は) を含むということを表しています。
もちろん、このような は一つとは限りません。もし について上の法則が成り立つならば、 についても成り立ちます。ここで、 の方が大きなイデアルになっています。
そこで、このような法則が成り立つような、最大の整イデアルを考えたくなります。すなわち、上の法則が成り立つ整イデアルの最大公約イデアルです。このような性質を持つイデアルを の 導手 とよび、 で表します。
導手はとても重要な量で、たとえば という二つの拡大を考え、それぞれの導手を としたときに、以下が成り立ちます:
導手を割り切るかどうかと、拡大体が包含されるかどうかが対応しているわけですね。
このように導手を定義すると、ある整イデアル に対して、その を割り切る導手を持つ最大の体を考えたくなります。これを の ray類体 と呼びます *1。
という性質をもつものである.また,このようなray類体 は, に対して一意に存在する.
ray類体は、与えられた を割り切る導手を持つ「最大」の体、と考えていいでしょう。ただし、 の導手が、必ずしも に一致する必要はありません。
類体論の主定理
以上の準備を元に、類体論の主定理を述べることができます。
は全射準同型であり,アルティン写像の核は である.ここで は の 0 でない分数イデアルのなす群である.
さて、上の定理を見てぱっと意味がわからないかもしれません。私もそうでした。ここでは、かなり多くの情報が上の数行に含まれているということを指摘しておきたいと思います。
まず、すぐにわかることは、主定理によって のガロア群の同型が具体的に与えられるということです。
アルティン写像の全射性より がいえます。また、上の定理よりアルティン写像の核は であるから、準同型定理 より
が得られます。右辺は、 のガロア群ですから、 のガロア群の同型写像が得られたことになります。
また、左辺は の分数イデアル をその部分群 で割ったものになっており、したがって の分数イデアルの剰余類となっています。つまり、 は基礎体の分数イデアルのある類別によってガロア群が表現されている、と考えることができます。
は を含む の部分群となっています。このような を合同イデアル群といい、また合同イデアル群に対応する の拡大体 のことを類体といいます。
「ガロア群の同型がわかったところで何になるのだ?」と思ったかもしれません。しかし、この同型写像の情報こそが重要で、ここからただちに素イデアル分解法則が導かれます。
まず、この同型がアルティン写像によって構成されていることに注意しましょう。 の素イデアル が で不分岐のとき、 が完全分解する必要十分条件は、 であることです。すなわち、 がアルティン写像 の核に含まれることです。ということは、上の主定理より
であれば、 は で完全分解することになります。アルティン写像の核 は より大きいことに再度注意しましょう。
さて、この核をより小さくしていき、完全分解する素イデアルの数を減らしてみましょう。すると、上の主定理より、相対的にガロア群が大きくなります。ガロア群が大きくなるということは、拡大としては大きくなるわけですね。一方で、 を割り切る導手を持つ拡大においては、アルティン写像の核は常に を含みます(アルティン相互法則より)。
「同じ整イデアルを割り切る導手を持つ拡大の中で最大のもの」はまさにray類体の定義ですが、実は のray類体 では、ちょうど に含まれる素イデアルだけがアルティン写像の核に含まれます。
なる性質で特徴付けられる.
つまり、一般のアーベル拡大 においては
が成り立つのに対し、ray類体ではさらに逆も成り立ち
という性質で特徴付けられるということです。
この性質はしばしば用いられるので覚えておくとよいでしょう。たとえば、ray類体を具体的に決定するときには、完全分解される素イデアルの集合を考えることになります(記事最後の円分体の例を参照)。
駆け足でしたが、類体論の主定理の説明は以上です。以下では、具体的なray類体について計算してみましょう。
具体例:ヒルベルト類体
とした場合を考えましょう。このとき、 を導手に持つ拡大 においては、分岐する素イデアルは存在しません。したがって、不分岐拡大となります。 を法とするray類体は、そのような拡大の中で最大のものとなりますので、最大不分岐アーベル拡大となります。このような拡大を のヒルベルト類体と呼びます。
のヒルベルト類体を としたときに、このガロア群は具体的に表されるでしょうか。アルティン写像の核は を含むので、このような拡大の中で最大のものは核が に一致する類体となります。したがって、類体論の主定理より
となります。
ここで
となり、 は のイデアル類群となりますから、以下が得られます:
ここで, は のイデアル類群.
私、この法則好きなんですよね。イデアル類群と最大不分岐アーベル拡大という性質が綺麗に結びつく。これこそが美しい法則だと思うのです。
さらに、アルティン写像から
が言えるので、次の分解法則も得られます:
またいずれ、具体的にヒルベルト類体を決定するために、これらの法則に戻ってきたいと思います。
さて、ヒルベルト類体の例としては、たとえば 上のヒルベルト類体 があります。 において分解する素イデアルは素数 の上にあるものに限られます。この場合、素イデアル分解法則からヒルベルト類体がわかるというよりは、ヒルベルト類体を特定しておいてその分解法則から素イデアルが単項イデアルであることが判明するといった使い方をします。以上の考え方のもと、たとえば2次形式でかける素数の法則が得られます。
tsujimotter.hatenablog.com
また、 上の不分岐な拡大は 以外にはありません。このことは の類数が であることからもわかります。
無限素点を考慮した修正
さて、以上で終わりにしてもよかったのですが、やはり「総虚な」という条件がついた状態では納得いかないでしょう。おまけに、まだ円分体の例を計算していません。円分体の議論をするためには、無限素点における議論がどうしても必要です。以下では,総虚とは限らない体 について、 の上の類体論がどのように修正されるか考えましょう。
このことを説明するためには、そもそも「有限素点」と「無限素点」というものがあるという話をしなければなりません。必要最低限の説明をします。
まず、付値という写像 を考えます。これは単なる写像ではなく、乗法性や三角不等式等の条件が付いた写像です。付値は、いわゆる「距離」のようなものを表していて、たとえば に対して が十分に小さければ は付値 に対して近い、のように考えることができます。
また、付値には次のような「同値関係 」が定義できます。付置 に対して、 を満たす が存在するようなときに は同値であるといい、 と表します。この同値関係 によって、 の付値全体の同値類の集合を考えるのです。この集合の元、すなわち付値の同値類を素点といいます。
「なんでこんなものを考えるのか」と思ったかもしれませんが、もう少し我慢してください。さて、付値には「アルキメデス的付値」と「非アルキメデス的付値」の2種類があります。説明はしませんが、とにかく2種類あると思ってください。アルキメデス的付値に対応する素点を無限素点、非アルキメデス的付値に対応する素点を有限素点といいます。
面白いのはここからです。実は、 の有限素点は、 の素イデアルと1対1対応しています。具体的に、素イデアル から という付値を作ることができ、この付値を代表元とする素点が有限素点となるのです。
では、ここで気になるのは「無限素点に対応するものは何だろうか」ということです。その答えは「体の埋め込み」です。複素数体 への単射準同型写像 を考えます。たとえば、 においては、(1) を に対応させる埋め込みと (2) を に対応させる埋め込みの2種類があります。ここで、(1), (2) に対応する の行き先の体を と表すことにします。このような埋め込みは K の自己同型に対応しているので、その個数は n = [K : Q] となることがわかります。また、このような埋め込みの個数は になるという定理があります。
さて、 が実数体 に含まれているとき、 に対応する埋め込みを「実埋め込み」といいます。逆に、実数体 に含まれず、純粋に複素数体への埋め込みになっているとき「虚埋め込み」といいます。上の の例では、すべての埋め込みが虚埋め込みとなっています。このような を総虚な体といいます。これが本記事の冒頭で述べた条件だったのです。逆に、すべて実埋め込みの場合は、総実な体といいます。
さて、この埋め込み から付値を作る方法ですが、 を絶対値記号として、 とすればよいです。これによって付値が得られ、アルキメデス的付値となります。この付値の同値類が無限素点です。一般に、無限素点は のような記号で表します。
以上のように素点というものを考えることで、「体の埋め込み」と「素イデアル」を同じ土俵の上で議論できるのですね。
素点を使った類体論の修正ですが、「整イデアル 」の部分が 「整因子 」 と呼ばれるものに変わります。先ほどは、整イデアルとして、分岐する素イデアルを含む素イデアルの有限集合の積を考えていました。これを、分岐する(無限素点を含む)素点の有限集合の積へと変更します。
ただし、ここで2つ注意する必要があります。一つ目は分岐について。無限素点にも「分岐」という概念があります。これについては少し難しいので、今回は割愛します。
もう一つは、無限素点の積をどのように考えたらよいかです。この場合は、有限素点と無限素点を分けて考えます。有限素点はそのまま素イデアルの積をとって、無限素点の方は「形式的な積」をとります。そして、有限素点の積と無限素点の積の「形式的な積」をとるのです。このようにして得られた を整因子と呼びます。
これによって、整因子 を法とする合同の考え方に、修正が必要となります。例として、整因子を とします。 は有限素点に対応する素点の積であり、 は埋め込み に対応する無限素点です。このような に対する合同式
は、合同式を有限素点と無限素点でばらして、以下のように定義されます:
かつ
かつ
ここで、 は埋め込み に対する の行き先となります。無限素点の合同式については、以下のように定義されます:
つまり、実無限素点の場合は、埋め込みの行き先で が同符号であれば合同というわけです。虚無限素点の場合は、非零であれば無条件に合同が成立します。また分岐する素点も、虚の場合は考える必要はありません。そのため総虚な埋め込みの場合は、無限素点を考える必要がなかったというわけですね。これが冒頭で「総虚な」の条件をつけた理由です。
このように考えたとき、 は
だったので、 かつ を割るすべての実無限素点 に対して を満たす単項分数イデアル、という条件になります。簡単に言うと、 を選ぶ条件として、合同式に加えて符号の条件もついたということですね。
具体例:円分体
長かったですが、これで準備は完了です。最後に、 上のray類体が円分体となることを導きましょう。
まず、 の への埋め込みは一つだけです。これを とおきましょう。 なので、 は実埋め込みです。対応する付値は絶対値関数 となり、この付値に代表される実無限素点を とおきましょう。また、 の有限素点は、素数を として で尽くされます。
したがって、 上の整因子としては、何がしかの整数 に対するイデアル と唯一の実無限素点 の積を考えればよいでしょう。
ここでは、例として を法とするray類体 を考えましょう。先に答えを言ってしまうと、 となります。
私たちは、円分体の理論を知っていて、円分体 のフロベニウス が で表されることを知っています。これは類体論の一般論からは得られない帰結です。
tsujimotter.hatenablog.com
これにより、 における素数の分解法則
がわかります。また、 の定義は
より、符号分布も考えて かつ であるような の単項分数イデアル全体となります。よって、分解法則は次のように言い換えられます:
さて、このような条件を満たす 上の拡大体は、ray類体にほかなりませんから が法 のray類体、すなわち が言えました。
また、ray類体の定義より、 であるような 上のアーベル拡大は、すべてray類体 の部分体になりますから、以下も言えたことになります。
以下の記事で苦労して証明した(まだ証明できていませんが)クロネッカー・ウェーバーの定理が、円分体の分解法則と類体論からあっさりと導かれてしまいました。類体論のパワーを感じますね。
tsujimotter.hatenablog.com
次に同型定理を導くために を考えましょう。 の定義は
でしたから、これはそのまま と素な に対する単項分数イデアル 全体になります。ただし、 は整数とは限らないことに注意します。 の定義は先ほど述べました。
ここで、実は が成り立つのですが、本当に成り立つかどうか、両者の間の同型射 の存在を議論しましょう。
このとき,
と定義したときに,これが well-defined であることを確認したい.つまり, として異なる代表元をとってきたときに、 であることを確認したい.
また,そもそも であるが, が分数 の場合は、 における の逆元 を用いて とすればいい.
さて, としたときに, は同じ類に属することから, が存在して
が成立する. かつ より, と合わせて である.したがって, より が well-defined であることがわかる.
また, が準同型写像であることは明らか.全射・単射性も明らか.よって, は同型写像を与える.
以上により
が示ました。よって、以下の同型定理がいえます:
同型定理を使うときにしばしば「(円分体の)類体論より」という枕詞を使うことがありますが、それはこれまでの議論と上の帰結のことを指していたというわけですね。
おわりに
長くなりましたが、これにて終わりです。本記事の内容は、いつかray類体を具体的に計算するときに利用したいと思っています。
また、類体論の証明については、まだ私自身が何も理解していないに等しいので、ブログに書く予定はありません。いつか理解したいです。
それでは今日はこの辺で。
参考文献
今回の記事は、シルヴァーマンの楕円曲線論概説の「虚数乗法」の章を参考にしています。ただし、説明の都合上だいぶ書き換えています。
- 作者:J.H. シルヴァーマン
- メディア: 単行本
一方で、上記の本では無限素点の取り扱いについて触れていなかったため、以下を参照しました。
また、 上の同型定理の計算については、以下の本を参照しました。
- 作者:足立 恒雄
- 発売日: 2010/02/01
- メディア: 単行本
*1:「シュトラール類体」という呼び名もあるそうです。今回はray類体と呼びます。