A counting argument for the geometric Bombieri-Lang conjecture on ramified covers of abelian varieties

1. 연구 문제 (Problem)

이 논문은 **기하학적 봄베리 - 랭 추측 (Geometric Bombieri–Lang Conjecture)**을 증명하는 것을 목표로 합니다. 이 추측은 정수론의 몰드 (Mordell) 추측과 랭 (Lang) 추측을 함수체 (function fields) 위의 기하학적 상황으로 확장한 것입니다.

• 주요 설정: $K$를 특성 0 의 체 $k$ 위에서 유한 생성된 체 (함수체) 라고 하고, $X$를 $K$ 위의 사영 다양체라고 합시다. $X$가 $K$ 위의 아벨 다양체 $A$로 가는 유한 사상 (finite morphism) $f: X \to A$를 가진다고 가정합니다.
• 핵심 질문: $X$의 유리점 (rational points) $X(K)$의 분포는 어떻게 되는가? 특히, $X$의 '대수적 특수 집합 (algebraic special set, $Sp(X)$)'을 제외한 나머지 부분$(X \setminus Sp(X))(K)$의 점들은 유한한 개수의 '상수 (constant)' 부분에서 기원하는가?
• 기존 연구의 한계: 최근 Xie 와 Yuan 은 $X$가 **쌍곡형 (hyperbolic, $Sp(X)=\emptyset$)**이거나, 아벨 다양체 $A$의 **Chow trace 가 0 (non-isotrivial)**인 경우 이 추측을 증명했습니다. 그러나 $X$가 쌍곡형이 아니면서 동시에 $A$의 trace 가 0 이 아닌 일반적인 경우 (분기 피복 포함) 에 대해서는 증명되지 않았습니다.
• 목표: 본 논문은 **쌍곡성 (hyperbolicity)**이나 **trace 가 0 임 (non-isotriviality)**이라는 두 가지 조건을 모두 제거하고, $X$가 아벨 다양체로 가는 유한 피복인 일반적인 경우 기하학적 봄베리 - 랭 추측을 증명하는 것입니다.

2. 방법론 (Methodology)

논문은 Xie 와 Yuan 의 기존 전략 (전체 곡선 (entire curves) 구성) 을 기반으로 하되, **새로운 계수 논증 (counting argument)**과 Nevanlinna 이론, 대수기하학적 도구를 결합하여 기술적 난제를 해결합니다.

가. 전체 곡선 구성 및 한계점

• 기존 전략: 점들의 높이가 무한히 발산한다고 가정하고, 이를 재매개화하여 아벨 다양체의 섬유 위에서 선형 전체 곡선 (linear entire curve) 을 구성합니다. 이 곡선이 특수 집합에 포함되지 않음을 보임으로써 모순을 이끌어냅니다.
• 새로운 난제: $A$의 trace 가 0 이 아닐 때, 특수 집합의 상이 전체 피복을 포함할 수 있어 기존 전략이 실패합니다. 또한, 분기 피복 (ramified cover) 의 경우 특이점 (singularities) 과 비평탄성 (non-flatness) 문제가 발생합니다.

나. 핵심 아이디어: 계수 논증 (Counting Argument)

저자는 전체 곡선의 위치를 특수 집합과 비교하는 대신, **분기 약수 (ramification divisor, $R$)**와 **절단 (intersection)**에 초점을 맞춥니다.

1. 접점 (Tangency) 관측: $X$의 분기 약수 $R$ 위의 점 $x$에서 사상 $f$의 미분은 분기 약수의 상 $D$의 접공간에 포함됩니다. 즉, $x$가 $R$에 있으면, 그 상 $(s, t)$는 $D$에 접합니다.
2. 양의 성질 (Positivity): $X$가 일반형 (general type) 이므로, 분기 약수 $R$은 섬유 위에서 큰 (big) 약수입니다. 높이가 무한히 커지는 점들의 열 $\{x_n\}$은 $R$과 점점 더 많은 점에서 교차해야 합니다.
3. 모순 유도:
   • 하한 (Lower Bound): $R$의 양의 성질과 Nevanlinna 이론을 이용해, 점들의 열이 $R$과 교차하는 횟수가 전체 교차 횟수의 일정 비율을 차지함을 보입니다.
   • 상한 (Upper Bound): 구성된 전체 곡선이 $D$의 축소된 부분 ($D_{red}$) 에 접하는 횟수는 Nevanlinna 이론의 제 2 주요 정리 (Second Main Theorem) 에 의해 매우 작아야 함을 보입니다.
   • 결론: 접점의 비율이 0 이어야 하는데 양수여야 한다는 모순을 이끌어내어, 높이가 유계 (bounded) 여야 함을 증명합니다.

다. 기술적 난제 해결

1. 비축소성 (Non-reducedness): 섬유가 축소되지 않을 수 있는 문제. Lemma 3.7을 통해, 축소된 부분의 접공간 극한이 원래 극한 접공간의 축소된 부분과 일치함을 증명하여 해결합니다.
2. 비평탄성 (Non-flatness): 분기 약수가 전체 섬유를 포함할 수 있는 문제. **약한 반안정 축소 정리 (weak semistable reduction)**를 사용하여 분기 약수가 수평적 (horizontal) 이 되도록 모델을 변경합니다.
3. 특이점 (Singularities): $X$가 매끄럽지 않아 교차수를 정의하기 어려운 문제. **카노니컬 모델 (canonical model)**과 Hacon-McKernan 확장 정리를 사용하여 $X$를 적절한 모델로 대체하고, 교차수를 잘 정의할 수 있도록 합니다.

3. 주요 결과 (Key Results)

가. 주 정리 (Theorem 1.1)

$K$가 특성 0 의 체 $k$ 위에서 유한 생성되고, $X$가 $K$ 위의 아벨 다양체 $A$로 가는 유한 사상 $f: X \to A$를 가진 사영 다양체라고 합시다.

• $Z$를 $(X \setminus Sp(X))(K)$의 $X$ 내의 자리스키 폐포라고 할 때, $Z$를 포함하는 유한 개의 닫힌 부분다양체 $\{Z_1, \dots, Z_r\}$가 존재합니다.
• 각 $Z_i$의 정규화 $Z'_i$는 $k$ 위에서 정의된 사영 다양체 $T_i$와 $K$-동형 ($Z'_i \cong T_i \times_k K$) 입니다.
• $(X \setminus Sp(X))(K)$의 모든 점은 $T_i(k)$에서 유래한 점들의 합집합에 포함됩니다.
• 의미: $X$의 유리점들은 특수 집합과, $k$에서 정의된 '상수' 부분다양체들에서 기원합니다.

나. 보조 정리 및 파생 결과

• Theorem 1.3 (최대 Albanese 차원): $X$가 일반형이고 최대 Albanese 차원을 가지며 $X(K)$가 조밀하면, $X$는 $k$ 위에서 정의된 다양체의 기저 변경 (base change) 과 쌍유리동치 (birational) 입니다.
• Corollary 1.2: $X$가 일반형이고 $A$가 $k$ 위에서 정의되지 않으면, $X(K)$는 $X$에서 조밀하지 않습니다. 또한 $A$의 $K/k$-trace 가 자명하면 $(X \setminus Sp(X))(K)$는 유한 집합입니다.

4. 공헌 (Contributions)

1. 조건 제거: Xie-Yuan 의 결과를 일반화하여, 쌍곡성이나 trace 가 0 임이라는 제한적인 조건 없이 아벨 다양체의 유한 피복에 대한 기하학적 봄베리 - 랭 추측을 완전히 증명했습니다.
2. 새로운 계수 논증: 전체 곡선의 위치를 특수 집합과 비교하는 기존 방식에서 벗어나, **분기 약수 (ramification divisor)**와 **접점 (tangency)**의 수를 세는 새로운 논증 방식을 도입했습니다. 이는 분기 피복의 구조를 직접적으로 활용하는 혁신적인 접근입니다.
3. 기술적 통합: Nevanlinna 이론 (특히 Yamanoi 의 제 2 주요 정리), 대수기하학 (카노니컬 모델, 평탄화 정리), 그리고 복소해석학 (전체 곡선 구성) 을 정교하게 결합하여 다양한 기술적 장애물을 극복했습니다.

5. 의의 (Significance)

• 이론적 완성도: 함수체 위의 고차원 디오판토스 기하학 (Diophantine geometry) 에서 가장 중요한 추측 중 하나인 봄베리 - 랭 추측의 중요한 사례를 해결함으로써, 해당 분야의 이론적 기반을 강화했습니다.
• 방법론적 확장: 분기 피복 (ramified covers) 에서 발생하는 비평탄성과 비축소성 문제를 해결하기 위해 개발된 계수 논증과 Nevanlinna 이론의 적용 방식은 향후 유사한 문제 (예: 더 일반적인 피복이나 다른 기하학적 구조) 를 연구하는 데 중요한 도구가 될 것입니다.
• 상호작용: 대수기하학의 최신 도구 (최소모델 프로그램, 카노니컬 모델) 와 복소해석학의 깊은 이론이 어떻게 Diophantine 문제 해결에 기여할 수 있는지를 보여주는 훌륭한 사례입니다.

요약하자면, 이 논문은 아벨 다양체의 분기 피복에 대한 유리점의 분포를 완전히 규명하며, 이를 위해 기존 방법론의 한계를 극복하는 정교한 계수 논증과 다양한 수학적 도구의 융합을 보여주었습니다.