20/12/27 16:45:26.87 zL5BD4YR.net
>>182
g*_2(τ)=60G*_4(τ)
g*_3(τ)=140G*_6(τ)
Δ*(τ)=g*_2(τ)^3-27g*_3(τ)^2
J(τ)=(12^3)g*_2(τ)^3/Δ*(τ)
☆補題5.13
(2π)^(-12)Δ*(τ)=q+Σ(n=2～∞)(b_n q^n)
ここで、b_nはすべて整数
☆補題5.14
J(τ)は上半平面上の正則関数である
任意の
(a b)
(c d)∈SL2(Z)について
以下の等式が成り立つ
J((aτ+b)/(cτ+d))=J(τ)