コンテンツにスキップ

岩澤理論

出典: フリー百科事典『ウィキペディア(Wikipedia)』
岩澤主予想から転送)

数論における岩澤理論(いわさわりろん、: Iwasawa theory)は、岩澤健吉円分体の理論の一部として提唱し、バリー・メイザーラルフ・グリーンバーグクリストファー・スキナーらによって洗練・確立された、(無限次元拡大の)ガロア群イデアル類群における表現論である。

Zp 拡大

[編集]

編:ヤコビ多様体との類似が出発点でないとすると pn 分体を全ての n について考察すると良いと云う事実にはどの様にして気付かれたのでしょうか.

岩澤:それはこういう事(円分体論)をちょっとやってみれば, 誰でも自然に考える事だと思います.(注:そうですか?)

—岩澤健吉(岩澤健吉先生のお話しを伺った120分, p. 370 より)

...岩沢理論の雰囲気は(私には)’滝の上には虹がかかる’といったものだと感じられます.(滝 ↔ Zp 拡大)
伊原康隆「‘フェルマ,ニュートン,ワイルス’」『数学』第45巻第4号、1993年、375頁、doi:10.11429/sugaku1947.45.372 
Zp 拡大の図

岩澤理論では、有限次代数体Zp 拡大Zp-extension)というものを考える。素数 p と有限次代数体 F に対して、体の拡大 F/FZp 拡大であるとは、これがガロア拡大であって、そのガロア群 Gal(F/F)p 進整数環 Zp加法群位相群として同型であることをいう[1]Zp 拡大のガロア群は Γ ≔ Gal(F/F) と書かれ、アーベル群ではあるが乗法的に記される。n を非負整数としたとき、Zp には pn の倍数たちからなる有限指数の開部分群があるので、Γ にもそのような部分群がある。これは ΓZp の同型の取り方によらない。この部分群を Γn と書く[注釈 1]Γn にガロア対応する F部分体Fn と書き、Zp 拡大 F/Fnn-th layer)という[2]。これは F/F中間体で、Fpn 次である唯一のものであり[1]F 上の巡回拡大である[3]Fn たちは体の塔(拡大列)

を構成する。代数体 FZp 拡大を与えることと、このような Fn の拡大列を与えることは同値である[4]。実際、このような拡大列が与えられれば、Fn のガロア群は加法群 Z/pnZ と同型であり、F のガロア群(無限次代数拡大のガロア群なので射有限群Γ はこれらが自然な射影によって成す逆系の逆極限Z の射有限完備化)、つまり Zp である。これはまた、ポントリャーギン双対を考えれば、任意の p の冪に対する 1 の冪根全体が成す円周群の離散部分群の双対として得られるコンパクト群が Γ であるとも述べられる。

Zp 拡大の基本的な例は円分 Zp 拡大(cyclotomic Zp-extension)である。自然数 n に対して ζn1の原始 n 乗根を表すものとする。例えば複素数体の中で考え、ζn ≔ exp(2πi/n) とする。奇素数 p に対して、有理数体に1の原始 pn 乗根をすべて添加した体、つまり Qpn)合成体 n ≧ 0 Qpn)Qp) 上の Zp 拡大である[1]。また、この合成体を有理数体 Q 上の拡大体とみると、これはガロア拡大で、そのガロア群 Gal(∪n ≧ 0 Qpn)/Q)Gal(Qp)/QZp と同型であるので、これの部分体で Q 上の Zp 拡大であるものが存在する[1]。これを Qcyc
 
と書き、有理数体の円分 Zp 拡大という。任意の有限次代数体 F に対して合成体 FQcyc
 
Zp 拡大になる。これを F の円分 Zp 拡大という[5]。円分 Zp 拡大の存在から、任意の代数体に対して少なくとも1つは Zp 拡大が存在することがわかる。

代数体 FZp 拡大は一般に無限に存在しうる。FZp 拡大すべての合成を ~F とすると

が成り立つことが知られている[6]。ここで dr2 + 1 ≤ d ≤ [F : Q] を満たすある整数、r2F の複素素点の個数である。このことから、F総実体でなければ無限に多くの Zp 拡大が存在することがわかる[6]。ここに出てきた定数 d が、実は d = r2 + 1 であろうというのがレオポルト予想英語版である[7]。レオポルト予想は、有理数体のアーベル拡大体や虚二次体のアーベル拡大体については正しいことが知られている[7]

円分 Zp 拡大ではない Zp 拡大の例としては、虚二次体の反円分 Zp 拡大(anti-cyclotomic Zp-extension)というものがあげられる[8]p を5以上の素数[9]K を虚二次体とする。Kr2 は1で [F : Q] は2であるから、この場合はレオポルト予想が自明に成立する。したがって K にはガロア群が Z2
p
 
と同型になる唯一の拡大体 K (2)
 
が存在する。Gal(K (2)
 
/K)
には複素共役が作用しており、複素共役が±1倍で作用する部分群を Γ± とすると、Gal(K (2)
 
/K)
Γ± の直積に分解できる。Γ+ の固定体 K 
 
は円分的ではない Zp 拡大 になっている。これを反円分 Zp 拡大という。

イデアル類群と岩澤類数公式

[編集]

p を素数、F/F を有限次代数体 FZp 拡大とする。第 nFnイデアル類群 Cl(Fn)シロー p 部分群p 部分)[注釈 2]An とする。ここでの動機というのは、F = Qp) のとき、そのイデアル類群の p 部分こそがフェルマーの最終定理の直接証明における主要な障害となっている、ということがクンマーによって既に特定されていたということによるものである。An は有限 p なのでその位数 #An はある整数 en を用いて #An = pen と書ける。岩澤は、ある3つの整数 μ, λ, ν(最初の2つは非負整数)が存在して、n が十分大きいとき

が成り立つことを示した[1]。これを岩澤類数公式(Iwasawa class number formula)といい、この公式に現れる3つの数を岩澤不変量(Iwasawa invariant)という。3つのうちどれか1つを指し示したいときは、例えば岩澤 λ 不変量などという[11]

証明と岩澤代数

[編集]

次の仮定のもとで証明の概略を見る[12]

(*) 素数 p の上にある F の素イデアルは唯一つで、さらにその素イデアルは F/F完全分岐する

証明は、まずイデアル類群の極限をとることからはじまる。2つの正整数 mn があったとき、代数体の有限次拡大 Fn/Fmノルム写像からイデアル類群の準同型 AmAn ができる[13]。これによる逆極限 lim AnX と書き、F/F岩澤加群という[14]。岩澤の独自性は、「無限大に飛ばす」という新しい着想にあった。

岩澤加群 X がわかれば An もわかる。実際、Γ=Gal(F/F) の元 γ0Zp の乗法単位元1に対応する元(位相的生成元といっても同じこと)とすると An = X/(γpn
0
 
− 1)X
が成り立つことがわかる[15][注釈 3]

岩澤加群 X の構造は、これを完備群環上の加群とみることによって調べられる。An は有限 p 群なので自然に Zp の元の乗算が定義でき、またガロア群 Γ/Γn が作用しているので、その極限の X には完備群環 Λ ≔ Zp⟦Γ⟧ = lim Zp[Γ/Γn] の作用が定義できる[16]。この環 Λ は、実は Zp 係数の形式的べき級数環 Zp⟦T⟧T + 1 ↔ γ0 によって同型であることが示される(位相的生成元の取り方に依存するので、標準的ではない)[17]ΛZp⟦T⟧岩澤代数英語版と呼ばれている[18]。岩澤代数は岩澤理論において中心的な役割を演ずる。例えば、岩澤主予想と呼ばれる予想は Λ のある2つのイデアルが等しいという予想である。

岩澤加群 X は岩澤代数 Λ ≃ Zp⟦T⟧ 上の加群であることがわかった。さらに有限生成であることが示される[15]Λ は2次元の正則局所環とよばれる(その上の加群のそれほど粗くない分類が非常に容易であるという意味で)素性の良い環であるので、その有限生成加群には構造定理がある[19]。これを使うことにより、X は次の形の加群

擬同型(pseudo-isomorphism)であること、つまり有限群による違いを除いてこれと同型であることが示される。r はイデアル類群の有限性から0である[20]

このようにして得られた岩澤加群 X の表示と An = X/(γpn
0
 
− 1)X
を使うことにより An の個数を mifj で表すことができる。そして μλ

で定義すると岩澤類数公式が成り立つことがわかる[21]。以上が証明の概略である。

なお、すべての pmifj(T)nj を乗じて得られる多項式

を岩澤加群 X特性多項式(characteristic polynomial)といい、これによって生成される Λ のイデアルを特性イデアル(characteristic ideal)という[19]charΛ(X) で特性イデアルの方を表すこともある。特性多項式は任意の有限生成 torsion Λ 加群 M に対して定義され、同様に charΛ(M) という記号で書かれる。岩澤不変量の λ は特性多項式 charΛ(X) の次数であり、μ は特性多項式を割り切る最大 p べきの指数である。岩澤主予想は Λ のある2つのイデアルが等しいという予想であるが、そのイデアルのうちの一つが、簡単にいうとこの特性イデアルである。

固有空間への分解

[編集]

代数体 F に複素共役や Gal(F/Q) が作用している場合には、その作用でイデアル類群を固有空間(eigenspace)[22]に分解することができ、分解したものたちに対して同様の公式が得られる。

まず複素共役の場合を見る[23]FCM体p を奇素数、F/F を円分 Zp 拡大とする。このとき、Fn のイデアル類群のシロー p 部分群 An には自然に複素共役が作用し、複素共役が±1倍で作用する部分空間 A±
n
 
の直和 An = A+
n
 
A
n
 
に分解できる。A+
n
 
プラス部分(+-part)[24]A
n
 
マイナス部分(−-part)という。それぞれの部分空間に対して岩澤類数公式が成り立ち、対応する λμ をそれぞれ λ±μ± とすると、F/Fλμλ = λ+ + λ, μ = μ+ + μ と分解できる。同様の方法で岩澤加群 XX ± に分解したとき、X +F の最大実部分体 F + の円分 Zp 拡大の岩澤加群と同型になるので、プラス部分は実部分の寄与、マイナス部分は全体と実部分の差と考えられる。マイナス部分の λ については、木田の公式と呼ばれるリーマン・フルヴィッツの公式の類似が成り立つことが知られている[25][26]

典型的なCM体は奇素数 p についての p 分体 F = Qp) である[27]。これの最大実部分体の類数は p で割れないという予想をヴァンディバー予想英語版という[28]。もしこれが正しければ、Qpn) の最大実部分体の類数も p で割れないので A+
n
 
は0ということになる[29]

次に、Gal(F/Q) でイデアル類群が分解される様子を見るため、典型的な例として F = Qp)F = ∪n ≧ 0 Qpn + 1) の場合を考える(p は奇素数とする)[30]Δ = Gal(F/Q) と置き、ω: Δ → Z×
p
 
Δ の任意の元 σ に対して ζσ
p
 
= ζω(σ)
p
 
が成り立つ唯一の準同型とする。ΔFn のイデアル類群の p 成分 An に自然に作用し An = ⊕p − 2
k = 0
 
A(i)
n
 
と分解できる。ここで A(i)
n
 
σa = ωi(σ)a が成り立つ An の元たちからなる部分群である。これを ωi 成分ωi-part)という。ωi 成分に対しても岩澤類数公式が成り立ち、これらの成分に対する岩澤不変量を λ(i), μ(i), ν(i) とすると F/F の岩澤不変量は λ = ∑
i
λ(i)
などと分解できる。偶数の i に対する ωi 成分は A+ に含まれるので、ヴァンディバー予想が正しければこの成分は0である。部分的な結果として、栗原将人によって Ap − 3
0
 
は0であることが証明されている[31]。岩澤主予想は、奇数の i に対する ωi 成分に関する予想である。なお、このような分解はもっと一般の状況でも可能であるが、 Δ の指標の値が必ずしも Z×
p
 
に入らないので、係数拡大が必要となる[32]

岩澤不変量

[編集]

岩澤不変量の λμZp 拡大 F/F に対して定まるので λ(F/F), μ(F/F) などと書かれる[1]。また、代数体 F と素数 p に対して F の円分 Zp 拡大 F は一意に定まるので、このときは λ(F/F)λp(F) と書いたりする[11]。例えば λ3(Q(−239)) = 6 などが知られている[33]

λ はイデアル類群の元の位数の増加を示すものであり、μp ランクの増加を示すものである[34][35]

岩澤不変量にはまだ分からないことが多い[36]。次のような予想が立てられている。

岩澤 μ 予想 円分 Zp 拡大 F/F に対しては μ(F/F) = 0 であろう[37]

この予想は一般には未解決であるが、F がアーベル体[注釈 4]の場合は正しいことが証明されている(フェレロ・ワシントンの定理英語版[37]

グリーンバーグ予想英語版 総実代数体 F の円分 Zp 拡大 F/F に対しては λ(F/F) = μ(F/F) = 0 であろう[37]

知られていることとしては次のようなことがある[36]

  • 代数体 F の類数が p で割り切れず、p の上にある F の素イデアルが一つしかないならば、任意の Zp 拡大 F/F に対して λ = μ = ν = 0 である。
  • 素数 pF/Q で完全分解し、Zp 拡大 F/F において p の上にある F の素点がすべて分岐するならば λ(F/F) ≧ r2 である。ここで r2F の複素素点の個数。

特性多項式の具体例

[編集]

F がアーベル体であれば、その円分 Zp 拡大の岩澤加群のマイナス部分の特性多項式はスティッケルバーガー元を用いて具体的に構成できる[38]。さらに F が虚二次体であればプラス部分は自明なので[39]、マイナス部分の特性多項式が全体の特性多項式である。例えば、p = 3F = Q(−239) の場合は

f (T) ≡ T 6 + 1284T 5 + 1404T 4 + 672T 3 + 1764T 2 + 1128T (mod 37)

である[40]。特性多項式は p 進数係数の多項式なので、mod 37 までの近似で表示している。

岩澤主予想

[編集]

草創期の1950年代から理論の構築は絶えず続けられ、この加群の理論と久保田やレオポルド (Leopoldt) が1960年代に考案した pL 関数の理論の間の基本的考察が提示された。pL 関数は、ベルヌーイ数から始めて補間法を用いて定義される、ディリクレの L 関数の p 進の類似物である。最終的に、クンマーによる正則素数に関する結果から世紀を隔てて、フェルマーの最終定理の前進する見通しが立ったことが明らかとなった。

岩澤主予想: Main conjecture of Iwasawa theory)は、(加群の理論と補間法の)二種類の方法で定義される pL 関数は(それが定義可能な限りは)一致するはずであるという形で定式化された。この予想は結果としては、バリー・メイザーアンドリュー・ワイルズによって有理数体 Q の場合に、またやはりワイルズによって任意の総実数体の場合に証明された。

逸話

[編集]
  • 岩澤理論はワイルズによるフェルマーの最終定理解決に貢献している。証明発表後に致命的な誤りが見つかった後、岩澤理論とコリヴァギン=フラッハ法を使うことにより修正することができたと説明されることもある[41]が、フェルマーの最終定理を解決した論文の導入部においてワイルズは次のようにも述べている。

The last step after the June, 1993, announcement, though elusive, was but the conclusion of a long process whose purpose was to replace, in the ring-theoretic setting, the methods based on Iwasawa theory by methods based on the use of auxiliary primes.[42]

1993年6月の発表後に得た研究成果は、うまく言えませんが、環論的な設定の中で岩澤理論にもとづく手法を補助素数を使う手法に置き換える目的で行った、一連の研究の自然な帰結なのです。

脚注

[編集]

注釈

[編集]
  1. ^ Greenberg (2001) の記法。文献によっては本稿で Γ/Γn と書くものを Γn と書いている。岩澤理論 (2003) の青木「岩澤主予想のEuler系による証明」など。
  2. ^ これを p 成分と呼ぶこともある[10]
  3. ^ ここで仮定(*)を使う。この仮定がない場合にはもっと複雑になる。岩澤理論 (2003, 藤井「岩澤類数公式」) の命題2.3及び系2.1参照。また、このことの証明には類体論によりイデアル類群がヒルベルト類体のガロア群と同型であることも使う。
  4. ^ 有理数体のアーベル拡大体のこと。クロネッカー・ウェーバーの定理より、円分体の部分体と同義。

出典

[編集]
  1. ^ a b c d e f 岩澤理論 2003, 藤井「岩澤類数公式」§1.
  2. ^ 藤井 2015, p. 22.
  3. ^ Greenberg 2001, p. 335.
  4. ^ Coates 1977, p. 275.
  5. ^ 田谷・福田 2002, p. 293.
  6. ^ a b Greenberg 2001, p. 340.
  7. ^ a b Greenberg 2001, p. 341.
  8. ^ 岩澤理論 2003, 松野「岩澤理論の楕円曲線の数論への応用」§2.1.
  9. ^ 岩澤理論 2003, 松野「岩澤理論の楕円曲線の数論への応用」§2冒頭.
  10. ^ 岩澤理論 2003, 栗原「岩澤主予想の保型形式による証明」§0.
  11. ^ a b 田谷・福田 2002, p. 294.
  12. ^ Greenberg 2001, p. 336.
  13. ^ 岩澤理論 2003, 伊藤「有限生成 Λ 加群の 構造定理」§1.
  14. ^ 岩澤理論 2003, 藤井「岩澤類数公式」§2.2. NSW (2020) では岩澤代数 Λ に対する任意のコンパクト Λ 加群を岩澤加群と呼んでおり、定義は著者によって異なる。
  15. ^ a b Greenberg 2001, p. 337.
  16. ^ 岩澤理論 2003, 伊藤「有限生成Λ加群の構造定理」§1.
  17. ^ 岩澤理論 2003, 伊藤「有限生成Λ加群の構造定理」定理1.3.
  18. ^ NSW 2020, p. 291.
  19. ^ a b 岩澤理論 2003, 伊藤「有限生成Λ加群の構造定理」§2.3.
  20. ^ 岩澤理論 2003, 藤井「岩澤類数公式」定理2.2.
  21. ^ Greenberg 2001, p. 338.
  22. ^ Coates 1977, p. 282.
  23. ^ 田谷・福田 2002, p. 295.
  24. ^ 岩澤理論 2003, 山本「Stickelberger元」冒頭.
  25. ^ 岩澤理論 2003, 岡野「非可換岩澤理論の高次 λ-不変量について」§1.
  26. ^ 岩澤理論 2003, 八森「代数体と函数体の類似」§6.
  27. ^ Washington 1997, p. 39.
  28. ^ Washington 1997, p. 78.
  29. ^ Washington 1997, p. 196.
  30. ^ Iwasawa 1958, pp. 773–775. この論文に出てくるガロア群を適宜イデアル類群に置き換えて読む。
  31. ^ 藤井 2015, p. 50.
  32. ^ Washington 1997, p. 291.
  33. ^ 田谷・福田 2002, p. 301.
  34. ^ 藤井 2015, p. 36.
  35. ^ 岩澤理論 2003, 藤井「岩澤類数公式」§4.
  36. ^ a b Greenberg 2001, p. 339.
  37. ^ a b c 岩澤理論 2003, 藤井「岩澤類数公式」§4.2.
  38. ^ 岩澤理論 2003, 福田「岩澤による p-進 L-函数の構成の応用 (I)」§2.
  39. ^ 田谷・福田 2002, p. 299.
  40. ^ 岩澤理論 2003, 福田「岩澤による p-進 L-函数の構成の応用 (I)」§2, 例2.6.
  41. ^ シン 2006, p. 415.
  42. ^ Wiles, Andrew (1995). “Modular Elliptic Curves and Fermat's Last Theorem”. Annals of Mathematics 141 (3): 454. doi:10.2307/2118559. JSTOR 2118559. 

参考文献

[編集]

関連文献

[編集]
  • 岩沢健吉「代数体と函数体とのある類似について」『数学』第15巻第2号、岩波書店、1963年10月、65-67頁。 
  • 落合理『岩澤理論とその展望』 (上)、岩波書店〈岩波数学叢書〉、2014年9月10日。ISBN 978-4-00-029821-6 
  • 落合理『岩澤理論とその展望』 (下)、岩波書店〈岩波数学叢書〉、2016年8月24日。ISBN 978-4-00-029822-3 
  • 福田隆『重点解説 岩澤理論- 理論から計算まで -』サイエンス社〈SGCライブラリ145〉、2019年1月。 

外部リンク

[編集]