ヒルベルトの第12問題のソースを表示

'''ヒルベルトの第12問題'''（ヒルベルトのだい12もんだい、{{lang-en-short|''Hilbert's twelfth problem''}}; [[ヒルベルトの23の問題]]より）または'''クロネッカーの青春の夢'''（クロネッカーのせいしゅんのゆめ、Kronecker's Jugendtraum）は、「代数体のアーベル拡大は、もとの体に適当な解析函数の特殊値を添加してできる拡大体に含まれなければならない」という[[代数体]]の[[アーベル拡大]]を具体的に構成する方法を問う問題である。

[[有理数]]体にたいしては、そのアーベル拡大は[[円分体]]にふくまれるという[[クロネッカー・ウェーバーの定理]]が知られており、円分体は[[1の冪根|1のべき根]]により生成されるという具体的な構成法があたえられる。

[[虚数乗法]]の古典的な理論は「'''クロネッカーの青春の夢'''」として知られており、上の問題において代数体として[[二次体|虚二次体]]を選んだ場合の解答である。[[レオポルト・クロネッカー|クロネッカー]]は、気に入った青春の夢 {{lang|de|liebster Jugendtraum}} として、虚数乗法の考えを次のように書き表した。

{{quotation|1=Es handelt sich um meinen liebsten Jugendtraum, nämlich um den Nachweis, dass die Abel ’schen Gleichungen mit Quadratwurzeln rationaler Zahlen durch die Transformations- Gleichungen elliptischer Functionen mit singularen Moduln grade so erschöpft werden, wie die ganzzahligen Abel’schen Gleichungen durch die Kreisteilungsgleichungen.（それは我が愛する青春の夢です。つまり、整係数アーベル方程式が円分方程式によって尽くされるのと同様に、有理数の平方根を係数に含むアーベル方程式が特異母数を持つ楕円函数の変換方程式で尽くされることの証明です。）|2=レオポルト・クロネッカー|3=クロネッカー全集 第5巻, p. 455; [[デデキント|リヒャルト・デーデキント]]への手紙 (1880年) より}}ヒルベルトは、1900年8月8日にパリで開催された第2回国際数学者会議 (ICM) の講演において、本問題に関して次のように述べている。{{quotation|1=クロネッカーの定理を、有理数体または虚二次体の代わりに、任意の代数体を取った場合に拡張すること。私はこの問題を、数および函数の、すべての理論の中で最も深く最も重要なものの一つと考える。この問題は、多くの側面から近づき得るように見える。|2=ダフィット・ヒルベルト|3=数学の将来の問題について}}

== 問題の内容と経緯 ==
まずアーベル拡大について簡単にふれる。[[エヴァリスト・ガロア|ガロア]]により、今日では[[ガロア群]]と呼ばれる群が体の拡大を制御することが明らかになった。ガロア群が可換、すなわち[[アーベル群]]である場合をとくにアーベル拡大という。たとえば有理数体に <math>\sqrt{n}</math> をつけ加えてえられる拡大は、そのガロア群が {{math|{1, −1}}} となりアーベル群である。このような体を[[二次体]]とよび、[[カール・フリードリヒ・ガウス|ガウス]]はすべての二次体はある円分体に含まれることを示した。有理数体'''Q'''上の一般のアーベル拡大についても [[クロネッカー・ウェーバーの定理]]により有限アーベル拡大体はある円分体に含まれることが示される。

クロネッカー（とヒルベルト）の問題は、基礎体が有理数体ではなくて一般的な代数体 '''K''' である場合にそのアーベル拡大はどのように構成できるかを問うている。この問題については、'''K''' が[[二次体|虚二次体]]のとき、もしくはその一般化である[[CM体]]のときには解答があたえられる。まずクロネッカー・ウェーバーの定理は次のようにいいかえることができる。[[指数函数]]の特殊値 exp(2{{π}}''i''/''n'') を全てつけ加えた拡大を考えると有理数体 '''Q''' の最大アーベル拡大が得られる。そこで，ヒルベルトの第12番目の問題は、指数函数を一般化したような解析関数を考えて、その特殊値により一般的な代数体 '''K''' の最大アーベル拡大 '''K'''<sup>ab</sup> を生成できるかどうかを問う問題であると解釈できる。'''K'''が虚二次体 '''Q'''(τ) の場合には虚数乗法論によりその最大アーベル拡大は[[楕円モジュラー函数|モジュラ函数]] {{math|''j''(''τ'')}} と[[ヴァイヤシュトラスの楕円函数|楕円函数]] {{math|℘(''τ'', ''z'')}} の特殊値（対応する楕円曲線の[[捩れ (代数)|等分点]]における値）と 1のべき根を全てつけ加えることで得られる。これが'''K'''が虚二次体の場合に対するヒルベルトの問題への解答である。さらに虚二次体の高次元化ともいえる[[CM体]]に対する結果が[[志村五郎]]により得られた。

ヒルベルトの第12問題の元々の設定は少し不正確な点がある（というか、ヒルベルトが正確にはどのような意図を述べたのかはわからない）ので、それについて注意する。問題の主張は「虚二次体のアーベル拡大は楕円（モジュラ）函数の特殊値により生成される」であるように思われる。まず実際には アーベル拡大を生成するには1のべき根を使うことも必要となる（ヒルベルトは暗にそのつもりで言ったかもしれない）。より重要なのは、楕円モジュラ函数の値が[[ヒルベルト類体]]を生成するのに対して、より一般のアーベル拡大に対しては楕円函数の値も使う必要がある点である（この問題点は、ヒルベルトがヴァイヤシュトラスの楕円函数 {{mvar|&weierp;}} と楕円モジュラー函数 {{mvar|j}} をどちらも「楕円函数」と呼んでいたために生じたことかもしれない）。例えば、アーベル拡大 <math>\mathbf{Q}(i,\sqrt[4]{1+2i})/\mathbf{Q}(i)</math> は、特異モジュライと 1のべき根だけを用いたのでは生成されない。

絶対アーベル拡大体 '''K'''<sup>ab</sup> の記述は[[類体論]]によって得られる。類体論は[[ダフィット・ヒルベルト]]自身と、[[エミル・アルティン]]と20世紀前半の他の人々により開拓された。特に、[[高木貞治]]は、絶対アーベル拡大体が存在することを証明した。[[高木の存在定理]]を参照。しかしながら、類体論の中では '''K'''<sup>ab</sup> の具体的な構成は、まず最初に[[クンマー理論]]を使ってより大きな非アーベル拡大を構成して、それからアーベル拡大へ落とし込むことによりなされる。従ってアーベル拡大のより具体的な構成方法を問うているヒルベルトの問題の解にまでは至っていない。

== その後の進展 ==
[[エーリッヒ・ヘッケ]] (Erich Hecke) は、論文{{harvs|txt|authorlink=エーリッヒ・ヘッケ|last=Hecke|year=1912}}中で、[[二次体|実二次体]]のアーベル拡大を研究するために{{仮リンク|ヒルベルト・モジュラー形式|en|Hilbert modular form}}を使用した。

1960年頃より、[[志村五郎]]と[[谷山豊]]により一般の[[CM体]]に対する結果が得られた。CM体のアーベル拡大を記述するために、[[CMアーベル多様体|アーベル多様体の虚数乗法]]を用いるというのが彼らの結果である。一般には、このことは[[CM体]]のアーベル拡大を導く。アーベル多様体の{{仮リンク|テイト加群|en|Tate module}}によりえられる[[ガロア表現]]について調べるということが、アーベル拡大を調べることになる。テイト加群は[[l-進コホモロジー| ''l'' 進コホモロジー]]のひとつの例で、これらの表現が深く研究されている。

[[ロバート・ラングランズ]]は、1973年に ''{{lang|de|Jugendtraum}}'' の現代バージョンである[[志村多様体]]の[[ハッセ・ヴェイユのゼータ函数]]を扱うべきであると論じた。30年以上にも渡り、彼は、より広い問題を扱う[[ラングランズ・プログラム]]という壮大なプログラムを想定したが、ヒルベルトの発した問題を取り込むことについては、未だに重大な問題として残っている。

これとは対照的に、別の発展では、直接、数体の特別に興味深い単元の見つけることを扱う[[スターク予想]] ({{仮リンク|ハロルド・スターク (数学者)|label=ハロルド・スターク|en|Harold Stark}} による) がある。この予想は、[[L-函数]]の議論の発展にも大きな影響をもつ予想であり、また、具体的な数値結果をもたらす可能性も持っている。

{{仮リンク|サミット・ダスグプタ|en|Samit Dasgupta}}と{{仮リンク|マヘーシュ・カクデ|en|Mahesh Kakde}}は、2021年に[[総実体]]の最大アーベル拡大の明示的な構成を与えたとするプレプリントを公表した<ref>
{{Cite journal|和書 |author=佐野昂迪 |date=2022-07 |url=https://hdl.handle.net/2433/279691 |title=Hilbertの第12問題の最近の進展について (代数的整数論とその周辺) |journal=数理解析研究所講究録 |ISSN=1880-2818 |publisher=京都大学数理解析研究所 |volume=2225 |pages=116-124 |hdl=2433/279691 |CRID=1050295491694671616 |quote=1項と7項 より}}</ref><ref>
{{cite arXiv|last1=Dasgupta|first1=Samit|last2=Kakde|first2=Mahesh|date=2021-03-03|title=Brumer-Stark Units and Hilbert's 12th Problem|class=math.NT|eprint=2103.02516}}
</ref>。彼らは総実体の最大アーベル拡大が有限個の簡単な元と {{math|𝔭}} 進積分を用いて明示的に定義できる元で生成されることを証明したという。ただし射類体の構成はまだ出来ていない。
<!--== Modern development ==

Developments since around 1960 have certainly contributed. Before that {{harvs|txt|authorlink=Erich Hecke|last=Hecke|year=1912}} in his dissertation used [[Hilbert modular form]]s to study abelian extensions of [[real quadratic field]]s. [[Complex multiplication of abelian varieties]] was an area opened up by the work of [[Goro Shimura|Shimura]] and [[Yutaka Taniyama|Taniyama]]. This gives rise to abelian extensions of [[CM-field]]s in general. The question of which extensions can be found is that of the [[Tate module]]s of such varieties, as [[Galois representation]]s. Since this is the most accessible case of [[l-adic cohomology]], these representations have been studied in depth.

[[Robert Langlands]] argued in 1973 that the modern version of the ''{{lang|de|Jugendtraum}}'' should deal with [[Hasse–Weil zeta function]]s of [[Shimura variety|Shimura varieties]]. While he envisaged a [[Langlands program|grandiose program]] that would take the subject much further, more than thirty years later serious doubts remain concerning its import for the question that Hilbert asked.

A separate development was [[Stark's conjecture]] ([[Harold Stark]]), which in contrast dealt directly with the question of finding interesting, particular units in number fields. This has seen a large conjectural development for [[L-function]]s, and is also capable of producing concrete, numerical results.-->

==脚注==
{{Reflist}}

== 参考文献 ==
*{{cite book |chapter=Some contemporary problems with origins in the Jugendtraum |title=Mathematical developments arising from Hilbert problems |last=Langlands |first=R. P. |authorlink=Robert Langlands |year=1976 |series=Proc. Sympos. Pure Math. |volume=28 |publisher=[[American Mathematical Society]] | location=Providence, RI | isbn=0-8218-1428-1 |pages=401–418 |url= | editor-first=Felix E. | editor-last=Browder | editor-link=Felix Browder | zbl=0345.14006 }}
*{{Cite book | last1=Schappacher | first1=Norbert | title=Matériaux pour l'histoire des mathématiques au XX<sup>e</sup> siècle (Nice, 1996) | url=http://www.emis.de/journals/SC/1998/3/html/smf_sem-cong_3_243-273.html | publisher=[[Société Mathématique de France]] | location=Paris | series=Sémin. Congr. | isbn=978-2-85629-065-1  | mr=1640262 | year=1998 | volume=3 | chapter=On the history of Hilbert's twelfth problem: a comedy of errors | pages=243–273 | zbl=1044.01530 }}
*{{cite book |title=Kronecker's Jugendtraum and modular functions |last=Vlǎduţ |first=S. G. |authorlink= |coauthors= |year=1991 |series=Studies in the Development of Modern Mathematics |volume=2 |publisher=Gordon and Breach Science Publishers |location=New York |isbn=2-88124-754-7 |pages= |url= | zbl=0731.11001 }}

{{Hilbert's problems}}
{{デフォルトソート:ひるへるとのたいしゆううにもんたい}}
[[Category:代数的整数論]]
[[Category:予想]]
[[Category:ヒルベルトの23の問題|012]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]