[論文レビュー] Rational Cuspidal Curves

Torgunn Karoline Moe|arXiv (Cornell University)|Nov 9, 2015

Algebraic Geometry and Number Theory参考文献 16被引用数 13

ひとこと要約

この修士論文は、有理正則曲線（cusp特異点のみをもつ平面有理曲線）を、クレモナ変換と有理ノーマル曲線からの射影を用いて調査する。5次以下の低次の有理正則曲線を分類し、クレモナ写像を用いて構成し、その正則的配置を分析することで、このような曲線が4つを超える正則点をもてないという長年の予想に貢献する。

ABSTRACT

Submission on request. This Master thesis from 2008 (University of Oslo, Norway) contains no new results, but it provides an overview of plane rational cuspidal curves, in particular curves of low degree. Please note that new results on this topic and the related topic of rational cuspidal curves on Hirzebruch surfaces have been published after this thesis was written.

研究の動機と目的

• 代数幾何学における長年の未解決問題である、有理正則曲線上に存在可能な正則点の最大数を調査すること。
• 三次、四次、五次といった低次の有理正則曲線を、幾何学的および双正則的技法を用いて分類すること。
• 高次元の有理ノーマル曲線からの射影を用いて、このような曲線を構成することの探求。
• 特に次数と特異点型に注目して、正則的配置とその不変量の分析。
• 変曲点と双対曲線・ヘッセ曲線の役割を、有理正則曲線の幾何的性質を理解するために検討すること。

提案手法

• 二次的および基本的変換を含むクレモナ変換を用いて、有理正則曲線を構築・分析する。
• 射影空間内の有理ノーマル曲線からの射影技術を適用し、平面に有理正則曲線を生成する。
• グレブナー基底と消去法を用いて、定義多項式、特異点、交差多重度を計算するため、計算代数システム（Singular と Maple）を用いる。
• パラメトライゼーションとイデアル消去を用いて、特異点の数と種別（例：$A_k$-正則点）を計算することで、正則的配置を分析する。
• 与えられた有理正則曲線の双対曲線とヘッセ曲線を分析し、変曲点と幾何的双対性を研究する。
• 射影行列の核とイデアル解法を用いて、直線（射影中心）が曲線、接線包曲面、または包絡曲面と交わるかどうかを検証する。

実験結果

リサーチクエスチョン

• RQ1 有理正則五次曲線上に存在可能な正則点の配置はどのようなものか？
• RQ2 すべての有理正則曲線（次数≤5）はクレモナ変換を用いて構成可能か？
• RQ3 有理正則曲線が有する正則点の最大数は何か？また、4正則点予想は正しいか？
• RQ4 高次元空間内の有理ノーマル曲線からの射影は、平面にどのような有理正則曲線を生成するか？
• RQ5 有理正則曲線の変曲点とそのヘッセ曲線との関係は何か？

主な発見

• すべての有理正則五次曲線はクレモナ変換を用いて構成されており、5次曲線においてはそれらが唯一のものであることが示された。
• 一つの$A_4$-正則点と一つの$A_2$-正則点をもつ二重正則点四次曲線は、パラメトライゼーションにより明示的に構成され、Singular と Maple を用いて検証された。
• 二重正則点四次曲線の射影中心$L$は、3つの超平面の交点として求められ、接線包曲面および包絡曲面との交点が計算された。
• 曲線$C_{ riangle}$と$C_{oxplus}$は特に注目すべき例であり、その幾何的・代数的性質について詳細に分析された。
• 分析により、射影中心$L$が接線包曲面と2点で交わり、第二包絡曲面と3点で交わるが、第三包絡曲面には含まれないことが確認された。
• クレモナ変換を用いた有理正則曲線の構成は、変曲点に関する新たな問いを提起したが、正則点に関する新しい不変量は発見されなかった。