岩澤理論の主予想

数学では、岩澤理論の主予想 (main conjecture of Iwasawa theory) は、p-進L-函数と円分体のイデアル類群との間の深い関係であり、Iwasawa (1969) でクンマー・ヴァンディヴァー予想（英語版）を満たす素数に対して証明され、すべての素数に対しては Mazur and Wiles (1984) により証明された。エルブラン・リベの定理（英語版）とグラス予想（英語版）が両方ともこの主予想より容易に導ける結果である。

この主予想にはいくつかの一般化があり、総実体や CM体や、楕円曲線などへ一般化される。

動機

有限体上の代数曲線のゼータ函数のヴェイユによるヤコビ多様体上のフロベニウス自己準同型の固有値の項による記述の類似に、Iwasawa (1969) は、部分的には動機を持っている。

• フロベニウス自己準同型の作用は、群 Γ の作用に対応している。
• 曲線のヤコビ多様体は、イデアル類群の項で定義された Γ 上の加群 X に対応する。
• 有限体上の代数曲線のゼータ函数は、p-進L-函数に対応する。
• フロベニウス自己準同型を代数曲線のゼータ函数の零点に関連付けるヴェイユの定理は、X 上の岩澤代数の作用を p-進ゼータ函数の零点へ関連付ける岩澤主予想と対応する。

歴史

岩澤理論の主予想は、p-進L-関数の定義の二つの方法（加群論によるものと、補完法によるもの）が、well-definedである限りは、一致しているという形で定式化された。これは Mazur & Wiles (1984) により Q に対し証明され、すべての総実体に対しては Wiles (1990)により証明された。これらの証明は、エルブランの定理（エルブラン・リベの定理（英語版））の逆を証明したケン・リベ (Ken Ribet) の証明をモデルとしている。

カール・ルービン (Karl Rubin) は、メイザー・ワイルズの定理のより初等的な証明を見つけた。この証明は、コリヴァギン (Kolyvagin) のオイラー系（英語版）を使いLang (1990) と Washington (1997) で記述されており、後に、虚二次体に対する主予想の別の一般化を証明した^[1]。

ステートメント

• p は素数である。
• F_n は体 Q(ζ) であり、ここに ζ は位数 p^{n + 1} の1の冪根である。
• Γ は F_∞ の絶対ガロア群の部分群であり、p-進整数のなす加法群に同型である。
• γ は Γ の位相的な生成子である。
• L_n は、F_n の p-ヒルベルト類体である。
• H_n はガロア群 Gal(L_n/F_n) であり、位数が p べきの F_n のイデアル類群の元からなる部分群に同型である。
• H_∞ はガロア群 H_n の逆極限である。
• V はベクトル空間 H_∞⊗_ZpQ_p である。
• ω はタイヒミューラー指標（英語版）である。
• Vⁱ は、V の ωⁱ 固有空間である。
• h(ωⁱ, T) は、ベクトル空間 Vⁱ 上に作用する γ の特性多項式である。
• L_p はp-進L-函数である。B を一般ベルヌーイ数としたとき、L_p(ωⁱ, 1 − k) = −B_k(ω^{i − k})/k が成り立つ。
• G_p は、G_p(ωⁱ, u^s − 1) = L_p(ωⁱ, s) のべき級数である。

メイザーとワイルズによる証明された岩澤理論の主予想は、i を mod p - 1 で 1 と合同でない奇数とすると、h_p(ωⁱ, T) で生成された Z_p[[T]] のイデアルと、G_p(ω^{1 − i},T) は等しいというものである。