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

Tateモジュール内の格

基本情報

論文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é加群への結果の拡張
統一的枠組み: 異なる特性下の場合を扱うための統一的枠組みを提供した

方法の詳細

核心的定義

定義1.1（格）: 環 $R \subseteq R'$ と対応する加群 $L \subseteq L'$ が与えられたとき、 $L$ が $L'$ 内の $R$ -格であるとは、 $L$ が $R$ -基を持ち、同時にそれが $L'$ の $R'$ -基でもあることをいう。

主定理

定理1.2: $u \in \text{End}X$ とするとき、以下が成立する：

(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$ が存在する

技術的革新点

1. 加群の自由性の証明

補題2.1: Frobenius自己準同型の性質を利用して、特性 $p$ の場合における特定の加群の自由性を証明した。重要な洞察は、Frobenius作用が環拡張上に誘導する置換群の推移性である。

2. 数体埋め込みの処理

補題2.2: 数体 $E \subset \text{End}^{\circ}X$ の場合における様々な加群の自由性を体系的に処理した：

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$ -不変格が存在しない巧妙な反例が構成された。具体的な構成は楕円曲線の積と上三角行列環を含む。