2025-11-15T21:37:11.899130

Lattices in Tate modules

Poonen, Rybakov

Refining a theorem of Zarhin, we prove that given a $g$-dimensional abelian variety $X$ and an endomorphism $u$ of $X$, there exists a matrix $A \in \operatorname{M}_{2g}(\mathbb{Z})$ such that each Tate module $T_\ell X$ has a $\mathbb{Z}_\ell$-basis on which the action of $u$ is given by $A$, and similarly for the covariant DieudonnÃ© module tensored with $\mathbb{Q}$ if over a perfect field of characteristic $p$.

academic

Lattices in Tate modules

基本信息

论文ID: 2107.06363
标题: Lattices in Tate modules
作者: Bjorn Poonen, Sergey Rybakov
分类: math.AG (代数几何), math.NT (数论)
发表信息: 发表于 Proc. Nat. Acad. Sciences 118 (49) e2113201118 (2021)
论文链接: https://arxiv.org/abs/2107.06363

摘要

本文改进了Zarhin的一个定理，证明了对于给定的 $g$ 维阿贝尔簇 $X$ 和它的一个自同态 $u$ ，存在一个矩阵 $A \in M_{2g}(\mathbb{Z})$ ，使得每个Tate模 $T_\ell X$ 都有一个 $\mathbb{Z}_\ell$ -基，在该基下 $u$ 的作用由矩阵 $A$ 给出。类似地，对于特征 $p$ 的完备域上的协变Dieudonné模张量 $\mathbb{Q}$ 也有相应结果。

研究背景与动机

问题背景

核心问题: 研究阿贝尔簇的自同态在Tate模上的作用是否可以用统一的整数矩阵来表示
理论重要性: 这个问题涉及阿贝尔簇的算术性质，特别是其自同态环的结构与Tate模几何的关系
现有局限: Zarhin在2020年证明了存在有理数矩阵 $A \in M_{2g}(\mathbb{Q})$ 使得对每个 $\ell \neq p$ ，存在 $V_\ell$ 的 $\mathbb{Q}_\ell$ -基使得 $u$ 的作用由 $A$ 给出
研究动机: 本文旨在将Zarhin的结果从有理数情形加强到整数情形，并扩展到Dieudonné模的情况

技术挑战

特征 $p > 0$ 情况下的阿贝尔簇不总能提升到特征0，使得不能简单地通过特征0的情形来处理
需要处理不同素数 $\ell$ 处的Tate模的相容性问题
Dieudonné模的Frobenius作用增加了额外的复杂性

核心贡献

主要定理的加强: 将Zarhin定理从有理数矩阵加强到整数矩阵，即证明了存在 $A \in M_{2g}(\mathbb{Z})$
格结构的刻画: 证明了在各种情况下都存在自同态稳定的格结构
Dieudonné模的扩展: 将结果扩展到特征 $p$ 完备域上的协变Dieudonné模
统一框架: 提供了一个统一的框架来处理不同特征下的情况

(a) 存在 $u$ -稳定的 $\mathbb{Q}$ -格 $V \subset V$
(b) 存在 $u$ -稳定的 $\mathbb{Z}$ -格 $T \subset T$
(c) 若 $p > 0$ 且 $k$ 是完备的，则存在 $u$ -稳定的 $\mathbb{Q}$ -格 $V \subset V_W$
(d) 若 $k = \mathbb{F}_p$ ，则存在 $u$ -稳定的 $\mathbb{Z}$ -格 $T \subset T_W$

Tate模 $V_\ell$ 作为 $(E \otimes_{\mathbb{Q}} \mathbb{Q}_\ell)$ -模是自由的
Dieudonné模 $M_{\mathbb{Q}}$ 作为 $(E \otimes_{\mathbb{Q}} K)$ -模是自由的
对于 $\ell \nmid p \cdot \text{disc}O$ ， $T_\ell$ 作为 $(O \otimes_{\mathbb{Z}} \mathbb{Z}_\ell)$ -模是自由的

3. 约化策略

证明采用了将一般情况约化到数域情况的策略：

利用Zarhin的结构定理将自同态约化到矩阵环的乘积形式
通过同源分解将问题约化到单个因子
最终约化到数域作用的情况

证明思路

第(a)部分: 利用Zarhin的分解定理和引理2.2，构造形如 $V = P \otimes_{\mathbb{Q}} E$ 的稳定格
第(b)部分: 从(a)的结果出发，利用 $\mathbb{Q} \cap \hat{\mathbb{Z}}^{(p)} = \mathbb{Z}[1/p]$ ，构造 $\mathbb{Z}$ -格
第(c)部分: 类似于(a)，但处理包含Dieudonné模的情况
第(d)部分: 关键利用了 $k = \mathbb{F}_p$ 时 $\mathbb{Q} + W = K$ 的性质

四元数代数情况: 如果 $X$ 是椭圆曲线且 $\text{End}^{\circ}X$ 是四元数代数，则不存在 $\text{End}^{\circ}X$ -稳定的 $\mathbb{Q}$ -格，因为四元数代数不能作用在2维 $\mathbb{Q}$ -向量空间上。
交换但非数域的情况: 构造了一个精巧的反例，其中 $R$ 是交换的但仍然不存在 $R$ -稳定格。具体构造涉及椭圆曲线的乘积和上三角矩阵环。