[論文レビュー] Quasi-Homogeneous Linear Systems on P^2 with Base Points of Multiplicity 6

Michael Kunte|ArXiv.org|Apr 7, 2004

Finite Group Theory Research参考文献 6被引用数 3

ひとこと要約

本稿は、Ciliberto-Miranda、Laface、Seibert、Ugaglia、Yangの結果と退化技術を用いて、ℙ² 上の準同次線型系で、重複度6の基点をもつ場合のHarbourne-Hirschowitz予想を証明する。主な貢献は、ℒ(d, m₀, 6ⁿ) 形式の特殊線型系の完全分類であり、それらが正確に(−1)-特殊系であることを示し、この場合の次元問題を解決する。

ABSTRACT

In this paper we prove the Harbourne-Hirschowitz conjecture for quasi-homogeneous linear systems of multiplicity 6 on P^2. For the proof we use the degeneration of the plane by Ciliberto and Miranda and results by Laface, Seibert, Ugaglia and Yang. As an application we derive a classification of the special systems of multiplicity 6.

研究の動機と目的

• ℙ² 上の基点の重複度6の準同次線型系について、Harbourne-Hirschowitz予想を証明すること。
• 期待次元を満たさないすべての特殊線型系ℒ(d, m₀, 6ⁿ) を分類すること。
• このような系が、予想が予測する通り正確に(−1)-特殊系であることを確立すること。
• 退化技術と(−1)-曲線に関する既知の結果を用いて、この特定の重複度の場合に予想を検証すること。
• 準同次重複度6設定におけるすべての(−1)-特殊系の完全なリストを提供すること。

提案手法

• CilibertoとMirandaが開発した平面の退化を用いて、基点をもつℙ² 上の線型系を分析する。
• 予想次元を計算し、特殊系を特定するために、仮想次元の公式 v(ℒ) = d(d+3)/2 − ∑mᵢ(mᵢ+1)/2 を用いる。
• 基点での吹き上げ ℙ′ におけるRiemann-RochとSerre双対性を用いて、ℓ(ℒ) を h¹(𝒪(𝒟)) と関連付ける。
• 有理(−1)-曲線が負の交点数を持ち、非自明な残余系をもつことにより、(−1)-特殊系を特定する。
• Laface、Seibert、Ugaglia、Yangの特殊系およびCremona変換に関する結果を活用し、次元を検証する。
• 特徴値32003におけるCremonaとSingularなどの計算ツールを用いて、特定の系の次元と空集合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 ℙ² 上のすべての特殊線型系ℒ(d, m₀, 6ⁿ) は、Harbourne-Hirschowitz予想が予測する通り正確に(−1)-特殊系であるか？
• RQ2 重複度6の準同次設定における(−1)-特殊系の完全なリストは何か？
• RQ3 CilibertoとMirandaの退化法は、重複度6の場合に予想を証明するために効果的に用いられるか？
• RQ4 仮想次元 ≥ 0 だが射影次元 > 仮想次元 であるような系ℒ(d, m₀, 6ⁿ) はどれか？ これは特殊性を示唆する。
• RQ5 Cremona変換と直線の取り出しは、特定の系の次元を検証するためにどのように役立つか？

主な発見

• ℙ² 上のすべての準同次線型系ℒ(d, m₀, 6ⁿ) について、Harbourne-Hirschowitz予想が成り立つ。
• 完全な(−1)-特殊系のリストが提示され、すべての系が以下の条件を満たす：ℒ.𝒜ᵢ = −nᵢ かつ nᵢ ≥ 1、ある nⱼ ≥ 2、残余系の仮想次元が非負。
• ℒ(17,1,6⁸) については次元が−1より大きいことから、非特殊かつ正則であることが示され、予想を支持する。
• ℒ(19,0,6¹⁰) や ℒ(22,0,6¹³) は空集合であることが判明し、帰納法を用いて関連する系の空集合性を証明するのに役立つ。
• 特徴値32003におけるSingularを用いた計算的検証により、ℒ(25,12,6¹³) や ℒ(31,18,6¹⁷) の次元と空集合性が確認された。
• Cremona変換と直線の取り出しを用いて、ℒ(17,7,6⁷) や ℒ(23,15,6⁹) といった系を、既知の正則または空集合の状態に還元した。