[논문 리뷰] Algebraic points on meromorphic curves

Mathilde Herblot|arXiv (Cornell University)|2012. 04. 27.

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

한 줄 요약

이 논문은 아라켈로프 기하학과 기울기 방법을 사용하여 복소수 또는 p진 수체 위의 매끄러운 곡선으로의 고전적 샤이너-랑 정리의 일반화를 제안한다. 형식적 부분다양체의 대수적 점에 대한 유한성 조건을 수립하며, 이러한 부분다양체가 균일하게 유한 차수를 가지며 $\alpha$-산술 조건을 만족할 경우, 차수와 성장 차수를 포함한 핵심 부등식이 성립해야 한다는 것을 증명한다. 이는 고전적 결과들을 특수한 경우로 포함한다.

ABSTRACT

The classic Schneider-Lang theorem in transcendence theory asserts that there are only finitely many points at which algebraically independent complex meromorphic functions of finite order of growth can simultaneously take values in a number field, when satisfying a polynomial differential equation with coefficients in this given number field. In this article, we are interested in generalizing this theorem in two directions. First, instead of considering meromorphic functions on C we consider holomorphic maps on an affine curve over the field C or C_p. This extends a statement of D. Bertrand, which applies to meromorphic functions on P^1(C) or P^1(C_p) minus a finite subset of points. Secondly, we deal with algebraic values taken by the functions, instead of rational values as in the classic setting, inspired by a work of D. Bertrand. We prove a geometric statement extending those two results, using the slopes method, written in the language of Arakelov geometry. In the complex case, we recover a special case of a result by C. Gasbarri.

연구 동기 및 목표

• 복소수체 $\mathbf{C}$ 위의 매끄러운 함수에서의 고전적 샤이너-랑 정리를 복소수체나 $\mathbf{C}_p$ 위의 아핀 곡선 위의 해석적 사상으로 확장한다.
• 베르트랑의 작업을 영감으로 삼아 유리수 값에서 대수적 값으로의 설정 일반화를 시도한다.
• 아라켈로프 기하학을 통해 미분대수적 조건과 성장 조건을 통합하고, $\alpha$-산술 형식적 부분다양체의 개념을 도입한다.
• 균일화 조건과 $\alpha$-산술 조건 하에서 형식적 부분다양체 위의 대수적 점에 대한 유한성 결과를 수립한다.
• 가스바리와 베르트랑의 정리와 같은 기존 결과들을 하나의 기하학적 프레임워크 안에서 복합적으로 회복하고 일반화한다.

제안 방법

• 아라켈로프 기하학을 활용하여 평가 준동형사상의 높이 유계성 조건을 통해 $\alpha$-산술 형식적 부분다양체를 정의한다.
• 장소에서의 차수 $\rho$에 대한 균일화 개념을 도입하여 복소수체 위의 유한 차수 매끄러운 함수를 일반화한다.
• 아라켈로프 기하학의 기울기 방법을 적용하여 절단의 성장률을 통제하고 부등식을 유도한다.
• 기하학적 힐베르트-사무 이론을 활용하여 층 코hom로지 군의 계수를 추정하고 점 渐近적 bound를 도출한다.
• 점의 차수에 반비례하는 속도를 갖는 가중치 미분 전략을 사용하여 최종 부등식을 최적화한다.
• 절단 수의 점근적 분석과 모순에 기반하여 핵심 부등식 $\sum_{j=1}^{m} \frac{1}{\alpha_j d_j} \leq \frac{r}{r-1}\rho$를 유도한다.

실험 결과

연구 질문

• RQ1 복소수체 위의 프로젝티브 다양체에서 차수 1인 형식적 부분다양체가 균일하게 유한 차수이면서 $\alpha$-산술 조건을 만족할 경우, 언제 유한 개의 대수적 점을 가질 수 있는가?
• RQ2 아라켈로프 기하학을 통해 고전적 샤이너-랑 정리를 대수적 값과 고차원 다양체로 일반화할 수 있는가?
• RQ3 $\alpha$-산술 조건이 형식적 부분다양체 위의 대수적 점의 조밀도를 어떻게 통제하는가?
• RQ4 차수 $\rho$에 대한 균일화 개념은 매끄러운 함수의 유한 성장 차수 개념과 어떻게 관련되어 있는가?
• RQ5 차수, 성장 차수, $\alpha$-파라미터를 포함한 부등식을 통해 유한성 조건을 정량화할 수 있는가?

주요 결과

• 주요 결과는 형식적 부분다양체들의 합집합의 자리스키 폐쇄의 차원 $r>1$일 경우, $\sum_{j=1}^{m} \frac{1}{\alpha_j d_j} \leq \frac{r}{r-1}\rho$ 가 성립해야 한다는 것이다.
• 형식적 부분다양체들의 합집합의 자리스키 폐쇄의 차원 $r=1$일 경우, 모든 형식적 부분다양체는 대수적이다. 이는 대수적 점들의 집합이 곡선 위에서 자리스키 조밀성을 띤다는 것을 의미한다.
• 이 부등식은 정확히 알려진 결과를 복원하므로 날카로운 것으로 간주된다. 예를 들어 $X = \mathbf{P}^n(\mathbf{C})$ 이고 $f_i$들이 차수 $\leq \rho$인 매끄러운 함수일 경우, 이 정리는 베르트랑의 샤이너-랑 정리 일반화로 축소된다.
• 증명은 점근적 절단 수 추정에 기반한 모순 증명을 사용하며, $A/B > n$ 이라고 가정하면 성장 유계 $S_D(\beta) \leq CD^{n+1}$ 와 모순됨을 보인다.
• 최적의 미분 속도 선택인 $\beta_j = \frac{1}{\overline{\alpha_j} d_j \sum_i \frac{1}{\overline{\alpha_i} d_i}}$ 는 부등식의 최대 항을 최소화한다.
• 결과적으로 이 부등식이 비자명하려면 $\rho \neq 0$ 가 필수적이며, $\lambda \to \frac{1}{\rho}$ 로 경향을 갖게 하면 최종 부등식 $\sum_{i=1}^{m} \frac{1}{\alpha_i d_i} \leq \frac{r}{r-1}\rho$ 를 유도할 수 있다.