[論文レビュー] Degrees $d \geqslant \big( \sqrt{n}\, \log\, n\big)^n$ and $d \geqslant \big( n\, \log\, n\big)^n$ in the Conjectures of Green-Griffiths and of Kobayashi

Joël Merker, The-Anh Ta|arXiv (Cornell University)|Jan 13, 2019

Analytic Number Theory Research参考文献 10被引用数 4

ひとこと要約

本稿は、複素射影空間内の一般超曲面の双曲的性に関するGreen-GriffithsおよびKobayashi予想に対する次数の上限を改善する。Diverio-Merker-RousseauおよびDarondeauの枠組みを、ジェット微分形式に関する高度な推定と、鍵となる技術的予想 $I_0 \geq \tilde{I}_0$ を用いて精緻化することで、代数的非生成性であることが保証される代数的超曲面の次数 $d \geq (\log n \times \sqrt{n})^n$ およびKobayashi双曲的であることが保証される次数 $d \geq (n\log n)^n$ を得た。これは従来の上限を顕著に改善する。

ABSTRACT

Once first answers in any dimension to the Green-Griffiths and Kobayashi conjectures for generic algebraic hypersurfaces $\mathbb{X}^{n-1} \subset \mathbb{P}^n(\mathbb{C})$ have been reached, the principal goal is to decrease (to improve) the degree bounds, knowing that the `celestial' horizon lies near $d \geqslant 2n$. For Green-Griffiths algebraic degeneracy of entire holomorphic curves, we obtain: \[ d \,\geqslant\, \big(\sqrt{n}\,{\sf log}\,n\big)^n, \] and for Kobayashi-hyperbolicity (constancy of entire curves), we obtain: \[ d \,\geqslant\, \big(n\,{\sf log}\,n\big)^n. \] The latter improves $d \geqslant n^{2n}$ obtained by Merker in arxiv.org/1807/11309/. Admitting a certain technical conjecture $I_0 \geqslant \widetilde{I}_0$, the method employed (Diverio-Merker-Rousseau, Bérczi, Darondeau) conducts to constant power $n$, namely to: \[ d\ ,\geqslant\, 2^{5n} \qquad ext{and, respectively, to:} \qquad d \,\geqslant\, 4^{5n}. \] In Spring 2019, a forthcoming prepublication based on intensive computer explorations will present several subconjectures supporting the belief that $I_0 \geqslant \widetilde{I}_0$, a conjecture which will be established up to dimension $n = 50$.

研究の動機と目的

• 複素射影空間 $\mathbb{P}^n(\mathbb{C})$ 内の一般超曲面について、Green-GriffithsおよびKobayashi予想を満たすための次数下限を改善すること。
• 超曲面の補集合における非定値正則曲線の代数的非生成性のための次数閾値を低減すること。
• 予想 $I_0 \geq \tilde{I}_0$ が、$d \geq 2n$ に近い「天界の地平線」に近い次数上限を著しくタイトにすることを示すこと。
• 双曲的および代数的非生成性の両方の補集合およびコンパクトケースに対して、有効的かつ明示的な次数閾値を提供すること。
• 次元 $n=50$ までコンピュータ探索を用いて予想 $I_0 \geq \tilde{I}_0$ の妥当性を支持し、将来の証明に向けた基盤を築くこと。

提案手法

• ジェット微分形式と正則Morse不等式を用いて、ジェット断面の成長を制御するDiverio-Merker-Rousseau法を適用する。
• ジェット次数 $\kappa = n$ を符号化する有理関数 $C(t_1,\dots,t_n)$ を用い、変数 $w_2,\dots,w_n$ における収束級数に再解釈する。
• ジェット微分形式の正性に関する推定を強化するための鍵となる技術的予想 $I_0 \geq \tilde{I}_0$ を採用する。これは問題4.2と同値である。
• 関数 $h_{\ell,\rho}(\theta)$ に対する詳細な漸近的および三角関数的解析を行い、臨界な角度区間における正性を証明する。
• 正性証明における三角関数項のバインドに、古典的不等式 $|\sin \gamma| \geq \frac{1}{2}|\gamma|$（$|\gamma| \leq \frac{\pi}{2}$ の場合）を適用する。
• Darondeauのジェット微分形式に関する研究を拡張し、補集合ケースからコンパクトケース（超曲面自体）への結果の拡張を実行する。

実験結果

リサーチクエスチョン

• RQ1 複素射影空間 $\mathbb{P}^n(\mathbb{C})$ 内の一般超曲面の補集合における非定値正則曲線の代数的非生成性のための次数上限を、$d \geq (5n)^2 n^n$ よりも低くできるか？
• RQ2 一般超曲面 $\mathbb{X}^{n-1} \subset \mathbb{P}^n(\mathbb{C})$ がKobayashi双曲的である最小の次数 $d$ は何か？
• RQ3 技術的予想 $I_0 \geq \tilde{I}_0$ が、双曲的性のための次数閾値に顕著な改善をもたらすか？
• RQ4 現在の手法を用いて、すべての次元 $n$ において、ジェット微分形式の正性を一様に確立できるか？
• RQ5 コンピュータ探索は、次元 $n=50$ まで $I_0 \geq \tilde{I}_0$ の妥当性をどの程度支持できるか？

主な発見

• 一般超曲面の次数が $d \geq (\sqrt{n} \log n)^n$ の場合、$\mathbb{P}^n \setminus \mathbb{X}^{n-1}$ 内のすべての非定値正則曲線は代数的非生成的であり、余次元 $\geq 2$ の適切な部分多様体に含まれる。
• 同じ次数上限のもとで、超曲面 $\mathbb{X}^{n-1}$ 上のすべての非定値正則曲線も代数的非生成的であり、余次元 $\geq 2$ の適切な部分多様体に含まれる。
• Kobayashi双曲的性については、次数上限を $d \geq n^{2n}$ から $d \geq (n \log n)^n$ に改善し、$\mathbb{P}^n \setminus \mathbb{X}^{n-1}$ がKobayashi双曲的であり、$\mathbb{X}^{n-1}$ が双曲的であることを確立した。
• 予想 $I_0 \geq \tilde{I}_0$ を仮定すると、代数的非生成性のための次数上限は $d \geq 2^{5n}$ に、Kobayashi双曲的性のための上限は $d \geq 4^{5n}$ にさらに改善される。
• 関数 $h_{\ell,\rho}(\theta)$ の正性は、すべての $\ell \geq 3$ および $0 \leq \rho \leq 0.25$ に対して区間 $[7\pi/(4\ell), \pi]$ で証明され、これが主要な推定に不可欠である。
• 予想 $I_0 \geq \tilde{I}_0$ は、次元 $n=50$ までをカバーする包括的なコンピュータ探索により支持されており、近い将来のプレプリントで確認される予定である。