ヒルベルト類体

ヒルベルト類体についての詳細

代数的整数論において、数体 K のヒルベルト類体 E は、K の最大アーベル不分岐拡大として定義され、その次数は K の類数に等しいことが特徴です。E の K 上のガロワ群は、K の素イデアルに対するフロベニウス元を基にして K のイデアル類群と自然に同型となります。この概念は、数論における重要な基盤を形成しています。ヒルベルト類体は、K の有限素点だけでなく、無限素点においても不分岐であるという特性を持ち、全ての実埋め込みが E の実埋め込みに拡張されることが示されます。

例えば、数体 K の整数環が一意分解整域である場合、K 自身がヒルベルト類体になります。また、具体的な例として K = Q(√−15) を考えると、その判別式は -15 で、体 L = Q(√−3, √5) はK のアーベルな不分岐拡大となります。このように、Minkowski bound を利用することで K の類数が 2 であることが確認でき、K のヒルベルト類体は L であることが導かれます。

さらに、アルキメデス的素点における分岐の考慮が重要です。例えば、Q に 3 の平方根を追加した場合、得られる実二次体 K は类数が 1 で判別式が 3 であるといった特性を持ちますが、判別式 9 = 3² の拡大 K(i)/K では、K の全ての素イデアルで不分岐とされます。これは、K のヒルベルト類体が K 自身であるとの矛盾を生じさせないことが示されます。

ヒルベルト類体の生成は、虚数乗法の理論を用いると、虚二次体の整数環の生成元における楕円モジュラー関数の値から得られます。この理論には歴史的な背景もあり、ヒルベルト類体の存在は David Hilbert によって1902年に予想され、フィリップ・フルトヴェングラーによって証明されました。ヒルベルト類体は、与えられた体のイデアル類群の構造研究において重要な工具となっています。

ヒルベルト類体の性質

ヒルベルト類体 E は以下の特性を満たします：
1. E は K の有限次ガロワ拡大であり、[E : K] = hK となる。ただし hK は K の類数。
2. K のイデアル類群は E の K 上のガロワ群に同型となる。
3. OK のすべてのイデアルは拡大環 OE の主イデアルである（主イデアル定理）。
4. OK のすべての素イデアル P は OE の hK/f 個の素イデアルの積に分解する。ただし f は OK のイデアル類群における [P] の位数。

実際、E は一意的な体としてこれらの性質を持ちます。また、K が虚二次体であれば、K の整数環で虚数乗法を持つ楕円曲線の j 不変量を K に加えることでヒルベルト類体を構成することができます。

一般化と応用

類体論における研究では、与えられたモジュラスに関する射類体を検討します。射類体とは、モジュラスを割る素点で外で不分岐である最大アーベル拡大を指し、ヒルベルト類体は自明なモジュラス 1 に関する射類体の特殊な場合です。狭義類体は、全ての無限素点に沿ったモジュラスについての射類体であり、具体的な例では Q(√3, i) が Q(√3) の狭義類体であることが示されています。

ヒルベルト類体を利用することで、イデアル類群の性質を調査する方法があります。イデアル類群をヒルベルト類体を介してガロア群として解釈し、その性質を分岐理論等を通じて調べるというものです。特に、フルトヴェングラーの定理の証明にこの技法が適用されます。

最終的には、ヒルベルト類体の有用性やその理論の構築が、現代の代数的整数論の根幹を支えることになっています。

もう一度検索