[논문 리뷰] A survey on hyperbolicity of projective hypersurfaces

Simone Diverio, Erwan Rousseau|arXiv (Cornell University)|2011. 07. 06.

Algebraic Geometry and Number Theory참고 문헌 34인용 수 21

한 줄 요약

이 종합적 서베이는 복소 프로젝티브 초곡면에서의 초구형성에 대해, 제트 미분형식과 곡률의 양성도를 활용하여 전체 곡선의 대수적 탈퇴를 확립하는 것을 중심으로 한다. 일반적인 초곡면의 차수 $d$에 대해 효과적이고 명시적인 차수 경계(less than $2^{n^5}$)를 제시하며, 이는 제트 번들의 교차 이론과 통제된 극의 수를 갖는 벡터장에 기반한다.

ABSTRACT

These are lecture notes of a course held at IMPA, Rio de Janiero, in september 2010: the purpose was to present recent results on Kobayashi hyperbolicity in complex geometry. Our ultimate goal is to describe the results obtained on questions related to the geometry of entire curves traced in generic complex projective hypersurfaces of high degree. For the convenience of the reader, this survey tries to be as self contained as possible.

연구 동기 및 목표

• 복소기하학에서 코바야시 초구형성에 대한 최근 발전을 자가 포함된 서베이를 제공하는 것.
• 분석적 초구형성(비상수 전체 곡선의 부재)과 대수적 초구형성(곡선의 기하학적 종수에 대한 균일한 하한)을 제트 미분형식을 통해 연결하는 것.
• 일반적인 초곡면이 초구형인 데 필요한 효과적 차수 경계 $d < 2^{n^5}$를 설정하는 것. 이는 전역 제트 미분형식의 영성 조건에 기반한다.
• 불변 제트 미분형식과 통제된 벡터장을 사용하여 전체 곡선의 대수적 탈퇴를 유도하는 전략을 체계화하는 것.
• 보신 및 다른 이들의 대수적 접근을 교차 이론을 활용한 양적, 효과적인 프레임워크로 확장하는 것.

제안 방법

• 코바야시 준거리수를 연이은 헬로모르픽 디스크의 사슬을 통해 구성하고, 브로디 기준을 적용하여 비상수 전체 곡선의 부재로 초구형성을 특성화하는 것.
• 대수적 초구형성을 곡선의 차수에 대한 기하학적 종수의 균일한 하한으로 정의하며, 랑-보이타 추측과 연결하는 것.
• 지정된 다양체 위에서 제트 번들 및 제트 미분형식을 불변량으로서 개발하며, 프로젝티브이즈드 제트 번들과 타우토로지컬 라인 번들을 사용하는 것.
• 아흐르포르-스칼라 증명을 적용하여 곡률의 음성도와 초구형성의 관계를 설정하며, 앰플 다발 위에서 전역 제트 미분형식의 영성을 사용하는 것.
• 일반 초곡면의 가속 가속도 가속도에서 극의 수가 통제된 벡터장을 사용하여 새로운 제트 미분형식을 생성하며, 영성 조건을 유지하는 것.
• 제트 타워에서의 교차 이론을 사용하여 다항식 $\mathsf{P}_{\mathbf{a},\delta}(d)$를 계산하며, 이 다항식의 양성도가 통제된 영성 순서를 갖는 전역 제트 미분형식의 존재를 암시하는 것.

실험 결과

연구 질문

• RQ1 복소 프로젝티브 초곡면 $\mathbb{P}^{n+1}$에서 차수 $d$인 일반 초곡면이 코바야시 초구형인 데 필요한 효과적 차수 경계 $d$는 무엇인가?
• RQ2 제트 미분형식과 곡률의 양성도는 복소기하학적 컴act 다양체에서 전체 곡선의 대수적 탈퇴를 어떻게 강제할 수 있는가?
• RQ3 암플 다발 위에서 전역 제트 미분형식의 영성이 초구형인 초곡면의 차수에 대한 효과적 경계를 유도하는 데 사용될 수 있는가?
• RQ4 제트 미분형식을 미분할 때 영성 조건을 유지하기 위해 필요한 극의 수에 대한 벡터장의 통제 수준은 무엇인가?
• RQ5 제트 타워에서의 교차 이론은 다항식 $\mathsf{P}_{\mathbf{a},\delta}(d)$의 주계수와 근의 행동을 추정하는 데 어떻게 활용될 수 있는가?

주요 결과

• 일반적인 프로젝티브 초곡면이 초구형인 데 필요한 효과적 차수 경계 $d < 2^{n^5}$가 제시되며, 이는 제트 타워에서의 교차 곱의 양성도로부터 유도된다.
• 다항식 $\mathsf{P}_{\mathbf{a},\delta}(d)$의 주계수는 $\delta = \frac{1}{2} \frac{{\sf G}_{n+1}}{{\sf E}_{n+1}^\prime}$ 일 때 최소 $1/2$로 유계되며, 이는 큰 $d$에 대해 양성도를 보장한다.
• 중요한 가중치 벡터 $\mathbf{a}$에서 최대 가중치 $a_1$은 $\frac{3^n}{2}n^2$로 명시적으로 유계지며, 이는 식 (6.1)에 의해 정의된 코너 내에 존재함을 보장한다.
• 특정 $\mathbb{R}^n$ 내의 입방체 내에서 정수 벡터 $\mathbf{a}$에 대해 $p_{n+1,\mathbf{a}}$가 0이 아닌 것으로 보장되며, 이는 다항식이 비자명함을 보장한다.
• 제트 미분형식의 영성 조건이 만족되도록 보장하는 차수 경계 $d_1 = n+2 + 2\frac{{\sf E}_{n+1}^\prime}{{\sf G}_{n+1}}(n^2 + 2n)$가 확보된다.
• 제트 미분형식의 다항식 $\mathsf{P}_{\mathbf{a},\delta}(d)$의 최대 정수 근이 유한함을 보장하는 경계 $d_2 = 2\max_{j} \left(2{\sf E}_j + \frac{{\sf G}_{n+1}}{{\sf E}_{n+1}^\prime} {\sf E}_j^\prime \right)^{1/(n+1-j)}$는 효과적 탈퇴를 가능하게 한다.