[論文レビュー] On the algebraic dimension of twistor spaces over the connected sum of four complex projective planes

Bernd Kreußler|ArXiv.org|Jul 4, 1996

Algebraic Geometry and Number Theory参考文献 16被引用数 5

ひとこと要約

本稿は、4枚の複素射影平面の連結和上の正の型のtwistor空間の代数的次元を調査する。このようなtwistor空間がMoishezonであるための必要十分条件は、その反標準クラスがnefでないことであり、その核心的基準は反標準クラスに対して負の交点数を持つ滑らかな有理曲線の存在にある。さらに、線形系 |−1/2K| の次元と基底付属点集合が特徴づけられ、dim|−1/2K| ≤ a(Z) が成り立ち、この線形系の次元が3であることは、1次元の除数の線形系（pencil）の存在と同値であることが示された。

ABSTRACT

We study the algebraic dimension of twistor spaces of positive type over $4\bbfP^2$. We show that such a twistor space is Moishezon if and only if its anticanonical class is not nef. More precisely, we show the equivalence of being Moishezon with the existence of a smooth rational curve having negative intersection number with the anticanonical class. Furthermore, we give precise information on the dimension and base locus of the fundamental linear system $|{-1/2}K|$. This implies, for example, $\dim|{-1/2}K|\leq a(Z)$. We characterize those twistor spaces over $4\bbfP^2$, which contain a pencil of divisors of degree one by the property $\dim|{-1/2}K| = 3$.

研究の動機と目的

• 4枚の複素射影平面の連結和上のtwistor空間がMoishezonであるための条件を特定すること。
• このようなtwistor空間における代数的次元および基本的な線形系 |−1/2K| の構造を分析すること。
• |−1/2K| の次元に関する1次除数の線形系（pencil）の存在を特徴づけること。
• この幾何的設定において、反標準クラスのnef性とMoishezon性の関係を明確にすること。

提案手法

• 複素twistor空間の理論およびその代数的幾何学的性質に依拠し、特に反標準クラスとその交点性質に焦点を当てる。
• 反標準クラスに対して負の交点数を持つ滑らかな有理曲線の存在を、主要な幾何的不変量として用いる。
• 線形系およびその基底付属点集合の研究、特に |−1/2K| の研究を含む代数的幾何学的手法を適用する。
• 4CP² 上の正の型のtwistor空間の分類およびそのモジュライと幾何的制約を分析する。
• Moishezon性と反標準クラスの非nef性との同値性を、曲線論的基準を用いて示す証明戦略を採用する。
• 線形系の次元に関する境界を、標準的線形系理論および有理曲線の幾何学的性質を用いて導出する。

実験結果

リサーチクエスチョン

• RQ1 4CP² 上の正の型のtwistor空間がMoishezonであるのはどのような条件下か？
• RQ2 この設定において、反標準クラスのnef性はMoishezon性とどのように関係するか？
• RQ3 このようなtwistor空間における線形系 |−1/2K| の正確な次元と基底付属点集合は何か？
• RQ4 |−1/2K| が次元3を持つのはいつか？ これはtwistor空間の幾何にどのような意味を持つのか？
• RQ5 1次除数の線形系（pencil）の存在と |−1/2K| の構造との関係は何か？

主な発見

• 4CP² 上の正の型のtwistor空間は、その反標準クラスがnefでない場合に限りMoishezonである。
• Moishezon性は、反標準クラスに対して負の交点数を持つ滑らかな有理曲線の存在と同値である。
• 線形系 |−1/2K| の次元は、不等式 dim|−1/2K| ≤ a(Z) を満たす。ここで a(Z) はtwistor空間の代数的次元を表す。
• |−1/2K| が次元3であることは、twistor空間が1次除数の線形系（pencil）を含むことと同値である。
• |−1/2K| の基底付属点集合は、基になるtwistor空間の幾何およびその有理曲線の性質に基づいて正確に特徴づけられる。