[論文レビュー] Minimal generators of the defining ideal of the Rees Algebra associated to a rational plane parameterization with \mu=2

Teresa Cortadellas Benítez, Carlos D’Andrea|arXiv (Cornell University)|Jan 26, 2013

Commutative Algebra and Its Applications参考文献 19被引用数 5

ひとこと要約

本稿は、3つの同次多項式（次数d）によってパラメトライズされる有理平面曲線に関連するリース代数の定義イデアルの最小生成集合を、完全かつ明示的に記述する。この曲線は最小のシンジーキーが次数2（μ = 2）である。2つの異なる状況を特定する：曲線が多重度d−2の非常に特異な点を持つ場合（dが奇数または偶数の場合を含む）、およびすべての特異点が二重点である場合。主な貢献は、非常に特異な場合、最小生成元がブーシェの一般家族の特殊化ではなく、より低い双次数に現れることを証明することであり、一方、やや穏当な特異性の場合は、ブーシェの家族が本質的に最小であることが示され、生成集合から1つの要素しか取り除けない。

ABSTRACT

We exhibit a set of minimal generators of the defining ideal of the Rees Algebra associated to the ideal of three bivariate homogeneous polynomials parametrizing a proper rational curve in projective plane, having a minimal syzygy of degree 2.

研究の動機と目的

• 有理平面曲線に対してμ=2である場合のリース代数の定義イデアルの完全かつ明示的な最小生成集合を提供すること。
• 2つの異なる幾何的状況における定義イデアルの構造を特徴づけること：多重度d−2の非常に特異な点を持つ曲線と、すべてが二重点である曲線。
• やや穏当な特異性（すべて二重点）の場合に、ブーシェの生成元の家族の最小性を精査し、証明すること。
• 非常に特異な場合に、生成元がブーシェの一般家族の特殊化ではなく、より低い双次数に現れることを示すこと。
• やや穏当な特異性では最小生成元の数がO(d²/2)、非常に特異な点がある場合はO(d²)であり、正確な双次数の制御が可能であることを示すこと。

提案手法

• 3つの同次多項式（次数d）によって生成されるイデアルI = ⟨u₀, u₁, u₂⟩のシンジーキーを分析するためのμベースフレームワークの使用。
• ヒルベルト＝バーサ理論と、K[T,X]をその核Φによる商として得られるリース代数の構造への応用。
• 特に双次数(i,j)（i ≤ μ）における核K内の特別な家族の要素を特定し、最小生成集合の一部とすること。
• セルベスタ型結果行列とランクの議論を用いて、行列構成における特定の列族の線形独立性を証明すること。
• 構造化された行列の行列式のラプラス展開を用いて、恒等的に消える関係が非自明な線形関係の存在を示さないことを導出すること。
• やや穏当な特異性の場合に、ブーシェの家族の生成元と比較し、生成集合から1つの要素が余分であることを証明すること。

実験結果

リサーチクエスチョン

• RQ1 パラメトライズするシンジーキーの次数μ=2で、多重度d−2の非常に特異な点を持つ有理平面曲線に対して、リース代数の定義イデアルの完全な最小生成集合は何か？
• RQ2 非常に特異な点を持つ場合と、すべてが二重点である場合とで、最小生成元の構造はどのように異なるか？
• RQ3 やや穏当な特異性（すべて二重点）の場合に、[Bus09]におけるブーシェの生成元の家族は本質的に最小であるか。もしそうなら、生成集合からいくつまでの要素を取り除けるか？
• RQ4 非常に特異な場合の最小生成元は、ブーシェの一般家族の特殊化であるか、それともより低い双次数に現れるか？
• RQ5 μ=2の手法をμ≥3に一般化できるか。そのような一般化には、追加の幾何的データがどの程度必要か？

主な発見

• μ=2で多重度d−2の非常に特異な点を持つ有理平面曲線に対して、定義イデアルKの最小生成集合は、双次数(i,j)（i ≤ μ）における特別な家族の要素に加え、dが奇数の場合は1つの生成元、dが偶数の場合は2つの生成元を含む。
• 非常に特異な場合、最小生成元はブーシェの一般家族の特殊化ではなく、その家族よりも厳密に低い双次数に現れる。
• すべてが二重点である場合、ブーシェの生成元の家族は本質的に最小である：生成集合から1つの要素しか取り除けない。
• すべての特異点が二重点の場合、Kの最小生成元の数はO(d²/2)であり、非常に特異な点がある場合はO(d²)である。
• 非常に特異な場合、部分空間K₁,∗はやや穏当な特異性の場合とは異なり、双対線形系の空間を厳密に含む。
• μ≥3の場合、(d, μ)と非常に特異な点の存在のみでは最小生成元の構造を特定できない。反例により、同じ(d, μ)でも異なる双次数と生成元の個数を持つ場合があるため、追加の幾何的データが必要であることが示された。