[논문 리뷰] Recent results on the Kobayashi and Green-Griffiths-Lang conjectures

Jean-Pierre Demailly|arXiv (Cornell University)|2018. 01. 15.

Algebraic Geometry and Number Theory참고 문헌 101인용 수 5

한 줄 요약

이 논문은 복소 프로젝티브 공간 내 일반적인 고차수 초입체의 hyperbolicity에 관한 Kobayashi 추측에 대한 단순화된 증명을 제시한다. degree $ d_n = \lfloor \frac{1}{3}(en)^{2n+2} \rfloor $ 에서 이러한 초입체들이 대수적으로 제트 hyperbolic하다는 것을 입증한다. 이 접근법은 제트 벡터장, 승수 이상수, Wronskian 연산자를 사용하여 전체 곡선의 존재하지 않음을 증명하며, 접선(bundle)의 제트-준안정성과 관련된 강력한 일반 유형 조건을 통해 Green-Griffiths-Lang 추측을 발전시킨다.

ABSTRACT

The study of entire holomorphic curves contained in projective algebraic varieties is intimately related to fascinating questions of geometry and number theory -- especially through the concepts of curvature and positivity which are central themes in Kodaira's contributions to mathematics. The aim of these lectures is to present recent results concerning the geometric side of the problem. The Green-Griffiths-Lang conjecture stipulates that for every projective variety $X$ of general type over~${\\mathbb C}$, there exists a proper algebraic subvariety $Y$ of $X$ containing all non constant entire curves $f:{\\mathbb C}\ o X$. Using the formalism of directed varieties and jet bundles, we show that this assertion holds true in case $X$ satisfies a strong general type condition that is related to a certain jet-semistability property of the tangent bundle $T\\_X$. It is possible to exploit similar techniques to investigate a famous conjecture of Shoshichi Kobayashi (1970), according to which a generic algebraic hypersurface of dimension $n$ and of sufficiently large degree $d\\ge d\\_n$ in the complex projective space $\\bP^{n+1}$ is hyperbolic: in the early 2000's, Yum-Tong Siu proposed a strategy that led in 2015 to a proof based on a clever use of slanted vector fields on jet spaces, combined with Nevanlinna theory arguments. In 2016, the conjecture has been settled in a different way by Damian Brotbek, making a more direct use of Wronskian differential operators and associated multiplier ideals; shortly afterwards, Ya Deng showed how the proof could be modified to yield an explicit value of $d\\_n$. We give here a short proof based on a drastic simplification of their ideas, along with a further improvement of Deng's bound, namely $d\\_n=\\lfloor\\frac{1}{5}(en)^{2n+2}\ floor$.

연구 동기 및 목표

• 복소 프로젝티브 공간 $ \mathbb{P}^{n+1} $ 내 일반 초입체의 hyperbolicity에 관한 Kobayashi 추측에 대한 단순화되고 효과적인 증명을 제공하는 것.
• hyperbolicity를 보장하는 정도의 날카운, 명시적인 bound $ d_n $ 을 확립하여 이전 추정치를 향상시키는 것.
• 접선(bundle)의 제트-준안정성과 관련된 강력한 일반 유형 조건 하에서 Green-Griffiths-Lang 추측이 성립함을 보여주는 것.
• Brotbek와 Deng의 기법을 통합하고 정리하여 Wronskian 미분 연산자와 승수 이상수를 사용하는 것.

제안 방법

• 방향성 있는 다양체와 제트 벡터장의 형식을 사용하여 프로젝티브 다양체 내 전체 헬모르픽 곡선을 분석하는 것.
• 제트 공간에서 Wronskian 미분 연산자를 적용하여 뒤집힌 제트 벡터장의 영이 아닌 단면을 구성하는 것.
• 승수 이상수를 사용하여 제트 벡터장의 특이점과 양성도를 제어하고, 앰플리튜드를 확보하는 것.
• 음의 곡률을 가진 제트 메트릭에서의 Morse 부등식을 사용하여 대수적 hyperbolicity를 유도하는 것.
• 제트 벡터장에서 음의 곡률 메트릭의 맥락에서 Ahlfors-Schwarz 보조정리를 적용하는 것.
• X에 대한 강력한 일반 유형 조건이 제트-준안정성 $ T_X $ 를 암시함을 활용하여, 모든 전체 곡선에서 사라지는 비자명한 제트 미분방정식의 존재를 보장하는 것.

실험 결과

연구 질문

• RQ1 복소 프로젝티브 공간 $ \mathbb{P}^{n+1} $ 내에서 degree $ d \geq d_n $ 인 일반 초입체가 Kobayashi hyperbolic이 되는 데 최적의 degree bound $ d_n $ 는 무엇인가?
• RQ2 일반 유형인 프로젝티브 다양체 $ X $ 가 어떤 기하적 조건을 만족할 경우 Green-Griffiths-Lang 추측이 성립하는가?
• RQ3 Wronskian 연산자와 승수 이상수를 사용하여 Kobayashi 추측의 증명을 단순화할 수 있는가?
• RQ4 Brotbek와 Deng가 유도한 것과 비교할 때 bound $ d_n $ 의 크기는 어떻게 되며, 더 명시적으로 만들 수 있는가?
• RQ5 모든 $ n $ 에 대해 유효한 균일한 bound $ d_n $ 이 존재하는가, 그리고 다항식 또는 선형 순서로 개선할 수 있는가?

주요 결과

• Kobayashi 추측은 모든 $ n \geq 1 $ 에 대해 $ d_n = \lfloor \frac{1}{3}(en)^{2n+2} \rfloor $ 인 일반 초입체에 대해 증명되었으며, $ d_1 = 4 $, $ d_2 = 6685 $, $ d_3 = 2825761 $ 이다.
• d_n 는 Ya Deng가 얻은 것과 매우 유사하며, 渐近적 순서에서만 약간 다를 뿐이다.
• 증명은 뒤집힌 제트 벡터장의 앰플리튜드를 통해 대수적 제트 hyperbolicity를 확립하며, 이는 hyperbolicity 보다 더 강력한 성질이다.
• Wronskian 연산자와 승수 이상수의 사용을 단순화함으로써 Brotbek와 Deng의 이전 증명보다 간소화된 방법을 제공한다.
• $ n \geq 4 $ 에서는 다른 bound $ d_n = \lfloor (n+4)(en)^{2n+1}/(2\pi) \rfloor $ 도 유효하며, 기존 추정치와 매우 유사하다.
• 결과적으로, 접선(bundle)의 제트-준안정성과 관련된 강력한 일반 유형 조건 하에서 Green-Griffiths-Lang 추측이 성립함을 확인한다.