ヴォイタ予想
F {\displaystyle F} を数体とし、 X / F {\displaystyle X/F} 非特異代数多様体、 D {\displaystyle D} を X {\displaystyle X} 上の悪くとも正規交叉を持つ有効な因子、 H {\displaystyle H} を X {\displaystyle X} の上の豊富な因子、 K X {\displaystyle K_{X}} を X {\displaystyle X} の標準因子とする。 h H {\displaystyle h_{H}} と h K X {\displaystyle h_{K_{X}}} をヴェイユの高さ函数を選び、 F {\displaystyle F} 上の各々の絶対値 v {\displaystyle v} に対し、局所高さ函数を λ D , v {\displaystyle \lambda _{D,v}} とする。