[论文解读] Arithmetic of function field units

Bruno Anglès, Floric Tavares Ribeiro|arXiv (Cornell University)|Jun 20, 2015

Advanced Differential Equations and Dynamical Systems被引用 1

一句话总结

本文通过德林费尔德模与一般性形变技术，建立了函数域类模的格林伯格猜想的离散类比。证明了在多变量塔勒代数上塔尔曼类模的伪循环性与伪零性结果，表明这些模的结构在函数域设定下与经典伊wasawa理论相呼应，且通过安德森-塔库尔函数明确关联到L函数的特殊值。

ABSTRACT

We prove a "discrete analogue" for Taelman's class modules of certain Conjectures formulated by R. Greenberg for cyclotomic fields.

研究动机与目标

• 将原本针对数域的cyclotomic Zp-扩张提出的格林伯格猜想，推广至函数域设定。
• 利用多变量塔勒代数上的普遍形变，研究塔尔曼类模在cyclotomic函数域中的结构。
• 在德林费尔德模与函数域类模的背景下，建立伪循环性与伪零性的类比。
• 通过安德森-塔库尔特殊函数，将这些类模的模结构与L函数的特殊值联系起来。

提出的方法

• 在塔勒代数 $ T_n(K_lat) $ 上构造一个参数化为 $ n $ 个变量的通用类模 $ H_n $，使用定义在 $ A[t_1, \dots, t_n] $ 上的德林费尔德模 $ \phi $。
• 利用与 $ \phi $ 关联的指数映射 $ \exp_\phi $，将 $ H_n $ 定义为塔勒代数模去 $ \exp_\phi $ 的像与环 $ A[t_1, \dots, t_n] $ 的商。
• 通过在 $ \overline{\mathbb{F}_q} $ 中取 $ n $ 元组的取值映射，将 $ H_n $ 与狄利克雷特征类型为 $ n $ 的塔尔曼类模的同型分量联系起来。
• 将 $ H_n $ 的Fitting理想作为关键不变量，证明其由一个在 $ \theta $ 上的首一多项式 $ B(t_1, \dots, t_n) $ 生成，该多项式通过安德森-塔库尔函数 $ \omega(t) $ 与 $ L $-级数相联系。
• 利用 $ \phi $-模理论与 $ p $-进 $ L $-函数理论分析 $ H_n $ 的结构，特别是在卡尔茨模情形。
• 应用 $ p $-进对数与 $ \chi $-扭模，将类模结构与 $ L $-函数的特殊值联系起来，特别是 $ L_P^{(1)}(1, \chi) $。

实验结果

研究问题

• RQ1 当 $ n \equiv 1 \pmod{q-1} $ 时，$ n $-变量塔勒代数上的通用类模 $ H_n $ 是否满足格林伯格伪循环性猜想的离散类比？
• RQ2 当 $ n \not\equiv 1 \pmod{q-1} $ 时，$ H_n $ 是否满足格林伯格伪零性猜想的离散类比？
• RQ3 塔尔曼类模在cyclotomic函数域中的结构是否可由通用类模 $ H_n $ 的Fitting理想控制？
• RQ4 $ p $-进 $ L $-函数的特殊值如何与 $ H_n $ 的模结构相关联？
• RQ5 安德森-塔库尔函数 $ \omega(t) $ 在将 $ H_n $ 的Fitting理想与 $ L $-级数联系起来的过程中起什么作用？

主要发现

• 当 $ n \geq 2 $ 且 $ n \equiv 1 \pmod{q-1} $ 时，存在一个从循环 $ A[t_1, \dots, t_n] $-模到 $ H_n $ 的单射同态，其余核有限，从而证明了离散伪循环性猜想。
• 当 $ n \geq 2 $ 且 $ n \not\equiv 1 \pmod{q-1} $ 时，$ H_n $ 是 $ F_q[t_1, \dots, t_n] $ 上的有限生成且挠的模，从而证明了离散伪零性猜想。
• $ H_n $ 的Fitting理想由一个在 $ \theta $ 上的首一多项式 $ B(t_1, \dots, t_n) $ 生成，满足 $ (-1)^{\frac{n-1}{q-1}} \frac{B(t_1, \dots, t_n)}{e_\pi \omega(t_1) \cdots \omega(t_n)} = L(t_1, \dots, t_n) $，从而将其与 $ \phi $ 的 $ L $-级数联系起来。
• 对每个类型为 $ n $ 的狄利克雷特征 $ \chi $，若 $ F(\eta_1, \dots, \eta_n) \neq 0 $，则当 $ n \equiv 1 \pmod{q-1} $ 时，$ H_\chi $ 是一个循环 $ A[\chi] $-模；否则 $ H_\chi = \{0\} $，此为定理主要结果的推论。
• $ p $-进 $ L $-值 $ L_P^{(1)}(1, \chi) $ 生成了单位模的 $ P $-进闭包的 $ \chi $-同型分量的Fitting理想，从而将其与 $ L $-函数的特殊值联系起来。
• 当 $ q = 3 $，$ P = \theta^3 - \theta - 1 $，且 $ n = 17 $ 时，有 $ L_P^{(1)}(1, \chi_P^{17}) \not\equiv 0 \pmod{P} $，表明此情形下 $ L $-值非零。