[論文レビュー] Convex rationally connected varieties

Rahul Pandharipande|ArXiv.org|Jan 7, 2004

Geometric and Algebraic Topology参考文献 4被引用数 4

ひとこと要約

本稿では、複素数体ℂ上の凸的かつ有理的連結な射影的多様体が同次空間であるという予想を検証する。量子コホモロジー、Lerayスペクトル系列、および完全交差のPoincaré多項式解析を用いて、凸性および有理的連結性を満たすℙⁿ内の非特異的完全交差は、型(1,…,1)または(1,…,1,2)に限られ、これらは同次多様体であることが証明される。これにより、この場合における予想が裏付けられる。

ABSTRACT

Nonsingular projective varieties which are both convex and rationally connected are considered. We ask whether such varieties must be algebraic homogeneous spaces G/P. In case X is a complete intersection, an affirmative answer is obtained by an elementary argument.

研究の動機と目的

• 複素数体ℂ上の凸的かつ有理的連結な射影的多様体が同次空間であるという予想を検証すること。
• 射影空間内の完全交差の場合に、凸性および有理的連結性が同次性を示唆するかを特定すること。
• 正則バンドルの半正定性およびファイブレーションを用いて、完全交差内の直線の幾何を分析すること。
• Lerayスペクトル系列およびPoincaré多項式の消滅を用いて、完全交差の型を制限すること。
• 凸性および有理的連結性に必要な位相的およびコホモロジー的条件を満たす完全交差の型を分類すること。

提案手法

• 完全交差X ⊂ ℙⁿ内の直線のパラメータ空間Mを分析し、一般のXに対してそれが非特異的かつ空でないことを示す。
• 凸性の条件をH¹(ℙ¹, μ*TX) = 0とし、これにより任意の直線L ⊂ Xの正則バンドルNLが半正定であることを導く。
• 普遍族ν: U → Xに対してLerayスペクトル系列を適用し、U, F, Xのコホモロジーを関連付ける。ここでFは点x ∈ Xにおけるxを通る直線の空間である。
• Xの単連結性とLerayスペクトル系列の退化を用いて、p_U(t) = p_F(t) · p_X(t)の関係を導出する。
• Poincaré多項式に関する補題を適用：p_Y(i) = 0は、Yが型(1,…,1)で次元が奇数、または型(1,…,1,2)で特定の次元条件を満たす場合に限る。
• Lefschetz定理によるベッチ数のコホモロジー的境界と超曲面のコホモロジー公式を用いて、p_F(i) = 0またはp_X(i) = 0を満たすのは型(1,…,1)および(1,…,1,2)に限ることを示す。

実験結果

リサーチクエスチョン

• RQ1 ℙⁿ内のすべての凸的かつ有理的連結な完全交差は同次多様体であるか？
• RQ2 凸性および有理的連結性は、射影空間内の完全交差の型にどのような制約を課えるか？
• RQ3 Poincaré多項式がt = iで消える条件は何か、そして幾何にどのような影響を及えるか？
• RQ4 Lerayスペクトル系列およびコホモロジー的消滅を用いて、正則バンドルが半正定である完全交差を分類できるか？
• RQ5 どの完全交差型(d₁,…,dₗ)が同時に凸性および有理的連結性を満たすか？

主な発見

• ℙⁿ内の凸的かつ有理的連結で非特異な完全交差は、型(1,…,1)または(1,…,1,2)に限られ、これらは同次多様体である。
• 完全交差X ⊂ ℙⁿが凸的かつ有理的連結であれば、任意の直線における正則バンドルの正則バンドルは半正定であり、これは正則バンドルの次数がn - d - 1 ≤ 0であることを意味する。
• 点x ∈ Xにおける普遍直線族のファイバーFは、ℙⁿ⁻¹内での型(1,2,…,d₁,1,2,…,d₂,…,1,2,…,dₗ)の完全交差である。
• 1 + t²がp_U(t)を割るという条件は、p_F(i) = 0またはp_X(i) = 0を意味し、これにより可能な型が(1,…,1)または(1,…,1,2)に制限される。
• 型(1,…,1,2)の完全交差では、次元が奇数のときp_F(i) = 0およびp_X(i) = 0が両方成り立ち、次元が偶数のときは片方のみが消えるが、分類と整合的である。
• Poincaré多項式に関する補題により、p_Y(i) = 0は、Yが型(1,…,1)で次元が奇数、または型(1,…,1,2)で次元が4で割って2余るか、または次元が奇数である場合に限る。