>>165
つづき

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

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

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

つづく