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