[논문 리뷰] Recent developments of the Uniform Mordell-Lang Conjecture

Ziyang Gao|arXiv (Cornell University)|2021. 04. 07.

Algebraic Geometry and Number Theory참고 문헌 63인용 수 7

한 줄 요약

이 논문은 커브가 그들의 양자군에 임bed된 경우에 대한 Uniform Mordell–Lang 추측의 증명에 대한 종합적이고 명시적인 통합을 제공하며, Dimitrov–Gao–Habegger와 Kühne의 결과를 융합한다. 이는 $\#(C(F)-P_0)\cap\Gamma \leq c(g)^{1+\rho}$ 형태의 균일한 상한을 확립하며, 여기서 $c(g)$는 오직 종 $g$에만 의존하고 $\rho$는 부분군 $\Gamma$의 랭크이다. 이는 Mazur가 제기한 오랜 동안 미해결이었던 추측을 해결한다.

ABSTRACT

This expository survey is based on my online talk at the ICCM 2020. It aims to sketch key steps of the recent proof of the uniform Mordell-Lang conjecture for curves embedded into Jacobians (a question of Mazur). The full version of this conjecture is proved by combining Dimitrov-Gao-Habegger (https://annals.math.princeton.edu/articles/17715) and Kühne (arXiv:2101.10272). We include in this survey a detailed proof on how to combine these two results, which was implicitly done in another short paper of Dimitrov-Gao-Habegger (arXiv:2009.08505) but not explicitly written in existing literature. At the end of the survey we state some future aspects.

연구 동기 및 목표

• 최근 두 가지 주요 연구를 융합하여, 커브의 양자군 내에 임베딩된 경우에 대한 Uniform Mordell–Lang 추측의 완전하고 명시적인 증명 통합을 제공하는 것.
• Dimitrov–Gao–Habegger와 Kühne의 결과가 암시적으로 통합된 바가 있었지만, 이는 이전에 [DGH20]에서만 암시되었을 뿐 공식적으로 문서화되지 않은 바를 명확히 하는 것.
• 새로운 갭 원리(New Gap Principle)를 중심 기술 도구로 제시하여, 높은 모듈라 높이와 낮은 모듈라 높이를 가진 커브를 통합적으로 다룰 수 있도록 하는 것.
• 균일한 상한을 유리점뿐만 아니라 토크션 점까지 확장함으로써, Uniform Manin–Mumford 추측과 Uniform Bogomolov 추측을 특수 케이스로 포함하고 강화하는 것.
• 향후 방향으로, 새로운 갭 원리의 고차원 일반화와 Relative Bogomolov 추측에 대한 영향을 제안하는 것.

제안 방법

• Vojta의 방법과 높이 이론, 등분포 기법을 결합하며, 특히 Betti 사상과 Betti 형식을 사용하여 비퇴화 부분다양체를 분석한다.
• 새로운 갭 원리(정리 4.1)는 아벨 다양체의 부분다양체 위에 있는 낮은 높이의 점들의 수를 제어하기 위한 핵심 도구로 도입된다.
• 문제를 모듈라 높이가 유계인 커브로 축소하기 위해 전문화(argument)를 사용하며, Masser의 결과를 활용해 $F = \overline{\mathbb{Q}}$ 라고 가정한다.
• 핵심 단계로는 Ueno 위치를 사용하여, 환경 아벨 다양체를 생성하는 부분다양체로 문제를 축소함으로써 Faltings 높이를 제어한다.
• 차원에 대한 귀납법과 표준적인 팩킹 추론을 사용하여, 부분다양체의 차수와 군의 랭크에 의존하는 유계 높이를 가진 점들의 수를 근사한다.
• 추측 10.5′는 새로운 갭 원리의 고차원 일반화로 제안되며, 부분다양체가 아벨 다양체를 생성하는 조건 하에 전체 Uniform Mordell–Lang 추측을 유도할 수 있다.

실험 결과

연구 질문

• RQ1 Dimitrov–Gao–Habegger와 Kühne의 결과를 어떻게 명시적으로 융합하여, 커브의 양자군 내 임베딩에 대한 Uniform Mordell–Lang 추측을 증명할 수 있는가?
• RQ2 새로운 갭 원리가 높은 모듈라 높이와 낮은 모듈라 높이를 가진 커브를 통합적으로 다루는 데 어떤 정확한 역할을 하는가?
• RQ3 종 $g \geq 2$인 커브 위의 유리점 수에 대한 상한이 수체의 차수에 의존하지 않고 오직 $g$와 Mordell–Weil 랭크에만 의존하도록 만들 수 있는가?
• RQ4 상한 $c(g)^{1+\rho}$에서 지수 $1+\rho$는 최적이며, 토크션 점은 어떻게 고려되는가?
• RQ5 고차원에서 새로운 갭 원리와 Relative Bogomolov 추측 사이의 관계는 무엇인가?

주요 결과

• 커브의 양자군 내 임베딩에 대한 Uniform Mordell–Lang 추측은 완전히 해결되었으며, $\#(C(F)-P_0)\cap\Gamma \leq c(g)^{1+\rho}$ 형태의 상한을 가진다. 여기서 $c(g)$는 오직 종 $g$에만 의존하고 $\rho = \mathrm{rk}\, \Gamma$이다.
• 유리점에 대한 상한 $\#C(F) \leq c(g)^{1+\mathrm{rk}\, \mathrm{Jac}(C)(F)}$는 이전 결과보다 향상되었으며, 상수에 $[F:\mathbb{Q}]$에 대한 명시적 의존성을 제거하였다.
• 토크션 점의 경우 Uniform Manin–Mumford 추측으로 복원된다: $\#(C(\mathbb{C})-P_0)\cap\mathrm{Jac}(C)_{\mathrm{tor}} \leq c(g)$이며, 이는 Kühne의 정리 3의 결과이다.
• 새로운 갭 원리(정리 4.1)는 중심 기술적 입력으로 확립되었으며, 고르지 않은 모듈라 높이를 가진 커브를 통합된 프레임워크로 다룰 수 있도록 하였다.
• DGH21과 Kühne의 결과가 어떻게 융합되는지 명시적으로 보여줌으로써, 이전에 [DGH20]에서 암시적으로만 존재했던 문헌의 빈자리를 메웠다.
• 고차원 일반화된 새로운 갭 원리는 추측 10.5′로 제안되었으며, 이는 아벨 다양체를 생성하는 임의의 부분다양체로 균일한 상한을 확장할 수 있게 한다.