[論文レビュー] On the geometric genus of subvarieties of generic hypersurfaces

Herbert Clemens, Ziv Ran|ArXiv.org|Apr 20, 2002

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

ひとこと要約

本稿は、 canonical バンドルと無限小不変量を用いた新しいコhomological 手法を用いて、一般の超曲面内の部分多様体の幾何的 genus に対する鋭い下界を確立する。一般の6次3次元超曲面 ℙ⁴ に有理曲線や楕円曲線が存在しないこと、および非退化な genus-2 曲線も存在しないことを証明し、Clemens の6次予想を、線のルーリングの幾何的解析と超曲面のモジュライ空間における消失定理を用いて確認・拡張する。

ABSTRACT

We prove some lower bounds on certain nonegative twists of the canonical bundle of a subvariety of a generic hypersurface in projective space. In particular we prove that the generic sextic threefold contains no rational or elliptic curves and no nondegenerate curves of genus 2.

研究の動機と目的

• ℙⁿ における次数 d の一般の超曲面内の部分多様体の幾何的 genus に対する鋭い下界を確立すること。
• Clemens の6次予想を解明し、一般の6次3次元超曲面が有理曲線や楕円曲線を含まないことを証明すること。
• Ein, Xu, Voisin の結果を一般化し、無限小不変量と canonical バンドルのねじれを基盤とする洗練されたコhomological 手法を導入すること。
• 部分多様体が線でルーリングされる条件を特定すること、特に k = n−3 の場合に注目すること。
• 特に codimension ≥2 において、以前の境界を改善する統一的な枠組みを提供すること。

提案手法

• 部分多様体の分析に際し、t = max(0, −d + n + 1 + ⌊(n−k)/2⌋) を用いて canonical バンドル ω_Y(t) をねじる。
• 多項式 F の空間に定義された分布 T′ を用い、Y_F が点 x を含むとき、コhomological 消失の失敗が x を通る特別な直線の存在と関連することを示す。
• Lemmas 6.1–6.2 を用いて分布 T′ の積分可能性を示し、h⁰(ω_Y(t)) = 0 ならば直線 ℓ(y) が超曲面 X に含まれることを示す。
• ω_Δ_d ⊗ ∧ᶜM の global generation を用い、canonical 戦略が消える場合に矛盾を導く。これは §2 および §5 のベクトル束と osculating 直線に関する結果に依拠する。
• GL(n+1)-不変性を適用し、直線に接するベクトル場が universal 家族に引き上げられることを示し、線の振る舞いに対する無限小的制御を可能にする。
• 無限小不変量 s′ を導入し、s′ = 0 ならば Y_F が線でルーリングされることを証明し、退化ケースの分類を完了する。

実験結果

リサーチクエスチョン

• RQ1 一般の6次3次元超曲面 ℙ⁴ に有理曲線や楕円曲線が存在するか？
• RQ2 一般の超曲面の部分多様体がいつ線でルーリングされるか？
• RQ3 canonical バンドルのねじれを用いて、一般の超曲面内の部分多様体の幾何的 genus を下から抑えられるか？
• RQ4 s′ のような無限小不変量は、一般の超曲面上の部分多様体の幾何にどのように影響を与えるか？
• RQ5 Voisin や Pacienza の結果を、洗練されたコhomological 手法を用いて、より高い codimension に一般化できるか？

主な発見

• 一般の6次3次元超曲面 ℙ⁴ において、非退化な hyperplane を張る genus-2 曲線を除き、すべての既約曲線は幾何的 genus が 3 以上である。
• k = n−3 で h⁰(ω_Y(t)) = 0 ならば、部分多様体 f(Y) は線でルーリングされ、d ≥ n+2 かつルーリングでない場合、h⁰(ω_Y) + 1 ≥ min(dim(span(f(Y))), 4) が成り立つ。
• 本結果により6次予想が確認された：一般の6次3次元超曲面 ℙ⁴ には有理曲線や楕円曲線が存在しない。
• k = 2n−2−d ≥ 1 かつ d ≥ n+3 のとき、h⁰(ω_Y) > 0 となるが、f(Y) が線でルーリングされていない限り、Pacienza の結果が回復される。
• 本手法により、h⁰(ω_Y(t)) > 0 が失敗する場合、一般の点 y ∈ Y を通る直線が超曲面 X に含まれることを示した。
• 本稿は [CLR] の結果を上回り、特に k ≤ n−3 の場合に codimension ≥2 でより鋭い境界を提供する。