[論文レビュー] Rational curves on general type hypersurfaces

Eric Riedl, David Yang|arXiv (Cornell University)|May 5, 2016

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

ひとこと要約

本稿では、$ \mathbb{P}^n $ 内の非常に一般な超曲面で、$ \frac{3n+1}{2} \leq d \leq 2n-3 $ を満たすものについて、存在するのは直線のみであり、それより高次の有理曲線は存在しないことを確立している。著者らは、高次元から低次元へと結果を伝えるために、新規のグラスマンニアンに基づく帰納的技法を用い、直線のファノ多様体に関する結果と、可約な円錐曲線の非存在を組み合わせて、有理曲線がすべて直線の和集合に含まれることを示した。この和集合自体がファノ多様体に存在しないことから、与えられた次数の範囲では、有理曲線は存在しない。

ABSTRACT

We develop a technique that allows us to prove results about subvarieties of general type hypersurfaces. As an application, we use a result of Clemens and Ran to prove that a very general hypersurface of degree (3n+1)/2 \leq d \leq 2n-3 contains lines but no other rational curves.

研究の動機と目的

• 非常に一般な超曲面における有理曲線の存在と構造を、$ d > n+1 $ の一般型範囲で特定すること。
• ヴォジンの予想である有理曲線の次数の有界性を解決し、特定の次数の範囲で、このような超曲面上の有理曲線が直線に限られることを証明すること。
• 高次元から低次元の射影空間へと非存在結果を伝えるために、グラスマンニアンを用いた新しい帰納的技法を開発すること。
• エイン、ヴォジン、パチェンツァの既存の結果を、有理曲線に関するより強い非存在の主張へと拡張すること。
• 任意の固定された族 $ S \to B $ に対して、十分に高い次数の一般超曲面 $ \mathbb{P}^n $ は、その族のファイバーからの有限写像を含まないことを示すこと。

提案手法

• グラスマンニアン幾何を用いた下向き帰納法により、$ \mathbb{P}^n $ 内の部分多様体の非存在結果を $ \mathbb{P}^{n-1} $ へと伝える。
• クレメンスとランの結果を適用し、特定のコhomオロジー的条件が満たされない場合、一般型超曲面上の有理曲線は直線が掃く領域に含まれることを示す。
• 定理 3.3 を用い、非常に一般な超曲面 $ X $ の直線のファノ多様体 $ F_1(X) $ が $ n \leq \frac{(d+2)(d+1)}{6} $ のとき、有理曲線を含まないことを主張する。
• 定理 3.4 を用いて、$ d \geq \frac{3n}{2} - 1 $ のとき、$ X $ に可約な円錐曲線が存在しないことを示し、$ F_1(X) $ 上の普遍的直線バンドルが閉点上で双射であることを保証する。
• インシデント対応のコ dimension 界の結果（命題 3.5）を用いて、有理曲線が掃く領域の次元を制御する。
• これらの道具を組み合わせ、ヴォジンの有理非スイーピングに関する結果を用いて、十分に高い次数では、一般超曲面が特定の族の部分多様体全体を避けることを示す。

実験結果

リサーチクエスチョン

• RQ1 どの次数 $ d $ に対して、$ \mathbb{P}^n $ 内の非常に一般な一般型超曲面が有理曲線を含むか。
• RQ2 一般超曲面の直線のファノ多様体を用いて、高次元の有理曲線の存在を制限できるか。
• RQ3 直線のファノ多様体に有理曲線が存在しないことは、超曲面自体に対しても有理曲線が存在しないことを意味するか。
• RQ4 グラスマンニアンに基づく帰納的技法を用いて、高次元から低次元へと非スイーピング結果を伝えることができるか。
• RQ5 任意の固定された多様体族に対して、ある一様な次数の閾値が存在し、それ以上の次数の一般超曲面は、その族からのすべての有理写像を避けるか。

主な発見

• $ \frac{3n+1}{2} \leq d \leq 2n-3 $ の範囲では、$ \mathbb{P}^n $ 内の非常に一般な超曲面は直線を含むが、それ以外の有理曲線は含まない。
• 条件 $ n \leq \frac{(d+2)(d+1)}{6} $ を満たすとき、超曲面 $ X $ の直線のファノ多様体 $ F_1(X) $ は有理曲線を含まない。これは、与えられた次数の範囲で成立する。
• $ d \geq \frac{3n}{2} - 1 $ のとき、超曲面は可約な円錐曲線を含まない。これにより、$ F_1(X) $ 上の普遍的直線バンドルが閉点上で双射であることが保証される。
• 超曲面の直線が掃く領域にはすべての有理曲線が含まれる。この領域自体が有理的でないため、高次元の有理曲線は存在しない。
• 本手法により、エインとヴォジンの非有効な正則バンドルを持つ部分多様体に関する結果を回復し、有理曲線へと拡張することができる。
• 任意の固定された多様体族 $ S \to B $ に対して、ある次数 $ d $ が存在し、$ \mathbb{P}^n $ 内の非常に一般な次数 $ d $ の超曲面は、$ S \to B $ のファイバーからの有限写像を含まない。