[论文解读] Detecting linear dependence on a simple abelian variety

Peter Jossen|arXiv (Cornell University)|Jan 1, 2010

Algebraic Geometry and Number Theory参考文献 25被引用 4

一句话总结

该论文建立了数域上几何单纯阿贝尔簇上线性相关性的局部到整体原则：若一个有理点在几乎所有素数模下归约到一个子群中，则其在整体上也属于该子群。证明使用了 $\alpha$-adic 伽罗瓦表示、1-模范畴以及通过 Serre-Gabber 和 Chebotarev 类型论证的上同调障碍，表明当障碍群无挠时，在几何单纯性假设下可推出所需的全局包含关系。

ABSTRACT

Let A be a geometrically simple abelian variety over a number field k, let X be a subgroup of A(k) and let P be an element of A(k). We prove that if P belongs to X modulo almost all primes of k then P already belongs to X.

研究动机与目标

• 解决 Wojciech Gajda 于 2002 年提出的问题：局部归约条件是否能检测阿贝尔簇中的全局线性相关性？
• 基于有理点在几乎所有素数模下的行为，建立一个有理点属于 Mordell–Weil 群子群的充分条件。
• 通过证明在几何单纯性假设下实现全局包含，推广文献中部分结果（如 Schinzel、Weston 和 Kowalski 的工作）。
• 通过 1-模范畴与伽罗瓦表示，建立一个上同调框架，以分析局部到整体原则的障碍。

提出的方法

• 在整数环 $\mathcal{O}_k$ 上构造一个 1-模范畴 $[u: Y \to A]$，其中 $Y$ 为常层，且 $u(Y) = X$，即感兴趣的子群。
• 为该 1-模范畴关联一个 $\ell$-adic 伽罗瓦表示 $\textup{T}_\ell M$，其作用于 $k$ 的绝对伽罗瓦群上。
• 将上同调群 $H^1_S(U, \textup{T}_\ell M)$ 定义为在自然密度为 1 的素数处局部限制映射的乘积的核。
• 利用 Serre-Gabber 同构，将 $H^1_S(U, \textup{T}_\ell M)$ 与 $H^1_*(L^M, \textup{T}_\ell M)$ 关联起来，其中 $L^M$ 是伽罗瓦群在 $\textup{Aut}(\textup{T}_\ell M)$ 中的像。
• 在几何单纯性下，利用 Mumford–Tate 猜想与伽罗瓦像的控制，证明 $H^1_*(L^M, \textup{T}_\ell M)$ 无挠。
• 证明障碍群的无挠性意味着 $X = \overline{X}$，其中 $\overline{X}$ 是模几乎所有素数归约到 $X$ 的点的集合。

实验结果

研究问题

• RQ1 若一个有理点模几乎所有素数归约到一个子群，是否意味着它在整体上属于该子群？
• RQ2 阿贝尔簇上线性相关性的局部到整体原则的上同调障碍是什么？
• RQ3 当阿贝尔簇几何单纯时，局部归约条件能否检测全局线性相关性？
• RQ4 在 $\ell$-adic 泰特模上伽罗瓦像的结构如何约束局部到整体原则？

主要发现

• 主要结果表明：若一个有理点 $P$ 模自然密度为 1 的素数集归约到子群 $X \subseteq A(k)$，则 $P \in X$ 在整体上成立。
• 当 $A$ 几何单纯时，上同调障碍群 $H^1_*(L^M, \textup{T}_\ell M)$ 无挠，从而确保了局部到整体原则的有效性。
• 证明依赖于 $H^1_S(U, \textup{T}_\ell M)$ 到 $H^1_*(L^M, \textup{T}_\ell M)$ 的单射性，且后者通过伽罗瓦表示控制被证明为无挠。
• 即使对椭圆曲线而言，该结果也是新的，扩展了 Weston、Kowalski 等人基于更强假设的先前部分结果。
• 论证使用了约化技巧：假设 $X$ 在 $\overline{X}$ 中有限指数，则 $\overline{X}/X$ 的无挠性意味着 $X = \overline{X}$。
• 本文确认了在几何单纯阿贝尔簇上，局部到整体原则成立，解决了在此类情形下长期存在的问题，且无反例存在。