[论文解读] 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-模的对偶性概念，通过证明 t-模的对偶格是其 Siegel 矩阵的转置，建立了代数对偶性蕴含解析对偶性的结论。主要成果包括：纯 t-模（维度 r−1，秩 r）与 ℂ_∞^{r−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-模上使用对称极化工序定义对偶性，当幂零算子 N = 0 时，以 Siegel 矩阵的转置作为对偶格。
• 通过证明 t-模 M 的对偶格是其 Siegel 矩阵的转置（定理 5），证明代数对偶性蕴含解析对偶性。
• 利用 Drinfeld 模及其与 ℂ_∞ 中格之间的一一对应关系，推导出纯 t-模与可对偶格之间的一一对应关系（推论 8.4）。
• 对于具有完整乘法的 t-模，计算其对偶的 CM 型为原 CM 型的补集，并利用初等对称多项式推导出公式。
• 通过矩阵反射与对称多项式恒等式，显式构造出完全非纯行阶梯形式的 t-模的对偶（定理 11.5）。
• 通过研究定义多项式的 Newton 多边形与配对行为，分析在良好普通约化素点处的约化，证明在 Drinfeld 模情形下，核的对偶性。

实验结果

研究问题

• RQ1 如何定义 t-模的对偶性，使其能统一代数与解析性质，特别是与格的关系？
• RQ2 当幂零算子 N 为零时，t-模的格与其对偶格之间的确切关系是什么？
• RQ3 在什么条件下，具有完整乘法的 t-模具有对偶？其对偶的 CM 型与原 CM 型有何关系？
• RQ4 能否显式计算出非纯 t-模（完全非纯行阶梯形式）的对偶？其继承了何种结构？
• RQ5 在良好普通约化素点 P ≠ ∞ 处，t-模 M 及其对偶 M′ 的扭点约化映射的核，在自然配对下是否互为对偶？

主要发现

• 代数对偶性蕴含解析对偶性：当幂零算子 N = 0 时，t-模 M 的对偶格是其 Siegel 矩阵的转置（定理 5）。
• 纯 t-模（维度 r−1，秩 r）与 ℂ_∞^{r−1} 中秩为 r 的可对偶格之间存在一一对应关系（推论 8.4）。
• 纯 t-模具有对偶，且其对偶仍为纯 t-模；阿贝尔 τ-层的对偶仍为阿贝尔 τ-层（定理 10.3）。
• 对于具有完整乘法的 t-模，其对偶的 CM 型为原 CM 型的补集；当乘法由除法代数实现时，存在简洁公式（第 12 节）。
• 显式构造了完全非纯行阶梯形式的 t-模的对偶，其公式涉及循环移位与反射的矩阵表达式（定理 11.5）。
• 在素点 P ≠ ∞ 处具有良好普通约化时，M 与 M′ 的扭点约化映射的核在自然配对下互为对偶，该结论在 Drinfeld 模情形下已得证明（作为猜想 13.4.1 的特例）。