モジュラー曲線(5):メイザーの定理

モジュラー曲線というのは、上半平面 を の合同部分群で割ったものとして定義されます。定義からは、明らかに複素解析的な対象に見えると思います。ところが、実はモジュラー曲線は数論的な対象でもあるのです。わかりやすい応用として、楕円曲線の位数有限な点に関する メイザーの定理 があります。定理(メイザーの定理…