[論文レビュー] Duality of Anderson T-motives

A. Grishkov, Dmitry Logachev|arXiv (Cornell University)|Nov 13, 2007

Advanced Algebra and Geometry参考文献 7被引用数 5

ひとこと要約

本稿では、𝔽_q[T] 上のAnderson t-モチーフに対して双対性の概念を導入し、nilpotent 演算子 N = 0 の下で、代数的双対性が解析的双対性を意味することを示している。その根拠として、t-モチーフの双対格子がその Siegel 行列の転置行列であることを示している。主な結果として、次元 r−1 でランク r である純粋 t-モチーフと ℂ_∞^{r−1} 内の双対可能格子との間の 1 対 1 対応が得られ、完全乗法的構造と非純粋な行階段形を持つ t-モチーフの双対に対する明示的公式も提示されている。

ABSTRACT

Let $M$ be a T-motive. We introduce the notion of duality for $M$. Main results of the paper (we consider uniformizable $M$ over $F_q[T]$ of rank $r$, dimension $n$, whose nilpotent operator $N$ is 0): 1. Algebraic duality implies analytic duality (Theorem 5). Explicitly, this means that the lattice of the dual of $M$ is the dual of the lattice of $M$, i.e. the transposed of a Siegel matrix of $M$ is a Siegel matrix of the dual of $M$. 2. Let $n=r-1$. There is a 1 -- 1 correspondence between pure T-motives (all they are uniformizable), and lattices of rank $r$ in $C^n$ having dual (Corollary 8.4).

研究の動機と目的

• 関数体の算術の文脈において、Tannakian 双対性とは異なる、t-モチーフの双対性の定義とその研究を目的とする。
• 均質化可能な t-モチーフと ℂ_∞^n 内の双対を持つ格子との対応を、特に純粋 t-モチーフに対して確立する。
• 完全乗法的構造（CM 型）における双対性の振る舞いを調査し、特別な場合における双対 t-モチーフの明示的公式を導出する。
• 良い通常還元を示す素点における還元写像と双対格子との関係を、特に Drinfeld モジュールの場合に探求する。
• 非純粋 t-モチーフが行階段形である場合に、双対を持つ t-モチーフの分類計画を構築するため、明示的な双対を構成する。

提案手法

• t-モチーフに対称的極化形式を用いて双対性を定義し、nilpotent 演算子 N = 0 の場合に、Siegel 行列の転置行列を双対格子とみなす。
• 代数的双対性が解析的双対性を意味することを示す。具体的には、t-モチーフ M の双対格子が M の Siegel 行列の転置行列に一致することを証明する（定理 5）。
• Drinfeld モジュールの理論と、ℂ_∞ 内の格子との 1 対 1 対応を用いて、純粋 t-モチーフと双対可能格子との間の対応を導出する（系 8.4）。
• 完全乗法的構造を持つ t-モチーフに対しては、双対の CM 型が元の CM 型の補集合であることを計算し、基本対称多項式を用いた公式を導出する。
• 完全に非純粋な行階段形を持つ t-モチーフに対しては、行列の反転と対称多項式の恒等式を用いて明示的な双対を構成する（定理 11.5）。
• 良い通常還元を示す素点における還元を、定義多項式の Newton 多角形とペアリングの性質を調べることで分析し、Drinfeld モジュールの場合に、核の双対性を証明する。

実験結果

リサーチクエスチョン

• RQ1 t-モチーフの双対性は、格子と関連して、代数的性質と解析的性質を統合的に扱える形でどのように定義できるか？
• RQ2 nilpotent 演算子 N が消える場合に、t-モチーフの格子とその双対の格子との正確な関係は何か？
• RQ3 完全乗法的構造を持つ t-モチーフが双対を持つための条件は何か？また、その双対の CM 型は元の CM 型とどのように関係するか？
• RQ4 完全に非純粋な行階段形にある非純粋 t-モチーフの双対は明示的に計算可能か？また、その双対はどのような構造を継承するか？
• RQ5 良い通常還元を示す素点 P ≠ ∞ において、t-モチーフ M 及びその双対 M′ の torsion 点への還元写像の核は、自然なペアリングに関して互いに双対的か？

主な発見

• 代数的双対性は解析的双対性を意味する：nilpotent 演算子 N = 0 の下で、t-モチーフ M の双対格子はその Siegel 行列の転置行列に一致する（定理 5）。
• 純粋 t-モチーブ（次元 r−1、ランク r）と、ℂ_∞^{r−1} 内のランク r の双対可能格子との間には 1 対 1 対応が存在する（系 8.4）。
• 純粋 t-モチーブは双対を持つが、その双対もまた純粋 t-モチーブであり、アーベル τ-シーブの双対も再びアーベル τ-シーブである（定理 10.3）。
• 完全乗法的構造を持つ t-モチーブに対しては、双対の CM 型が元の CM 型の補集合である。特に、除法代数による乗法の場合は簡単な公式が存在する（第 12 章）。
• 完全に非純粋な行階段形にある t-モチーブに対しては、巡回シフトと反転を用いた行列式の公式を用いて明示的な双対が構成される（定理 11.5）。
• 素点 P ≠ ∞ で良い通常還元を示す場合、t-モチーブ M 及びその双対 M′ の torsion 点への還元写像の核は、自然なペアリングに関して互いに双対的である。これは Drinfeld モジュールの場合に証明され、特に予想 13.4.1 の一部が解決された（証明）。