[論文レビュー] Weak analytic hyperbolicity of generic hypersurfaces of high degree in the complex projective space of dimension 4

Erwan Rousseau|arXiv (Cornell University)|Oct 13, 2005

Meromorphic and Entire Functions参考文献 7被引用数 3

ひとこと要約

本稿は、$ \mathbb{P}^4 $ 内の一般の超曲面で次数 $ d \geq 593 $ のものにおいて、すべての整関数的正則曲線が代数的に退化している、すなわち適切な部分多様体上にあることを証明している。証明は、ジェット微分形式の技法と3-ジェット空間上のメロモーフィックベクトル場を組み合わせており、リーマン・ロッホの定理および消失定理を用いて、整関数的曲線を制約するグローバルなジェット微分形式を構成する。極の位数を制御し、シウの方法にパウンのテクニックを組み合わせることで、境界を達成している。

ABSTRACT

The main goal of this work is to prove that every entire curve in a generic hypersurface of degree greater than or equal to 593 in the complex projective space of dimension 4 is algebraically degenerated i.e contained in a proper subvariety.

研究の動機と目的

• 一般の高次元超曲面が $ \mathbb{P}^4 $ において弱な解析的双曲的性を示すことを目的とし、特に整関数的曲線が代数的に退化していることを証明すること。
• 次元2における手法（パウン、シウ）を次元3に拡張し、極の位数を制御した3-ジェット空間上のメロモーフィックベクトル場を構成すること。
• 十分な分岐の上にあるアーベル多様体上で消失する3階グローバルな正則ジェット微分形式を生成し、代数的微分方程式による整関数的曲線の制御を可能にすること。
• すべての整関数的曲線が一般の超曲面 $ X \subset \mathbb{P}^4 $ の次数 $ d $ に対して代数的に退化する最小の次数 $ d $ を特定すること。
• マククィランの結果に依存しない自己完結的な証明を得るために、シウの手法を改良し、パウンのテクニックを組み込むこと。

提案手法

• ユニバーサル超曲面 $ \mathcal{X} \subset \mathbb{P}^4 \times \mathbb{P}^{N_d} $ の垂直3-ジェット空間 $ J_3^v(\mathcal{X}) $ 上に、繊維方向で極の位数12を持つメロモーフィックベクトル場を構成する。
• リーマン・ロッホの定理およびボゴモロフ型の消失定理を用いて、捩れたジェット微分形式バンドル $ E_{3,m}T_X^* \otimes K_X^{-\delta m} $ のグローバルセクションの次元を推定する。
• ジェット微分形式バンドルにフィルトレーションを導入し、$ h^2 $ の上界を制御することで、高次のコホロロジーを抑え、オイラー標数がコホモロジー的障害を支配することを保証する。
• ザリスキ開集合 $ U_d \subset \mathbb{P}^{N_d} $ 上で正則に変化する、$ H^0((\mathcal{X}_a)_3, \mathcal{O}(m) \otimes \pi_3^* K_{\mathcal{X}_a}^{-\delta m}) $ に属する正則な家族のセクション $ P_a $ の存在を活用する。
• 構成したベクトル場 $ v_1, \dots, v_p $ を用いてジェット微分形式 $ P $ を微分し、非自明な不変微分作用素を生じさせ、その制限が $ \mathcal{O}_{(\mathcal{X}_a)_3}(m) \otimes \mathcal{O}_{\mathbb{P}^4}(12p - \delta m(d-5)) $ のセクションを定義することを示す。
• $ \delta(d-5) > 12 $ のとき、$ P $ の消失位数がベクトル場の全極位数を超えることから、任意の整関数的曲線の像がジェット微分形式の零点集合上にあることが保証され、したがって適切な部分多様体上にある。

実験結果

リサーチクエスチョン

• RQ1 一般の超曲面 $ X \subset \mathbb{P}^4 $ の次数 $ d $ に対して、すべての整関数的曲線が代数的に退化する最小の次数 $ d $ は何か？
• RQ2 ジェット微分形式とメロモーフィックベクトル場の手法を次元2から次元3に拡張し、弱い双曲的性を達成できるか？
• RQ3 ジェット微分形式の消失位数がベクトル場の極位数を超える条件は何か？ これにより、整関数的曲線の代数的退化が保証される。
• RQ4 高次元超曲面 $ \mathbb{P}^4 $ において、マククィランの結果に依存しないように、シウのジェット微分形式の手法をどのように再考できるか？
• RQ5 どの程度の $ d $ の境界が、十分な分岐の上にある3階グローバルジェット微分形式の存在を保証し、整関数的曲線を制約するか？

主な発見

• 本稿は、一般の超曲面 $ X \subset \mathbb{P}^4 $ において、次数 $ d \geq 593 $ のとき、すべての整関数的曲線 $ f: \mathbb{C} \to X $ が代数的に退化している、すなわち $ X $ の適切な部分多様体上にあることを確立している。
• 境界 $ d \geq 593 $ は、条件 $ \delta(d-5) > 12 $ から導かれており、ここで $ \delta $ はジェット微分形式バンドルのねじれを制御するパrameterであり、ジェット微分形式の消失位数がベクトル場の極位数を上回ることを保証する。
• $ J_3^v(\mathcal{X}) $ 上に極の位数12を持つメロモーフィックベクトル場を構成することで、捩れた接バンドルのグローバルセクションの空間を十分に大きくでき、非自明なジェット微分形式の生成が可能になった。
• バンドル $ E_{3,m}T_X^* \otimes K_X^{-\delta m} $ にフィルトレーションを導入し、リーマン・ロッホおよびボゴモロフの消失定理によるコホモロジー推定により、代数的に独立なグローバルジェット微分形式の存在が保証された。
• マククィランの結果に依存せず、パウンのテクニックを用いることで、シウの手法と正則家族の議論のみに依存する自己完結的な証明が達成された。
• 最終的な条件 $ \delta > \frac{12}{d-5} $ および正の量 $ \alpha(d,\delta) $ の成立は $ d \geq 593 $ のとき満たされ、この方法の下での境界の鋭さが確認された。