代数曲線のソースを表示

[[File:Tschirnhausen cubic.svg|thumb|right|{{仮リンク|チルンハウスの三次曲線|en|Tschirnhausen cubic}}は三次の代数曲線である。]]
[[数学]]における'''代数曲線'''（だいすうきょくせん、{{lang-en-short|''algebraic curve''}}）、特に[[ユークリッド幾何学]]における'''平面代数曲線''' (''plane algebraic curve'') は、[[ユークリッド平面]]内の[[集合|点集合]]であって、各点が適当な二変数[[多項式函数]]の[[函数の零点|零点]]として与えられるものを言う。
* 例えば[[単位円]]は多項式 {{math|''x''<sup>2</sup> + ''y''<sup>2</sup> &minus; 1}} の零点集合となる代数曲線である。 

様々な技術的理由を考慮するならば、多項式の任意の[[複素数|複素]]零点をその曲線上の点とみなした方が都合がよい。同様に、代数曲線の概念も、定義多項式の係数や曲線上の点の座標が任意の[[可換体|体]]に属することも許すように一般化される。[[代数幾何学]]において、体 {{mvar|k}} 上で定義された平面'''アフィン代数曲線''' (''plane affine algebraic curve'') とは、{{mvar|K}} を {{mvar|k}} の適当な[[代数閉体|代数閉拡大体]]として、適当な {{mvar|k}}-係数二元多項式の零点を座標に持つ {{mvar|K}}-平面 {{math|''K''{{msup|2}}}} 内の点すべてからなる集合を言う。この曲線上の点で、{{mvar|k}} に座標を持つものは {{mvar|k}}-有理点 ({{math|''k''}}-point) と総称され、{{mvar|k}}-有理点の全体をこの曲線の {{mvar|k}}-成分 ({{math|''k''}}-part) と呼ぶ。
* 例えば、点 {{math|(2,{{sqrt|&minus;3}})}} は {{math|''x''<sup>2</sup> + ''y''<sup>2</sup> &minus; 1 {{=}} 0}} で定義される曲線上の点であり、通常の単位円はこの曲線の実成分である。ここで、「単位円」というのは実点のみならず任意の複素点に関して言う（ふつうは正確な意味は文脈から明らかなはずである）。方程式 {{math|''x''<sup>2</sup> + ''y''<sup>2</sup> + 1 {{=}} 0}} は実成分が空となるような代数曲線を定義する。

より一般には、平面に含まれない（が、より高次の空間に含まれる）代数曲線というものも考えることができる。平面代数曲線ではない代数曲線は{{仮リンク|非平面曲線|en|skew curve|label=非平面的}}であると言う。もっとも簡単な非平面代数曲線は{{仮リンク|非平面三次曲線|en|twisted cubic}}（三次撓線）である。[[射影空間]]に含まれる代数曲線というものも考えることができるし、もっと言えばどんな[[アフィン空間]]や射影空間へ埋め込まれるかというようなこととは独立した形で代数曲線を定義するさえこともできる。そうして代数曲線の最も一般の定義に達する:

: 「代数幾何学における'''代数曲線'''とは、{{仮リンク|代数多様体の次元|en|Dimension of an algebraic variety|label=一次元}}の[[代数多様体]]のことを言う。」

== ユークリッド幾何学において ==
[[ユークリッド平面]]内の代数曲線とは、二元[[多項式方程式]] {{math|1=''p''(''x'', ''y'') = 0}} の解を座標に持つ点全体からなる集合を言う。「{{mvar|y}} が {{mvar|x}} の函数として陽 (explicit) に定義される」ときの[[函数のグラフ]]として曲線が得られる場合と対照して、この方程式はしばしばこの曲線の'''陰伏方程式'''（あるいはこの方程式がこの曲線を陰 (implicit) に定義する）といわれる（[[陰函数]]の項も参照）。

そのような陰伏的に与えられた曲線に対して、最初の問題は曲線の形を決定して曲線を描くことである。これらの問題は、さまざまな {{mvar|x}} に対して容易に計算できない {{mvar|y}} については、函数のグラフとして陽に得られる場合と比べて容易ではない。定義方程式が多項式であるという事実は、曲線がこれら問題を解決する手助けとなるある種の構造的性質を持つということを意味する。

任意の代数曲線は、有限個の滑らかで単調な[[弧 (幾何学)|弧]]（これをこの曲線の'''枝'''あるいは分枝 (''branches'') と呼ぶ）を適当な点（分点、あるいは「特徴点」("remarkable point") と呼ぶ）で結んだものに一意的に分解することができる。ここに、「単調で滑らかな弧」とは {{mvar|x}}-軸内の[[開区間]]上で定義された[[単調函数|単調]]かつ[[滑らかな函数|滑らか]]な[[函数のグラフ]]となるものである。どちらの方向についても、弧は非有界（無限弧 (''infinite arc'')）となってもよいし、端点を持ってもよい（端点は特異点（後述）でもよいし、何れかの座標軸に平行となってもよい）。

例えば、{{仮リンク|チルンハウスの三次曲線|en|Tschirnhausen cubic}}は、原点 {{math|(0,0)}} を端点に持つふたつの無限弧を持つ。原点はこの曲線上の唯一の特異点である。さらに二つ、原点を一方の端点に持ち、他方の端点は水平接線を持つ点とする有限弧があり、さらに後二つ、水平接線を持つ点を片方の端点とし、曲線上の唯一垂直接線を持つ点をともにもう片方の端点とする有限弧を持つ。他方、[[シヌソイド|正弦曲線]]は明らかに代数曲線ではなく、無限個の単調弧を持つ。

代数曲線を描くためには、分点および分点での接線、無限弧となる枝と（もしあれば）その[[漸近線]]、およびそれら枝の分点での繋がり方などを知ることが重要である。[[変曲点]]も特徴点として考えるのは有効である。これらすべての情報を紙面に描き連ねたとき、曲線の形状はふつうはかなりはっきり見えてくるはずである。もし不足があるのならば、さらにいくつか曲線よく表す点および接線を描き加える。

特徴点およびその接線の計算法は後述。

== 平面射影曲線 ==
[[射影空間]]内の曲線を考える方が望ましいということはしばしばある。[[射影平面]]内の代数曲線、あるいは'''平面射影曲線'''とは、三変数[[斉次多項式]] {{math|1=''P''(''x'', ''y'', ''z'')}} の零点を[[射影座標]]に持つ[[射影平面]]内の点全体の成す集合を言う。

方程式 {{math|1=''p''(''x'', ''y'') = 0}} の定める任意のアフィン代数曲線は、{{mvar|p}} の[[斉次多項式|斉次化]]
: <math>{}^hp(x,y,z)=z^{\deg(p)}p(\tfrac{x}{z},\tfrac{y}{z})</math> 
の定める方程式 {{math|1={{msup|''h''}}''p''(''x'', ''y'', ''z'') = 0}} の定義する射影曲線に完備化することができる。逆に {{math|1=''P''(''x'', ''y'', ''z'') = 0}} が射影曲線を定める斉次方程式ならば、{{math|1=''P''(''x'', ''y'', 1) = 0}} はこの射影曲線上の第三射影座標が零でないような点全体の成すアフィン曲線の方程式になる。これら二つの操作は互いに逆になっている。実際、{{math|1={{msup|''h''}}''p''(''x'', ''y'', 1) = ''p''(''x'', ''y'')}} であり、また {{mvar|p}} が {{math|1=''p''(''x'', ''y'') = ''P''(''x'', ''y'', 1)}} で定義されるものとすれば {{math|1={{msup|''h''}}''p''(''x'', ''y'', ''z'') = ''P''(''x'', ''y'', ''z'')}} が {{mvar|P}} が {{mvar|z}} で割り切れない限り直ちに得られる。
* 例えば、方程式 {{math|1=''x''{{exp|2}} + ''y''{{exp|2}} − ''z''{{exp|2}} = 0}} の定める射影曲線は[[単位円]]の方程式 {{math|1=''x''{{exp|2}} + ''y''{{exp|2}} − 1 = 0}} の射影完備化である。

これにより、アフィン曲線とその射影完備化は同じもの（より精確には、アフィン曲線は射影曲線の中で「完全な」曲線を定めるに十分大きな部分を成している）と看做すことができる。このような観点は、射影完備化の中でアフィン部分に属さない（有限個の）点をアフィン曲線に関する「無限遠点」と呼ぶことによって広く言い表される。

射影曲線はそれ自身しばしば研究の対象となるが、アフィン曲線の研究にも有用である。例えば、{{math|1=''p''(''x'', ''y'')}} がアフィン曲線を定義する多項式ならば、偏微分 {{mvar|p'{{msub|x}}, p'{{msub|y}}}} を持つが、そのほかに'''無限遠における微分''' (''derivative at infinity'')
: <math> p'_\infty(x,y)={}^hp'_z(x,y,1)</math> 
を考えることは有用である。例えば、方程式 {{math|1=''p''(''x'', ''y'') = 0}} のアフィン曲線の点 {{math|(''a'', ''b'')}} における接線の方程式は
: <math>xp'_x(a,b)+yp'_y(a,b)+p'_\infty(a,b)=0</math>
で与えられる。

== 平面曲線の特徴点 ==
{{expand section|date=October 2012}}
{{See also|平面曲線}}
本節では、二元多項式 {{math|''p''(''x'', ''y'')}} の定める平面代数曲線と、{{mvar|p}} の斉次化多項式 {{math|1=''P''(''x'', ''y'', ''z'') = {{msup|''h''}}''p''(''x'', ''y'')}} の定める射影完備化を考える。

=== 直線との交点 ===
曲線に対して、与えられた直線との交点を知ることはしばしば有効である。座標軸との交点や[[漸近線]]との交点は曲線を描くために利用できる。軸に平行な直線との交点を考えれば、曲線の各枝に少なくとも一点を求めることができる。効果的な[[求根アルゴリズム]]が利用できるならば、{{mvar|x}}-軸上の各[[ピクセル|画素]]を通り {{mvar|y}}-軸に平行な任意の直線との交点をプロットすることで曲線を描きだすことが可能になる。

曲線の定義多項式が次数 {{mvar|d}} ならば、任意の直線は高々 {{mvar|d}} 個の点において曲線を横切る。 [[ベズーの定理]]は、代数閉体（例えば[[複素数]]体）上の射影平面の点について調べる限りにおいて、[[重複度]]を込めて数えれば、この数がちょうど {{mvar|d}} 個であることを主張する。以下に述べる計算法はこの単純な場合においてこの定理を再び証明するものである。

多項式 {{mvar|p}} の定義する曲線と、直線 {{math|1=''ax''+''by''+''c'' = 0}} との交点を計算するために、直線の方程式を {{mvar|x}} に関して（{{math|1=''a'' = 0}} のときは {{mvar|y}} について）解く。それを {{mvar|p}} に代入すれば、一元方程式 {{math|1=''q''(''y'') = 0}}（直線を {{mvar|y}} について解いたときは {{math|1=''q''(''x'') = 0}}）を得て、その根は交点の座標の一つを与える。他の座標の値は直線の方程式から求められる。交点の重複度は、対応する根の重複度である。{{mvar|q}} の次数が {{mvar|p}} の次数より低いならば、無限遠点において交点が存在し、そのような無限遠点の重複度は次数の差 {{math|''p'' &minus; ''q''}} で与えられる。

=== 各点の接線 ===
曲線上の各点 {{math|(''a'', ''b'')}} における接線は、陰伏的に定義された任意の[[可微分曲線]]に対すると同様に、方程式 {{math|1=(''x'' &minus; ''a'')''p{{'}}{{msub|x}}''(''a'', ''b'') + (''y'' &minus; ''b'')''p{{'}}{{msub|y}}''(''a'', ''b'') = 0}} の定める直線である。多項式の場合には、より単純な定数項を持ち、より対称性の高い形の接線の公式
: <math>xp'_x(a,b)+yp'_y(a,b)+p'_\infty(a,b)=0</math>
が存在する。ただし、{{math|1=''p{{'}}''{{msub|∞}}(''x'', ''y'') = ''P{{'}}{{msub|z}}''(''x'', ''y'', 1)}} は無限遠における微分である。これら二つの方程式の同値性は[[オイラーの斉次函数定理]]を {{mvar|P}} に適用した結果である。
* {{math|1=''p{{'}}{{msub|x}}''(''a'', ''b'') = ''p{{'}}{{msub|y}}''(''a'', ''b'') = 0}} ならば接線は存在せず、その点は'''特異点'''となる。 

これは直ちに射影曲線の場合にも拡張できる。方程式 {{math|1=''P''(''x'', ''y'', ''z'') = 0}} の定める射影曲線の、[[射影座標]] {{math|(''a'':''b'':''c'')}} の点における接線の方程式は
: <math>xP'_x(a,b,c)+yP'_y(a,b,c)+zP'_z(a,b,c)=0</math>
で与えられ、この曲線上の特異点は
: <math>P'_x(a,b,c)=P'_y(a,b,c)=P'_z(a,b,c)=0</math>
で与えられる（条件 {{math|1=''P''(''a'', ''b'', ''c'') = 0}} は、これらの条件から、オイラーの斉次函数定理により得られる）。

=== 漸近線 ===
代数曲線の各無限枝はその曲線の無限遠点（つまり、その射影完備化の点でアフィン部分に属さない点）に対応する。そして対応する[[漸近線]]はその無限遠点における曲線の接線である。接線に対する一般式を射影曲線に適用することはできるが、今の場合は陽には意味を成さない。

曲線の定義多項式の斉次成分への分解を {{math|1=''p'' = ''p''{{ind|''d''}} + … + ''p''{{ind|0}}}}（各 {{mvar|p{{msub|i}}}} は次数 {{mvar|i}} の単項式の和）と書けば、
: <math>P={}^hp=p_d+zp_{d-1}+\cdots+z^dp_0,</math> 
および
: <math>P'_z(a,b,0) =p_{d-1}(a,b)</math>
である。この曲線の無限遠点は {{mvar|p}} の {{math|(''a'', ''b'', 0)}} の形の零点である。あるいは同じことだが、{{math|(''a'', ''b'')}} が {{mvar|p{{ind|d}}}} の零点である。[[代数学の基本定理]]によれば、[[代数閉体]]（典型的には[[複素数]]体）上では、{{mvar|p{{msub|d}}}} は一次式の積に分解される。各一次の因子は曲線の無限遠点を定義する（{{math|''bx'' − ''ay''}} をそのような因子とすれば、それは無限遠点 {{math|((''a'', ''b'', 0)}} を定義する）。実数体上では、{{mvar|p{{ind|d}}}} は一次式と二次式からなる積に分解される。[[既約多項式|既約]]な二次の因子は非実無限遠点を定義し、一次の因子は実点を定義する。点 {{math|(''a'', ''b'', 0)}} が曲線の無限遠点であることを、{{math|(''a'', ''b'')}} は'''漸近方向'''であると言い表す。{{math|1=''q'' = ''p''{{ind|''d''}}}} と置くと、対応する漸近線の方程式は
: <math>xq'_x(a,b)+yq'_y(a,b)+p_{d-1}(a,b)=0</math> 
となる。{{math|1=''q{{'}}{{msub|x}}''(''a'', ''b'') = ''q{{'}}{{msub|y}}''(''a'', ''b'') = 0}} かつ {{math|''p''{{ind|''d''&minus;1}}(''a'', ''b'') &ne; 0}} ならば漸近線は無限遠直線であり、実係数の場合には曲線は[[放物線]]のように見える枝を持つ。このことを曲線は「放物的な分枝を持つ」と言い表す。

: <math>q'_x(a,b)=q'_y(a,b)=p_{d-1}(a,b)=0</math> 
ならば、曲線は無限遠に特異点を持ち、複数の漸近線を持ち得る。これらは特異点の接錐の計算法によって計算することができる。

=== 特異点 ===
次数 {{mvar|d}} の多項式 {{math|''p''(''x'',''y'')}} の定義する次数 {{mvar|d}} の曲線の特異点の全体は、連立方程式
: <math>p'_x(x,y)=p'_y(x,y)=p(x,y)=0</math>
の解の全体である。[[標数]] {{math|0}} の場合、この方程式系は
: <math>p'_x(x,y)=p'_y(x,y)=p'_\infty(x,y)=0</math>
に同値である。ただし、先の節の記号に従い {{math|1=''p{{'}}''{{msub|∞}}(''x'', ''y'') = ''P{{'}}{{msub|z}}''(''x'', ''y'', 1)}} である。これらの方程式系の同値性は[[オイラーの斉次函数定理]]による。後者の連立方程式では、三つ目の多項式の次数が {{mvar|d}} ではなく {{math|''d'' &minus; 1}} である点で有利である。

同様に、次数 {{mvar|d}} の斉次多項式 {{math|''P''(''x'',''y'',''z'')}} の定義する射影曲線に対し、その特異点は、連立方程式
: <math>P'_x(x,y,z)=P'_y(x,y,z)=P'_z(x,y,z)=0</math>
の{{仮リンク|斉次座標|en|homogeneous coordinates}}に関する意味での解である（正標数の場合には、方程式 {{math|1=''P''(''x'', ''y'', ''z'') = 0}} も系に加える）。

ここから、{{math|''p''(''x'',''y'')}} あるいは {{math|''P''(''x'',''y'',''z'')}} が{{仮リンク|無平方多項式|label=平方因子を持たない|en|Square-free polynomial}} 限りにおいて特異点が有限個であることが導かれる。ゆえに[[ベズーの定理]]により特異点の個数が高々 {{math|(''d'' &minus; 1){{exp|2}}}} となることが従うが、上記の連立方程式は{{仮リンク|過剰決定系|en|Overdetermined system}}であるから、この上界はぎりぎりの評価（上限）ではない。可約多項式も許すならば、上限は {{math|''d''(''d'' &minus; 1)/2}} であり、この値が達成されるのは多項式因子が一次式となるとき、すなわち曲線が {{mvar|d}} 本の直線の合併となるときである。既約曲線および既約多項式に対しては、特異点の数は高々 {{math|(''d'' &minus; 1)(''d'' &minus; 2)/2}} である。これは種数を特異点の言葉で表す公式（後述）による。最大値は、種数 {{math|0}} の曲線で全ての特異点が重複度 {{math|2}} かつ接線が相異なるようなものによって達成される。

特異点における接線の方程式は、その特異点における定義多項式の[[テイラー級数]]の次数最小の非零斉次成分によって与えられる。特異点を座標系の原点に取り直すとき、その特異点における接線の方程式は、従って定義多項式の次数最小の非零斉次成分で与えられ、この斉次成分の次数が特異点の重複度になる。

== 非&shy;平面代数曲線 ==
「代数曲線は{{仮リンク|代数多様体の次元|en|dimension of an algebraic variety|label=一次元}}の[[代数多様体]]である」というのは、{{mvar|n}}-次元[[アフィン空間]]内の'''アフィン曲線'''が少なくとも {{math|''n'' &minus; 1}} 本の {{mvar|n}}-変数多項式によって定義されることを含意する。曲線が定まるためにはそれらの多項式が[[クルル次元]] {{math|1}} の[[素イデアル]]を生成しなければならない。この条件を実際の場面において確かめるのは容易ではない。そこで以下のように非平面曲線を表現する方法はしばしば有効である。

{{math|''f'', ''g''{{ind|0}}; ''g''{{ind|3}}, …, ''g{{ind|n}}''}} は {{math|''n'' − 1}} 本の二変数 {{math|''x''{{ind|1}}, ''x''{{ind|2}}}} に関する多項式で {{mvar|f}} は既約とする。{{mvar|n}}-次元アフィン空間内の点でその座標が以下の等式および非等式
: <math>\begin{align}
&f(x_1,x_2)=0,\quad g_0(x_1,x_2)\neq 0;\\
&x_3=\frac{g_3(x_1,x_2)}{g_0(x_1,x_2)},\ldots,x_n=\frac{g_n(x_1,x_2)}{g_0(x_1,x_2)}
\end{align}</math>
を満足するものの全体は、適当な代数曲線の[[補有限|有限個の例外を除く]]全ての点を表す。この曲線は、適当な整数 {{mvar|k}} をとれば {{math|{{subsup|''g''|0|''k''}}''h''}} が {{math|''f'', ''x''{{ind|3}}''g''{{ind|0}} &minus; ''g''{{ind|3}}, …, ''x''{{ind|''n''}}''g''{{ind|0}} &minus; ''g''{{ind|''n''}}}} の生成するイデアルに入るような多項式 {{mvar|h}} たちの成すイデアルの生成系によって定義される。この表現は {{mvar|f}} が定義する平面曲線と曲線の間の{{仮リンク|有理同値|en|rational equivalence}}である。任意の代数曲線をこの方法で表現できるが、最初の二つの変数への[[射影作用素|射影]]がほとんど常に一対一 (injective) であるようにするために一次の変数変換が必要となることもある。変数変換が必要となるとき、それが無限体上定義されている限り直ちに、ほとんど全ての変換が有効である。

この表現により、非平面代数曲線の任意の性質（例えばそれを図示することなど）を、その平面射影に対する対応する性質から容易に演繹することが可能となる。

陰伏方程式によって定義される曲線に対する上記の表示は、最小の変数ブロックが {{math|(''x''{{ind|1}}, ''x''{{ind|2}})}} となる[[単項式順序|消去順序]]に対する[[グレブナー基底]]から容易に演繹できる。まず、多項式 {{mvar|f}} はこの基底の中で {{math|''x''{{ind|1}}, ''x''{{ind|2}}}} のみに依存する唯一の多項式である。{{math|1=''i'' = 3, …, ''n''}} に対して、函数 {{math|''g{{ind|i}}''/''g''{{ind|0}}}} はこの基底の {{mvar|''x''{{ind|''i''}}}} に関して一次かつ {{math|''x''{{ind|1}}, ''x''{{ind|2}}, ''x''{{ind|''i''}}}} のみに依存する多項式を選ぶことで得られる。そのようなものが選べない場合というのは、その方程式が代数多様体ではない[[代数多様体|代数的集合]] を定めているか、代数多様体を定めるが一次元でない場合か、座標を取り直す必要があるかの何れかである。この最後の場合というのは、{{mvar|f}} が一意に存在して、{{math|1=''i'' = 3, …, ''n''}} に対して先頭単項式が {{math|''x''{{ind|1}}, ''x''{{ind|2}}, ''x''{{ind|''i''}}}} のみに依存する単項式が取れるときに起きる。

== 代数函数体 ==
代数曲線の研究は[[既約成分|既約]]代数曲線（より小さな曲線の合併として表すことができない曲線）の研究に還元される。[[双有理同値]]の[[違いを除いて]]、体 {{mvar|F}} 上の既約曲線全体の成す圏は {{mvar|F}} 上の一変数[[代数多様体の函数体|代数函数体]]全体の成す圏に[[圏同値]]である。そのような代数函数体は、{{mvar|F}} 上[[超越元|超越的な元]] {{mvar|x}} を含む {{mvar|F}} の[[拡大体]] {{mvar|K}} であって、{{mvar|x}} を不定元とする {{mvar|F}} 上の有理函数体 {{math|''F''(''x'')}} の有限次代数拡大となっているようなものである。

例えば、複素数体 {{math|'''C'''}} を考えると、その上に {{math|'''C'''}}-係数有理函数体 {{math|'''C'''(''x'')}} が定義できる。{{math|1=''y''{{exp|2}} = ''x''{{exp|3}} − ''x'' − 1}} とすれば、体 {{math|'''C'''(''x'', ''y'')}} は[[楕円函数|楕円函数体]]である。元 {{mvar|x}} は一意に決まるものではなく、例えばいま挙げた例を {{math|'''C'''(''y'')}} の拡大体と看做すことも可能である。この函数体に対応する代数曲線は、単純に {{math|1=''y''{{exp|2}} = ''x''{{exp|3}} − ''x'' − 1}} を満たす点 {{math|(''x'', ''y'') &isin; '''C'''{{msup|2}}}} 全体の成す集合である。

{{mvar|F}} が[[代数閉体]]でない場合には、函数体を考える視点のほうが点の軌跡を考える視点よりも少しだけ一般である（これは例えば、点が一つも載っていない「曲線」なども考えるからである）。例えば、係数体 {{mvar|F}} が実数体 {{math|'''R'''}} であるとき、{{math|1=''x''{{exp|2}} + ''y''{{exp|2}} = −1}} は {{math|'''R'''(''x'')}} の代数拡大体を定義するが、対応する曲線は {{math|'''R'''{{msup|2}}}} の部分集合と見れば点を持たない。方程式 {{math|1=''x''{{exp|2}} + ''y''{{exp|2}} = −1}} は、[[概型|スキーム]]の意味での {{math|'''R'''}} 上の既約代数曲線（{{math|'''R'''}} 上{{仮リンク|スキーム論の用語一覧|en|Glossary of algebraic geometry|label=有限型の、整かつ分離的な一次元スキーム}}）を定義する。この意味において、{{mvar|F}} 上の既約代数曲線の全体（を双有理同値で割ったもの）と {{mvar|F}} 上の一変数代数函数体の全体との間の一対一対応は、一般に成立する。 

曲線としては同型でない二つの曲線が双有理同値となる（つまり同型な函数体を持つ）ことが起こり得る。この状況は非特異（つまり如何なる特異点も持たない）曲線を扱うときには簡単になる。すなわち、体上の二つの非特異射影曲線が同型となるための必要十分条件は、それらの函数体が同型となることである。

{{仮リンク|曾の定理|en|Tsen's theorem}}は代数閉体上の代数曲線の函数体に関するものである。

== 複素曲線と実曲面 ==
複素射影代数曲面が存在する {{mvar|n}}-次元複素射影空間 {{math|'''CP'''{{msup|''n''}}}} は、（複素次元は {{mvar|n}} だが）実[[位相多様体|多様体]]として位相次元 {{math|2''n''}} の[[コンパクト空間|コンパクト]][[連結空間|連結]]かつ[[向き付け可能性|向き付け可能]]な多様体である。複素代数曲線も同様に位相次元は {{math|2}}、つまり[[曲面]]になる。 

この曲面の[[種数|位相的種数]]（つまりハンドル体やドーナツ穴の数）は、代数曲線の[[幾何種数]]に等しく、代数的な意味で計算することができる。要するに、[[多項式の次数|次数]] {{mvar|d}} の非特異曲線の平面射影を考えるとき、常特異点（相異なる接線を持つ重複度 {{math|2}} の特異点）しか持たないならば、その種数は {{math|(''d'' &minus; 1)(''d'' &minus; 2)/2 &minus; ''k''}} となる。ただし、{{mvar|k}} はそのような特異点の数とする。

=== コンパクトリーマン面 ===
リーマン面とは複素一次元の連結な複素解析的多様体のことであり、これを連結な実二次元多様体と看做すことができる。リーマン面がコンパクトであるとは、それが[[コンパクト空間|位相空間としてコンパクト]]となるときに言う。

{{math|'''C'''}} 上の非特異既約射影代数曲線の全体が（定数でない[[多様体の射|正則写像]]を射として）成す圏、コンパクトリーマン面の全体が（定数でない[[正則函数|正則写像]]を射として）成す圏、{{math|'''C'''}} 上の一変数[[代数函数体]]の全体（が {{math|'''C'''}} を固定する体準同型を射として）成す圏の[[反対圏]]の三者の間には[[圏同値]]が存在する。これは、この三つの主題を研究するにあたって、そのうちの一つについて知ることはほかの二つにおいても同じであることを意味する。これにより、代数幾何学において複素解析的手法を用いたり、複素解析において代数幾何学的手法を用いたり、両方において体論的手法を用いたりすることができるようになる。これは代数幾何学におけるかなり広範なクラスの問題の持つ特徴である。
{{seealso|代数幾何学と解析幾何学|l1=GAGA}}

== 特異点 ==
内在的な[[接空間]]の概念を用いて、代数曲線上の点 {{mvar|P}} を非特異（滑らか）か[[曲線の特異点|特異]]かに分類することができる。{{math|''n'' − 1}} 本の {{math|''n'' + 1}} 変数多項式が与えられたとき、全ての偏微分からなる {{math|(''n'' &minus; 1)×(''n'' + 1)}} 行列として[[ヤコビ行列]]を得ることができる。この[[行列の階数]]が {{math|''n'' &minus; 1}} ならば、これら多項式は代数曲線を定義する（さもなくばより高次元の代数多様体を定義する）。このヤコビ行列を曲線上の点 {{mvar|P}} において評価したものがやはり階数 {{math|''n'' − 1}} となるならば、その点 {{mvar|P}} は'''滑らか'''あるいは正則点であるといい、さもなくば {{mvar|P}} は'''特異'''あるいは[[臨界点 (数学)|臨界点]]と呼ぶ。特に、考える曲線が一本の斉次多項式方程式 {{math|1=''f''(''x'',''y'',''z'') = 0}} で定義された平面射影代数曲線のとき、その特異点とは {{math|1×(''n'' + 1)}} ヤコビ行列の階数が零、すなわち
: <math>\frac{ \partial f }{ \partial x }(P)=\frac{ \partial f }{ \partial y }(P)=\frac{ \partial f }{ \partial z }(P)= 0</math>
を満たす点 {{mvar|P}} のことに他ならない。{{mvar|f}} は多項式であるから、この定義は純代数的であり、体 {{mvar|F}} の持つ特性については何も仮定する必要はない（特に {{mvar|F}} が実数体や複素数体である必要はない）。もちろん、点 {{math|(0, 0, 0)}} はこの曲線上の点ではなく、したがって特異点でもないことを断っておく。

同様に、一つの多項式方程式 {{math|1=''f''(''x'', ''y'') = 0}} で定義されたアフィン代数曲線に対して、その特異点はちょうど {{math|1 &times; ''n''}} ヤコビ行列の階数が零、すなわち
: <math>f(P)=\frac{ \partial f }{ \partial x }(P)=\frac{ \partial f }{ \partial y }(P)=0</math>
を満たす点 {{mvar|P}} で与えられる。曲線の特異点は双有理不変ではないが、曲線の特異点の位置を特定して分類することは、双有理不変量である[[幾何種数]]を計算する一つの方法である。これをうまく行うには、曲線を射影的に考え、曲線に属する全ての特異点が考慮されるために {{mvar|F}} が代数閉体であることを仮定しなければならない。 

=== 特異点の分類 ===
[[File:Cusp.svg|thumb|right|曲線 {{math|''x''{{exp|3}} {{=}} ''y''{{exp|2}}}}]]
特異点には、曲線がそこで自己交叉を持つ'''多重点'''や、例えば方程式 {{math|1=''x''{{exp|3}} = ''y''{{exp|2}}}} の表す曲線の {{math|(0, 0)}} に見るような様々な種類の'''尖点'''がある。

曲線 {{mvar|C}} は高々有限個の特異点を持つ。特異点の数が零ならば、曲線は'''滑らか'''あるいは'''非特異'''であると言う。一般的には、この定義は[[代数閉体]]上で {{mvar|C}} が[[射影空間]]にあるとき（つまり、代数幾何学的な意味で「完備」のとき）にいうものと理解される。例えば、方程式 {{math|1=''y'' &minus; ''x''{{exp|3}} = 0}} の定める曲線は特異曲線で、無限遠点に特異点（尖点）を持つものと考える。

特異点は幾つかの不変性の意味で分類される。多重点 {{mvar|P}} の重複度 {{mvar|m}} は、{{mvar|P}} において {{mvar|f}} の {{math|''m'' &minus; 1}} 階までの微分係数がすべて消えているような最大の整数として定義される（曲線の、{{mvar|P}} における直線との間の[[交点数 (代数幾何学)|交点数]]の最小値としても定義できる）。直観的に、特異点がデルタ不変量 {{math|δ}} を持つのは、それが {{mvar|P}} において {{math|δ}} 個の常二重点が寄り集まったときに起きる。これをより精確にするには、[[ブローアップ (数学)|ブローアップ]]の過程を施していわゆる{{仮リンク|無限に近い点|en|Infinitely near point}}を作り出し、各無限に近い点の重複度を {{math|m}} とするときの {{math|''m''(''m'' &minus; 1)/2}} を全ての無限に近い点に関して足し上げたものが {{math|δ}} である。既約かつ被約曲線および点 {{mvar|P}} に対して、{{math|δ}} を <math>\widetilde{\mathcal{O}}_P / \mathcal{O}_P</math> の長さとして代数的に定義することができる。ただし、<math>\mathcal{O}_P</math> は {{mvar|P}} における局所環であり、<math>\widetilde{\mathcal{O}}_P</math> はその整閉包である<ref>Hartshorne, Algebraic Geometry, IV Ex. 1.8.</ref>。

特異点の[[ミルナー数]] {{math|μ}} は半径 {{math|ε}} の小球上で定義された写像 {{math|{{sfrac|grad&thinsp;''f''(''x'',''y'')|{{abs|grad&thinsp;''f''(''x'',''y'')}}}}}} の写像度（連続写像の位相的な[[写像度]]）に一致する。ここに {{math|grad&thinsp;''f''}} は {{mvar|f}} の（複素）[[勾配 (ベクトル解析)|勾配]]ベクトル場である。{{仮リンク|ミルナー&ndash;ユングの公式|en|Milnor-Jung formula}}:
: {{math|size=larger|1=μ = 2δ − ''r'' + 1}}
は {{math|μ}} と {{math|δ}} および {{mvar|r}} を結びつける。ここに点 {{mvar|P}} における分岐数 {{mvar|r}} は、{{mvar|P}} における局所既約な分子の数を言う。例えば、常尖点において {{math|1=''r'' = 1}} であり常二重点において {{math|1=''r'' = 2}} である。{{math|m}} が必ず {{mvar|r}} 以上であり、{{mvar|P}} が特異であるための必要十分条件が {{math|m}} が {{math|2}} 以上となること、さらに言えば {{math|δ}} は {{math|''m''(''m'' - 1)/2}} 以上であることを注意しておく。

全ての特異点におけるデルタ不変量を計算することで、曲線の種数 {{mvar|g}} を決定することができる。すなわち、曲線の次数を {{mvar|d}} とすれば
: <math>g = \frac{1}{2}(d-1)(d-2) - \sum_P \delta_P</math>
が成り立つ。ここに和は平面複素射影曲線の特異点 {{mvar|P}} すべてに亙ってとる。これを{{仮リンク|種数公式|en|genus formula}}という。

特異点に不変量 {{math|[''m'', δ, ''r'']}}（{{mvar|m}}: 重複度、δ: デルタ不変量、{{mvar|r}}: 分岐数）を割り当てるものとすると、常尖点は不変量 {{math|[2,1,1]}} を持つ点であり、常二重点は不変量 {{math|[2,1,2]}} を持つ点であり、常 {{mvar|m}}-重点は不変量 {{math|[''m'', ''m''(''m''−1)/2, ''m'']}} を持つ点である。

== 曲線の例 ==
=== 有理曲線 ===
'''有理曲線'''（一筆書き曲線とも言う）は直線に[[双有理同値]]な任意の曲線の総称である（ここに直線は射影直線の意味にとるものとする）。従って、この曲線の函数体を一変数有理函数体 {{math|''F''(''x'')}} と同一視することができる。{{mvar|F}} が代数閉体ならば、これは[[種数]] {{math|0}} の曲線に同値である。しかし、実代数多様体 {{math|1=''x''{{exp|2}} + ''y''{{exp|2}} = −1}} 上で定義された実代数函数全体の成す体は、種数 {{math|0}} の体ではあるが、有理函数体でない。 

逆に任意の体 ''F'' 上の種数0の曲線は、その体上に一点でも点をもつならば射影直線 '''P'''<sup>1</sup>(''F'') に双有理同値である。実際、代数曲線 ''C'' の[[因子 (代数幾何学)#代数曲線の因子|因子]] ''D'' に対し、曲線上の有理関数 ''f'' で <math>(f)+D\geq 0</math> となるもの全体のなすベクトル空間の次元を <math>l(D)</math> とかくと[[代数曲線に対するリーマン–ロッホの定理]]より ''l''(''D'')=deg(''D'')+1 がつねに成り立つ。特に任意の点 ''P'' に対し ''l''(''P'')=2 であるから
<math>(f)+(P)\geq 0</math> となる、定数関数でない有理関数 ''f'' が存在する。''f'' は ''P'' で位数1の極をもち、それ以外の極をもたない。よって任意の定数 ''c'' に対し ''f''-''c'' も ''P'' で位数1の極をもち、それ以外の極を持たないので、 ''f''-''c'' はただ一つの零点を持つ。よって ''f'' は無限大を含むすべての値を一度ずつとるので、''f'' は ''C'' と射影直線の1対1対応を与える<ref>{{harvtxt|Swinnerton-Dyer|1971|pp=5-6}}</ref>。

具体的に、{{mvar|F}} 上 {{mvar|n}} 次元の有理曲線は、一つの助変数 {{mvar|t}} によって定義された {{mvar|n}} 本の有理函数からなるという意味において、（孤立した例外点を除いて）パラメータ付けすることができる。分母を払って、これらの有理函数を射影空間内の {{math|''n'' + 1}} 本の多項式函数にすることができる。一つの例が{{仮リンク|有理正規曲線|en|rational normal curve}}である。

{{mvar|F}} 上定義された {{mvar|F}}-[[有理点]]を持つ任意の[[円錐曲線]]は有理曲線である。これは有理点を通る傾き {{mvar|t}} の直線を描くことによりパラメータ付けすることができ、交線は平面二次曲線になる。これは {{mvar|F}}-有理係数の多項式と一つの {{mvar|F}}-有理根をあたえるから、ほかの根もまた {{mvar|F}}-有理根（つまり {{mvar|F}} に属する）である。

[[File:Rotated ellipse.svg|thumb|right|{{math|1=''x''{{exp|2}} + ''xy'' + ''y''{{exp|2}} = 1}}]]
例えば、楕円 {{math|1=''x''{{exp|2}} + ''xy'' + ''y''{{exp|2}} = 1}} は {{math|(−1, 0)}} を有理点に持つ。{{math|(−1,0)}} から傾き {{mvar|t}} の直線 {{math|1=''y'' = ''t''(''x'' + 1)}} を描いて、楕円の方程式に代入し、因数分解して {{mvar|x}} について解けば
: <math>x = \frac{1-t^2}{1+t+t^2}</math>
を得る。従って方程式から {{mvar|y}} は
: <math>y=t(x+1)=\frac{t(t+2)}{1+t+t^2}</math>
と書けて、これらがこの楕円の有理媒介変数表示を定めるから、この楕円が有理曲線であることが示された。これによりこの楕円上の全ての点が、{{math|1=''t'' = ∞}} に対応する点 {{math|(−1,1)}} を除いて与えられる。従って、曲線全体は実射影直線によってパラメータ付けられている。

このような有理媒介変数表示は、初めの方の射影座標はこの媒介変数表示の分子と等しいと置き、最後の座標は表示の共通分母ととることにより[[射影空間]]内で考えることができる。この助変数が射影直線上定義されているのと同じく、この助変数に関する各多項式も[[斉次多項式|斉次化]]を考えるべきである。つまり、例えば上記の楕円に関する射影的媒介元数表示は
: <math>X=U^2-T^2,\quad Y=T\,(T+2\,U),\quad Z=T^2+TU+U^2</math>
となる。これら方程式から {{mvar|T}} と {{mvar|U}} を{{仮リンク|消去論|en|Elimination theory|label=消去}}すれば、楕円の射影的方程式
: <math>X^2+X\,Y+Y^2=Z^2</math>
が回復される（この式自体は上記の楕円の方程式を斉次化すれば直接に得られる）。

{{仮リンク|曲線の一覧|en|list of curves}}に挙げられている多くの曲線が有理曲線であり、したがって同様の有理媒介変数表示を持つ。

=== 楕円曲線 ===
[[楕円曲線]]を[[有理点]]を持つ[[種数]] {{math|1}} の任意の曲線として定義することができる。よく用いられるモデルは非特異{{仮リンク|平面三次曲線|en|Cubic plane curve}}で、これは種数 {{math|1}} の任意の曲線のモデルとして十分である。

種数1の曲線 ''E'' の任意の体 ''F'' 上の点 ''P'' に対し、上と同様に[[代数曲線に対するリーマン–ロッホの定理]]より、''n'' &gt; 0 ならば ''l''(''nP'') = ''n'' が成り立つ。よって <math>(X)+2(P)=0, (Y)+3(P)=0</math> となる有理関数 ''X'', ''Y'' がとれる。このとき7つの有理関数 <math>1, X, Y, X^2, XY, Y^2, X^3</math> はいずれも ''P'' において高々位数6の極をもち、その他の極をもたないから ''L''(6''P'') に属する。しかし ''l''(6''P'')=6 であるから、これらの7つの有理関数は線型従属である。したがって
: <math>b Y^2+b_1 XY+b_3 Y=b_0 X^3+b_2 X^2+b_4 X+b_6</math>
となる <math>b, b_0, b_1, \ldots, b_6</math> が存在する。ここで ''b'', ''b''<sub>0</sub> のどちらかが0ならばこれは有理曲線を表すから、 ''b'', ''b''<sub>0</sub> はいずれも0ではない。よって ''X'' を何倍かしてテイト&ndash;ヴァイアシュトラス形
: <math>Y^2+a_1 XY+a_3 Y=X^3+a_2 X^2+a_4 X+a_6</math>
を得る。<math>Y=y/z, X=x/z</math> とおくことで射影的に
: <math>y^2z + a_1 xyz + a_3 yz^2 = x^3 + a_2 x^2z + a_4 xz^2 + a_6 z^3</math>
とあらわすことができる。
したがって、種数1の曲線は体 ''F'' 上に一点でも点をもつならば、 ''F'' 上、平面3次曲線に双有理同値であり、このモデルにおいて、共通して識別点 (distinguished point) を無限遠にある変曲点にとることができる<ref>{{harvtxt|Swinnerton-Dyer|1971|pp=6-7}}</ref>。

楕円曲線には、識別点を群演算の単位元とする[[アーベル群]]の構造を入れることができる。平面三次曲線モデルにおいて、この群構造に関する意味での三点の和が零となるための必要十分条件は、それら三点が[[共線性|共線]]である（つまり同一直線上にある）ことである。複素数体上定義された楕円曲線に対して、この群は複素数平面を対応する[[楕円函数]]の{{仮リンク|周期の基本対|en|Fundamental pair of periods|label=周期格子}}で割った加法群に同型になる。

二つの[[二次曲面]]の交わりは、一般に種数 {{math|1}} かつ次数 {{math|4}} の非特異曲線、従ってそれが有理点を持つとき楕円曲線となる。特別の場合には、交線は有理特異四次曲線にもなり得るし、必ずしも相異ならないより小さい次数の曲線（三次曲線と直線、二つの円錐曲線、円錐曲線と二つの直線、四つの直線）に分解されることもある。

=== 種数 1 より大きな曲線 ===
{{math|1}} より大きな[[種数]]を持つ曲線は有理曲線とも楕円曲線とも著しく異なる。有理数体上定義されたそのような曲線は、[[ファルティングスの定理]]により有理点を有限個しか持たず、またそのような曲線は[[双曲幾何学|双曲幾何]]構造を持つものと見ることができる。例として、[[超楕円曲線]]、{{仮リンク|クラインの四次曲線|en|Klein quartic}}、{{仮リンク|フェルマー曲線|en|Fermat curve}} {{math|1=''x''{{exp|''n''}} + ''y''{{exp|''n''}} = ''z''{{exp|''n''}}}} ({{math|''n'' &ge; 3}}) などが挙げられる。

== 関連項目 ==
===古典代数幾何学===
{{colbegin||25em}}
* [[曲線]]
* {{仮リンク|曲線の一覧|en|List of curves}}
* {{ill2|曲線の概形の決定|en|Curve sketching}}（曲線追跡）
* {{仮リンク|クラインの四次曲線|en|Klein quartic}}
* {{ill2|結節点 (曲線の特異点)|en|Crunode}}
* {{ill2|孤立点 (曲線の特異点)|en|Acnode}}
* {{仮リンク|代数曲線に関するクラメルの定理|en|Cramer's theorem (algebraic curves)}}
* [[超楕円曲線]]
* {{仮リンク|ヒルベルト第十六問題|en|Hilbert's sixteenth problem}}
* {{仮リンク|平面三次曲線|en|Cubic plane curve}}
* [[ベズーの定理]]
* [[ヤコビ多様体]]
{{colend}}

===現代代数幾何学===
{{colbegin||25em}}
* {{仮リンク|ウェーバーの定理|en|Weber's theorem}}
* [[円錐曲線]]
* [[函数体 (スキーム論)]]
* [[種数]]
* [[双有理幾何学]]
* [[代数曲線に対するリーマン&ndash;ロッホの定理]]
* [[代数多様体の函数体]]
* [[楕円曲線]]
* {{ill2|多項式レムニスケート|en|Polynomial lemniscate}}（多項式等位線）
* {{仮リンク|平面四次曲線|en|Quartic plane curve}}
* [[分数イデアル]]
* {{仮リンク|有理正規曲線|en|Rational normal curve}}
{{colend}}

===リーマン面の幾何学===
{{colbegin||25em}}
* [[リーマン・フルヴィッツの公式]]
* [[リーマン面]]
* [[リーマン面に対するリーマン&ndash;ロッホの定理]]
{{colend}}

== 脚注 ==
{{脚注ヘルプ}}
{{Reflist}}

== 参考文献 ==
{{Commons category|Algebraic curves}}
* Egbert Brieskorn and [[Horst Knörrer]], ''Plane Algebraic Curves'', [[John Stillwell]], translator, [[Birkhäuser]], 1986
* [[Claude Chevalley]], ''Introduction to the Theory of Algebraic Functions of One Variable'', [[American Mathematical Society]], Mathematical Surveys Number VI, 1951
* Hershel M. Farkas and Irwin Kra, ''Riemann Surfaces'', Springer, 1980
* {{citation | first= W. | last= Fulton | title= Algebraic Curves: an introduction to algebraic geometry | url= http://www.math.lsa.umich.edu/~wfulton/CurveBook.pdf | format=PDF}}
* C.G. Gibson, ''Elementary Geometry of Algebraic Curves: An Undergraduate Introduction'', [[Cambridge University Press]], 1998.
* [[Phillip A. Griffiths]], ''Introduction to Algebraic Curves'', Kuniko Weltin, trans., American Mathematical Society, Translation of Mathematical Monographs volume 70, 1985 revision
* [[Robin Hartshorne]], ''Algebraic Geometry'', Springer, 1977
* [[Shigeru Iitaka]], ''Algebraic Geometry: An Introduction to the Birational Geometry of Algebraic Varieties'', Springer, 1982
* [[John Milnor]], ''Singular Points of Complex Hypersurfaces'', [[Princeton University Press]], 1968
* [[George Salmon]], ''Higher Plane Curves'', Third Edition, G. E. Stechert & Co., 1934
* [[Jean-Pierre Serre]], ''Algebraic Groups and Class Fields'', Springer, 1988
* {{cite book | first1=H. P. F. | last1=Swinnerton-Dyer | title=Applications of algebraic geometry to number theory | series=1969 Number theory institute, Proceedings of Symposia in Pure Mathematics | volume=20 | publisher=American Mathematical Society | year=1971 | pages=1–52 | isbn=978-0-8218-9306-7 | doi=10.1090/pspum/020 | MR=0337951 | ref=harv }}
* {{citation| first= Claire | last= Voisin | title=LECTURES ON THE HODGE AND GROTHENDIECK–HODGE CONJECTURES|url=http://seminariomatematico.dm.unito.it/rendiconti/69-2/149.pdf|format=PDF}}; {{citation | title= ANTICANONICAL DIVISORS AND CURVE CLASSES ON FANO MANIFOLDS | url= http://www.math.polytechnique.fr/~voisin/Articlesweb/fano-hodge.pdf|format=PDF}}; {{citation | title= Hodge theory and complex algebraic geometry 1 | url= http://librarum.org/book/1074/134}}; {{citation | title= Green's canonical syzygy conjecture for generic curves of odd genus | url= http://www.math.polytechnique.fr/~voisin/Articlesweb/syzod.pdf|format=PDF}}; {{citation | title= Green’s generic syzygy conjecture for curves of even genus lying on a K3 surface | url= http://www.math.polytechnique.fr/~voisin/Articlesweb/syzy.pdf | format=PDF}}
* [[Montserrat Teixidor i Bigas]] {{citation | title= ON A CONJECTURE OF LANGE | url= http://www.academia.edu/419227/On_a_Conjecture_of_Lange}}; {{citation | title= Moduli spaces of vector bundles on reducible curves | url= http://www.math.ucdavis.edu/~osserman/math/montserrat-Clay.pdf | format=PDF}}; {{citation | title= Green’s Conjecture for the generic r-gonal curve of genus g ¸ 3r ¡ 7'' | url= http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.dmj/1087575039}}
* {{cite journal| author=[[Ernst Kötter]]| title=Grundzüge einer rein geometrischen Theorie der algebraischen ebenen Kurven (Fundamentals of a purely geometrical theory of algebraic plane curves)| journal=Transactions of the [[Royal Academy of Berlin]]| year=1887}} &mdash; gained the 1886 Academy prize<ref>{{cite journal| author=Norman Fraser| title=Kötter's synthetic geometry of algebraic curves| journal=Proceedings of the Edinburgh Mathematical Society|date=Feb 1888| volume=7| pages=46-61| url=http://journals.cambridge.org/action/displayFulltext?type=1&fid=3146652&jid=PEM&volumeId=7&issueId=-1&aid=3131388&bodyId=&membershipNumber=&societyETOCSession=}} Here: p.46</ref>
----
{{reflist}}

{{Algebraic curves navbox}}
<!--{{Curves}}-->

{{Normdaten}}
{{デフォルトソート:たいすうきよくせん}}
[[Category:代数曲線|*]]
[[Category:数学に関する記事]]