種数-次数式

古典的な代数幾何学では、種数-次数公式は、次の式によって 既約平面曲線の次数とその数論的種数を関連付けます。d{\displaystyle d}C{\displaystyle C}グラム{\displaystyle g}

グラム12d1d2{\displaystyle g={\frac {1}{2}}(d-1)(d-2).}

ここで「平面曲線」とは、射影平面における閉曲線であることを意味する。曲線が非特異であれば、幾何種数算術種数は等しいが、曲線が特異で、通常の特異点のみを有する場合、幾何種数は小さくなる。より正確には、重複性の通常の特異点は、種数を だけ減少させる。[ 1 ]C{\displaystyle C}P2{\displaystyle \mathbb {P} ^{2}}r{\displaystyle r}12rr1{\displaystyle {\frac {1}{2}}r(r-1)}

モチベーション

楕円曲線は、ワイエルシュトラスの楕円関数によって媒介変数表示されます。これらの媒介変数表示関数は二重周期的であるため、楕円曲線は、辺が貼り合わされた周期平行四辺形、つまりトーラス同一視できます。したがって、楕円曲線の種数は 1 です。種数-次数公式は、この事実をより高種数の曲線に一般化したものです。基本的な考え方は、より高次の方程式を使用することです。4 次方程式 を考えてみましょう。が小さい非ゼロの場合には、これは非特異曲線になります。しかし、 の場合には、これは既約曲線 (非特異 3 次曲線と直線の和) です。無限遠点を加算すると、3 点で 3 次曲線と交わる直線が得られます。この既約曲線の複雑な図は、3 点で接するトーラスと球面のように見えます。ゼロ以外の値に変更すると、接触点がトーラスと球を接続するチューブに開き、トーラスに 2 つのハンドルが追加され、結果として属数 3 の曲線が生成されます。 y2××1×25y×+ϵ×0。{\displaystyle \left(y^{2}-x(x-1)(x-2)\right)\,(5y-x)+\epsilon x=0.}ε{\displaystyle \varepsilon }ε0{\displaystyle \varepsilon =0}y2××1×25y×0{\displaystyle \left(y^{2}-x(x-1)(x-2)\right)\,(5y-x)=0,}φ{\displaystyle \varphi }

一般に、 が次数 の曲線の種数で特異でない曲線である場合、上記と同様に、次数 の曲線と直線の和を - 平滑化することで次数 の特異でない曲線が得られます。直線は 次数 の曲線と点で交わるため、これは 再帰 につながります。この再帰の解は です。 グラムd{\displaystyle g(d)}d{\displaystyle d}d+1{\displaystyle d+1}ε{\displaystyle \varepsilon }d{\displaystyle d}d{\displaystyle d}d{\displaystyle d}グラムd+1グラムd+d1グラム10。{\displaystyle g(d+1)=g(d)+d-1,\quad g(1)=0.}グラムd12d1d2{\displaystyle g(d)={\frac {1}{2}}(d-1)(d-2)}

証拠

種数-次数公式は随伴公式から証明できる。詳細は随伴公式§曲線への応用を参照のこと。[ 2 ]

一般化

数論的種数射影空間における次の非特異超曲面 の場合、式は次のようになります。 H{\displaystyle H}d{\displaystyle d}Pn{\displaystyle \mathbb {P} ^{n}}g{\displaystyle g}

g=(d1n),{\displaystyle g={\binom {d-1}{n}},\,}

ここでは二項係数です。 (d1n){\displaystyle {\tbinom {d-1}{n}}}

注記

  1. ^センプル、ジョン・グリーンリーズロス、レナード.代数幾何学入門(1985年版).オックスフォード大学出版局. pp.  53– 54. ISBN 0-19-853363-2. MR  0814690 .
  2. ^代数幾何学ロビン・ハーツホーン、Springer GTM 52、 ISBN 0-387-90244-9第5章、例1.5.1

参照

参考文献