類体論

数学における類体論は、代数的整数論の理論。代数体のアーベル拡大を一般化されたイデアル類群やイデール類群といったその体に内在的な数学的対象と関係付け分類・記述する。

有限体上の代数曲線の函数体や局所体に対しても同様の理論が成り立ち、類体論という言葉はこれらの理論の総称としても用いられる。

1. 概説
-----

体 K}} のガロア拡大であってそのガロア群がアーベル群であるものを K}} のアーベル拡大という。例えば二次拡大や円分拡大、クンマー拡大などがアーベル拡大の例である。

類体論とは、K}} が代数体の場合にそのアーベル拡大という K}} の外部の対象がどれだけ存在しどのような性質を持つかを K}} に内在的な数学的対象で記述できることを示した理論である。

古典的なイデアル論を用いた定式化では、内在的な数学的対象として一般化されたイデアル類群というものが用いられる。有限次アーベル拡大 //L/////K//}} があると、これに対応する一般化されたイデアル類群が定まり、アルティン写像によってこのイデアル類群とガロア群 Gal}} は同型になる。これをアルティン相互法則という。逆に、一般化されたイデアル類群があると、対応する有限次アーベル拡大が定まり、同様のことが成り立つ。これを高木の存在定理という。このようにして「有限次アーベル拡大」と「一般化されたイデアル類群」が一対一に対応するというのが類体論の主要な結果である。

{ 有限次アーベル拡大 } ← 1:1 → { 一般化されたイデアル類群 }通常の意味でのイデアル類群も一般化されたイデアル類群の一つであるので、これに対応するアーベル拡大が存在する。このアーベル拡大は最大不分岐アーベル拡大という性質を持っている。これには特別にヒルベルト類体という名前がつけられている。

類体論は有限次アーベル拡大を分類するだけではなく、アルティン相互法則によって各アーベル拡大での素イデアルの分解の様相も教えてくれる。素イデアルがあると、フロベニウス元と呼ばれるガロア群の元が定まる。素イデアルの分解の様相はこの元を見ればわかる。アルティン相互法則によってフロベニウス元に対応する一般化されたイデアル類群の元が定まる。これは元の素イデアルの剰余類である。よってこの剰余類をみれば素イデアルの分解の様相が分かる。このことは二次体における素数の因数分解の様子を完全に与える二次の相互律の広範な一般化になっている。三次の相互律といったようなより高次の「冪剰余の相互律」もアルティン相互法則から導くことができる。数論的にはこの点も重要である。

「類体論」という名称は一般化されたイデアル類群に対応するアーベル拡大を類体と呼んでいたことにちなむ。類体は特別な有限次アーベル拡大体と思われていたが、予期に反して有限次アーベル拡大体はすべて類体であることが判明した。標語的に言えば有限次アーベル拡大＝類体である。類体論の研究対象が任意のアーベル拡大であるのはこのためである。

有限次アーベル拡大を個別に一般化されたイデアル類群に対応させるのではなく、K}} の有限次アーベル拡大をすべて合成した最大アーベル拡大 //K//sup のガロア群を直接記述する方法も知られている。有限次代数体の場合、その最大アーベル拡大のガロア群 は無限群になるが、クルル位相により位相群とみたときこれは副有限群の構造を持つ。現代的な類体論の定式化では、イデール類群と呼ばれる K}} から内在的に定まる位相群から への相互律準同型と呼ばれる準同型が構成される。ガロア対応により有限次アーベル拡大は の開部分群と一対一対応し、相互律準同型によりそれはイデール類群の開部分群と一対一対応する。有限次アーベル拡大に対応するイデール類群の開部分群は、その有限次アーベル拡大体のイデール類群のノルム写像による像として特徴づけられる。

{ 有限次アーベル拡大 }
↕ 1:1
{ の開部分群 }
↕ 1:1
{ イデール類群の開部分群 }代数体に対する類体論は、1910年代から1920年代にかけて、高木貞治やエミール・アルティンらによって証明された。その後、1930年代以降に大域体の完備化である局所体についても同様の理論が確立された。これは局所類体論と呼ばれている。局所類体論では局所体 K}} の乗法群 Ksup を用いてそのアーベル拡大が分類・記述される。また有限体上の一変数代数関数体に対しても同様の理論が確立された。有限体上の一変数代数関数体と代数体はまとめて大域体もしくは一次元大域体と呼ばれるので、これらに対する類体論は大域類体論と呼ばれる。

代数体についての類体論の元々の証明は、代数体に対して直接類体論を証明するというものだった。その後、局所体類体論を使って証明するという手法が確立された。現代の類体論の教科書ではこの手法による証明を採用しているものが多くある。

2. イデアルを使った定式化
--------------

類体論の主要な結果は少し用語と記号を準備すれば簡単に述べることができる。以降、この節を通して は任意の有限次代数体を表すものとする。

2.1. 用語と記号
----------

代数体 のすべての素点 をわたる形式的な無限積 で次の3条件を満たすものをモジュラス Conradという。

ほとんどすべての 𝔭}} に対して
無限素点 𝔭}} については 1=//n//sub が0もしくは1モジュラスに対して、約数、倍数、最大公約数、最小公倍数、割り切れる、素点の指数、などの概念が自然に定義される高木。K}} の整数環の0ではないイデアルは素イデアル分解を使って自然にモジュラスとみなせる。

モジュラス の有限素点だけを取り出したものを と書くMilne。ここで、素点 が有限素点であることを 𝔭∤∞}}、無限素点であることを と表しているNeukirch。 を の有限部分というConrad。これは自然に のイデアルと思える。

の分数イデアルで の有限部分と互いの素なもの全体を と置く。これは自然に群になる。群としての構造は と互いに素な素イデアルを底とする自由アーベル群である。

の部分群 を という形の単項イデアル全体とするConrad。ここで と は の0ではない整数で以下の条件を満たすものである。

α}} と β}} は 𝔪sub と互いに素
実素点 𝔭}} に対して //α//sub。ここで K}} の元 γ}} に対して //γ//sub で実素点 𝔭}} による γ}} の像を表している。包含関係 にある群 を𝔪}} を法とする合同群と呼ぶ 1a1=高木。

を有限次拡大とする。 の部分群 を の分数イデアルのノルムになっているような元全体とする。これは 𝔭supで生成される の部分群であるMilne。 と置く。これを拡大 //L/////K//}} に対する合同群という1a1=Conrad。

さらに はアーベル拡大であったとする。この拡大で不分岐な の素イデアル に対してそのフロベニウス元を と書く。 で分岐する素イデアルを含まない分数イデアル に対しても、素イデアル分解を使って を定義する。この記号をアルティン記号と呼ぶ。モジュラス が で分岐する素イデアルすべてで割り切れるなら、アルティン記号により から への群準同型が定義される。これをアルティン写像と呼ぶConrad。

2.2. 類体論の主結果
------------

類体論の主結果は次の相互法則と存在定理である。

2.2.1. 相互法則
-----------

代数体の任意の有限次アーベル拡大 //L/////K//}} に対して、この拡大で分岐するすべての素点で割り切れるモジュラス が存在し、このモジュラスに対してアルティン写像は全射かつその核はこの拡大の合同群と等しい。したがってアルティン写像から同型

が得られる。これをアルティン相互法則というConrad。

2.2.2. 存在定理
-----------

を代数体 の任意のモジュラスとし、 を を法とする任意の合同群とする。このとき、あるアーベル拡大 が存在して が成り立つ。これを存在定理というConrad。

2.3. 補足
-------

2.3.1. 歴史的な用語
-------------

有限次拡大 //L/////K//}} に対して 1=[//I//sub が成り立つとき、L}} を類体というConrad。アルティン相互法則より、すべてのアーベル拡大は類体である。高木はこれを「アアベル体即ち類体」と言い表した高木。これを基本定理と呼ぶ高木。

任意の類体はガロア拡大であり高木、またそのガロア群はアーベル群なので高木、類体は基礎の体上のアーベル拡大である。よって、基本定理と合わせると、類体とアーベル拡大とは完全に同義である。こうして、類体論が確立された結果、アーベル拡大と類体は同じものであることが判明したため、類体論の主要な結果に「類体」の語が現れないのである。

アルティン相互法則から //I//sub と Gal}} は同型である。これを同型定理高木と呼ぶ。再びアルティン相互法則から、素イデアル 𝔭}} のイデアル類群における位数と拡大 //L/////K//}} におけるこの素イデアルの剰余次数は等しい。これを分解定理と呼ぶ高木。歴史的には、同型定理と分解定理がまず高木によって証明された後、アルティンによって相互法則が証明されたConrad}}。現代ではこれらの定理はアルティン相互法則の系として証明されるようになった。

を高木群、アルティン写像の核をアルティン群と呼ぶことがある。この言葉を使えば、相互法則の核に対する主張は「アルティン群と高木群は等しい」と言い表すことができる。古くはこのように言い表されていたGras。 がアルティン写像の核に入ることは簡単に分かるMilneので、このことの実質的な内容は がアルティン写像の核に入るということである。

2.3.2. 乗法合同
-----------

と を の0ではない元とする。分数イデアル の分子が整イデアル によって割り切れ、分母が と互いに素であるとき、 と は を法として乗法合同であるという高木。モジュラス の有限部分 を法として と が乗法合同であり、かつ を割るすべての実素点による埋め込みで と の符号が等しいとき、 と はモジュラス を法として乗法合同である、ということもある。この言葉を使うならば、 は を法として1と乗法合同である元で生成される単項イデアル全体、と言い表すことができる。

2.3.3. イデアルの群
-------------

モジュラス に対して と互いに素な分数イデアルのなす群 は を割り切る有限素点の集合だけによって決まる。特に に含まれる無限素点には依存しない。他方、 は有限素点の指数にも依存し、指数が大きくなれば小さくなっていく。無限素点の有無でも大きさは変わる。相互法則の意味するところの1つは「𝔪}} に分岐する無限素点を付け加え、有限素点の指数を適当に大きくすれば、 はアルティン写像の核に入るぐらい小さくなる」という点である。

商群 のことを射類群と呼ぶことがある

射という言葉はドイツ語のStrahlから来ている。harvtxt。 のときこれは通常のイデアル類群なので、これはイデアル類群の一般化になっている。 が の実素点すべての積であったとする。このとき はすべての分数イデアルからなる群であり、 は総正な元で生成される単項イデアル全体の群である。この を狭義のイデアル類群または狭義類群という 狭くなるのは類であって、群としては大きくなる。そのため harvtxt。

任意のモジュラス に対して の位数は類数 h}} を用いて

と表すことができる。ここで は の整数環の による剰余類環の可逆元の個数、 は を割り切る実素点の個数、 は の単数群における を法として1に乗法合同な単数の成す群の指数である高木。特に、 は有限群である。

存在定理によって合同群に対してアーベル拡大 が定まり、逆にアーベル拡大 があれば合同群 が定まる。この対応を一対一にするためには合同群に対して適切な同値関係を定義する必要がある。これは次のように定義される。

を法とする合同群 と を法とする合同群 が同値であるとは、 と の公倍数であるような が存在して の核と の核が等しいことと定義する。この同値関係による合同群の同値類とアーベル拡大の対応は一対一になるConrad。イデールによる定式化ではこの対応がより直接的に記述される。

2.3.4. 導手
---------

を代数体の有限次アーベル拡大とする。アルティン相互法則が成り立つような2つのモジュラスの最大公約数でもアルティン相互法則が成り立つ。したがってアルティン相互法則が成り立つ最小のモジュラスが存在する。このモジュラスを導手と呼び、記号では 𝔣sub と表すConrad。

2.3.5. 判別公式
-----------

を代数体の有限次アーベル拡大、𝔪}} をこの拡大に対してアルティン相互法則が成り立つようなモジュラスとする。このとき、相対判別式 と導手を関係づける公式

が知られている。ここで は の指標をすべてわたり、 は合同群 に対応するアーベル拡大の導手、 はその有限部分である。これはハッセの判別公式と呼ばれているConrad高木。

2.3.6. 射類体
----------

任意のモジュラス に対して存在定理より に対応するアーベル拡大体が存在する。この拡大体は によって決まるので で表す。この体は射類体と呼ばれている。

射類体の導手 は を割るが一致するとは限らない。例えば有理数体のモジュラス に対する射類体は有理数体に一致するので導手は である。またこの例から分かるように異なるモジュラスに対する射類体が等しくなるということもある。

2.3.7. 不分岐類体論
-------------

代数体 の自明なモジュラス を取り 1=//H// = //P//sub と置く。存在定理よりこれに対応するアーベル拡大 が存在する。これを 上のヒルベルト類体、または絶対類体と呼ぶNeukirch。射類体の記号を使えば、これを と表すこともできる。もともとヒルベルトが存在を予想した「類体」は無限素点で何も条件をつけていないのでこの体とは異なる。しかし、現在ヒルベルト類体と呼ばれているものはここで定義したものであるConrad。

アルティン相互法則により次が成り立つ。

ヒルベルト類体のもとの代数体上のガロア群はイデアル類群と同型である。またその同型写像はアルティン写像により与えられる。
代数体のすべての素イデアルはヒルベルト類体において不分岐である。さらに、素イデアルが定めるイデアル類群の元の位数とヒルベルト類体における剰余次数は等しい。ヒルベルト類体はすべての射類体に含まれる。代数体のすべてのイデアルはヒルベルト類体に延長すると単項イデアルになることが知られている。

2.3.8. 終結定理
-----------

類体論は、有限次アーベル拡大 に対してイデアルのノルムの成す群 に を乗じた群、つまり拡大に対する合同群 を考えることでアーベル体に対して深い理解をもたらした。しかし、この手法は非アーベル拡大には通じない。このことを端的に示すのが次の終結定理である。

終結定理 //L/////K//}} を任意の有限次拡大とする。このとき、この拡大に対する合同群 //H//sub は //L//}} に含まれる最大アーベル拡大に対する合同群に等しい1a1=高木。言い換えると、体拡大に対する合同群からは、含まれているアーベル拡大についての情報しか得られない。類体論に主要な貢献をなした高木は、この定理を提示したのち、「合同類別を以てしては、その統制力は直接には k}} 上の「アアベル」体以上には及び得ない。それ以上、類体論の拡張は将来の発展にまたねばならない」という言葉で自著『代数的整数論 : 一般論及類体論』を締めくくった高木。その後の発展については#類体論の一般化参照。

3. イデールを使った定式化
--------------

イデアルの言葉による類体論は、具体的であり、多くの場合に最も便利であるMilne。しかし、モジュラス を固定するため一度に取り扱えるのは導手が を割る有限次アーベル拡大だけであったり、また無限次アーベル拡大が扱えないなどの短所もある。イデールの言葉による類体論では、無限次拡大も扱え、すべてのアーベル拡大を同時に取り扱える。

を大域体、つまり代数体もしくは有限体上の1変数代数関数体とし、そのイデール群を//J//sub、イデール類群を//C//sub、最大アーベル拡大を //K//sup と表す 記号は主として harvtxt。このとき、大域アルティン写像 harvtxt、または大域相互律写像Gras、標準射Weilなどと呼ばれる準同型

が存在して、次を満たす。

局所と大域 K}} の任意の素点 v}} に対し、次の図式 は可換図式WeilWeil。ここで、 の写像は局所類体論で定義される局所アルティン写像、 は作用の制限から得られる写像、 は //φ//sub、 は //K//supsub の元 x}} を v}} 成分は x}} でその他の成分は1のイデールに送る写像である。 相互法則 主イデールは //φ//sub の核に含まれるMilne。つまり が成り立つ。また任意の有限次アーベル拡大 //L/////K//}} に対して //φ//sub から自然に同型 が誘導される。ここで //N//sub はイデール類群のノルム写像である。 存在定理 イデール類群 //C//sub の任意の有限指数開部分群 N}} に対して一意に定まる有限次アーベル拡大 //L/////K//}} が存在して 1=//N// = //N//sub が成り立つMilne。相互法則と存在定理から、Gal(//K//sup と、//C//sub の有限指数開部分群についての副有限完備化は同型になるCassels。そして K}} の有限次アーベル拡大とイデール類群 //C//sub の有限指数開部分群の間に1対1の対応

K}} の有限次アーベル拡大 } ∋ L}} ↦ //N//sub ∈ { の有限指数開部分群 }が存在することがわかるMilne。

考えている大域体 K}} が代数体の場合には、//φ//sub は全射であり、その核は単位元の連結成分 //D//sub であるため、

であることが示されるCassels。そして、無限次アーベル拡大の場合に1対1対応

K}} の有限次とは限らないアーベル拡大 } ∋ L}} ↦ //N//sub ∈ { の単位元の連結成分を含む閉部分群 }が成り立つLangGras。

考えている大域体 K}} が有限体上の1変数代数関数体の場合には、//φ//sub は全射とは限らないが、その像は稠密であり、単射であるMilne。

4. ガロア・コホモロジーを使った定式化
--------------------

ガロア・コホモロジーを使う文脈では、類体論の相互法則は次のように述べられる。

K}} を有限次代数体、L}} を K}} の有限次ガロア拡大とする。 のイデール類群 にはガロア群 が作用するので、//C//sub をガロア加群と見て群のコホモロジーを取ったものを と書く。このとき、invariant mapと呼ばれる同型写像

が存在するNeukirch。この同型によって が定める右側の群の元に対応する左側の の元を と書く。これを基本類というNeukirch。任意の整数 q}} に対して、基本類のカップ積が定める写像

は同型写像になるNeukirch。この同型の 1=//q// = −2}} の場合を考えることにより、アルティン相互法則と呼ばれる同型

が得られるNeukirch。ここで は の最大アーベル商である。この写像は相互律写像Neukirch、または中山正にちなんで中山写像NeukirchKochと呼ばれている。この同型写像の逆写像から得られる写像

をノルム剰余記号というNeukirch。以上から、有限次ガロア拡大 //L/////K//}} に対して完全系列

が存在することがわかる。これがガロア・コホモロジーの文脈で述べられる類体論の相互法則である。

なお、 や が局所体の場合にも、イデール類群 を の乗法群 に置き換えれば同様のことが成り立つNeukirch。局所体の場合と大域体の場合をまとめて扱えるように、共通する上述の性質を抽象化したものが類構造であるCassels。

コホモロジーを用いずに非常に明示的で応用が利く方法などもあるdate=2023年2月}}。

5. 各種特別な体に関する類体論
----------------

幾つかの小さい体、例えば有理数体 Q やその虚二次拡大体については、もっとたくさんの情報が得られる詳細な理論が存在する。例えば、Q の絶対ガロア群のアーベル化 //G// は、全ての素数に亙って取った //p//-進整数環の単元群の無限直積であり、対応する Q の最大アーベル拡大は 1 の冪根全てによって生成された体となる。このことは、もとはレオポルト・クロネッカーの予想であったクロネッカー–ヴェーバーの定理として知られる。この場合の、類体論の相互律同型も同定理に従って具体的に書くことができる。1 の全ての冪根からなる群を

と書くことにすると、アルティンの相互律写像はそれが数論的正規化されているならば

によって、あるいはそれが幾何学的正規化されているならば

によって与えられる。しかし、このような小さな代数体に対する詳細理論の主要な構成法は一般の代数体の場合にまで拡張することはできないし、一般類体論で用いられるのはもっと違った概念的原理である。

6. 類体論の一般化
----------

　3つの主要な一般化があり、それぞれが非常に興味深い。 ラングランズ・プログラム、遠アーベル幾何学、および高次類体論である。

　数論における一つの自然な展開は、大域体の一般のガロワ拡大に対する情報を与える非可換類体論の構成と理解を行うことである。ラングランズ対応が非可換類体論と見做されることが多く、そして実際にラングランズ対応が確立されたときには大域体の非可換ガロワ拡大に関する非常に豊かな理論を含むことになるのだが、しかしラングランズ対応はアーベル拡大の場合の類体論が持っていた有限次ガロワ拡大についての数論的情報のほとんどを含んでいないのである。しかもラングランズ対応は類体論の存在定理に対応するものも含んでいない、即ち、ラングランズ対応における類体の概念は存在しないのである。局所および大域の非可換類体論はいくつか存在し、それらはラングランズ対応の観点に対する別の選択肢を与えてくれる。

　類体論のもう1つの一般化は遠アーベル幾何学であり、完全な絶対ガロア群または代数的基本群の情報から元のオブジェクトを復元するアルゴリズムを研究するものである。

　もう1つ、数論幾何における自然な展開は、高次局所体および高次大域体のアーベル拡大を構成及び理解することである。後者の高次大域体は、整数環上の有限型スキームの函数体およびその適当な局所化や完備化として生じる。「高次局所および大域類体論」は代数的 //K//-理論や、一次元類体論で用いられる //K//1 の代わりに適当なミルナー //K//-群を用いる。高次局所および大域類体論は、A. パーシン、加藤和也、イヴァン・フェセンコ、スペンサー・ブロック、斎藤秀司らの数学者が展開した。代数的 //K//-理論を用いずに高次大域類体論を展開しようとする試みもある  が、このやり方は高次局所類体論を含むものではなく、また局所理論と大域理論との間に互換性がない。

7. 歴史
-----

類体論の起源はガウスによって与えられた平方剰余の相互律にある。それが一般化されるまでには長きに亙る歴史的な取り組み、たとえば二次形式とその「種の理論」、クンマー・クロネッカー・ヘンゼルなどのイデアルおよび完備化に関する業績、円分体およびクンマー拡大の理論などがあった。

最初の二つの類体論は、非常にはっきりした円分類体論と虚数乗法類体論である。これらは付加的な構造が利用できる。随分後になって、志村の理論は代数的数体のクラスに対する非常に明示的な新たな類体論を与えた。これらは基礎体の具体的な構造を非常に陽に用いる理論であって、勝手な数体に対してもうまくいくように拡張することはできない。正標数 //p// の体に関しては、河田と佐武がヴィット双対性を用いて相互律準同型の //p//-成分の非常に平易な記述を得ている。

しかし、一般類体論はこういったものとは異なる概念を用い、その構成法が任意の大域体に対してうまく機能するようにしなければならない。

大きな転機となったのは1898年ヒルベルトがヒルベルト類体の存在と性質を予想したことである。また彼の提起した有名な問題が更なる発展の刺激となって、高木貞治、フィリップ・フルトヴェングラー、エミール・アルティン、ヘルムート・ハッセほか多数による種々の相互律が導かれることとなった。著しく重要な高木の存在定理が1920年に知られ、全ての主要な結果は1930年ごろまでには出そろっていた。証明されるべき古典的な予想の最後の一つは単項化定理であった。類体論の最初の証明には、頑強な解析学的手法が用いられた。1930年代以降は、無限次元拡大とそのガロワ群に関するヴォルフガンク・クルルの理論が有効であることが次第に認められていく。この理論はポントリャーギン双対性と結びついて、中心的な結果であるアルティンの相互律のより抽象的な定式化が分かり易くなった。重要な段階は、1930年代にクロード・シュヴァレーによってイデールが導入されたことである。イデールをイデアル類の代わりに用いることで、大域体のアーベル拡大を記述する構造は本質的に明確化および単純化され、中心的な結果のほとんどが1940年までに証明された。

この結果の後には、群コホモロジーの言葉を使った定式化がなされ、それが何世代かの数論学者が類体論を学ぶ際の標準となったが、コホモロジーを用いる方法の難点の一つは、それがあまり具体的でないことである。ベルナルド・ドワーク、ジョン・テイト、ミッシェル・ハゼウィンケルによる局所理論への貢献、およびユルゲン・ノイキルヒによる局所および大域理論の再解釈の結果として、あるいは多くの数学者による明示的な相互公式に関する業績と関連して、1990年代にはコホモロジーを用いない非常に明確な類体論の表現が確立された。このあたりの詳細は、例えばノイキルヒの本を参照せよ。

8. 脚注
-----

8.1. 注釈
-------

8.2. 出典
-------

9. 参考文献
-------

10. 関連項目
--------

遠アーベル幾何学
ラングランズ・プログラム
非可換類体論、
宇宙際タイヒミュラー理論