[論文レビュー] Quasi-homogeneous linear systems on P2 with base points of multiplicity 7, 8, 9, 10

Marcin Dumnicki|ArXiv.org|Apr 8, 2008

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

ひとこと要約

本稿は、基数が7、8、9、10の準同次線形系について、射影平面 ℙ² 上の Harbourne-Hirschowitz 予想を証明する。還元アルゴリズム、クレモナ変換、点の接着技術、有限体上での直接行列ランク計算を用いて、これらの系の非特異性と非空性を確立し、以前の結果（m ≤ 6）を超えて一般化するとともに、退化法に依存しないより効率的な手法を提供する。

ABSTRACT

In the paper we prove Harbourne-Hirschowitz conjecture for quasi-homogeneous linear systems on $\mathbb P^2$ for $m=7$, 8, 9, 10, i.e. systems of curves of given degree passing through points in general position with multiplicities at least $m,...,m,m_0$, where $m=7$, 8, 9, 10, $m_0$ is arbitrary.

研究の動機と目的

• ℙ² 上の準同次線形系について、基数が7、8、9、10である場合の Harbourne-Hirschowitz 予想を証明すること。
• 準同次系について、以前の境界（m ≤ 6）を超えて予想の有効性を拡張すること。
• 退化法に依存せずに、このような系の非特異性および非空性を体系的に検証する手法を提供すること。
• 還元アルゴリズムおよび図の切断法が、高基数を持つ大きな系を処理する上で有効であることを示すこと。

提案手法

• [Dum 07b] および [Dum–Jar 07] に示された還元アルゴリズムを用いて、系をより単純な形に変換し、空性または非特異性の検出を可能にする。
• クレモナ変換を適用して系を単純化し、次元および特異性の性質を保存する。
• 点の「接着」を用いて、多数の基数点を持つ系を、より小さく取り扱いやすい構成に還元する。
• 理論的還元が失敗する系について、𝔽ₚ 上での行列ランクの直接計算を用いて非空性を検証し、最大ランクがℂ上での非空性を示す。
• [Dum 07a] に示された図の切断法を適用し、視覚的分解によって特定の系の非特異性を検証する。
• 理論的還元と計算的検証の組み合わせにより、代数的手法では解決できない残りのすべてのケースをカバーする。

実験結果

リサーチクエスチョン

• RQ1 ℙ² 上の準同次線形系について、基数点の基数が7、8、9、10である場合に、Harbourne-Hirschowitz 予想は成り立つか？
• RQ2 還元アルゴリズムは、高基数系の非特異性を証明する際、退化法に代わって使用可能か？
• RQ3 クレモナ変換および点の接着技術は、基数が10に達する系の単純化に有効か？
• RQ4 有限体上での行列ランク計算は、特徴量0の大きな線形系の非空性を信頼性高く決定できるか？
• RQ5 図の切断法は、完全な行列計算を避けて非特異性を十分に検証できるか？

主な発見

• ℙ² 上のすべての準同次線形系について、基数が7、8、9、10であり、任意の追加基数 m₀ を持つ場合に、Harbourne-Hirschowitz 予想が成り立つ。
• ℒ(35;16,10×9) は非空かつ非特異であり、12-および10-還元の連鎖の後、図の拡大と空への還元により確認された。
• ℒ(28;12,8×10) は非特異であり、図の切断と𝔽ₚ 上での行列ランク計算により確認された。
• ℒ(13;5,4×9) は非特異であり、図の切断による再証明により、大規模な行列計算を回避した。
• 還元アルゴリズムにより、広範な系のクラスについて非特異性の効率的検証が可能となり、行列ランク評価への依存が著しく減少した。
• 本手法は、4つの高い基数（7–10）を一度の枠組みで処理でき、従来の退化法に基づく手法に比べ、効率性と範囲の両面で優れている。