[논문 리뷰] Value Distribution Theory for Parabolic Riemann Surfaces

Mihai Păun, Nessim Sibony|arXiv (Cornell University)|2014. 03. 26.

Meromorphic and Entire Functions참고 문헌 26인용 수 14

한 줄 요약

이 논문은 복소평면에서의 네바린나 이론을 포물형 리만 곡면으로 확장하며, 값 분포 이론에 가중치가 부여된 오일러 특성 항을 도입한다. 유한 오일러 특성과 무한 면적을 가진 포물형 표면에서 일반형 다양체로의 헬모르피크 사상은 제트 미분방정식을 만족함을 증명한다. 이는 블로흐 정리의 일반화와 보다 정교한 악스-린다만 정리로 이어지며, 분포 및 $c_1^2 > c_2$ 조건을 만족하는 표면에 대한 그린-그리피스 추측에 응용된다. 주요 기여는 포물형 기하학과 네바린나 코어를 활용한 전체 곡선의 자리지 조밀도를 연구하기 위한 새로운 프레임워크이다.

ABSTRACT

We survey several results in value distribution theory for parabolic Riemann surfaces. Let Y be a parabolic Riemann surface, i.e. subharmonic functions defined on Y are constant. We discuss Nevanlinna's theory for holomorphic maps f from Y to the projective line. The results we obtain parallel the classical case Y is the complex line, as we describe now. Let X be a manifold of general type, and let A be an ample line bundle on X. It is known that there exists a holomorphic jet differential P (of order k) with values in the dual of A. If the map f has infinite area and if Y has finite Euler characteristic, then we show that f satisfies the differential relation induced by P. As a consequence, we obtain a generalization of Bloch Theorem concerning the Zariski closure of maps f with values in a complex torus. An interesting corollary of these techniques is a refined Ax-Lindemann theorem, for which we give a quick proof. We then study the degree of Nevanlinna's current T[f] associated to a parabolic leaf of a foliation F by Riemann surfaces on a compact complex manifold. We show that the degree of T[f] on the tangent bundle of the foliation is bounded from below in terms of the counting function of f with respect to the singularities of F, and the Euler characteristic of Y. In the case of complex surfaces of general type, we obtain a complete analogue of McQuillan's result: a parabolic curve of infinite area and finite Euler characteristic tangent to F is not Zariski dense.

연구 동기 및 목표

• 복소평면에서의 고전적 네바린나 이론을 펀처드 컴acts 리만 곡면을 포함하는 일반 포물형 리만 곡면으로 일반화한다.
• 포물형 곡면에서의 헬모르피크 사상의 값 분포를 연구하며, 특히 제트 미분방정식과 초구형성과의 관계를 다룬다.
• 네바린나 이론적 기법을 사용하여 초월적 아핀 다양체에 대한 보다 정교한 악스-린다만 정리를 수립한다.
• 콤팩트 복소 다양체 위의 헬모르피크 분포와 접하는 포물형 곡선과 관련된 네바린나 코어의 차수를 분석한다.
• 대칭 미분형과 소멸 정리들을 활용하여 $c_1^2 > c_2$ 조건을 만족하는 최소 일반형 표면에 대해 그린-그리피스 추측의 새로운 증명을 제공한다.

제안 방법

• 무한 면적과 유한 오일러 특성을 가진 포물형 리만 곡면 $\mathcal{Y}$를 고려하며, $\log\sigma$가 컴acts 집합 외부에서 조화함수이고 $\int_{\mathcal{Y}} dd^c \log\sigma = 1$을 만족하는 에그재이션 함수 $\sigma$를 갖는다. 이는 레벨 집합 위에 확률 측도를 정의한다.
• 곡면 $\mathcal{Y}$ 위에 네바린나 이론을 적용하며, 카운팅 함수와 특성 함수에 가중치 오일러 특성 $\chi_\sigma(t)$를 도입함으로써 고전 공식을 수정한다.
• 일반형 다양체 $X$ 위의 앰플 라인 번들의 쌍대에 값이 있는 $k$차 제트 미분방정식 $P$를 사용하며, 무한 면적과 유한 오일러 특성을 가진 사상 $f: \mathcal{Y} \to X$에 대해 이러한 $P$가 영이 되도록 한다.
• 사상 $f$와 관련된 네바린나 코어 $T[f]$를 구성하고, 헬모르피크 분포 $\mathcal{F}$의 접선 및 정규다발 위에서의 그 차수를 연구하며, 카운팅 함수와 $\chi_\sigma(t)$를 포함한 하한을 증명한다.
• 브루넬라의 지수 정리와 소멸 정리를 적용하여, 대칭 미분형 $S^m T^*_X \otimes L$의 단면에 대해 $\int_X T[f] \wedge c_1(L) \geq 0$임을 보이며, $f$가 자리지 조밀할 경우 모순을 이끌어낸다.
• 그린-그리피스 추측을 $H^0(X, S^m T^*_X \otimes A^{-1})$의 비영항성으로 감소시키며, $c_1^2 > c_2$ 조건을 만족하는 표면에 대해 보고올로프의 결과를 활용한다.

실험 결과

연구 질문

• RQ1 네바린나 이론은 복소평면에서 일반 포물형 리만 곡면으로 확장될 수 있으며, 가중치 오일러 특성이 고전 결과에 어떻게 영향을 미치는가?
• RQ2 포물형 곡면 $\mathcal{Y}$에서 일반형 다양체 $X$로의 헬모르피크 사상 $f: \mathcal{Y} \to X$가 제트 미분방정식을 만족하는 조건은 무엇인가?
• RQ3 자리지 조밀도와 대칭 미분형과 관련된 선다발 $L$에 대해 $\int_X T[f] \wedge c_1(L)$의 비영항성 사이의 정확한 관계는 무엇인가?
• RQ4 분포 $\mathcal{F}$의 접선다발 위에서 네바린나 코어 $T[f]$의 차수는 카운팅 함수와 곡면 $\mathcal{Y}$의 오일러 특성과 어떻게 관련되는가?
• RQ5 대칭 미분형과 네바린나 이론적 제약 조건을 사용하여 $c_1^2 > c_2$ 조건을 만족하는 일반형 표면에 대해 그린-그리피스 추측을 증명할 수 있는가?

주요 결과

• 유한 오일러 특성과 무한 면적을 가진 포물형 리만 곡면 $\mathcal{Y}$와 일반형 다양체 $X$로의 헬모르피크 사상 $f: \mathcal{Y} \to X$는 $A$가 앰플일 때 $S^k T^*_X \otimes A^{-1}$의 영이 아닌 단면 $P$에 의해 유도되는 제트 미분방정식을 만족한다.
• 헬모르피크 분포 $\mathcal{F}$의 접선다발 위에서 네바린나 코어 $T[f]$의 차수는 분포 $\mathcal{F}$의 특이점과 관련된 사상 $f$의 카운팅 함수 및 포물형 볼의 오일러 특성 $\chi_\sigma(t)$를 포함한 항으로부터 하한이 존재한다.
• 초월적 아핀 다양체에 대해 정교한 악스-린다만 정리가 증명되었으며, 포물형 곡면에서의 헬모르피크 사상의 상의 자리지 클로처가 대수적임을 보였다.
• 일반형 표면에서 $c_1^2 > c_2$ 조건을 만족할 경우, 무한 면적과 유한 오일러 특성을 가진 포물형 곡선이 분포 $\mathcal{F}$에 접하는 경우 자리지 조밀하지 않음을 보였다. 이는 맥콰일런의 결과를 일반화한다.
• 대칭 미분형과 소멸 정리를 활용하여 $c_1^2 > c_2$ 조건을 만족하는 최소 일반형 표면에 대해 그린-그리피스 추측을 증명하였다. $L = A^{-1}$ 및 $H^0(X, S^m T^*_X \otimes A^{-1}) \neq 0$인 큰 $m$에 대해 $\int_X T[f] \wedge c_1(L) \geq 0$임을 보였으며, $f$가 자리지 조밀할 경우 이는 모순을 유도한다.
• 모든 $L$에 대해 $H^0(X, E_{k,m}T^*_X \otimes L) \neq 0$이면 $\int_X T[f] \wedge c_1(L) \geq 0$임이 성립한다는 추측이 제기되었으며, 이는 그린-그리피스 추측의 일반화로 간주된다.