■楕円曲線の群構造(その9)

 多項式関数を含む有理関数は

  f(z)=C(z-a1)・・・(z-an)/(z-b1)・・・(z-bm)

の葉に因数具解させるが,楕円関数は(z-c)の代わりに,テータ関数を使って,たとえば,

  f(z)=Cθ(z-a1)・・・θ(z-an)/θ(z-b1)・・・θ(z-bn)

のように因数分解される.

====================================

[定理]ak,bkをΣak=Σbkを満たす複素数の組とする.このとき

  f(z)=Cθ(z-a1)・・・θ(z-an)/θ(z-b1)・・・θ(z-bn)

は二重周期1とτをもつ楕円関数である.

 テータ関数に関する等式は擬周期性,零点の位置,極の位置を比べることによって証明される.

====================================