[论文解读] Integral and adelic aspects of the Mumford-Tate conjecture

Anna Cadoret, B.J. Moonen|arXiv (Cornell University)|Aug 26, 2015

Algebraic Geometry and Number Theory参考文献 18被引用 6

一句话总结

本文为ℂ的有限生成子域上的阿贝尔簇与K3曲面建立了精化的积分型与阿代尔型Mumford-Tate猜想。通过分析自守簇的基本群表示，证明了在Mumford-Tate猜想与霍奇极大性条件下，全塔特定模上的伽罗瓦像在阿代尔Mumford-Tate群中是开的；对于K3曲面，由于其固有的极大性，该结论无需额外假设即可成立。

ABSTRACT

Let $Y$ be an abelian variety over a subfield $k \subset \mathbb{C}$ that is of finite type over $\mathbb{Q}$. We prove that if the Mumford-Tate conjecture for $Y$ is true, then also some refined integral and adelic conjectures due to Serre are true for $Y$. In particular, if a certain Hodge-maximality condition is satisfied, we obtain an adelic open image theorem for the Galois representation on the (full) Tate module of $Y$. Our second main result is an (unconditional) adelic open image theorem for K3 surfaces. The proofs of these results rely on the study of a natural representation of the fundamental group of a Shimura variety.

研究动机与目标

• 为数域上的阿贝尔簇建立Mumford-Tate猜想的积分型与阿代尔型精化版本。
• 在霍奇极大性条件下证明阿代尔型开像定理，扩展Serre的猜想。
• 借助其内在的霍奇极大性，为K3曲面建立无需假设的阿代尔型开像定理。
• 通过几何伽罗瓦通用性，将上同调上的伽罗瓦表示与自守簇上的基本群表示联系起来。
• 通过自守簇理论与互反律，统一阿贝尔簇与K3曲面的证明机制。

提出的方法

• 利用自守簇作为带有附加结构的阿贝尔簇与K3曲面的模空间的几何结构。
• 从自守簇的一个几何不可约分支的基本群构造表示 φ: π₁(S₀) → K₀ ⊂ G(𝔸_f)。
• 应用Deligne的群论互反律，描述伽罗瓦作用在几何连通分支上的行为。
• 利用Bogomolov定理，将点的ℓ-伽罗瓦通用性与ℓ-进及阿代尔设置下的像的开性联系起来。
• 应用Cadoret–Kret的一个结果，表明在较弱条件下，一个ℓ的ℓ-伽罗瓦通用性可推出阿代尔开性。
• 通过推论3.7，证明阿代尔表示φ的像是‘大’的，满足开像定理所要求的条件。

实验结果

研究问题

• RQ1 Mumford-Tate猜想是否蕴含数域上阿贝尔簇的Serre猜想的积分型与阿代尔型精化？
• RQ2 在何种条件下，全塔特定模上的伽罗瓦表示像在阿代尔Mumford-Tate群中是开的？
• RQ3 霍奇极大性条件对于阿贝尔簇情境下的阿代尔开像定理是否必要且充分？
• RQ4 鉴于已知的Mumford-Tate猜想与霍奇结构性质，能否为K3曲面无条件建立阿代尔开像定理？
• RQ5 自守簇的基本群表示如何通过几何点与上同调上的伽罗瓦表示关联？

主要发现

• 对于满足Mumford-Tate猜想的阿贝尔簇，当ℓ变化时，[G_B(ℤ_ℓ) : Im(ρ_Y,ℓ)] 有界，且对几乎所有ℓ，像包含换位子群与积分位似变换。
• 若 H₁(Y(ℂ), ℚ) 上的霍奇结构是霍奇极大的，则 ρ_Y 的像在 G_B(𝔸_f) 中是开的。
• 对于K3曲面，已知Mumford-Tate猜想成立，且霍奇极大性自动满足，因此阿代尔开像定理无条件成立。
• 基本群表示 φ: π₁(S₀) → K₀ 的像是‘大’的，满足阿代尔开性所要求的条件，如推论3.7所确立。
• 伽罗瓦表示 ρ_Y 作为 φ∘σ_y 的复合而出现，其中 σ_y 由 S₀(k) 中的几何点 y 诱导，从而将上同调上的伽罗瓦作用与自守簇上的单值性联系起来。
• 证明依赖于以下事实：在Mumford-Tate猜想假设下，一个素数ℓ的ℓ-伽罗瓦通用性可通过Cadoret–Kret的结果推出阿代尔开性。