[논문 리뷰] The Uniform Mordell-Lang Conjecture

Ziyang Gao, Tangli Ge외 1명|arXiv (Cornell University)|2021. 05. 31.

Algebraic Geometry and Number Theory참고 문헌 29인용 수 6

한 줄 요약

이 논문은 아벨 다양체 내의 부분다양체에 대해 Uniform Mordell–Lang 추측을 증명하며, Faltings 높이에 대한 의존성을 제거한 균일한 유리점 수의 상한을 확립한다. 증명은 일반화된 새로운 간격 원리, Hilbert 스킴, 등분포 기법에 기반하며, Mordell–Lang 분해에서 유한 집합 $ S $ 의 크기 상한으로 $ c(g, \deg_L X)^{\mathrm{rk}\Gamma + 1} $ 의 형태를 얻는다.

ABSTRACT

The Mordell--Lang conjecture for abelian varieties states that the intersection of an algebraic subvariety $X$ with a subgroup of finite rank is contained in a finite union of cosets contained in $X$. In this article, we prove a uniform version of this conjecture, meaning that that the number of cosets necessary does not depend on the ambient abelian variety. To achieve this, we prove a general gap principle on algebraic points that extends the gap principle for curves embedded into their Jacobians, previously obtained by Dimitrov--Gao--Habegger and Kühne. Our new gap principle also implies the full uniform Bogomolov conjecture in abelian varieties.

연구 동기 및 목표

• 아벨 다양체 내 부분다양체에 대해 Uniform Mordell–Lang 추측을 증명하고, 유한 랭크 부분군과의 교차에서의 유리점 수에 대한 균일한 상한을 제공한다.
• 상한이 Faltings 높이 $ h_{\mathrm{Fal}}(A) $ 와 차수 $ \deg_L A $ 에 의존하지 않고, 오직 종수 $ g $ 와 $ \deg_L X $ 에만 의존하도록 하는 것을 목표로 한다.
• Hilbert 스킴과 비퇴화 기법을 사용하여, 잭비안 내 곡선에서의 새로운 간격 원리의 일반화를 아벨 다양체의 임의의 부분다양체로 확장한다.
• 유사한 방법론 프레임워크를 통해 Uniform Bogomolov 추측을 부산물로 확립한다.

제안 방법

• Masser의 전문화 방법을 사용하여 $ F = \overline{\mathbb{Q}} $ 의 경우로의 축소.
• Rémond의 Vojta와 Mumford 부등식의 정량적 형태를 적용하여 높이와 차수를 통제한다.
• Hilbert 스킴과 Poincaré 이중확장의 활용을 통한 비퇴화 부분다양체의 구성으로, 유한성과 분포 유형의 통제를 확보한다.
• Mordell–Weil 격자 $ \Gamma \otimes \mathbb{R} $ 에서의 정교한 공포림 기법을 사용하여, 일반화된 새로운 간격 원리를 임의의 부분다양체로 확장한다.
• 등분포 정리와 높이 부등식을 활용하여 Mordell–Lang 분해에서의 소점 수를 통제한다.
• Grothendieck의 유계 Hilbert 다항식 정리에 의해 Hilbert 스킴의 유한성이 보장되어, 가중치 전반에 걸친 균일한 상한을 가능하게 한다.

실험 결과

연구 질문

• RQ1 임의의 부분다양체에 대해, 특히 그들의 잭비안 내 곡선에 국한되지 않고, 아벨 다양체 내에서 Uniform Mordell–Lang 추측을 증명할 수 있는가?
• RQ2 유리점 수에 대한 균일한 상한에서 $ \deg_L A $ 와 $ h_{\mathrm{Fal}}(A) $ 에 대한 의존성을 제거할 수 있는가?
• RQ3 Hilbert 스킴과 비퇴화 기법을 활용하여, 곡선의 경우를 초월해 임의의 부분다양체로 새로운 간격 원리를 일반화할 수 있는가?
• RQ4 동일한 균일한 상한 하에, 아벨 다양체 내 부분다양체에 대해 Uniform Bogomolov 추측이 성립하는가?
• RQ5 Mordell–Lang 분해의 상한이 부분군 $ \Gamma $ 의 랭크와 $ X $ 의 차수에 대해 최적의 의존성을 가지는가?

주요 결과

• 논문은 정리 1.1을 증명한다: $ \#S \leq c(g, \deg_L X)^{\mathrm{rk}\Gamma + 1} $, 상수 $ c $ 는 오직 $ g $ 와 $ \deg_L X $ 에만 의존하며, $ \deg_L A $ 와 $ h_{\mathrm{Fal}}(A) $ 에는 영향을 받지 않는다.
• Uniform Bogomolov 추측이 부산물로 증명되었으며, $ X(F) \cap \Gamma $ 내 비순환점의 Néron–Tate 높이에 대한 균일한 하한이 확인된다.
• 일반화된 새로운 간격 원리가 확립되었으며, [DGH20b, Küh21]의 방법을 곡선에서 아벨 다양체의 임의의 부분다양체로 확장하였다. 이는 Hilbert 스킴과 비퇴화 가중치를 활용한다.
• 논문은 [Gao20, Thm.10.1]을 활용하여 Hilbert 스킴 내에서 비퇴화 부분다양체를 구성함으로써, 가중치 가중치의 기하학적 제어와 분포 유형의 유한성을 확보한다.
• 부분다양체 $ X $ 가 $ A $ 를 생성하는 경우로 축소함으로써, $ \deg_L A $ 가 $ g $ 와 $ \deg_L X $ 에 따라 유계임을 보여, 모든 아벨 다양체와 고정된 종수 및 차수를 가진 부분다양체에 대해 상한이 균일함을 입증한다.
• 최종 상한은 $ c^{\mathrm{rk}\Gamma + 1} $ 의 형태이며, $ c $ 는 오직 $ g $ 와 $ \deg_L X $ 에만 의존한다. 이는 David–Philippon 및 Mazur의 추측을 일반적으로 확인한다.