古典的な代数幾何学では、種数-次数公式は、次の式によって 既約平面曲線の次数とその数論的種数を関連付けます。
ここで「平面曲線」とは、射影平面における閉曲線であることを意味する。曲線が非特異であれば、幾何種数と算術種数は等しいが、曲線が特異で、通常の特異点のみを有する場合、幾何種数は小さくなる。より正確には、重複性の通常の特異点は、種数を だけ減少させる。[ 1 ]
楕円曲線は、ワイエルシュトラスの楕円関数によって媒介変数表示されます。これらの媒介変数表示関数は二重周期的であるため、楕円曲線は、辺が貼り合わされた周期平行四辺形、つまりトーラスと同一視できます。したがって、楕円曲線の種数は 1 です。種数-次数公式は、この事実をより高種数の曲線に一般化したものです。基本的な考え方は、より高次の方程式を使用することです。4 次方程式 を考えてみましょう。が小さい非ゼロの場合には、これは非特異曲線になります。しかし、 の場合には、これは既約曲線 (非特異 3 次曲線と直線の和) です。無限遠点を加算すると、3 点で 3 次曲線と交わる直線が得られます。この既約曲線の複雑な図は、3 点で接するトーラスと球面のように見えます。ゼロ以外の値に変更すると、接触点がトーラスと球を接続するチューブに開き、トーラスに 2 つのハンドルが追加され、結果として属数 3 の曲線が生成されます。
一般に、 が次数 の曲線の種数で特異でない曲線である場合、上記と同様に、次数 の曲線と直線の和を - 平滑化することで次数 の特異でない曲線が得られます。直線は 次数 の曲線と点で交わるため、これは 再帰 につながります。この再帰の解は です。
種数-次数公式は随伴公式から証明できる。詳細は随伴公式§曲線への応用を参照のこと。[ 2 ]
数論的種数の射影空間における次の非特異超曲面 の場合、式は次のようになります。
ここでは二項係数です。