[論文レビュー] On a class of special linear systems of P^3

Antonio Laface, Luca Ugaglia|ArXiv.org|Nov 25, 2003

Advanced Mathematical Theories and Applications参考文献 3被引用数 9

ひとこと要約

本稿は、指定された重い点をもつℙ³内の超曲面の特殊線型系を調査し、次元と予想次元の分析に三重三重クリーメォナ変換を導入する。すべての特殊系が標準形における二種類の特定のタイプから生じるという予想を提示し、クリーメォナ変換と基底集合の解析を通じて検証される。主な結果として、特殊性は基底集合内の直線との負の交差または複数の二次曲面に起因することが示される。

ABSTRACT

In this paper we deal with linear systems of P^3 through fat points. We consider the behavior of these systems under a cubo-cubic Cremona transformation that allows us to produce a class of special systems which we conjecture to be the only ones.

研究の動機と目的

• ℙ³内の指定された重い点をもつすべての特殊線型系を分類すること。
• 次元を保存するが予想次元を変更する三重三重クリーメォナ変換の下でのこのような系の挙動を理解すること。
• さらにクリーメォナ変換で次数を減らせない状態である「標準形」を定義すること。
• すべての特殊系が標準形における二種類の特定のタイプから生じるという予想を提示すること。
• クリーメォナ変換と基底集合の分解を用いた線型系の次元を評価する計算的手順を提供すること。

提案手法

• ℙ³に作用する三重三重クリーメォナ変換を用い、系ℒ₃(3,2⁴)を有理写像(x₀:x₁:x₂:x₃) ↦ (x₀⁻¹:x₁⁻¹:x₂⁻¹:x₃⁻¹) に写像する。
• 線型系ℒ₃(d, m₁,…,mᵣ)に変換を適用し、次数および重複度を変更した新しい系に変換する。
• クリーメォナ変換における予想次元の差を導出し、次数が減少する際、予想次元が減少しないことを示す。
• 「標準形」の概念を導入する——これ以上クリーメォナ変換で次数を減らせない系を指す。
• 基底集合の分解を用いる：交差が負である固定平面または二次曲面を除去する。
• ℙ³の吹き上げにおけるリーマン・ロッホの公式と交線論を用いて、予想次元および有効次元を計算する。

実験結果

リサーチクエスチョン

• RQ1 ℙ³内の重い点をもつどの線型系が特殊であるか、すなわち次元が予想次元を上回るか？
• RQ2 すべての特殊線型系が、有限個の標準形から出発する一連の三重三重クリーメォナ変換によって生成可能か？
• RQ3 負の交差（直線との）または複数の二次曲面が、線型系の特殊性に果たす正確な寄与は何か？
• RQ4 クリーメォナ変換の下で予想次元はどのように変化するか？また、どのような条件下で保存され、変化するか？
• RQ5 繰り返しのクリーメォナ変換と基底集合の除去を用いて、線型系の次元をどの程度まで計算可能か？

主な発見

• ℒ₃(7,4⁶)は予想次元-1だが有効次元3であり、4回の連続するクリーメォナ変換によりℒ₃(1)に到達し、次元3が得られる。
• ℒ₃(12,7⁶)は予想次元-50だが有効次元0であり、5回のクリーメォナ変換と基底集合の除去を経て達成される。
• ℒ₃(10,6⁵)は標準形にあり、予想次元5、有効次元15である。特殊性は、各々4本の直線が系と交差して重複度-2をとることに起因する。
• ℒ₃(16,11,7⁸)は予想次元10、有効次元19であり、特殊性は8本の直線（交差-2）と除去可能な二次曲面に起因する。
• ℒ₃(3,3³)は標準形でない。2回の変換を経てℒ₃(0)に至り、次元0であるが予想次元-11であるため、非自明なh²コホモロジーが存在する。
• ℒ₃(2r, r⁸, r₁,…,rₙ)は次元0、予想次元≤0であり、すべてのrᵢ = 1でない限り特殊である。これは基底集合内に複数の二次曲面があることによる特殊系のクラスを確認する。