[论文解读] Anderson T-motives and abelian varieties with MIQF: results coming from an analogy

A. Grishkov, Dmitry Logachev|arXiv (Cornell University)|Jul 27, 2009

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

一句话总结

本文在安德森 T-模与具有虚二次域乘法的阿贝尔簇（MIQF）之间建立类比，得出两个关键结果：(1) 通过 $ \mathbb{C}^n $ 中的 $ r $-维 $ O_K $-子模，对维度为 $ r $、型为 $ (n, r-n) $ 的 MIQF 阿贝尔簇进行刻画；(2) 当 $ n=1 $ 时，构造了 MIQF 阿贝尔簇的 $ k $-重外幂，其构造方式与 T-模的外幂类比。该构造被证明可生成具有指定型的新 MIQF 阿贝尔簇。

ABSTRACT

Analogy between Anderson T-motives and abelian varieties with multiplication by an imaginary quadratic field (MIQF) is a source of 2 results: 1. A description of abelian varieties with MIQF of dimension $r$ and signature $(n, r-n)$ in terms of "lattices" of dimension $r$ in $\Bbb C^n$; 2. A construction of exterior powers of abelian varieties with MIQF having $n=1$.

研究动机与目标

• 探索并形式化安德森 T-模与具有 MIQF 的阿贝尔簇之间的类比，特别是在 $ N=0 $ 的可统一化纯 T-模背景下。
• 通过类比 T-模的格子构造，提供维度为 $ r $、型为 $ (n, r-n) $ 的 MIQF 阿贝尔簇的格子理论描述。
• 当 $ n=1 $ 时，定义并构造具有 MIQF 的阿贝尔簇的 $ k $-重外幂，其方式与已知的 T-模外幂构造相一致。
• 证明该构造可生成一个新的具有 MIQF 的阿贝尔簇，并通过映射 $ GU(1,r-1) \to GU\left(\binom{r-1}{k-1}, \binom{r-1}{k}\right) $ 与希伽玛簇建立联系。

提出的方法

• 利用 T-模与 MIQF 阿贝尔簇之间的类比，将函数域情形下的构造方法转移到数域情形。
• 通过映射 $ \alpha $，构造一个格子 $ L(A) $，即 $ \mathbb{C}^n $ 中的 $ r $-维 $ O_K $-子模，而非 $ \mathbb{C}^r $，从而推广了 T-模格子 $ L(M) \subset \mathbb{C}_\infty^n $。
• 通过正合列 $ 0 \to \ker \alpha \to L \otimes_K \mathbb{C} \to \mathbb{C}^n \to 0 $ 的 $ k $-重外幂定义外幂 $ \lambda^k(A) $，并引入相应的厄米形式 $ \lambda^k(H_L) $。
• 验证当 $ n=1 $ 时，$ (-1)^k \lambda^k(H_L) $ 在 $ \lambda^k(\ker \alpha) $ 上为正定，从而确保可定义阿贝尔簇。
• 利用映射 $ \gamma \mapsto \lambda^k(\gamma) $ 定义一个同态 $ GU(1,r-1) \to GU\left(\binom{r-1}{k-1}, \binom{r-1}{k}\right) $，将构造与希伽玛簇联系起来。
• 证明该构造与格子描述互为逆，从而在同源意义下建立一一对应关系。

实验结果

研究问题

• RQ1 是否能通过 $ \mathbb{C}^n $ 中的 $ r $-维 $ O_K $-子模（而非 $ \mathbb{C}^r $）类比 T-模的方式，描述型为 $ (n,r-n) $ 的 MIQF 阿贝尔簇？
• RQ2 当 $ n=1 $ 时，是否存在一个明确定义的 MIQF 阿贝尔簇的 $ k $-重外幂构造，其方式与 T-模的构造类比？
• RQ3 维度为 $ r $、型为 $ (1,r-1) $ 的 MIQF 阿贝尔簇的 $ k $-重外幂的型是什么？
• RQ4 该构造能否扩展为希伽玛簇之间的同态 $ GU(1,r-1) \to GU\left(\binom{r-1}{k-1}, \binom{r-1}{k}\right) $？
• RQ5 为何该构造在 $ n \neq 1, r-1 $ 时不成立？在该背景下，对称幂或张量幂为何无法以相同方式定义？

主要发现

• 本文构造了一个 $ r $-维 $ O_K $-子模 $ \gamma(L) \subset \mathbb{C}^n $，其作为型为 $ (n,r-n) $ 的 MIQF 阿贝尔簇的格子，推广了 T-模格子 $ L(M) \subset \mathbb{C}_\infty^n $。
• 当 $ n=1 $ 时，证明了维度为 $ r $ 的 MIQF 阿贝尔簇 $ A $ 的 $ k $-重外幂 $ \lambda^k(A) $ 存在，并定义了一个新的 MIQF 阿贝尔簇，其型为 $ \binom{r-1}{k-1}, \binom{r-1}{k} $。
• 当 $ n=1 $ 时，厄米形式 $ \lambda^k(H_L) $ 限制在 $ \lambda^k(\ker \alpha) $ 上为正定，从而确保了可定义阿贝尔簇结构。
• 该 $ \lambda^k(A) $ 构造与希伽玛簇理论相容，其关联映射 $ GU(1,r-1) \to GU\left(\binom{r-1}{k-1}, \binom{r-1}{k}\right) $ 自然地源于伽罗瓦表示的外幂。
• 该构造与格子描述互为逆，从而在同源意义下建立了此类 MIQF 阿贝尔簇与相应的 $ \mathbb{C}^n $ 中 $ O_K $-子模之间的一一对应关系。
• 该方法在 $ n \neq 1, r-1 $ 时不成立，且对称幂或张量幂无法以相同方式定义，凸显了 $ n=1 $ 在此分类中的特殊作用。