岩澤理論
数論における岩澤理論(いわさわりろん、Iwasawa theory)は、岩澤健吉が円分体の理論の一部として提唱し、バリー・メイザーやラルフ・グリーンバーグ、クリストファー・スキナーらによって洗練・確立された、(無限次元拡大の)ガロア群のイデアル類群における表現論である。
編:ヤコビ多様体との類似が出発点でないとすると
分体を全ての n について考察すると良いと云う事実にはどの様にして気付かれたのでしょうか.
岩澤:それはこういう事(円分体論)をちょっとやってみれば, 誰でも自然に考える事だと思います.(注:そうですか?)
岩澤理論では、有限次代数体の
拡大(Zp-extension)というものを考える。素数
に対して、体の拡大
拡大であるとは、これがガロア拡大であって、そのガロア群
の加法群と位相群として同型であることをいう岩澤理論。Zp
と書かれ、アーベル群ではあるが乗法的に記される。n を非負整数としたとき、Zp
の倍数たちからなる有限指数の開部分群があるので、Γ
にもそのような部分群がある。これは
の同型の取り方によらない。この部分群を
の記法。文献によっては本稿で
Γ/Γn と書くものを
Γn と書いている。 の青木「岩澤主予想のEuler系による証明」など。
。Γn
と書き、Zp
の第 n 層(n-th layer)という。これは
の中間体で、F
次である唯一のものであり、F 上の巡回拡大である。Fn
たちは体の塔(拡大列)
F = F_0 \subset F_1 \subset \cdots F_n \subset \cdots \subset F_{\infty} = \cup_n F_n
を構成する。代数体
拡大を与えることと、このような
の拡大列を与えることは同値である。実際、このような拡大列が与えられれば、Fn のガロア群は加法群
と同型であり、F∞
のガロア群(無限次代数拡大のガロア群なので射有限群)Γ
はこれらが自然な射影によって成す逆系の逆極限(Z の射有限完備化)、つまり
である。これはまた、ポントリャーギン双対を考えれば、任意の p の冪に対する 1 の冪根全体が成す円周群の離散部分群の双対として得られるコンパクト群が Γ であるとも述べられる。
拡大の基本的な例は円分 Zp 拡大(cyclotomic
Zp-extension)である。自然数
で1の原始 n 乗根を表すものとする。例えば複素数体の中で考え、ζn Coloneqq exp(2πi/n)
とする。奇素数 p に対して、有理数体に1の原始
乗根をすべて添加した体、つまり
拡大である。また、この合成体を有理数体
上の拡大体とみると、これはガロア拡大で、そのガロア群
と同型であるので、これの部分体で Q 上の
拡大であるものが存在する。これを
と書き、有理数体の円分
拡大という。任意の有限次代数体
拡大になる。これを
拡大という。円分
拡大の存在から、任意の代数体に対して少なくとも1つは
拡大が存在することがわかる。
拡大は一般に無限に存在しうる。F
\mathrm{Gal}(\tilde{F}/F) \cong \mathbb{Z}_p^d
が成り立つことが知られている。ここで d は
を満たすある整数、r2
の複素素点の個数である。このことから、F が総実体でなければ無限に多くの
拡大が存在することがわかる。ここに出てきた定数 d が、実は
であろうというのがレオポルト予想である。レオポルト予想は、有理数体のアーベル拡大体や虚二次体のアーベル拡大体については正しいことが知られている。
拡大の例としては、虚二次体の反円分 Zp 拡大(anti-cyclotomic
を5以上の素数、K
を虚二次体とする。K
は2であるから、この場合はレオポルト予想が自明に成立する。したがって
が存在する。Gal(K/K)
には複素共役が作用しており、複素共役が±1倍で作用する部分群を
とすると、Gal(K/K)
の直積に分解できる。Γ+
Zp 拡大
になっている。これを反円分
拡大という。
を素数、F∞/F
拡大とする。第 n 層
のシロー p 部分群(p 部分)
これを p 成分と呼ぶこともある。
とする。ここでの動機というのは、F = Q(ζp) のとき、そのイデアル類群の p 部分こそがフェルマーの最終定理の直接証明における主要な障害となっている、ということがクンマーによって既に特定されていたということによるものである。An
は有限 p 群 なのでその位数
と書ける。岩澤は、ある3つの整数 μ, λ, ν(最初の2つは非負整数)が存在して、n が十分大きいとき
e_n=\mu p^n+\lambda n+\nu
が成り立つことを示した。これを岩澤類数公式(Iwasawa class number formula)といい、この公式に現れる3つの数を岩澤不変量(Iwasawa invariant)という。3つのうちどれか1つを指し示したいときは、例えば岩澤 λ 不変量などという。
次の仮定のもとで証明の概略を見る。
(*) 素数 p の上にある F の素イデアルは唯一つで、さらにその素イデアルは F∞/F で完全分岐する
証明は、まずイデアル類群の極限をとることからはじまる。2つの正整数
があったとき、代数体の有限次拡大
ができる。これによる逆極限
と書き、F∞/F
の岩澤加群という。岩澤の独自性は、「無限大に飛ばす」という新しい着想にあった。
もわかる。実際、Γ=Gal(F∞/F)
の乗法単位元1に対応する元(位相的生成元といっても同じこと)とすると
ここで仮定(*)を使う。この仮定がない場合にはもっと複雑になる。 の命題2.3及び系2.1参照。また、このことの証明には類体論によりイデアル類群がヒルベルト類体のガロア群と同型であることも使う。
。
の構造は、これを完備群環上の加群とみることによって調べられる。An
は有限 p 群なので自然に
の元の乗算が定義でき、またガロア群
が作用しているので、その極限の
の作用が定義できる。この環
は、実は
によって同型であることが示される(位相的生成元の取り方に依存するので、標準的ではない)。Λ や
は岩澤代数と呼ばれている。岩澤代数は岩澤理論において中心的な役割を演ずる。例えば、岩澤主予想と呼ばれる予想は
のある2つのイデアルが等しいという予想である。
上の加群であることがわかった。さらに有限生成であることが示される。Λ
は2次元の正則局所環とよばれる(その上の加群のそれほど粗くない分類が非常に容易であるという意味で)素性の良い環であるので、その有限生成加群には構造定理がある。これを使うことにより、X は次の形の加群
\textstyle
{
\Lambda^r \oplus \prod_i \Lambda/(p^{m_i}) \oplus \prod_j \Lambda/(f_j(T)^{n_j})
}
と擬同型(pseudo-isomorphism)であること、つまり有限群による違いを除いてこれと同型であることが示される。r はイデアル類群の有限性から0である。
で表すことができる。そして μ と λ を
\begin{array}{ccl}
\mu & = & \textstyle{ \sum_i m_i } \\
\lambda & = & \textstyle{ \sum_j n_j \mathrm{deg} f_j }
\end{array}
で定義すると岩澤類数公式が成り立つことがわかる。以上が証明の概略である。
なお、すべての
\textstyle
{
\mathrm{char}_\Lambda(X)
=
\prod_i p^{m_i} \prod_j f_j(T)^{n_j}
}
の特性多項式(characteristic polynomial)といい、これによって生成される
のイデアルを特性イデアル(characteristic ideal)という。charΛ(X)
で特性イデアルの方を表すこともある。特性多項式は任意の有限生成 torsion
に対して定義され、同様に
という記号で書かれる。岩澤不変量の λ は特性多項式
の次数であり、μ は特性多項式を割り切る最大
べきの指数である。岩澤主予想は
のある2つのイデアルが等しいという予想であるが、そのイデアルのうちの一つが、簡単にいうとこの特性イデアルである。
が作用している場合には、その作用でイデアル類群を固有空間(eigenspace)に分解することができ、分解したものたちに対して同様の公式が得られる。
まず複素共役の場合を見る。F をCM体、p を奇素数、F∞/F
拡大とする。このとき、Fn のイデアル類群のシロー p 部分群
には自然に複素共役が作用し、複素共役が±1倍で作用する部分空間
に分解できる。A
をプラス部分(+-part)、A
をマイナス部分(−-part)という。それぞれの部分空間に対して岩澤類数公式が成り立ち、対応する
とすると、F∞/F の
λ = λ+ + λ−,
と分解できる。同様の方法で岩澤加群
に分解したとき、X +
拡大の岩澤加群と同型になるので、プラス部分は実部分の寄与、マイナス部分は全体と実部分の差と考えられる。マイナス部分の λ については、木田の公式と呼ばれるリーマン・フルヴィッツの公式の類似が成り立つことが知られている。
典型的なCM体は奇素数 p についての
p 分体
である。これの最大実部分体の類数は p で割れないという予想をヴァンディバー予想という。もしこれが正しければ、Q(ζpn)
の最大実部分体の類数も p で割れないので
は0ということになる。
次に、Gal(F/Q)
でイデアル類群が分解される様子を見るため、典型的な例として
の場合を考える(p は奇素数とする)。Δ = Gal(F/Q)
と置き、ω: Δ → Z
が成り立つ唯一の準同型とする。Δ
のイデアル類群の p 成分
と分解できる。ここで
の元たちからなる部分群である。これを ωi 成分(ωi-part)という。ωi 成分に対しても岩澤類数公式が成り立ち、これらの成分に対する岩澤不変量を
λ(i),
μ(i),
などと分解できる。偶数の i に対する
に含まれるので、ヴァンディバー予想が正しければこの成分は0である。部分的な結果として、栗原将人によって
は0であることが証明されている。岩澤主予想は、奇数の i に対する
成分に関する予想である。なお、このような分解はもっと一般の状況でも可能であるが、
Δ の指標の値が必ずしも
に入らないので、係数拡大が必要となる。
λ(F∞/F),
などと書かれる。また、代数体
は一意に定まるので、このときは
と書いたりする。例えば
などが知られている。
λ はイデアル類群の元の位数の増加を示すものであり、μ は p ランクの増加を示すものである。
岩澤不変量にはまだ分からないことが多い。次のような予想が立てられている。
岩澤 μ 予想 円分 Zp 拡大 F∞/F に対しては μ(F∞/F) = 0 であろう。
この予想は一般には未解決であるが、F
有理数体のアーベル拡大体のこと。クロネッカー・ウェーバーの定理より、円分体の部分体と同義。
の場合は正しいことが証明されている(フェレロ・ワシントンの定理)。
グリーンバーグ予想 総実代数体 F の円分 Zp 拡大 F∞/F に対しては λ(F∞/F) = μ(F∞/F) = 0 であろう。
知られていることとしては次のようなことがある。
代数体 F の類数が p で割り切れず、p の上にある F の素イデアルが一つしかないならば、任意の Zp 拡大 F∞/F に対して λ = μ = ν = 0 である。
素数 p が F/Q で完全分解し、Zp 拡大 F∞/F において p の上にある F の素点がすべて分岐するならば λ(F∞/F) ≧ r2 である。ここで r2 は F の複素素点の個数。
がアーベル体であれば、その円分
拡大の岩澤加群のマイナス部分の特性多項式はスティッケルバーガー元を用いて具体的に構成できる。さらに
が虚二次体であればプラス部分は自明なので、マイナス部分の特性多項式が全体の特性多項式である。例えば、p = 3 で F = Q(−239) の場合は
である。特性多項式は
進数係数の多項式なので、mod 37 までの近似で表示している。
草創期の1950年代から理論の構築は絶えず続けられ、この加群の理論と久保田やレオポルド (Leopoldt) が1960年代に考案した p 進 L 関数の理論の間の基本的考察が提示された。p 進 L 関数は、ベルヌーイ数から始めて補間法を用いて定義される、ディリクレの L 関数の p 進の類似物である。最終的に、クンマーによる正則素数に関する結果から世紀を隔てて、フェルマーの最終定理の前進する見通しが立ったことが明らかとなった。
岩澤主予想(Main conjecture of Iwasawa theory)は、(加群の理論と補間法の)二種類の方法で定義される p 進 L 関数は(それが定義可能な限りは)一致するはずであるという形で定式化された。この予想は結果としては、バリー・メイザー とアンドリュー・ワイルズによって有理数体 Q の場合に、またやはりワイルズによって任意の総実数体の場合に証明された。
岩澤理論はワイルズによるフェルマーの最終定理の解決に貢献している。証明発表後に致命的な誤りが見つかった後、岩澤理論とコリヴァギン=フラッハ法を使うことにより修正することができたと説明されることもあるが、フェルマーの最終定理を解決した論文の導入部においてワイルズは次のようにも述べている。