j関数の定理を証明するのにmodular formsの知識が必要なので、勉強し始めました。 とりあえず、教科書が届くまではネットのPDFで勉強します。 一般線型群のモジュラー形式 とし、 として、 と定義する。 というのは複素数から実数を取り除いた集合という意味…