古典的モジュラー曲線

数論において、古典的モジュラー曲線とは既約な平面代数曲線であって、方程式

Φ n (x, y) = 0

を満たし、点 $(x, y) = (j (nτ), j (τ))$ が曲線の上にあるようなものである。ここで、 $j (τ)$ は $j$ -不変量のことを指す。

この曲線は $X 0 (n)$ と呼ばれることもあるが、 $X 0 (n)$ という記法はさまざまなモデルを持つような抽象的な代数曲線に対して使われる。関連する対象に、古典的モジュラー多項式という、 $Φ n (x, x)$ で定義される一変数多項式もある。古典的モジュラー多項式という名前は、二変数多項式 $Φ n (x, y)$ を指して使われることもある^[1]。

古典的モジュラー曲線はモジュラー曲線の広大な理論の一部分であることに注意されたい。特に、古典的モジュラー曲線は複素上半平面 $H$ の商のコンパクト化として表現することもできる。

モジュラー曲線の幾何

古典的モジュラー曲線は $X 0 (n)$ と表記される。多項式 $Φ n (x, y)$ は整数係数を持ち、それゆえ任意の体で定義される。しかし、係数は相当に大きく、この曲線に対する計算は難しい場合がある。 $Z [y]$ 係数の $x$ に関する多項式としてみると、古典的モジュラー多項式の次数は $ψ (n)$ である。ここで $ψ$ はデデキントのψ関数（英語版）である。 $Φ n (x, y) = Φ n (y, x)$ であるため、 $X 0 (n)$ は直線 $y = x$ に関して線対称であり、 $Φ n (x, x) = 0$ の重根において特異点を持ち、そこで古典的モジュラー曲線は自分自身と交差する。

モジュラー曲線のパラメータ付け

$n = 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 16, 18, 25$ に対しては、 $X 0 (n)$ の種数は 0 である。そのため、有理関数によるパラメータ付けができる[1]。非自明な中で最も単純である例は $X 0 (2)$ であり、

j_{2}(q)=q^{-1}-24+276q-2048q^{2}+11202q^{3}+\cdots =\left({\frac {\eta (q)}{\eta (q^{2})}}\right)^{24}

を (定数項を無視した) モンスター群のクラス 2B の元に対するマッカイ・トンプソン級数（英語版）とし、 $η$ をデデキントのイータ関数としたとき、

x={\frac {(j_{2}+256)^{3}}{j_{2}^{2}}},

y={\frac {(j_{2}+16)^{3}}{j_{2}}}

は $j 2$ の有理関数による $X 0 (2)$ のパラメータ付けである。このパラメータ付けを使う際実際に $j 2$ を計算する必要はない。 $j 2$ の部分は任意のパラメータと見なすことができる。

具体例

これらの具体例は[2]による。

\Phi _{1}(x,y)=x-y

\Phi _{2}(x,y)=(x^{3}+y^{3})-162000(x^{2}+y^{2})+1488xy(x+y)-x^{2}y^{2}+8748000000(x+y)+40773375xy-157464000000000

参考文献

Hecke, Erich (1935), “Die eindeutige Bestimmung der Modulfunktionen q-ter Stufe durch algebraische Eigenschaften”, Mathematische Annalen 111: 293–301, doi:10.1007/BF01472221, https://eudml.org/doc/159776 , reprinted in Mathematische Werke, third edition, Vandenhoeck & Ruprecht, Göttingen, 1983, 568-576
Anthony Knapp, Elliptic Curves, Princeton, 1992
Serge Lang, Elliptic Functions, Addison-Wesley, 1973
Goro Shimura, Introduction to the Arithmetic Theory of Automorphic Functions, Princeton, 1972

^ Bröker, R.; Lauter., K.; Sutherland, A., Modular polynomials via isogeny volcanoes, https://arxiv.org/abs/1001.0402

外部リンク

OEIS sequence A001617 (Genus of modular group Gamma_0(n). Or, genus of modular curve X_0(n))
[3] Coefficients of $X 0 (n)$

[1] Bröker, R.; Lauter., K.; Sutherland, A., Modular polynomials via isogeny volcanoes, https://arxiv.org/abs/1001.0402

[1]

モジュラー曲線の幾何

モジュラー曲線のパラメータ付け

具体例

関連項目

参考文献

外部リンク