[논문 리뷰] Siegel's theorem and the abc conjecture

Andrea Surroca|arXiv (Cornell University)|2004. 08. 12.

Algebraic Geometry and Number Theory인용 수 7

한 줄 요약

이 논문은 ABC 추측항이 참일 경우, $S$-정수점의 높이에 대한 명시적인 상한을 도출하여, 시겔의 정수점에 관한 정리의 조건부 효과적 형태를 확립한다. 이 상한은 집합 $S$와 수체 $K$에 대해 명시적으로 표현되며, 핵심 결과는 벨리의 정리와 높이 이론을 통해 ABC 추측과 디오판틴 기하학에서의 효과적 상한을 연결한다.

ABSTRACT

Following N. Elkies ("ABC implies Mordell") we show that the abc conjecture of Masser-Oesterle implies an effective version of Siegel's theorem about integral points on algebraic curves, i.e. an upper bound for the S-integral points where the dependence on S is explicit. The converse statement is also announced in this note. For both results, the main geometric tool is a theorem of G.V. Belyi.

연구 동기 및 목표

• ABC 추측항을 가정할 때, 대수적 곡선 위의 정수점에 관한 시겔의 정리의 효과적 형태를 확립하는 것.
• 상한의 집합 $S$에 대한 의존성을 명시적으로 밝히는 것, 특히 소 아이디얼의 로그 노름에 관하여.
• 역방향을 탐색하는 것: 효과적 형태의 시겔 정리가 ABC 추측항을 함의하는가?
• 기하학적 도구, 특히 벨리의 정리를 사용하여 ABC와 정수점 사이의 연결 고리를 구축하는 것.
• 체의 차수와 판별식에 따라 매개변수화된, $S$-정수점의 높이에 대한 가설적 효과적 상한 프레임워크를 제공하는 것.

제안 방법

• 명시적인 상수를 가진 ABC 추측항을 사용하여, 오일러-포이아르케 특성가 음수인 곡선 위의 $S$-정수점에 대한 효과적 높이 상한을 도출하는 것.
• 제약된 분지 조건을 가진 곡선에서 $\mathbb{P}^1$으로의 적절한 매핑을 구성하기 위해 벨리의 정리를 적용하는 것.
• 높이 이론을 활용하여 점의 높이를 $S$ 내의 소 아이디얼의 로그 노름과 수체의 판별식과 연결하는 것.
• $\mathbb{P}^2(K)$ 내의 점의 산술적 복잡도를 측정하기 위해 루디컬 함수 $\mathrm{rad}(x)$를 사용하는 것, 특히 소 아이디얼 지지에 관하여.
• 지역 차수와 순위 추정을 사용하여, $f(x)$의 높이와 $S$ 및 보조 집합 $T$에 대한 합의 함수로 $\mathrm{rad}(P_x)$에 대한 상한을 유도하는 것.
• 높이 부등식 $h_{U,K}(x) \leq -\frac{1}{\varepsilon + \chi(U)} \sum_{\mathfrak{p} \in S} \log N_{K/\mathbb{Q}}(\mathfrak{p}) + \gamma$를 설정하는 것. 여기서 $\gamma$ 는 $K$, $U$, $\varepsilon$ 에 따라 달라진다.

실험 결과

연구 질문

• RQ1 ABC 추측항이 집합 $S$의 위치에 대해 명시적인 의존성을 가진 시겔의 정리의 효과적 형태를 함의하는가?
• RQ2 ABC 추측항의 상수 $c_{\varepsilon,K}$ 가 효과적일 경우, 높이 상한의 상수 $\gamma$ 도 효과적으로 만들 수 있는가?
• RQ3 높이 상한이 수체 $K$의 판별식 $d_K$ 에 대해 정확히 어떻게 의존하는가?
• RQ4 역방향이 존재하는가? 즉, 시겔의 정리의 효과적 형태가 ABC 추측항을 함의하는가?
• RQ5 유한 확장 $L/K$ 에서 차수의 상한이 $\delta$ 인 경우, $S$-정수점의 높이 상한이 균일하게 유계가 되는가?

주요 결과

• ABC 추측항은 오일러-포이아르케 특성이 음수인 곡선 $U$ 위의 $S$-정수점의 높이에 대해, $S$와 수체 $K$ 에 대해 명시적으로 의존하는 효과적 상한을 함의한다.
• 상한은 $h_{U,K}(x) \leq -\frac{1}{\varepsilon + \chi(U)} \sum_{\mathfrak{p} \in S} \log N_{K/\mathbb{Q}}(\mathfrak{p}) + \gamma$ 형태를 가지며, 여기서 $\gamma$ 는 $x$ 와 $S$ 에 영향을 받지 않는다.
• ABC 추측항의 상수 $c_{\varepsilon,K}$ 가 효과적일 경우, $\gamma$ 도 효과적이며, 특히 $c_{\varepsilon,K}$ 가 특정 형태일 경우 $\gamma = -\frac{2}{\varepsilon + \chi(U)} \log d_K + \kappa$ 로 표현된다.
• 가설 1 하에, 차수가 $\delta$ 이하인 유한 확장 $L/K$ 에서 상한은 균일하며, 상수는 $U$, $h_U$, $\delta$ 에만 의존한다.
• 증명은 분지 조건이 제어되는 매핑을 구성하기 위해 벨리의 정리를 활용하며, 이는 루디컬 추정에의 응용을 가능하게 한다.
• 점 $P_x$ 의 루디컬은 곡선의 종수와 차수에 따라 달라지는 계수를 가진, $f(x)$ 의 높이, $S$ 에 대한 합, 그리고 보조 집합 $T$ 에 대한 합의 선형 조합으로 유계된다.