志村の相互法則

志村の相互法則（しむらのそうごほうそく、）は、数論、とくに虚数乗法の理論において、虚二次体のイデールやアルティン写像による作用と、モジュラー関数のCM点における特異値のガロア作用との対応を記述する法則である。志村五郎によって定式化され、虚二次体に対する明示的類体論の中心的結果の一つである。

概要虚二次体の整数環あるいはその位数による虚数乗法をもつ楕円曲線や、それに対応する上半平面上の点を考える。モジュラー関数をこのようなCM点で評価すると、その値は代数的数となり、しばしばのヒルベルト類体やより一般のレイ類体を生成する。志村の相互法則は、これらの特異値に対するガロア作用が、モジュラー関数側の変換作用として具体的に記述できることを主張する。

この法則により、虚二次体のアーベル拡大の構成が、上半平面上の特殊点におけるモジュラー関数の値を通じて明示的に理解される。これは、虚二次体の場合におけるヒルベルトの第12問題への主要な解答の一部とみなされている。

背景 j不変量の特異値が虚二次体のヒルベルト類体を生成することは、虚数乗法論の基本的結果の一つである。志村の相互法則は、この現象を単なる -不変量に限らず、より一般のモジュラー関数の特異値にまで拡張し、そのガロア作用を類体論の言葉で記述する。

この理論の背景には、虚二次体のアーベル拡大を解析的関数の特異値で生成したいというクロネッカー以来の構想がある。20世紀半ば、志村・谷山豊・ヴェイユらによる虚数乗法論の発展の中で、その中核的な相互法則が整備された。

内容

虚二次体をとり、上半平面の点がに属し、かつがある位数の複素格子を与えるとする。このときは CM 点である。適当なモジュラー関数に対し、がその極でなければ、特異値は代数的数になる。

志村の相互法則は、の有限イデール群の元に対応するアルティン写像による作用が、モジュラー関数体の変換作用として表されることを述べる。概念的には、「類体論側の Artin 作用」＝「モジュラー関数体側の変換作用」という対応を与える法則である。

この対応によって、どのモジュラー関数の特異値がどの類体を生成するかを具体的に判定できる。とくに、ある条件を満たす関数の特異値は類不変量となり、ヒルベルト類体やレイ類体の生成元の構成に用いられる。

類体論との関係虚二次体に対し、CM点でのモジュラー関数の値を添加して得られる体は、のアーベル拡大と密接に関係する。基本的な場合として、はヒルベルト類体を生成する。さらにレベル構造をもつモジュラー関数を用いることで、より一般のレイ類体が得られる。

志村の相互法則の重要性は、これらの拡大に対するガロア群の作用を、抽象的存在としてだけでなく、モジュラー関数の変換則を通じて明示的に書き下せる点にある。このため、虚二次体の明示的類体論における基本定理の一つとみなされる。

類不変量と計算論的側面志村の相互法則は、類不変量の構成にも用いられる。特異値が適切な群作用の下で不変になるとき、それはヒルベルト類体やレイ類体の生成に使える。j不変量は最も古典的な例であるが、実際の計算ではより小さい最小多項式を与える関数が望まれるため、ウェーバー函数、エータ函数の商、その他のモジュラー関数から得られる類不変量が研究されてきた。

この観点から、志村の相互法則は計算代数的数論においても重要であり、虚二次体の類体の具体的生成元を求めるアルゴリズムの理論的基盤を与える。

一般化志村の相互法則には高次元版があり、アーベル多様体の虚数乗法や志村多様体上の特殊点の理論へ一般化される。そこでは、楕円曲線と1変数モジュラー関数の代わりに、CM型をもつ高次元アーベル多様体や多変数の保型関数が現れる。

脚注

参考文献

志村の相互法則

Źródło i licencja