[論文レビュー] On the equations of the moving curve ideal

Laurent Busé|arXiv (Cornell University)|Jan 1, 2007

Commutative Algebra and Its Applications被引用数 1

ひとこと要約

本稿では、平面代数的曲線 C のパラメトライゼーションを用いて、随伴線型系の明示的行列式公式を提示し、関連するリース代数の生成子を構成する。中心的な手法は、2 変数において正則列をなす 2 つの斉次多項式の消去イデアルを分析することにあり、これにより曲線モデリングおよびイデアル論の明示的代数的構造が得られる。

ABSTRACT

Given a parametrization of a plane algebraic curve C, some explicit adjoint linear systems on C are described in terms of determinants. Moreover, some generators of the Rees algebra associated to this parametrization are presented. The main ingredient developed in this paper is a detailed study of the elimination ideal of two homogeneous polynomials in two homogeneous variables that form a regular sequence.

研究の動機と目的

• 曲線 C のパラメトライゼーションから導かれる行列式を用いて、平面代数的曲線上の随伴線型系を記述すること。
• 与えられた平面曲線のパラメトライゼーションに関連するリース代数の明示的生成子を構成すること。
• 2 変数において正則列をなす 2 つの斉次多項式の消去イデアルについて、詳細な代数的枠組みを構築すること。
• パラメトライズド曲線のイデアル論および随伴系を研究するための明示的代数的ツールを提供すること。

提案手法

• 曲線 C 上の随伴線型系をそのパラメトライゼーションから行列式の公式を用いて表現する。
• 2 変数における正則列をなす 2 つの斉次多項式の消去イデアルを計算するために、消去論を適用する。
• 斉次多項式の対を用いて曲線をモデル化し、結果式および行列式を用いて代数的不変量を導出する。
• 消去イデアルの構造とパラメトライゼーションのデータを用いて、リース代数の明示的生成子を導出する。
• 階数付き加群の技法を用いて、パラメトライゼーションのシンジーギック構造を分析する。
• 代数的消去を介して、パラメトリック表現とイデアル論的不変量の間の橋渡しを確立する。

実験結果

リサーチクエスチョン

• RQ1 パラメトライズド平面曲線上の随伴線型系は、どのようにしてそのパラメトライゼーションから行列式を用いて明示的に記述できるか？
• RQ2 与えられた平面曲線のパラメトライゼーションに関連するリース代数の構造はいかなるものか？
• RQ3 2 変数において正則列をなす 2 つの斉次多項式の消去イデアルは、曲線のパラメトライゼーションとどのように関係するか？
• RQ4 消去イデアルから、曲線モデリングに用いる明示的代数的生成子をどのように抽出できるか？
• RQ5 随伴系およびリース代数の生成子は、パラメトライゼーションのデータから一様に構成可能か？

主な発見

• 曲線のパラメトライゼーションから、平面代数的曲線上の随伴線型系の明示的行列式公式が導出された。
• 消去イデアルの構造を用いて、パラメトライゼーションに関連するリース代数の生成子が明示的に構成された。
• 2 変数において正則列をなす 2 つの斉次多項式の消去イデアルは、行列式およびシンジーギーを用いて完全に特徴づけられた。
• 本手法は、パラメトリックデータから直接随伴系およびリース代数の生成子を計算するための一様な代数的枠組みを提供する。
• 本アプローチは、パラメトリック表現と平面曲線のイデアル論的不変量との間の直接的な関係を確立する。
• 結果として得られる手法は、パラメトライゼーションと消去技術のみを用いて、曲線モデリングおよびイデアル論の構成的アプローチを提供する。