[论文解读] The special value $u=1$ of Artin-Ihara $L$-functions

Kyle Hammer, Thomas W. Mattman+2 more|arXiv (Cornell University)|Jul 10, 2019

Algebraic Geometry and Number Theory参考文献 11被引用 5

一句话总结

本文在多重图的阿贝尔覆叠背景下，建立了经典 Brumer 猜想关于类群消去的类比，证明了 Artin-Ihara L-函数在 $ u = 1 $ 处的特殊值消去群环 $ \mathbb{Z}[G] $ 中的某个理想。此外，本文还计算了类似于经典 Stickelberger 理想的理想的指标，表明阿贝尔覆叠中生成树的数量可被基图中的生成树数量整除。

ABSTRACT

We study the special value $u=1$ of Artin-Ihara $L$-functions associated to characters of the automorphism group of abelian covers of multigraphs. In particular, we show an annihilation statement analogous to a classical conjecture of Brumer on annihilation of class groups for abelian extensions of number fields and we also calculate the index of an ideal analogous to the classical Stickelberger ideal in algebraic number theory. Along the way, we make some observations about the number of spanning trees in abelian multigraph coverings that may be of independent interest.

研究动机与目标

• 在多重图的阿贝尔覆叠背景下，建立 Brumer 猜想的类比。
• 计算群环 $ \mathbb{Z}[G] $ 中一个理想（类似于代数数论中经典 Stickelberger 理想）的指标。
• 研究阿贝尔多重图覆叠中生成树数量的可除性性质。
• 将数论中的等变特殊值结果扩展到使用 Artin-Ihara $ L $-函数的多重图设定中。

提出的方法

• 为多重图阿贝尔覆叠的自同构群特征定义 Artin-Ihara $ L $-函数。
• 利用 Ihara zeta 函数分解为 Artin-Ihara $ L $-函数的性质，研究 $ u = 1 $ 处的特殊值。
• 对除子和雅可比簇应用限制映射与核心限制映射，分析伽罗瓦覆叠 $ Y/X $（群为 $ G $）的 $ \mathrm{Jac}(Y) $ 和 $ \mathrm{Jac}(X) $ 的结构。
• 对 $ \mathbb{Z}[G] $-模的正合序列应用蛇形引理，证明 $ \mathrm{res}: \mathrm{Jac}(Y) \to \mathrm{Jac}(X) $ 的满射性与 $ \mathrm{cor}: \mathrm{Jac}(X) \to \mathrm{Jac}(Y) $ 的单射性。
• 定义子群 $ \mathrm{Jac}^0(Y) = \{[D] \mid N_G \cdot [D] = 0\} $，并将其阶与比值 $ \kappa_Y / \kappa_X $ 关联，其中 $ \kappa_X, \kappa_Y $ 分别为基图与覆叠图的生成树数量。
• 建立包含 $ \phi_X $ 与 $ \phi_Y $ 的交换图表，并利用同调技术证明 $ \phi_Y(\mathrm{Div}(Y)^G) = \mathrm{Pr}(Y)^G $，从而实现指标的计算。

实验结果

研究问题

• RQ1 在 Artin-Ihara $ L $-函数的背景下，阿贝尔多重图覆叠是否成立 Brumer 猜想的类比？
• RQ2 在 $ \mathbb{Z}[G] $ 中由 Artin-Ihara $ L $-函数在 $ u = 1 $ 处的特殊值生成的理想，其指标是多少？该理想类似于经典 Stickelberger 理想。
• RQ3 阿贝尔多重图覆叠中生成树的数量与基图中的生成树数量有何关系？
• RQ4 能否利用多重图覆叠的雅可比簇结构，推导出类似于数论中类数的算术不变量？

主要发现

• Artin-Ihara $ L $-函数在 $ u = 1 $ 处的特殊值消去理想 $ \theta_{Y/X}^*(1) \cdot e \cdot \mathbb{Z}[G] $，从而确立了 Brumer 猜想的类比。
• 由特殊值生成的理想之指标为 $ 2^{(d-1)(r_X - 1)} \cdot |\mathrm{Jac}^0(Y)| $，其中 $ d = |G| $，$ r_X $ 为基图环空间的秩。
• 对任意阿贝尔覆叠 $ Y/X $，有 $ \kappa_X \mid \kappa_Y $，即基图的生成树数量整除覆叠图的生成树数量。
• 限制映射诱导出满射 $ \mathrm{res}: \mathrm{Jac}(Y) \to \mathrm{Jac}(X) $，核心限制映射诱导出单射 $ \mathrm{cor}: \mathrm{Jac}(X) \to \mathrm{Jac}(Y) $。
• 在 $ \mathrm{Jac}(Y) $ 上的范数映射 $ N_G $ 的核，记为 $ \mathrm{Jac}^0(Y) $，其阶为 $ \kappa_Y / \kappa_X $。
• 存在自然同构 $ \mathrm{Jac}(Y)/\mathrm{Jac}^0(Y) \simeq \mathrm{Jac}(X) $，表明覆叠图的雅可比簇关于范数核的商同构于基图的雅可比簇。