数論において、古典的モジュラー曲線とは既約な平面代数曲線であって、方程式
を満たし、点 が曲線の上にあるようなものである。ここで、 は -不変量のことを指す。
この曲線は と呼ばれることもあるが、 という記法はさまざまなモデルを持つような抽象的な代数曲線に対して使われる。関連する対象に、古典的モジュラー多項式という、 で定義される一変数多項式もある。古典的モジュラー多項式という名前は、二変数多項式 を指して使われることもある。
古典的モジュラー曲線はモジュラー曲線の広大な理論の一部分であることに注意されたい。特に、古典的モジュラー曲線は複素上半平面 の商のコンパクト化として表現することもできる。
モジュラー曲線の幾何
古典的モジュラー曲線は と表記される。多項式 は整数係数を持ち、それゆえ任意の体で定義される。しかし、係数は相当に大きく、この曲線に対する計算は難しい場合がある。 係数の に関する多項式としてみると、古典的モジュラー多項式の次数は である。ここで は である。 であるため、 は直線 に関して線対称であり、 の重根において特異点を持ち、そこで古典的モジュラー曲線は自分自身と交差する。
モジュラー曲線のパラメータ付け に対しては、 の種数は 0 である。そのため、有理関数によるパラメータ付けができる。非自明な中で最も単純である例は であり、
を (定数項を無視した) モンスター群のクラス 2B の元に対するとし、 をデデキントのイータ関数としたとき、
は の有理関数による のパラメータ付けである。このパラメータ付けを使う際実際に を計算する必要はない。 の部分は任意のパラメータと見なすことができる。
具体例 これらの具体例はによる。
関連項目 代数曲線 j-不変量 モジュラー曲線 モジュラー関数
参考文献 , 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
外部リンク
Coefficients of