虚数乗法
虚数乗法(complex multiplication)とは、通常よりも大きな対称性をもつ楕円曲線の理論のことをいう。別のいいかたをすれば、周期格子(period lattice)がガウス整数の格子であったり、アイゼンシュタイン整数の格子であったりするような、余剰な対称性を持つ楕円函数の理論である。楕円曲線の高次元化であるアーベル多様体についても同様に大きな対称性をもつ場合があり、これらを扱うのが虚数乗法論である。
特殊関数の理論として、そのような楕円函数や多変数複素解析函数のアーベル函数は、大きな対称性をもつことからその関数が多くの等式をみたすことがいえる。特別な点では具体的に計算可能な特殊値を持つ。また虚数乗法は代数的整数論の中心的なテーマであり、円分体の理論をより広く拡張する事を可能にする。
虚数乗法は、虚二次体の類体における相互法則、主イデアル定理、分岐の様子を、楕円函数や楕円曲線のことばで具体的に書き表すことを可能とする。ダフィット・ヒルベルト(David Hilbert)は、楕円曲線の虚数乗法論は数学のみならず、すべての科学の中の最も美しい分野であると言っている。 [1]
虚数乗法の例
まずはじめに、虚数乗法をもつ格子の例を見る。複素数体 C の部分群としてはガウス整数環 Z [i] という格子を考える。 この格子は C の n 倍写像で保たれるのみならず、i 倍でも保たれるという対称性をもつ。
虚数乗法を持つ楕円曲線の例は
- [math]\mathbb{C}/\mathbb{Z}[i]\theta[/math]
そのようなトーラスは自己同型環としてガウス整数を持つ。対応する曲線はすべて次のように書くことが可能であることが知られている。
- [math]Y^2 = 4X^3 - aX[/math]
は、位数 4 の自己同型を持ち、この自己同型はヴァイエルシュトラスの楕円函数の上の i の作用を持つ直線の上で、
- [math]Y \rightarrow-iY,\ \ \ \ X \rightarrow-X[/math]
と変換する。
より一般に、楕円函数 [math]f[/math] の 2つの周期 [math]\omega_1,\omega_2[/math] とする。虚二次体[math]K[/math] の中の全ての[math]\lambda[/math] に対して、[math]f(z)[/math] と [math]f(\lambda z)[/math] との間に代数的関係式が存在するとき、楕円函数（楕円曲線）は虚数乗法を持っているという。
自己準同型環の構造
楕円曲線の自己準同型環の構造は次の三通りで尽くされる。ひとつは整数環 Z で、もうひとつは虚二次体の整環(order)、残るひとつが Q 上の定値四元数環の整環である。[2]
楕円曲線が有限体上定義されている場合には、つねにフロベニウス写像(Frobenius map)と呼ばれる非自明な自己準同型が存在する。従って、虚数乗法がある場合が典型となる（この場合には、多くの場合に虚数乗法という用語は適用されない）。一方で楕円曲線が代数体上定義されている場合、虚数乗法をもつのはむしろ例外的である。一般に、虚数乗法がある場合は、ホッジ予想を解くことが最も難しいことが知られている。
クロネッカーとアーベル拡大
レオポルト・クロネッカー(Leopold Kronecker)は、楕円曲線の位数有限の点での楕円函数の値が虚二次体のすべてのアーベル拡大を生成するに十分であるというアイデアを提唱した。これは特別な場合にはアイゼンシュタイン(Gotthold Eisenstein)やガウス(Carl Friedrich Gauss)によりすでに研究されていた。これがクロネッカーの青春の夢(Kronecker Jugendtraum)（ヒルベルトの第12問題）であり、上記のヒルベルトの指摘したことである。志村の相互法則を通して、有理数体のアーベル拡大が 1のべき根の方法で構成できることを示し、類体論をより明白なものとしている。
実際、K を類体 H をもつ虚二次体として、E を H 上に定義された K の整数によって虚数乗法を持つ楕円曲線とする。このとき K の最大アーベル拡大は、H 上の E のあるヴァイエルシュトラスのモデルの有限位数の点の x-座標により生成される。[3]
クロネッカーのアイデアには多くの一般化が考えられる。しかしながら、ラングランズ哲学の主要な方向性とはすこし異なるもので、今のところ決定的なステートメントは知られていない。
ひとつの結果
- [math]e^{\pi \sqrt{163}} = 262537412640768743.99999999999925007\dots\,[/math]
や、同じことだが、
- [math]e^{\pi \sqrt{163}} = 640320^3+743.99999999999925007\dots\,[/math]
であり、数値が整数に非常近いことは、偶然に起きたわけではない。この注目すべき事実は、虚数乗法論、モジュラ形式の知識と、
- [math]\mathbf{Z}\left[ \frac{1+\sqrt{-163}}{2}\right][/math]
は、一意分解整域であるという事実から説明することができる。
[math](1+\sqrt{-163})/2[/math] は α2 = α - 41 を満たす。一般に、S[α] で S に係数を持つ α により、すべての多項式表現の集合を表すことにすると、S[α] は α と S を含む最も小さな環である。α はこの二次式を満たすので、求めている多項式は次数 1 に限ることができる。
代わりに
- [math]e^{\pi \sqrt{163}} = 12^3(231^2-1)^3+743.99999999999925007\dots[/math]
と見ることもできる。あるアイゼンシュタイン級数によって、他のヒーグナー数(Heegner number)の同様な単純表現をもつ内部構造による。
特異モジュライ
虚数乗法を持つ楕円曲線の周期比率となる上半平面の点 τ はかならず虚二次数である[4]。これらの点におけるモジュラ不変量 j (τ) は特異モジュライとよばれる。ここでは特異というのは特異点をもつという意味ではなく、非自明な自己準同型をもつという意味で特異と古くは呼ばれた事による。
モジュラ函数 j (τ) は、虚二次数 τ にたいしては代数的数となる[5]。逆に j が代数的であるような上半平面の値 τ はこの場合に限る事もしられている。[6]。
Λ が周期比率 τ をもつ格子のとき、j (τ) を j (Λ) と書く。さらに Λ が虚二次体 K の整数環 OK のイデアル a であれば、対応する特異モジュライを j (a) と書く。すると、値 j (a) は実数である代数的数であり、K のヒルベルト類体(Hilbert class field) H を生成する。体の拡大の次数 [H:K] = h は K の類数であり、H/K は K のイデアル類群に同型なガロア群を持つガロア拡大である。このガロア群とイデアル類群の同型はイデアル類の作用が次のように記述できる事によるもの、すなわち [b] : j (a) → j (ab) によって値 j (a) の上に作用する。
特に、K が類数 1 であれば、j (a) = j (O) は有理整数である。例えば、j (Z[i]) = j (i) = 1728 である。
関連項目
- CM-タイプのアーベル多様体、高次元の場合
- 代数的ヘッケ指標(Algebraic Hecke character)
- ヒーグナー点
- ヒルベルトの第12問題
- ルービン・テイトの形式群(Lubin–Tate formal group), 局所体
- ドリンフェルトのシュトゥーカ(Drinfeld shtuka), 大域函数体(global function field)の場合
脚注
- ↑ Reid, Constance (1996), Hilbert, Springer, p. 200, ISBN 978-0-387-94674-0
- ↑ Silverman (1989) p.102
- ↑ Serre (1967) p.295
- ↑ Silverman (1986) p.339
- ↑ Serre (1967) p.293
- ↑ Baker, Alan (1975). Transcendental Number Theory. Cambridge University Press. ISBN 0-521-20461-5.
参考文献
- Borel, A.; Chowla, S.; Herz, C. S.; Iwasawa, K.; Serre, J.-P. Seminar on complex multiplication. Seminar held at the Institute for Advanced Study, Princeton, N.J., 1957-58. Lecture Notes in Mathematics, No. 21 Springer-Verlag, Berlin-New York, 1966
- Husemöller, Dale H. (1987). Elliptic curves, With an appendix by Ruth Lawrence, Graduate Texts in Mathematics, Springer-Verlag. ISBN 0-387-96371-5.
- Lang, Serge (1983). Complex multiplication, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. New York: Springer-Verlag. ISBN 0-387-90786-6.
- Serre, J.-P. (1967). “XIII. Complex multiplication”, Algebraic Number Theory. Academic Press, 292–296.
- Shimura, Goro (1971). Introduction to the arithmetic theory of automorphic functions, Publications of the Mathematical Society of Japan. Tokyo: Iwanami Shoten.
- Shimura, Goro (1998). Abelian varieties with complex multiplication and modular functions, Princeton Mathematical Series. Princeton, NJ: Princeton University Press. ISBN 0-691-01656-9.
- Silverman, Joseph H. (1986). The Arithmetic of Elliptic Curves, Graduate Texts in Mathematics. Springer-Verlag. ISBN 0-387-96203-4.
- Silverman, Joseph H. (1994). Advanced Topics in the Arithmetic of Elliptic Curves, Graduate Texts in Mathematics. Springer-Verlag. ISBN 0-387-94328-5.
外部リンク
- Complex multiplication from PlanetMath.org
- Examples of elliptic curves with complex multiplication from PlanetMath.org
- Ribet, Kenneth A. (October 1995). “Galois Representations and Modular Forms”. Bulletin of the American Mathematical Society 32 (4): 375–402. doi:10.1090/s0273-0979-1995-00616-6. テンプレート:Citeseerx.