[論文レビュー] On linear systems of P^3 through multiple points

Cindy De Volder, Antonio Laface|ArXiv.org|Nov 25, 2003

Matrix Theory and Algorithms参考文献 1被引用数 8

ひとこと要約

この論文は、一般位置にある最大8個の多重点を通るℙ³内の曲面の線型系の次元に関する予想を証明する。立方体クレモナ変換を用いて系を標準形に還元し、特異性条件を介したコhomologyの分析により、このような系の次元を正確に求める公式を確立し、代数幾何学における長年の予想を解決する。

ABSTRACT

In this paper we prove a conjecture about the dimension of linear systems of surfaces of degree d in P^3 through at most eight multiple points in general position.

研究の動機と目的

• 一般位置にある最大8個の多重点を通るℙ³内の曲面の線型系の次元に関する予想を解決すること。
• 次元を保存するが仮想次元を変更する立方体クレモナ変換を導入することで、ℙ²からℙ³への技術の拡張を図ること。
• ℙ³の点の blown-up 上の曲線と除数のコhomological分析を通じて、特別な線型系を特徴づけること。
• このような線型系の次元と特異性を計算する体系的なアルゴリズムを提供すること。

提案手法

• ℙ³における任意の線型系を、次元を保存するが仮想次元を変更する立方体クレモナ変換を用いて標準形に変換すること。
• 標準形を、2d ≥ ∑_{i=1}^4 m_i および m₁ ≥ ⋯ ≥ m_r を満たすものとして定義し、標準的クラス ℒ₃(2,1⁴),…,ℒ₃(2,1⁹) を用いた再帰的分解を可能にする。
• r個の点の blown-up である X において、反 canonical 級 Q_i = -½K_Xi を用いて |ℒ| と |ℒ|_Q_i の関係を特定するコhomological技法を適用すること。
• ℒ とその2次曲面への制限を含む完全系列を用い、直線および曲線からの特異性寄与を介して h¹(ℒ) を評価すること。
• 系統的解析により得られる、h¹(ℒ) = ∑_{i=2}^b ⌊(t_i + 1)/3⌋ という重要な恒等式を用いる。ここで t_i = m₁ + m_j - d であり、ℒ_Nb のコhomologyを分析することで導出される。
• ℙ¹×ℙ¹ から ℙ² への有理写像を用い、2次曲面上の線型系と平面上の線型系との間で仮想次元を保存する関係を確立すること。

実験結果

リサーチクエスチョン

• RQ1 一般位置にある最大8個の多重点を通るℙ³内の曲面の線型系 ℒ₃(d, m₁,…,m₈) の正確な次元は何か？
• RQ2 このような系の特異性（すなわち、仮想次元が実際の次元を正しく予測しないこと）は、どのように体系的に計算できるか？
• RQ3 ℙ³における立方体クレモナ変換を用いて、任意の線型系を次元が計算可能な標準形に還元できるか？
• RQ4 (-1)-曲線と2次曲面への制限は、これらの系の h¹(ℒ) を測定するために果たす役割は何か？

主な発見

• 線型系 ℒ₃(d, m₁,…,m₈) の次元は、h¹(ℒ) = ∑_{i=2}^b ⌊(t_i + 1)/3⌋ で完全に決定され、ここで t_i = m₁ + m_j - d であり、b は t_b ≥ 1 を満たす最大の添字である。
• 系の特異性は、最初の点と他の点を結ぶ直線に起因し、t_i を含む二項係数の和として捉えられる。
• 重複度のソート、2d < m₁ + m₂ + m₃ のとき平面を除去する操作、および 2d < ∑_{i=1}^4 m_i のときクレモナ変換を適用するという手順により、標準形への帰着が一意的に行える。
• 証明で定義された系 ℒ_Nb は h⁰(ℒ_Nb) = 0 かつ h¹(ℒ_Nb) = ∑_{i=2}^b ⌊(t_i + 1)/3⌋ を満たし、元の系の特異性と一致する。
• 最終的な |ℒ| の次元を計算するためのアルゴリズムは完全に有効であり、ソート、平面の除去、クレモナ移動、コhomological公式の使用に依存する。
• ℙ¹×ℙ¹ 上の系とℙ² 上の系との間の対応関係は仮想次元を保存するため、両者の間で結果を移行可能である。