こんにちは。最近、群コホモロジーがマイブームのtsujimotterです。
群コホモロジーといえば、以前の記事で群コホモロジーに関する定理「ヒルベルトの定理90」を使って、クンマー理論を導く話を書いたことがありました。
tsujimotter.hatenablog.com
今回は ヒルベルトの定理94 という定理について紹介したいと思うのですが、実はこの証明にも群コホモロジーが登場し、クンマー理論のときとほとんど同じような流れで議論ができるのです。
なかなか面白いので、ぜひ最後までお付き合いください。
目次:
単項化定理
まずは「単項化」とは何かについて説明するところから始めましょう。
代数体 の有限次ガロア拡大 を考え、 の整数環をそれぞれ とします。
の任意のイデアル に対して、 を のイデアルに「持ち上げ」ます。 すなわち、 を考えるということですが、この を の への延長といいます。
この への延長 が の単項イデアルになるとき、 は において単項化するといいます。 今回は、単項化の条件について考えたいと思います。
がもし単項イデアル整域であれば、任意のイデアル は単項イデアルです。そして、単項イデアル の への延長 は の単項イデアルです。
ここで は単項イデアル整域とは限らないとします。この場合であっても、単項イデアルでない が に延長したときに単項イデアルになることがあるのです。
たとえば、 とし、 とします。このとき、 のイデアル はよく知られているように単項イデアルではありません。
しかしながら、 への延長 を考えると、実はこれは の単項イデアルになるのです。すなわち、ある の元 が存在して
が成り立つということです。
このことはまったくもって自明ではありません。本当にそうなるのか直接確かめてみたいところですが、私自身確かめたわけではありません。計算してみたいと思いますが、実際問題としてなかなか大変だと思います。
しかしながら、次の単項化定理によって が単項イデアルになることは保証できてしまうのです。
のヒルベルト類体は なので、単項化定理により上の例の は単項イデアルとわかります。もっというと、 に限らず 任意の のイデアルは で単項化するというわけです。これはなかなかすごいですね。
ヒルベルトがヒルベルト類体を予想したときに、その特徴づけとして「すべてのイデアルが単項化すること」を挙げていたようです。単項化定理は、ヒルベルトによって予想され、その弟子のフィリップ・フルトヴェングラーによって証明されました。
単項化定理について、勘違いしやすいポイントが一つあるので注意をしておきます。
このブログで「ヒルベルト類体」が登場したのは初めてではありません。
このときに挙げたヒルベルト類体の重要な性質として次のようなものを紹介したかと思います。
これを知っている人は、両者がごちゃ混ぜになって、こんがらがってくると思うのです(というか私がこんがらがっていました)。
両者の違いを述べると、次のように整理されます。
- 単項化定理: のイデアルを に延長すると、 のイデアルとして単項イデアルになる
- 上の必要十分条件 : の素イデアルが単項イデアルである必要十分条件は、 に延長したときに完全分解することである
こうやって整理してみると、どちらも単項イデアルについて述べているものの、主張としては全然違うことを言っていると気づきますね。
単項化定理に関連して、類体塔問題 という有名な問題にも触れておきたいと思います。
単項化定理によれば、 の整イデアルはすべて のヒルベルト類体 で単項化します。もし、 が単項イデアル整域でない場合は、 のヒルベルト類体に持ち上げれば の整イデアルは単項化します。もし、 が単項イデアル整域でない場合は、・・・のように が単項イデアル整域になるまで繰り返します。
このように のヒルベルト類体のそのまたヒルベルト類体を繰り返しとっていってできる体拡大の列
のことを 類体塔 といいます。
類体塔問題とは、任意の類体塔は有限回で止まるか?、すなわち、有限回で単項イデアル整域に到達するか?、という問題です。
類体塔問題は、1964年にシャファレビッチとゴロッドによって否定的に解かれました。すなわち、無限に続く類体塔 が見つかったということです。実際、その反例は
となっています。なかなか凄まじいですね。
実際に、この例が反例になっていることを確認するのはかなり大変です。私も理解していないのですが、群コホモロジーを使った議論が必要になるようです。いつかこのブログで解説できるようになりたいです。
ヒルベルトの定理94
話を単項化定理に戻しましょう。
単項化定理を予想したのは前述の通りヒルベルトですが、彼が予想するにあたって、その根拠とした定理があります。それが ヒルベルトの定理94 です。
のイデアル類群 を考えて、そのイデアル類のうち 個に属するイデアルすべてが で単項化するという主張です。 としては「不分岐」かつ「巡回拡大」であるという限定した状況を仮定していて、単項化するイデアル類の個数 は、 の拡大次数というわけです。
この定理からヒルベルトが単項化定理を予想した流れは、次のものだと考えられます。
定理94から「巡回拡大」の条件を外して「アーベル拡大」とすることを考えましょう。すると、次のような主張になります。
ここでもし、上の主張が真であると仮定すると、 が最大不分岐アーベル拡大、すなわちヒルベルト類体としたとき、 の 個以上のイデアル類に属する任意のイデアルが において単項化することになります。ここでヒルベルト類体の性質
を思い出すと、結局 の 個以上のイデアル類に属する任意のイデアルが において単項化することになります。つまり、 のイデアルすべてが単項化するというわけです。
このように考えると、確かに単項化定理は成り立ってほしいと思いたくなるわけですね。
しかしながら、歴史的な順番としては逆です。ヒルベルトが単項化定理を予想したのが1900年、フルトヴェングラーが証明したのは1930年であり、定理94の一般化はフルトヴェングラーの証明からずいぶん後です。また、フルトヴェングラーの証明は(私は理解できていませんが)どうも定理94の方向性ではないようです。
ヒルベルトの予想自体は当たっていたものの、証明の流れとしてはヒルベルトの構想通りには進まなかったということでしょうか。
参考:
彌永先生の数学的な業績 - 三宅 克哉
https://mathsoc.jp/publication/tushin/1102/miyake11-2.pdf
さて、今日はヒルベルトの定理94の証明を紹介することにしましょう。
この定理の証明には群コホモロジーが使われます。これが実に鮮やかで面白いので、ぜひ紹介したいというわけです。
証明の最初のキーポイントは、単項化問題をうまいこと言い換えるということです。
の分数イデアル全体のなす群を 、単項分数イデアル全体のなす群をそれぞれ とします。
のガロア群を とおくと、 は に作用します。この作用で不変な部分集合を と記すことにしましょう。すなわち、
ということです。以降、 が上付き添え字で出てきたら、同じように考えます。
ここで、 を不分岐拡大とすると
- は「 のイデアルを に延長したもの全体」
- は「 のイデアルを に延長したもののうち、 で単項イデアルになるもの全体」
となります。
まず具体例から考えたいのですが、 とします。この例では は不分岐拡大ではありませんが、あえてこのような例を考えています。
の における素イデアル分解を考えると
となり、これは分岐する素イデアルです。ここで、 に を作用させると
となり、 不変な のイデアルになります。したがって、 です。
また、 は明らかに のイデアルの への延長ではあり得ませんから
となってしまいます。
一方、 のような素イデアルとすると
となりこれは不分岐です。ここで
であり、 は の 不変な部分に含まれません。
以上の状況を図に表すと次のようになります。
というわけで、分岐する素イデアルがなければ、 が の への延長とちょうど一致するのではないかということが示唆されます。
このことを踏まえて、一般的なガロア拡大 のケースで考えてみましょう。
の素イデアル の における素イデアル分解を考えます。
両辺に を作用させると
なので、
が成り立ちます。
の元が集合 に推移的に作用することから、 とすると、 なる が存在することがわかります。
よって
が言えます。
のとき、以下の のケースが考えられます。
ならば であり、すなわち は であり の への延長であるような素イデアル。
ならば であり、すなわち は であり の への延長ではないような素イデアル。
が不分岐拡大であれば、上の のケースは存在しないので
が成り立ちます。
また、 は のうち特に単項イデアルであるもの、すなわち単項化するもの全体になりますね。
よって、 を考えれば「 で単項化するイデアル類全体」を考えることになります。このイデアル類の個数が拡大次数 以上であることが言えれば、ヒルベルトの定理94が証明できたことになります。
証明の最大のキーポイントは、上の を群コホモロジーによって表すという点です。
という同型がいえるので、右辺のコホモロジーの位数が 以上であることを示せばよいことになります。この部分に巡回拡大におけるコホモロジーの性質が使えます。面白いですね!
それでは、アウトラインはこの辺にしておいて、具体的な証明に行きましょう。
ヒルベルトの定理94の証明
(証明)
を の単項分数イデアルのなす群とし、 を の単数群とします。
として、次の 加群としての短完全列を考察します:
に対して、 を に置き換えたものに対応しています。 は全射とは限りませんが、 は全射です。そのため、Cokerに相当する部分が 1 になって消えているというのが式 の完全列というわけですね。
短完全列 に対し、コホモロジー長完全列 を作ると
が得られます。
ヒルベルトの定理90
と
より
が得られます。
さらに、 より
となります。完全性から、 であり、 についての準同型定理 と合わせて
が得られます。
前節で議論したように、 は不分岐拡大より、左辺の は「 で単項化するイデアル類全体」のなす群を表します。よって、右辺のコホモロジーの位数が 以上であることを示せばよいことになります。
ここでエルブラン商を定義します。 の位数をそれぞれ と表すことにして、その商
を エルブラン商 といいます。
の構造を調べることによって、 については以下の定理が成り立つことが示せます。
「類体論講義(参考文献)」の定理5.1.7に証明が載っていますが、難しいので今回は扱いません。
上の定理より、 次不分岐巡回拡大 において
が成り立ちます。
よって、 と合わせると
が言えるので、 の 個以上のイデアル類に属する任意のイデアルが において単項化することが示せました。
おわりに
今回は、単項化定理に関する「ヒルベルトの定理94」の証明を紹介しました。
ヒルベルトの定理94とは、 が不分岐巡回拡大のとき のイデアル類のうち 個以上が単項化するという定理でした。その証明には群コホモロジーが使われました。「 で単項化するイデアル類」を表す群 を群コホモロジーで表すことによって、群コホモロジーの性質から位数を評価できる点が面白かったですね。
これまで群コホモロジーを使った議論についていくつか(クンマー理論や今回の話)勉強してきましたが、少なくともこれまで扱ってきた議論には、ある種の典型的なパターンのようなものがあると気づきました。
- 群Gが作用するような「数論的に関心ある群」に関するG加群の短完全列を作る
- 1. の短完全列からコホモロジー長完全列を作る
- コホモロジー的な性質を使って目的の群をコホモロジーで表す
- コホモロジーの位数を計算・評価する
- 目的の群の位数などの情報や非自明な群同型がわかる
以前のtsujimotterは、群コホモロジーのややこしい定義をみて「なんのためにこんな概念を定義するのだろう」と訝しげに思っていたのですが、こうやって実際に使ってみて初めて、その有用性を少し実感できるようになりました。もっと勉強してみたくなりました。
それでは今日はこの辺で。
最近、一年前に疑問に思っていたこの辺りの話が理解できるようになりつつあって、嬉しいし楽しい。 https://t.co/CLZxRnU1w0
— tsujimotter 日曜数学者 (@tsujimotter) 2019年6月1日
※1年前じゃなくて、2年以上前でしたね。
*1:納得のいく説明を考えるのに、丸々一日を使ってしまいました。