[論文レビュー] Entire holomorphic curves into projective spaces intersecting a generic hypersurface of high degree

Dinh Tuan Huynh, Duc‐Viet Vu+1 more|arXiv (Cornell University)|Apr 11, 2017

Meromorphic and Entire Functions参考文献 11被引用数 5

ひとこと要約

本稿は、十分に高い次数 $ d \geq 15(5n+1)n^n $ の一般の超曲面 $ D \subset \mathbb{P}^n(\mathbb{C}) $ と交差する代数的に非退化な全純整関数曲線 $ f: \mathbb{C} \to \mathbb{P}^n(\mathbb{C}) $ に対して、第二主定理型の推定を確立する。対数的ジェット微分形式とネヴァンリンナ理論を用いて、ほとんどすべての $ r $ に対して $ T_f(r) \leq N_f^{[1]}(r,D) + O(\log T_f(r)) + \delta \log r $ を証明し、グリーン＝グリフィス予想への進展を定量的に示している。

ABSTRACT

In this note, we establish the following Second Main Theorem type estimate for every entire non-algebraically degenerate holomorphic curve $f\colon\mathbb{C} ightarrow\mathbb{P}^n(\mathbb{C})$, in present of a {\sl generic} hypersuface $D\subset\mathbb{P}^n(\mathbb{C})$ of sufficiently high degree $d\geq 15(5n+1)n^n$: \[ T_f(r) \leq \,N_f^{[1]}(r,D) + O\big(\log T_f(r) + \log r \big)\parallel, \] where $T_f(r)$ and $N_f^{[1]}(r,D)$ stand for the order function and the $1$-truncated counting function in Nevanlinna theory. This inequality quantifies recent results on the logarithmic Green--Griffiths conjecture.

研究の動機と目的

• 全純整関数曲線 $ f: \mathbb{C} \to \mathbb{P}^n(\mathbb{C}) $ が高次元の一般超曲面と交差する場合の、鋭い第二主定理推定を確立すること。
• 次数関数 $ T_f(r) $ を 1-切り捨て済みの数え上げ関数 $ N_f^{[1]}(r,D) $ の項で評価することにより、対数的グリーン＝グリフィス予想を定量的に定式化すること。
• 非線形超曲面へネヴァンリンナ理論的手法を拡張するため、曲線の小さな集合でのみ消えるような、グローバルな対数的ジェット微分形式の構成。
• 代数的に非退化な曲線は、一般の高次元超曲面とあまりに頻繁に交差できないことの証明。これは、代数的退化性の可能性を示唆する。

提案手法

• 著者たちは、ネヴァンリンナ理論を用い、特に次数関数 $ T_f(r) $ と 1-切り捨て済み数え上げ関数 $ N_f^{[1]}(r,D) $ を用いて、全純曲線の成長度と交差挙動を測定する。
• 彼らは、$ \mathbb{P}^n(\mathbb{C}) $ のジェット空間上に、次数 $ m $ のグローバルな対数的ジェット微分形式 $ \mathscr{P} $ を構成し、それが小さな解析的集合でのみ消えるようにする。
• スラントベクトル場 $ v_1, \dots, v_\ell $ を $ \mathscr{P} $ に作用させることで、曲線の正則点で消えないことを保証し、非自明な微分作用素の存在を証明する。
• 鍵となる不等式は、ジェット微分形式の構成における次数補正から生じる：$ \tilde{m} = mc - \ell(5n-2) \geq m(c - 5n + 2) $ であり、これは数え上げ関数の成長を制御する。
• 証明は、局所的対数的ジェット座標への還元と、ジェットバンドル上のラインバンドルの正則切断の使用により、グローバルな制御を保証する。
• 結果は背理法により得られる：$ f $ が代数的に非退化であれば、構築された微分作用素は恒等的に消えるはずだが、正則点で消えないことと矛盾する。

実験結果

リサーチクエスチョン

• RQ1 全純整関数曲線が $ \mathbb{P}^n(\mathbb{C}) $ 内の一般の高次元超曲面と交差する場合、第二主定理推定を確立できるか？
• RQ2 このような推定における数え上げ関数の最適な切り捨てレベルは何か？レベル 1 にまで低下可能か？
• RQ3 高次元一般超曲面は、全純整関数曲線の代数的退化性をどの程度強制するか？
• RQ4 ジェット微分形式を用いて、ネヴァンリンナ理論を超平面を超える非線形超曲面へ拡張できるか？

主な発見

• すべての代数的に非退化な全純整関数曲線 $ f: \mathbb{C} \to \mathbb{P}^n(\mathbb{C}) $ に対して、Lebesgue測度が有限である集合を除くすべての $ r $ に対して、不等式 $ T_f(r) \leq N_f^{[1]}(r,D) + O(\log T_f(r)) + \delta \log r $ が成り立つ。
• 超曲面 $ D \subset \mathbb{P}^n(\mathbb{C}) $ が次数 $ d \geq 15(5n+1)n^n $ を満たす場合、構成に必要な一般性と十分な次数が保証される。
• 主な推定 $ T_f(r) \leq \frac{1}{c - 5n + 2} N_f^{[1]}(r,D) + S_f(r) $ が $ c \geq 5n - 1 $ の場合に導出され、特に $ c = 5n - 1 $ の場合、$ T_f(r) \leq N_f^{[1]}(r,D) + S_f(r) $ が得られる。
• スラントベクトル場による非消滅グローバル対数的ジェット微分形式の構成により、曲線が超曲面を避けすぎることを防げる。
• 証明により、代数的に非退化な曲線は、一般の高次元超曲面と、次数関数 $ T_f(r) $ に対して少なくとも線形に成長する数え上げ関数を有する必要があることが示され、その像に強い制約が課される。
• この結果は、対数的グリーン＝グリフィス予想の定量的版を提供し、十分に高次元の一般超曲面と交差する場合、このような曲線は代数的退化を強いられることを示している。