ヤコビ多様体
ヤコビ多様体 J の次元は C の種数 g と等しい。