[論文レビュー] Weak analytic hyperbolicity of complements of generic surfaces of high degree in projective 3-space

Erwan Rousseau|ArXiv.org|Mar 30, 2006

Algebraic Geometry and Number Theory参考文献 11被引用数 4

ひとこと要約

本稿では、複素射影空間 $ \mathbb{P}^3_{\mathbb{C}} $ 内の一般な586次以上の表面の補集合に対して、弱い解析的双曲性を確立し、この補集合内の任意の整関数曲線が代数的退化であることを証明する。証明は対数的高次微分形式と対数的空間上のベクトル場を組み合わせ、リーマン・ロッホおよびコhomオロジー的推定を用いて、整関数曲線が真の部分多様体上にしか存在できないことを示す。これにより、次元3における対数的形の小平の予想が支持される。

ABSTRACT

In this article we prove that every entire curve in the complement of a generic hypersurface of degree $d\geq 586$ in $\mathbb{P}_{\mathbb{C}}^{3}$ is algebraically degenerate i.e there exists a proper subvariety which contains the entire curve.

研究の動機と目的

• 複素射影空間 $ \mathbb{P}^3_{\mathbb{C}} $ 内の一般な超曲面の補集合に対して弱い解析的双曲性を確立し、小平の予想を対数的設定に拡張すること。
• 一般な586次以上の表面 $ X $ に対して、$ \mathbb{P}^3 \setminus X $ 内の整関数曲線が代数的退化であることを証明すること。
• 対数的高次微分形式と対数的空間上の正則ベクトル場を用いた技術を構築し、適用して整関数曲線の挙動を制御すること。
• このような双曲性が成り立つための次数 $ d $ の定量的上限を特定し、対数的状況において既存の結果を改善すること。

提案手法

• Clemens-Ein-Voisin-Siu の手法を一般化し、$ \mathbb{P}^3 \setminus X $ に関連する対数的空間上に正則ベクトル場を構成する。
• 対数的高次微分形式のバンドルを用いて、整関数曲線が満たす代数的微分方程式を生成する。
• リーマン・ロッホおよびコhomオロジー的推定を用いて、対数的高次微分バンドルの正則切断の次元を制御する。
• ベクトル場から導かれる、ねじれた高次微分バンドルの正則切断 $ P $ を構成し、その零点の重複度を制御する。
• 切断 $ P $ の零点の重複度およびベクトル場の極の重複度に条件を課し、整関数曲線が高次微分形式の零点集合へと押し込まれることを保証する。
• 高次微分空間上の下半連続性および正則切断の生成性に関する結果を用いて、一般な超曲面のザリスキ開集合上でこのような切断の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 一般な表面 $ X \subset \mathbb{P}^3 $ の補集合が弱い解析的双曲性を示すのは、どの次数 $ d $ に対して成立するか？
• RQ2 対数的高次微分形式とベクトル場を用いて、高次数の $ X $ に対して $ \mathbb{P}^3 \setminus X $ 内の整関数曲線の代数的退化性を証明できるか？
• RQ3 一般な $ X $ に対して、$ \mathbb{P}^3 \setminus X $ 内のすべての整関数曲線が代数的退化となる最小の次数 $ d $ は何か？
• RQ4 高次微分形式の零点の重複度とベクトル場の極の重複度の間の相互作用が、整関数曲線の像をどのように制約するか？

主な発見

• 一般な586次以上の表面 $ X \subset \mathbb{P}^3 $ に対して、任意の整関数曲線 $ f: \mathbb{C} \to \mathbb{P}^3 \setminus X $ は代数的退化である。
• 証明は、$ \delta m(d-4) $ の重複度を持つねじれた対数的高次微分バンドルの正則切断 $ P $ の構成に依存する。ここで $ \delta > 12/(d-4) $ である。
• $ \delta(d-4) > 12 $ である条件により、ベクトル場に沿った $ P $ の微分が恒等的に消えないことが保証され、これにより $ f $ の3次高次微分の像が非自明な高次微分形式の零点集合へと押し込まれる。
• この構成により、非常に大きな除集合上で消失する非自明な正則高次微分形式が得られ、$ f_{[3]}(\mathbb{C}) $ が真の部分多様体上にあることが示される。
• 不等式 $ m(\frac{1}{6} - 3\delta) > 3d + 2 $ とコhomオロジー的推定の組み合わせにより、$ d \geq 586 $ という境界が得られる。
• この結果により、$ n = 3 $ の場合における対数的小平予想の弱い形が確認され、低次元における既存の結果が拡張される。