[論文レビュー] Covered by Lines and Conic Connected Varieties

Simone Marchesi, Alex Massarenti+1 more|arXiv (Cornell University)|May 30, 2011

Algebraic Geometry and Number Theory参考文献 12被引用数 3

ひとこと要約

本稿では、直線で被覆される射影的多様体が特異な円錐で接続可能であるための数値的条件を確立し、定義方程式の次数の和が ∑di ≤ (N + m)/2 を満たすならば、一般の2点が特異な円錐上にあることを証明する。主な貢献は、先行研究の円錐接続可能性に関する結果を一般化する鋭い境界を提示することであり、Fano、QEL、LQEL多様体への応用を含む。

ABSTRACT

We study some properties of an embedded variety covered by lines and give a numerical criterion ensuring the existence of a singular conic through two of its general points. We show that our criterion is sharp. Conic-connected, covered by lines, QEL, LQEL, prime Fano, defective, and dual defective varieties are closely related. We study some relations between the above mentioned classes of objects using celebrated results by Ein and Zak.

研究の動機と目的

• 直線で被覆される多様体上の一般の2点が特異な円錐上にあることを保証する数値的条件を確立すること。
• ボナヴァロとホーリングの研究に基づく既存の円錐接続可能性の基準を一般化・精緻化し、特異的かつ滑らかでない多様体を含むようにすること。
• エインとザークの古典的結果を用いて、円錐接続可能性、直線で被覆される多様体、Fano幾何学の間の関係を解明すること。
• 具体的な例を通じて提案された基準の鋭さを検証すること、特に ℙ⁴ における立方曲面を含む。
• 基準における等号成立時、2つの一般の点を通る特異な円錐の数を計算すること。

提案手法

• 点 x における最小有理接線の多様体 Lx を用いて、x を通る直線の幾何を分析すること。
• ザークの接線定理とエインの双対的欠損多様体の分類を応用し、Lx の次元に対する上限を導出すること。
• 定義方程式 Gi の次数 di と環境次元 N を含む数値的不等式を導出し、∑di ≤ (N + m)/2 に至ること。
• ビーザウの定理と交差論を用いて、基準における等号成立時、特異な円錐の数を数えること。
• Gi を同次化を解除し、2点 x と y を通る円錐を強制する方程式系を構成し、次数 di までの一様な消滅条件を分析すること。
• 特にボナヴァロとホーリングの滑らかな完全交差に関する研究と比較し、本基準がより一般的かつ鋭いことを示すこと。

実験結果

リサーチクエスチョン

• RQ1 定義方程式の次数に関するどのような数値的条件が、直線で被覆される多様体が一般の2点を通る特異な円錐を持つことを保証するか？
• RQ2 提案された不等式 ∑di ≤ (N + m)/2 は鋭いか？その鋭さを示す例は何か？
• RQ3 円錐接続可能性は、QEL、LQEL、および素数 Fano 多様体などの他のクラスとどのように関係しているか？
• RQ4 基準における等号成立時、2つの一般の点を通る特異な円錐の数は何か？
• RQ5 多様体が直線で被覆され、Fano であるにもかかわらず、円錐接続可能性が成立しない場合はどのような場合か？

主な発見

• 不等式 ∑_{i=1}^m d_i ≤ (N + m)/2 は、直線で被覆される多様体 X ⊂ ℙ^N が特異な円錐で接続可能であるための十分条件である。
• この基準は鋭い：ℙ⁴ における滑らかな立方三様体では等号が成立し、これは円錐で接続可能ではあるが、特異な円錐では接続可能でない。
• 滑らかな完全交差に対して ∑_{i=1}^c d_i = (N + c)/2 が成り立つとき、2つの一般の点を通る特異な円錐の数は有限であり、その数は ∏_{i=1}^c d_i!(d_i - 1)! に等しい。
• ℙ³ における滑らかな二次曲面に対しては、正確に 2 個の特異な円錐が一般の2点を接続し、この公式と整合する。
• ℙ⁶ における2つの二次曲面の完全交差に対しては、公式により4個の特異な円錐が予測され、接空間内の軌跡の幾何的交差と一致する。
• この結果は滑らかな完全交差に限らない：特異な多様体に対しても適用可能であり、滑らかな円錐が存在しない場合でも特異な円錐の存在を保証する。