岩澤理論

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

## 拡大

岩澤理論では、有限次代数体の

**拡大**（-extension）というものを考える。素数

と有限次代数体

に対して、体の拡大

が

**拡大**であるとは、これがガロア拡大であって、そのガロア群

が
進整数環

の加法群と位相群として同型であることをいう。
拡大のガロア群は

と書かれ、アーベル群ではあるが乗法的に記される。 を非負整数としたとき、
には

の倍数たちからなる有限指数の開部分群があるので、
にもそのような部分群がある。これは

と

の同型の取り方によらない。この部分群を

と書く。
にガロア対応する

の部分体を

と書き、
拡大

の**第  層**（-th layer）という。これは

の中間体で、
上

次である唯一のものであり、 上の巡回拡大である。
たちは体の塔（拡大列）

: 
F = F_0 \subset F_1 \subset \cdots \subset F_n \subset \cdots \subset F_{\infty} = \cup_n F_n


を構成する。代数体

に

拡大を与えることと、このような

の拡大列を与えることは同値である。実際、このような拡大列が与えられれば、 のガロア群は加法群

と同型であり、
のガロア群（無限次代数拡大のガロア群なので射有限群）
はこれらが自然な射影によって成す逆系の逆極限（**Z** の射有限完備化）、つまり

である。これはまた、ポントリャーギン双対を考えれば、任意の  の冪に対する 1 の冪根全体が成す円周群の離散部分群の双対として得られるコンパクト群が  であるとも述べられる。

拡大の基本的な例は**円分**  **拡大**（cyclotomic
-extension）である。自然数

に対して

で1の原始  乗根を表すものとする。例えば複素数体の中で考え、
とする。奇素数  に対して、有理数体に1の原始

乗根をすべて添加した体、つまり

の合成体

は

上の

拡大である。また、この合成体を有理数体

上の拡大体とみると、これはガロア拡大で、そのガロア群

は

と同型であるので、これの部分体で  上の

拡大であるものが存在する。これを

と書き、有理数体の円分

拡大という。任意の有限次代数体

に対して合成体

は

拡大になる。これを

の円分

拡大という。円分

拡大の存在から、任意の代数体に対して少なくとも1つは

拡大が存在することがわかる。

代数体

の

拡大は一般に無限に存在しうる。
の

拡大すべての合成を

とすると

: 
\mathrm{Gal}(\tilde{F}/F) \cong \mathbb{Z}_p^d


が成り立つことが知られている。ここで  は

を満たすある整数、
は

の複素素点の個数である。このことから、 が総実体でなければ無限に多くの

拡大が存在することがわかる。ここに出てきた定数  が、実は

であろうというのがである。レオポルト予想は、有理数体のアーベル拡大体や虚二次体のアーベル拡大体については正しいことが知られている。

円分

拡大ではない

拡大の例としては、虚二次体の**反円分**  **拡大**（anti-cyclotomic
-extension）というものがあげられる。
を5以上の素数、
を虚二次体とする。
の

は1で

は2であるから、この場合はレオポルト予想が自明に成立する。したがって

にはガロア群が

と同型になる唯一の拡大体

が存在する。
には複素共役が作用しており、複素共役が±1倍で作用する部分群を

とすると、
は

の直積に分解できる。
の固定体

は円分的ではない
 拡大
になっている。これを反円分

拡大という。

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

を素数、
を有限次代数体

の

拡大とする。第  層

のイデアル類群

のシロー  部分群（ 部分）を

とする。ここでの動機というのは、 のとき、そのイデアル類群の  部分こそがフェルマーの最終定理の直接証明における主要な障害となっている、ということがクンマーによって既に特定されていたということによるものである。
は有限 群 なのでその位数

はある整数

を用いて

と書ける。岩澤は、ある3つの整数 （最初の2つは非負整数）が存在して、 が十分大きいとき

: e_n=\mu p^n+\lambda n+\nu

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

### 証明と岩澤代数

次の仮定のもとで証明の概略を見る。

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

証明は、まずイデアル類群の極限をとることからはじまる。2つの正整数

があったとき、代数体の有限次拡大

のノルム写像からイデアル類群の準同型

ができる。これによる逆極限

を

と書き、
の**岩澤加群**という。岩澤の独自性は、「無限大に飛ばす」という新しい着想にあった。

岩澤加群

がわかれば

もわかる。実際、
の元

を

の乗法単位元1に対応する元（位相的生成元といっても同じこと）とすると

が成り立つことがわかる。

岩澤加群

の構造は、これを**完備群環**上の加群とみることによって調べられる。
は有限  群なので自然に

の元の乗算が定義でき、またガロア群

が作用しているので、その極限の

には完備群環

の作用が定義できる。この環

は、実は

係数の形式的べき級数環

と

によって同型であることが示される（位相的生成元の取り方に依存するので、標準的ではない）。 や

は***'と呼ばれている。岩澤代数は岩澤理論において中心的な役割を演ずる。例えば、岩澤主予想と呼ばれる予想は

のある2つのイデアルが等しいという予想である。

岩澤加群

は岩澤代数

上の加群であることがわかった。さらに有限生成であることが示される。
は2次元の[[正則局所環]]とよばれる（その上の加群のそれほど粗くない分類が非常に容易であるという意味で）素性の良い環であるので、その[[有限生成加群]]には構造定理がある。これを使うことにより、 は次の形の加群

: <math>
\textstyle
{
\Lambda^r \oplus \prod_i \Lambda/(p^{m_i}) \oplus \prod_j \Lambda/(f_j(T)^{n_j})
}
</math>

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

このようにして得られた岩澤加群

の表示と

を使うことにより

の個数を

や

で表すことができる。そして  と  を

: <math>
\begin{array}{ccl}
\mu & = & \textstyle{ \sum_i m_i } \\
\lambda & = & \textstyle{ \sum_j n_j \mathrm{deg} f_j }
\end{array}
</math>

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

なお、すべての

と

を乗じて得られる多項式

: <math>
\textstyle
{
\mathrm{char}_\Lambda(X)
:=
\prod_i p^{m_i} \prod_j f_j(T)^{n_j}
}
</math>

を岩澤加群

の'''特性多項式'''（characteristic polynomial）といい、これによって生成される

のイデアルを'''特性イデアル'''（characteristic ideal）という。
で特性イデアルの方を表すこともある。特性多項式は任意の有限生成 torsion

加群

に対して定義され、同様に

という記号で書かれる。岩澤不変量の  は特性多項式

の次数であり、 は特性多項式を割り切る最大

べきの指数である。岩澤主予想は

のある2つのイデアルが等しいという予想であるが、そのイデアルのうちの一つが、簡単にいうとこの特性イデアルである。

=== 固有空間への分解 ===

代数体

に複素共役や

が作用している場合には、その作用でイデアル類群を固有空間（eigenspace）に分解することができ、分解したものたちに対して同様の公式が得られる。

まず複素共役の場合を見る。 を[[CM体]]、 を奇素数、
を円分

拡大とする。このとき、 のイデアル類群のシロー  部分群

には自然に複素共役が作用し、複素共役が±1倍で作用する部分空間

の直和

に分解できる。
を'''プラス部分'''（+-part）、
を'''マイナス部分'''（&minus;-part）という。それぞれの部分空間に対して岩澤類数公式が成り立ち、対応する

と

をそれぞれ

と

とすると、 の

と

は
,

と分解できる。同様の方法で岩澤加群

を

に分解したとき、
は

の最大実部分体

の円分

拡大の岩澤加群と同型になるので、プラス部分は実部分の寄与、マイナス部分は全体と実部分の差と考えられる。マイナス部分の  については、'''木田の公式'''と呼ばれる[[リーマン・フルヴィッツの公式]]の類似が成り立つことが知られている。

典型的なCM体は奇素数  についての
 分体

である。これの最大実部分体の類数は  で割れないという予想をという。もしこれが正しければ、
の最大実部分体の類数も  で割れないので

は0ということになる。

次に、
でイデアル類群が分解される様子を見るため、典型的な例として

で

の場合を考える（ は奇素数とする）。
と置き、
を

の任意の元

に対して

が成り立つ唯一の準同型とする。
は

のイデアル類群の  成分

に自然に作用し

と分解できる。ここで

は

が成り立つ

の元たちからなる部分群である。これを ''' 成分'''（-part）という。 成分に対しても岩澤類数公式が成り立ち、これらの成分に対する岩澤不変量を
,
,

とすると

の岩澤不変量は

などと分解できる。偶数の  に対する

成分は

に含まれるので、ヴァンディバー予想が正しければこの成分は0である。部分的な結果として、[[栗原将人]]によって

は0であることが証明されている。岩澤主予想は、奇数の  に対する

成分に関する予想である。なお、このような分解はもっと一般の状況でも可能であるが、
 の指標の値が必ずしも

に入らないので、係数拡大が必要となる。

=== 岩澤不変量 ===

岩澤不変量の

や

は

拡大

に対して定まるので
,

などと書かれる。また、代数体

と素数

に対して

の円分

拡大

は一意に定まるので、このときは

を

と書いたりする。例えば

などが知られている。

 はイデアル類群の元の位数の増加を示すものであり、 は  ランクの増加を示すものである。

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

: '''岩澤  予想''' 円分  拡大  に対しては  であろう。

この予想は一般には未解決であるが、
がアーベル体の場合は正しいことが証明されている（）。

: ***' 総実代数体  の円分  拡大  に対しては  であろう。

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

* 代数体  の類数が  で割り切れず、 の上にある  の素イデアルが一つしかないならば、任意の  拡大  に対して  である。

* 素数  が  で完全分解し、 拡大  において  の上にある  の素点がすべて分岐するならば  である。ここで  は  の複素素点の個数。

### 特性多項式の具体例

がアーベル体であれば、その円分

拡大の岩澤加群のマイナス部分の特性多項式はスティッケルバーガー元を用いて具体的に構成できる。さらに

が虚二次体であればプラス部分は自明なので、マイナス部分の特性多項式が全体の特性多項式である。例えば、 で  の場合は

: 

である。特性多項式は

進数係数の多項式なので、 までの近似で表示している。

## 岩澤主予想

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

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

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

## 脚注

### 注釈

### 出典

## 参考文献
* 
* 
*
*
* 
*
* 
*
*
** 
*
*
*
* 
* 
* 
* 

* 
* 

## 関連文献
*
*
*
** Tadashi Ochiai: *Iwasawa Theory and Its Perspective, Vol.1*, Amer. Math. Soc.,(Mathematical Surveys and Monographs V.272), ISBN 978-1-4704-5672-6 (2023).
** Tadashi Ochiai: *Iwasawa Theory and Its Perspective, Vol.2*, Amer. Math. Soc.,(Mathematical Surveys and Monographs V.280), ISBN 978-1-4704-5673-3 (2024).
** Tadashi Ochiai: *Iwasawa Theory and Its Perspective, Vol.3*, Amer. Math. Soc.,(Mathematical Surveys and Monographs V.291), ISBN 978-1-4704-7732-5 (2025).
*
*de Shalit, Ehud: *Iwasawa theory of elliptic curves with complex multiplication. p-adic L functions*, Perspectives in Mathematics, vol. 3, Boston etc.: Academic Press, ISBN 978-0-12-210255-4 (1987).
* Masato Kurihara, Kenichi Bannai, Tadashi Ochiai, Takeshi Tsuji (EDs.): *Development of Iwasawa Theory: The Centennial of K. Iwasawa's Birth*, Mathematical Soc of Japan, (Advanced Studies in Pure Mathematics, V.86), ISBN 978-4-86497092-1 (2020).

## 外部リンク
*