[논문 리뷰] 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)|2019. 01. 13.

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$ 인 대수적 초곡면은 대수적으로 열악해지며, 차수 $d \geq (n\log n)^n$ 인 초곡면은 Kobayashi 초구형성이 됨을 입증한다. 이는 이전의 경계보다 크게 향상된 결과이다.

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$를 지지하고, 향후 증명을 위한 기초를 마련하는 것.

제안 방법

• 제트 미분형과 해석적 모스 부등식을 활용하여 제트 절단의 성장을 통제하는 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$ 까지의 검증이 예상된다.