[논문 리뷰] Birational geometry for number theorists

Dan Abramovich|ArXiv.org|2007. 01. 03.

Algebraic Geometry and Number Theory참고 문헌 45인용 수 20

한 줄 요약

이 논문은 카다이라 차수와 캐논리컬 분할류와 같은 기하학적 불변량이 대수다양체 위의 유리점과 정수점의 분포를 결정하는 방식을 탐구함으로써, 비틀림 기하학과 산술 기하학을 연결한다. 이는 보지아의 추측과 칸파나의 오비폴드 추측이 ABC 추측을 통합하고 일반화함을 보여주며, 핵심 결과로는 특정 오비폴드 곡선에서 정수점의 유한성이 ABC 추측에 의해 유도되며, 고차원 Vojta 추측이 특별하지 않은 다양체에 대해 정수점의 유한성을 암시한다는 것을 보여준다.

ABSTRACT

Awfully idiosyncratic lecture notes from CMI summer school in arithmetic geometry July 31-August 4, 2006. Does not include: rationality problems, techniques of the minimal model problem and much of the rest. Includes: Lecture 0: geometry and arithmetic of curves Lecture 1: Kodaira dimension and properties, rational connectendess, Lang's and Campana's conjectures. Lecture 2: Campana's program; Campana constellations framed in terms of b-divisors, to allow for a definition of Kodaira dimension directly on the base. A speculative notion of firmaments which may deserve further investigation, especially the arithmetic side. Lecture 3: the minimal model program: very short discussion of bend-and-break; even shorter discussion of finite generation and the existence of flip. Lecture 4: Vojta's conjectures, Campana's conjectures, and ABC.

연구 동기 및 목표

• 기하학과 산술 사이의 깊은 연관성을 탐구하고, 특히 비틀림 불변량이 유리점과 정수점 분포를 어떻게 규정하는지 설명한다.
• Vojta의 추측과 Campana의 오비폴드 추측을 다항방정식의 유한성 결과를 통합하는 프레임워크로 설명하고 맥락화한다.
• ABC 추측이 P^1 위에 세 점에 지지된 분할류에서의 유리점에 대한 Vojta의 추측의 특수한 경우임을 보여준다.
• 일반 유형의 오비폴드 곡선에 대해 소프트 S-정수점의 유한성에 관한 Campana의 추측이 ABC 추측에 의해 유도됨을 보여준다.
• 고차원 Vojta 추측이 특별하지 않은 다양체에서 유리점의 비조리-밀도성을 암시할 수 있음을 제안하며, 특히 분할류의 특이점 근처에서의 현상에 초점을 맞춘다.

제안 방법

• 곡선 위의 캐논리컬 분할류와 선다발을 사용하여 차수 deg(K_C)와 K_X(D)와 같은 기하학적 불변량을 정의함으로써 산술적 행동을 규명한다.
• Vojta의 추측에서 높이 함수와 로그적 판별식 항을 적용하여 다양체 위의 산술적 자료와 기하학적 자료를 비교한다.
• 오비폴드 곡선 위의 정수점 연구를 가중치가 있는 분할류를 가진 P^1 위의 유리점 문제로 환원함으로써 Belyi 사상과 다중도 조건을 활용한다.
• ABC 추측을 N^{(1)}_S(D,P)와 h_{K_X(D)}(P)를 포함하는 높이 부등식으로 변환하여, Vojta의 추측의 특수한 경우와의 동치성을 보여준다.
• P^1 위의 최소 분할 유형 (2,3,7), (2,4,5) 등에 대한 구조를 분석하여, ABC 추측에 의해 정수점의 유한성이 유도되는 경우를 분류한다.
• |a|, |b|, |c|의 최댓값과 abc의 소인수의 곱을 포함하는 부등식을 사용하여 해를 유 bounds 하며, 조건 1/n₀ + 1/n₁ + 1/n∞ < 1 에 기반한다.

실험 결과

연구 질문

• RQ1 카다이라 차수와 캐논리컬 분할류와 같은 기하학적 불변량이 대수다양체 위의 유리점의 조밀도 또는 유한성에 어떻게 영향을 미치는가?
• RQ2 P^1 위에 세 점에 지지된 분할류가 있는 경우, Vojta의 추측이 ABC 추측을 얼마나 일반화하거나 암시하는가?
• RQ3 일반 유형의 오비폴드 곡선에 대해 소프트 S-정수점의 유한성에 관한 Campana의 추측을 ABC 추측으로 환원할 수 있는가?
• RQ4 분할류 D의 특이점이 고차원 Vojta 유형 추측에서 유리점의 조밀도 실패에 어떤 역할을 하는가?
• RQ5 Campana의 구성에서 분할류의 다중도 조건이 ABC를 통해 정수점의 유한성을 어떻게 이끌어내는가?

주요 결과

• ABC 추측은 P^1 위에 세 점에 지지된 분할류 D가 있는 경우, Vojta의 추측의 특수한 경우와 동치이며, h(P) ≤ (1+ε)N^{(1)}_S(D,P) + O(1) 를 만족한다.
• 분할류 다중도가 (2,3,7), (2,4,5), (3,3,4), (2,2,2,3), 또는 (2,2,2,2,2)인 Campana 별자리 곡선의 경우, 소프트 S-정수점의 유한성은 ABC 추측에 의해 유도된다.
• 1/n₀ + 1/n₁ + 1/n∞ < 1 이면, ABC 추측은 max(|a|,|b|,|c|) 가 유계임을 암시하므로, 이러한 오비폴드 곡선 위에 정수점은 유한 개 존재한다.
• 부등식 M^{1/n₀ + 1/n₁ + 1/n∞} ≥ ∏_{p|abc} p 와 ABC 추측을 조합하면 M^{1−ε} < C 를 만족하는 어떤 ε > 0 가 존재함을 보여주며, 해의 유계성을 증명한다.
• 고차원 Vojta 추측은 특별하지 않은 다양체 위의 유리점이 조리-밀도가 아님을 암시하며, 특히 분할류 D의 특이점 근처로 점이 수렴할 경우 더욱 뚜렷하다.
• Vojta의 추측 4.2.1과 4.2.2 간의 동치성이 입증되었으며, 차원 dim X 의 판별인자 요소가 원래 서술에서 필요하지 않음을 보여준다.