[論文レビュー] An algorithm to compute plane algebraic curves

Carlos Rito|arXiv (Cornell University)|Jun 18, 2009

Algebraic Geometry and Number Theory参考文献 4被引用数 1

ひとこと要約

本稿では、非通常の特異点をもつ線形系および指定された特異点を持つ曲線を支持する点の系を対象とし、Magma を用いた特異平面代数曲線を計算するためのアルゴリズムを提示する。この手法により、一般型の曲面で pg = 0 かつ K² = 7 を満たす新しい曲面の構成が可能となり、代数幾何学研究における有用性が示された。

ABSTRACT

This paper contains an algorithm, implemented in Magma, to compute singular plane algebraic curves. Two Magma functions are given: one computes linear systems of curves with non-ordinary singularities and the other computes a scheme of points such that there is a given degree plane curve with given singularities at these points. Some examples are presented so that the reader can quickly learn how to use the algorithm. One of them provides the construction of a new surface of general type with pg = 0 and K 2 = 7.

研究の動機と目的

• 指定された特異点、特に非通常の特異点をもつ平面代数曲線を計算するアルゴリズムの開発。
• 非通常の特異点をもつ曲線の線形系を扱う関数と、このような曲線を支持する点の系を扱う関数の2つの Magma 関数の実装。
• アルゴリズムの使用を説明する実用的な例の提供、特に一般型曲面の構成を含む。
• 特異平面曲線およびそのモジュライの研究に従事する代数幾何学者のための計算ツールの貢献。

提案手法

• アルゴリズムは、所定の非通常の特異点をもつ平面曲線の線形系を計算するための計算代数幾何学的手法を用いる。
• 与えられた次数の平面曲線が特定の点に指定された特異点をもてるような点の系を構成する。
• 特異点をアルゴリズム的に取り扱うために、Magma のイデアル理論およびグレブナー基底計算の計算能力に依拠する。
• 例を通じてアルゴリズムの妥当性を検証し、特に pg = 0 かつ K² = 7 を満たす一般型曲面の構成を含む。
• Magma における記号計算を通じて、特異点の分類と線形系の計算を統合する。

実験結果

リサーチクエスチョン

• RQ1 計算代数システムを用いて、非通常の特異点をもつ平面代数曲線をどのようにアルゴリズム的に計算できるか。
• RQ2 与えられた特異点をもつ次数 d の平面曲線を支持する点の系の構造は何か。
• RQ3 このアルゴリズムを用いて、pg = 0 および K² = 7 といった特定の不変量をもつ新しい一般型曲面を構成できるか。
• RQ4 Magma におけるどのような計算技術が、特異平面曲線の効率的取り扱いを可能にするか。

主な発見

• Magma の計算フレームワークを用いて、非通常の特異点をもつ平面曲線の線形系をアルゴリズム的に成功裏に計算できた。
• 指定された特異点をもつ次数 d の平面曲線がその点に特異点をもてるような点の系が計算された。
• この手法により、幾何学的種数 pg = 0 かつ自己交叉数 K² = 7 をもつ新しい一般型曲面の構成が可能となった。
• 実用的な例を通じて実装が示され、アルゴリズムの高次の代数幾何学的問題への有用性が裏付けられた。