[论文解读] Arithmetic of abelian varieties with constrained torsion

Christopher Rasmussen, Akio Tamagawa|arXiv (Cornell University)|Feb 6, 2013

Algebraic Geometry and Number Theory参考文献 7被引用 3

一句话总结

本文在广义黎曼猜想（GRH）下证明了：对于任意固定的数域 K 与维数 g，其上具有受限 ℓ-挠子域的阿贝尔簇的同构类是有限的。在不依赖 GRH 的条件下，对具有半稳定减少的阿贝尔簇及低次扩张情形也证明了有限性，通过伽罗瓦表示与解析数论方法导出了 ℓ 的统一有界性。

ABSTRACT

Let $K$ be a number field. We present several new finiteness results for isomorphism classes of abelian varieties over $K$ whose $\ell$-power torsion fields are arithmetically constrained for some rational prime $\ell$. Such arithmetic constraints are related to an unresolved question of Ihara regarding the kernel of the canonical outer Galois representation on the pro-$\ell$ fundamental group of $P^1 - \{0,1,\infty\}$. Under GRH, we demonstrate the set of classes is finite for any fixed $K$ and any fixed dimension. Without GRH, we prove a semistable version of the result. In addition, several unconditional results are obtained when the degree of $K/\Q$ and the dimension of abelian varieties are not too large, through a careful analysis of the special fiber of such abelian varieties. In some cases, the results (viewed as a bound on the possible values of $\ell$) are uniform in the degree of the extension $K/\Q$.

研究动机与目标

• 研究数域 K 上阿贝尔簇的同构类的有限性，其 ℓ-幂挠子域包含于与伊哈拉猜想相关的特定 pro-ℓ 扩张中。
• 确定对于任意固定的 K 与维数 g，此类阿贝尔簇的集合是否有限，特别关注 ℓ 的作用与挠子域的算术性质。
• 通过分析伽罗瓦表示与扭点上的弗罗贝尼乌斯元素，尽可能建立与 K 无关的 ℓ 的统一有界性。
• 解决伊哈拉关于阿贝尔簇的 ℓ-幂挠生成域是否位于 P¹−{0,1,∞} 上 pro-ℓ 塔的最小定义域内的开放问题。

提出的方法

• 利用 P¹−{0,1,∞} 的 pro-ℓ 基本群上的规范外伽罗瓦表示，定义域 山(K,ℓ)，该域捕捉了 pro-ℓ 塔的最小定义域。
• 分析在 K 上具有 ℓ 外良好减少的阿贝尔簇 A 的伽罗瓦表示 ρ 在 A[ℓ] 上的作用，从而对半稳定减少的指标施加约束。
• 从伽罗瓦表示 ρ 构造一个特征标 χ(m_Q)，证明其在弗罗贝尼乌斯元素上永不为零，从而支持反证法论证。
• 应用解析数论工具，包括朗伯 W-函数与算术级数中素数的界限，以推导 ℓ 的统一有界性。
• 借助广义黎曼猜想，确保存在具有特定分裂行为的小素数，用于对大 ℓ 情形导出矛盾。
• 利用类域论与伽罗瓦扩张中的分解类型，约束 K(A[ℓ^∞]) 相对于 K 的可能次数与分歧性。

实验结果

研究问题

• RQ1 对于固定的数域 K 与维数 g，集合 𝒜(K,g,ℓ) 中满足 K(A[ℓ^∞]) ⊆ 天(K,ℓ) 的 K-同构类 [A] 是否有限？
• RQ2 能否建立 ℓ 的统一有界性，使得 K(A[ℓ^∞]) ⊆ 天(K,ℓ) 蕴含 ℓ ≤ C，其中常数 C 仅依赖于 g 与 [K:Q]？
• RQ3 对所有在 ℓ 外具有良好减少的 K 上阿贝尔簇 A，是否恒有 K(A[ℓ^∞]) ⊆ 山(K,ℓ)？这与伊哈拉猜想有何关联？
• RQ4 存在非等变的阿贝尔簇 A 的最大 ℓ 是多少，使得 K(A[ℓ^∞]) ⊆ 天(K,ℓ)，且该值能否被统一有界？
• RQ5 A[ℓ] 上伽罗瓦表示的性质如何约束弗罗贝尼乌斯元素，并对大 ℓ 情形导致矛盾？

主要发现

• 在广义黎曼猜想下，对任意固定的数域 K 与维数 g，满足 [A] ∈ 𝒜(K,g,ℓ) 的对 ([A],ℓ) 的集合 𝒜(K,g) 是有限的。
• 不依赖 GRH 时，对在 K 上具有半稳定减少的阿贝尔簇，𝒜(K,g) 的有限性已无条件得证。
• 对满足 [K:Q] ≤ 3 且 g=1 的椭圆曲线，当 ℓ 足够大时，𝒜(K,1,ℓ) 为空集，其统一有界性通过朗伯 W-函数导出。
• 建立了 ℓ 的统一有界性：若 ℓ > 16g²C₃²ⁿC₅⁴ⁿ(2n)⁴ⁿexp(C₄/C₅)，则 𝒜(K,g,ℓ) 为空集，其中常数由解析数论导出。
• 当 K=ℚ 且 g=1 时，𝒜(ℚ,1) 是有限的，且明确确定包含 50 个 ℚ-同构类，涵盖 21 个同源类，其中仅 4 个类在 ℓ=11 时仍为开放问题。
• 从 A[ℓ] 上伽罗瓦表示构造的特征标 χ(m_Q) 被证明在所有弗罗贝尼乌斯元素上永不为零，这是对大 ℓ 情形导出矛盾的关键工具。