[논문 리뷰] Effective algebraic degeneracy of entire curves in complements of smooth projective hypersurfaces

Lionel Darondeau|arXiv (Cornell University)|2014. 02. 06.

Meromorphic and Entire Functions참고 문헌 20인용 수 3

한 줄 요약

이 논문은 충분히 높은 차수를 가진 일반적인 매끄럽고 프로젝티브 초곡면의 보조에서 비상수 전체 헬름홀로픽 곡선의 효과적인 대수적 기저를 확립한다. 시우의 외재적 접근과 두메르리 및 두메르리–루의 내재적 제트 미분 기법을 조합하여, $d \geq (5n)^2 n^n$ 인 경우, 이러한 모든 곡선이 초곡면의 보조에서 코드림이 적어도 2 이상인 고유 부분다양체에 제약을 받음을 증명한다.

ABSTRACT

In this work, it is established that for a generic projective hypersurface $H\subset\mathbb{P}^n(\mathbb{C})$ of degree $d\geq(5n)^2\,n^{n}$, any holomorphic entire curve $f\colon\mathbb{C} o\mathbb{P}^n(\mathbb{C})\setminus H$ has its image contained in a proper algebraic subvariety $Z\subsetneq\mathbb{P}^{n}(\mathbb{C})$, that does not depend on the curve $f$. Here generic means that the coefficients of the defining equation of $H$ have to lie outside of a proper algebraic subvariety of the projective space of coefficients of homogeneous polynomials of degree $d$ (that parametrizes the algebraic hypersurface of degree $d$ in $\mathbb{P}^n(\mathbb{C})$). The proof closely follows the work of Diverio, Merker and Rousseau (Diverio-Merker-Rousseau 2009), thus it is based on the strategy of Siu (Siu 2002, 2004) and techniques of Demailly (Demailly 1995, Diverio 2009) (already adapted to the logarithmic setting by Dethloff and Lu in 2001). It also include an improved adaptation of the contribution of Berczi (Berczi 2010).

연구 동기 및 목표

• 프로젝티브 공간 $\mathbb{P}^n$ 안의 일반적인 매끄럽고 프로젝티브 초곡면의 보조에서 비상수 전체 헬름홀로픽 곡선의 효과적인 대수적 기저를 확립하는 것.
• 모든 비상수 전체 곡선이 코드림이 적어도 2 이상인 고유 부분다양체를 피할 수 있도록 보장하는 명시적 차수 경계 $d \geq (5n)^2 n^n$ 를 제공하는 것.
• 제트 미분과 로그 기하학을 기반으로 한 통합된 방법을 사용하여 기존의 차원 $n=2$ 및 $n=3$ 에서의 결과를 임의의 차원으로 확장하는 것.
• 로그 기하 설정에서 불변 제트 미분을 구성하고, 약한 대수적 모어 부등식을 통해 그 코homology 를 제어하는 것.
• 데메르리 타워에서의 임계 교차 곱 $I(d)$ 를 계산하고, 원하는 기저를 확보하기 위해 그 최대 근을 추정하는 것.

제안 방법

• 문제를 더 체계적인 설정으로 줄이기 위해, 릿지어지기의 방법을 통해 $\mathbb{P}^N$ 안의 완전교차에서 문제를 올리는 것.
• 시우의 외재적 전략과 두메르리의 내재적 제트 미분 기법을 로그 기하 설정으로 일반화한 데스플로프와 루의 작업을 통합하여 적용하는 것.
• 약한 대수적 모어 부등식을 사용하여 제트 미분의 코homology 를 제어하고, 핵심 교차 곱 $I(d)$ 의 양성을 확보하는 것.
• 다변수 잔여 공식(베르치의 작업을 일반화한 것)을 사용하여 데메르리 타워의 프로젝티브 제트 번들의 섬유를 沿해 적분하는 것.
• 다변수 형식 급수의 카우치 곱에서 지배적인 항을 식별하여 계수들이 다루기 쉬운 다항식 $\widetilde{I}(d)$ 를 정의하는 것.
• 매개변수 $\underline{a}$ 와 $\delta$ 에 대한 수치 조건 하에서, $I(d)$ 의 최대 근을 $\widetilde{I}(d)$ 의 최대 근 $\widetilde{\lambda}$ 와 관련지어 추정하는 것.

실험 결과

연구 질문

• RQ1 매끄럽고 프로젝티브 초곡면 $H \subset \mathbb{P}^n$ 의 차수 $d$ 가 어떤 효과적인 경계를 가지면, 모든 비상수 전체 곡선 $f: \mathbb{C} \to \mathbb{P}^n \setminus H$ 가 대수적으로 기저가 되는가?
• RQ2 일반적인 초곡면의 보조에서 전체 곡선의 대수적 기저를 명시적이고 효과적인 차수 경계 $d$ 를 통해 확립할 수 있는가?
• RQ3 로그 기하 설정에서 불변 제트 미분을 구성하기 위해, 데메르리 타워에서의 교차 곱 $I(d)$ 가 양성이 보장될 수 있는가?
• RQ4 다변수 카우치 곱에 나타나는 복잡한 계수들을 얼마나 정확히 추정할 수 있는가? 이는 $I(d)$ 의 최대 근을 제어하기 위함이다.
• RQ5 간단화된 다항식 $\widetilde{I}(d)$ 는 원래의 교차 곱 $I(d)$ 의 행동을 어떻게 근사하는가?

주요 결과

• 일반적인 매끄럽고 프로젝티브 초곡면 $H \subset \mathbb{P}^n$ 의 차수 $d \geq (5n)^2 n^n$ 인 경우, 모든 비상수 전체 헬름홀로픽 곡선 $f: \mathbb{C} \to \mathbb{P}^n \setminus H$ 는 코드림이 적어도 2 이상인 고유 부분다양체 $Z \subset \mathbb{P}^n$ 에 제약을 받는다.
• 이러한 부분다양체 $Z$ 의 존재는 데메르리의 방법과 데스플로프–루의 방법을 활용한 로그 기하 설정에서의 불변 제트 미분의 구성에 의해 확립된다.
• 적절한 매개변수 $\underline{a}$ 와 $\delta$ 를 선택할 경우, 데메르리 타워에서의 핵심 교차 곱 $I(d)$ 는 양성임이 입증되어 비자명한 제트 미분의 존재를 보장한다.
• $I(d)$ 의 최대 근은 간단화된 다항식 $\widetilde{I}(d)$ 를 분석함으로써 추정되며, 그 최대 근 $\widetilde{\lambda}$ 는 명시적으로 계산 가능하다.
• $\left|\mathsf{B}\right|\left(\frac{2n\mu h}{a_1}, \dotsc, \frac{2n\mu h}{a_\kappa}\right)$ 의 계수는 $\left(\frac{2n}{2n-1}\right)^{n+1}$ 이하로 유계이며, $n \to \infty$ 일 때 $e^{1/2}$ 로 수렴한다.
• $d \geq (5n)^2 n^n$ 의 경계는 $I(d)$ 의 주계수와 근의 추정을 보장하는 매개변수 $\underline{a}$ 와 $\delta$ 에 대한 수치 조건에서 유도된다.