Jacobian variety
モーデル予想の解決に先立って、はヤコビ多様体の階数が小さいときに、有理点の個数の上界を求める方法を開発し、は実際にいくつかの場合に具体的な上界を得ている。