岩澤理論の主予想

岩澤理論の主予想

数学において、岩澤理論の主予想は、p-進L-関数と円分体のイデアル類群との間に存在する深い関係を示す重要な理論です。この予想は、1969年に岩澤がクンマー・ヴァンディヴァー予想を満たす素数に対する証明を行ったことから始まり、その後、1984年にMazurとWilesによってすべての素数に対して証明されました。また、この主予想は、エルブラン・リベの定理やグラス予想を導く上での基本的な結果となっています。

この予想の背景には、有限体上の代数曲線のゼータ関数におけるヴェイユの理論があり、これに関連するフロベニウス自己準同型の固有値の役割が存在します。岩澤は、この関係が持つ動機を部分的に理解しており、代数曲線のヤコビ多様体には特定の加群が紐づいていることを示しました。これにより、p-進L-関数が有限体上の代数曲線に関連付けられ、岩澤主予想とリンクすることが可能となりました。

動機

岩澤理論の主予想を考える動機として、ヴェイユによるゼータ関数の記述があります。この記述は、フロベニウス自己準同型の作用が群 Γ の作用に対応することから生まれています。この関係性は、曲線のヤコビ多様体がイデアル類群に関連付けられることにより強化され、p-進L-関数の構造にも反映されます。最終的に、フロベニウス自己準同型の性質を代数曲線のゼータ関数の零点と結びつけるヴェイユの定理と、岩澤主予想との相互関連性が浮かび上がります。

歴史

岩澤理論の主予想は、その定式化が加群論や補完法によるp-進L-関数の二つの定義の一致に関するものであることから、極めて重要な結果を含んでいます。この定理は、MazurとWilesによって実数体Qに対して証明され、Wilesは1990年にすべての総実体に対する証明を行いました。これらの証明は、エルブランの定理の逆を証明したケン・リベの論文からインスピレーションを受けたものです。

カール・ルービンは、メイザーとワイルズによる定理に対してより初等的なアプローチを開発し、この証明はコリヴァギンのオイラー系を用いて記述されています。さらに、虚二次体に対する主予想の別の一般化も報告されています。

ステートメント

岩澤理論の主予想に関連する数々の数理要素が存在します。ここで、pは素数であり、Fnは体Q(ζ)で、ζは位数pn + 1の1の冪根です。ΓはF∞の絶対ガロア群の部分群であり、加法群に同型のp-進整数からなります。また、γはΓの位相的生成子と考えられ、LnはFnのp-ヒルベルト類体に関連付けられています。

ガロア群Gal(Ln/Fn)の部分群Hnは、Fnのイデアル類群を基に構成され、H∞としてその逆極限も定義されます。ベクトル空間Vは、H∞⊗ZpQpによって構成され、さらに、ωはタイヒミューラー指標、Viはその固有空間です。特性多項式hp(ωi, T)に基づいて、p-進L-関数の性質が導かれます。

これらの要素を総合すると、岩澤理論の主予想は、特定の条件下でのベクトル空間における生成物と同値であることを示しています。これにより、数論や代数幾何の交差点に位置する重要な理論の一環として、岩澤理論が位置付けられています。

もう一度検索