ヒーグナー点
また、ν(N) を N の素因子の個数、hK を K の類数とするとき、判別式 DK のヒーグナー点はちょうど 2hK 個だけ存在する。
ヒーグナー点 x から定まる次の点もヒーグナー点と言われる。
J0(N) を X0(N) のヤコビ多様体とする。自然な射 X 0 ( N ) ∋ x ↦ [ x ] − [ ∞ ] ∈ J 0 ( N ) {\displaystyle X_{0}(N)\ni x\mapsto [x]-[\infty ]\in J_{0}(N)} によるヒーグナー点の像もヒーグナー点という。
f をレベル Γ0(N) 重さ2のヘッケ固有新形式(英語版)、Af を f に付随するアーベル多様体とする。自然な射 J0(N) → Af によるヒーグナー点の像もヒーグナー点という。さらに、トレース写像 TrHK/K: Af(HK) → Af(K) によるヒーグナー点の像もヒーグナー点という。