Lang Vojta 추측을 향한 퇴화 이론의 접근법

초록

본 논문은 수체 위의 다양체에 대한 Lang-Vojta 추측을 연구하며, 기하학적으로 기약된 경계 인자를 갖는 많은 경우에 대해 S-정수점의 유한성과 Zariski 퇴화성을 증명합니다. 곡선의 모듈라이 공간 연구를 기반으로 한 방법론을 통해, 예를 들어 3차 이상의 매끄러운 평면 곡선의 쌍대와 같은 명시적인 예시들을 제시합니다. 또한, 곡선을 제외한 모든 정규 사영 다양체가 기하학적으로 기약된 인자를 가지며, 이에 대한 (D,S)-정수점 집합이 모든 유한 확장에서 유한하다는 Achenjang과 Morrow의 질문에 답합니다.

상세 분석

본 논문의 핵심은 Lang-Vojta 추측에 대한 새로운 접근법으로, 곡선의 모듈라이 공간의 산술적 및 기하학적 성질을 활용합니다. 주요 방법론은 ‘퇴화(degeneration)를 통한 분류 사상’입니다. 구체적으로, (1) 적은 수의 정수점을 갖는 모듈라이 공간 M과 그 경계가 적절한 퇴화를 나타내는 콤팩트화 M̅을 선택하고, (2) 사상 φ: X → M̅을 구성하여 φ^{-1}(M̅ \ M) = D가 되도록 합니다. 이때 D는 연구 대상인 경계 인자가 됩니다. (3) φ|_{X\D}의 섬유를 분석하여 X\D의 정수점이 조밀하지 않거나 유한함을 유도합니다.

주요 결과로는 정리 1.2가 있습니다. 이는 기하학적 종수 g≥1인 매끄러운 분기(smoothly branched) 사영 곡선 C⊂P^n에 대해, 그 쌍대 곡선 C를 경계로 하는 쌍 (P^n, C)가 산술적 쌍곡성(arithmetically hyperbolic)을 가짐을 보입니다. 즉, 모든 유한 소수 집합 S에 대해 (C*, S)-정수점 집합이 유한합니다. 반면, 유리 곡선의 경우(정리 1.3)에는 d≥4일 때 Zariski 퇴화성만 보장되며, 추가 조건(d-1 이상의 중복도를 갖는 점이 없음)이 있어야 산술적 쌍곡성이 성립합니다.

이러한 결과를 얻기 위해 저자들은 모듈라이 스택의 비분리성(non-separatedness)과 무한 자기동형사상군으로 인한 어려움을 극복합니다. 예를 들어, 속수 0인 곡선의 경우, 무한 자기동형사상군이 Hilbert 스킴에 무한히 많은 정수점을 생성할 수 있으므로(Remark 3.3), 이 군으로 나눈 비분리 모듈라이 스택을 고려하고, Javanpeykar-Loughran의 결과(Corollary 3.13)를 사용하여 산술적 쌍곡성을 확립합니다.

또한, 정리 1.5는 dim X ≥ 2인 모든 정규 사영 다양체 X가 기하학적으로 기약된 인자 D를 가지며, (X, D)가 산술적 쌍곡성을 만족함을 보여줍니다. 이는 곡선(genus ≥1 필요)을 제외한 모든 다양체에 대해 Siegel의 정리와 유사한 유한성 결과가 존재함을 의미하는 중요한 정리입니다.

본 논문의 기여는 기하학적으로 기약된, 종종 특이점을 갖는 인자에 대한 정수점의 유한성/퇴화성을 체계적으로 연구하고, 모듈라이 이론을 통한 새로운 증명 전략을 제시한 데 있습니다. 특히, 명시적인 방정식으로 주어지는 예시(예: 페르마 3차 곡선의 쌍대)를 다수 제공함으로써 이론적 결과의 구체성을 높였습니다.