特にformula_16に対応するモジュラー曲線をformula_17、そのコンパクト化をformula_18と書く。