Jacobian variety
"C" を代数体 "K" 上定義された種数 "g" が 2 以上の代数曲線とし、formula_1 を K の代数的閉体とし、"C" のそのヤコビ多様体 "J" への埋め込みを固定し、formula_2 で豊富な対称的因子に付随した "J" 上のネロン・テイトの高さを表す。すると、ある formula_3 が存在し、