21/02/01 07:43:45.30 ZFsykc4D.net
ωのうちで最も重要なのは第１種微分、すなわち極をもたないものである
これらを一斉に積分すると最も重要なJ、つまりヤコビ多様体を得る
これをJacと書く
Jacは>>210の性質3)よりコンパクトな可換代数群、
つまり複素トーラスでなければならないことがわかる。
これは φ:Cv→Jac から引き起こされる
4) φ*:E→R_1(Cv)
（EはJac上の平行移動不変な1形式μの集合、
R_1(Cv)はCv上の極を持たない有理微分ωの集合)
が双射になるように設定する
こうして
dim Jac=dim R_1(Cv)=Cの種数g
となる