[논문 리뷰] Hyperbolicity of Generic High-Degree Hypersurfaces in Complex Projective Space

Yum-Tong Siu|arXiv (Cornell University)|2012. 09. 12.

Meromorphic and Entire Functions참고 문헌 16인용 수 4

한 줄 요약

이 논문은 슬래시된 벡터장과 낮은 극의 수를 가진 유리형 제트 미분형식을 사용하여 통제된 소멸 성질을 갖는 해석적 제트 미분형식을 구성함으로써, 복소 사영 공간 내 일반적인 고차수 초곡면의 쌍곡성을 증명한다. 핵심 결과는 차수 n ≥ 3에 대해 차수 δ가 차원에 따라 정의된 명시적 임계값을 초과할 경우, 그러한 초곡면이나 그 여집합으로부터 복소선에 대한 비상수 전체 해석적 사상이 존재하지 않는다는 것이다.

ABSTRACT

We use two ingredients to prove the hyperbolicity of generic hypersurfaces of sufficiently high degree and of their complements in the complex projective space. One is the pullbacks of appropriate low pole order meromorphic jet differentials on the complex projective space to a hypersurface. The other is slanted vector fields of low vertical pole order on the vertical jet space of the universal hypersurface. We also present a number of related results, obtained by the same methods, such as: (i) a Big-Picard-Theorem type statement concerning extendibility, across the puncture, of holomorphic maps from a punctured disk to a generic hypersurface of high degree, (ii) nonexistence of nontrivial sets of entire functions satisfying certain polynomial equations with slowly varying coefficients, and (iii) Second Main Theorems for jet differentials and slowly moving targets.

연구 동기 및 목표

• 차원 n ≥ 3인 복소 사영 공간 내 충분히 높은 차수의 일반 초곡면의 쌍곡성을 확립하는 것.
• n ≥ 2인 경우, 이러한 초곡면의 여집합에 대해서도 이 결과를 확장하는 것.
• 전체 곡선이 존재하지 않음을 증명하기 위한 슬래시된 벡터장과 제트 미분형식 기반의 방법을 개발하는 것.
• 천천히 변화하는 계수와 움직이는 목표를 포함하여 일반화함으로써 제트 미분형식에 대한 제2주제 정리들을 도출하는 것.
• 블로흐의 1926년 작업에서 영감을 얻은 선형 대수학과 미분 기법을 활용한 쌍곡성에 대한 구성적 증명을 제공하는 것.

제안 방법

• 일반 초곡면의 수직 제트 공간에서 슬래시된 벡터장을 구성하여 제트 미분형식의 행동을 통제하는 것.
• CP^n 상에서 낮은 극의 수를 가진 유리형 제트 미분형식(크기 δ^{1−ε})을 사용하고, 이를 초곡면 X에 옮기는 것.
• 제트 미분형식의 인젝티브성(보조정리 3.4)을 적용하여 인젝티브성 보장으로부터 충분한 선형 독립성을 확보하는 것.
• X 상에 비자명한 해석적 제트 미분형식을 만드는 C-선형 조합으로서, X의 앰플리 도미네이터 상에서 소멸하는 인젝티브한 추상화를 구성하는 것(정리 3.8).
• 슬래시된 벡터장을 활용하여 전체 사상이 상수일 수밖에 없도록 하는 소멸 항등식을 도출하는 것.
• 느리게 움직이는 목표를 고려한 로그극의 제트 미분형식에 대해 네바린나 이론과 제2주제 정리의 추론을 적용하는 것.

실험 결과

연구 질문

• RQ1 차수 δ ≥ δ_n 인 일반 초곡면 X ⊂ ℙ_n가 쌍곡적일, 즉 ℂ에서의 비상수 해석적 사상이 존재하지 않을 조건은 무엇인가?
• RQ2 충분히 높은 차수의 일반 초곡면에 대해, ℙ_n − X의 쌍곡성이 확립될 수 있는가?
• RQ3 CP^n 상의 유리형 제트 미분형식의 풀백을 통해 고차수 초곡면 상에 제트 미분형식을 어떻게 명시적으로 구성할 수 있는가?
• RQ4 슬래시된 벡터장은 제트 미분형식의 소멸 항등식을 생성하여 전체 곡선을 차단하는 데 어떤 역할을 하는가?
• RQ5 천천히 변화하는 계수와 움직이는 목표를 고려할 때, 제트 미분형식에 대한 제2주제 정리들을 어떻게 제시할 수 있는가?

주요 결과

• 각 n ≥ 3에 대해 명시적인 임계값 δ_n 가 존재하여, ℙ_n 내에서 차수 δ ≥ δ_n 인 일반 초곡면은 쌍곡적임을 의미하며, ℂ에서의 비상수 해석적 사상이 존재하지 않는다.
• 각 n ≥ 2에 대해 명시적인 임계값 δ_n^* 가 존재하여, ℙ_n 내에서 차수 δ ≥ δ_n^* 인 일반 초곡면의 여집합도 쌍곡적임을 의미한다.
• X 상에 존재하는 해석적 제트 미분형식의 구성은 CP^n 에서의 낮은 극의 수를 가진 유리형 제트 미분형식의 풀백에 기반하며, 풀백 사상의 인젝티브성으로 인해 충분한 선형 독립성이 보장된다.
• X 상에 존재하는 비자명한 해석적 제트 미분형식은 X의 앰플리 도메인 상에서 소멸하는 풀백의 C-선형 조합으로서 구성되며, 이는 소멸 추론에 활용 가능하다.
• 이 방법은 천천히 움직이는 목표를 고려한 제트 미분형식에 대한 제2주제 정리로 일반화되며, 접근 함수가 낮은 차수 항까지의 계수 함수에 의해 유계화됨을 보여준다.
• 이 접근법은 극의 수가 통제된 제트 미분형식의 와이어스키안 구성 방식을 통해 일반 위치에 있는 초평면에 대한 카르탕의 제2주제 정리를 특수한 경우로 복원한다.