[论文解读] Multiple zeta-values, Galois groups, and geometry of modular varieties

A. B. Goncharov|ArXiv.org|May 8, 2000

Advanced Mathematical Identities被引用 4

一句话总结

本文建立了多重 zeta 值（MZVs）、模曲线基本群上的伽罗瓦群作用以及模簇几何之间的深刻联系。通过动机伽罗瓦理论和曲线上的多对数电流，证明了 MZV 空间维数的精确上界，并提出了其代数关系的李群结构猜想，通过动机周期将数论、算术几何与量子场论联系起来。

ABSTRACT

We discuss the following two problems: 1) The properties of the multiple zeta-values and their generalizations, multiple polylogarithms at N-th roots of unity; 2) The action of the absolute Galois group on the pro-l-completion of the fundamental group of the projective line without zero, infinity, and all N-th roots of unity; and a surprising connection of these problems with the geometry and topology of modular varieties for GL_m.

研究动机与目标

• 理解给定权和深度的多重 zeta 值（MZVs）及其单位根处推广的代数与算术结构。
• 描述绝对伽罗瓦群对去掉单位根的射影直线的 l 进基本群的作用。
• 通过动机伽罗瓦表示，将这些算术问题与模簇 $Y_1(m;N)$ 的几何联系起来。
• 为给定权和深度的 MZV 所张成的 Q-向量空间建立精确的维数估计。
• 通过多对数周期，提出 Zagier 关于 L-函数特殊值的猜想的动机版本与 l 进版本。

提出的方法

• 使用 Spec(Z) 上框架化的混合 Tate 混合动机理论，将 MZVs 建模为动机对象的周期。
• 应用 Voevodsky 的动机三角范畴与 Levine 的混合 Tate 动机框架，构造 MZVs 的动机实现。
• 通过格林函数与上同调的对称幂，引入代数曲线上的高阶多对数电流 $G_n(x,y)$。
• 通过曲线对称积上的反对称化积分，构造多重多对数的生成函数。
• 将 $L(S^n H^1(X), n)$ 的特殊值与多对数周期 $G_n(x,y)$ 联系起来，尤其当 $x,y$ 是模曲线上的挠点时。
• 使用带有矩阵值场的费曼型路径积分，建模多重格林函数的渐近行为，与量子场论建立联系。

实验结果

研究问题

• RQ1 由给定权和深度的 MZV 生成的 Q-向量空间的精确结构是什么？
• RQ2 绝对伽罗瓦群如何作用于 $\mathbb{P}^1 \setminus \{0, \mu_N, \infty\}$ 的 pro-l 基本群上？
• RQ3 动机伽罗瓦群在 $X_N$ 的动机基本群上作用的像的李代数是什么？
• RQ4 与椭圆曲线对称幂相关的 L-函数的特殊值能否用多对数周期表示？
• RQ5 模簇 $Y_1(m;N)$ 在统一 MZV 的算术与伽罗瓦作用中起什么作用？

主要发现

• 权 $k$ 的 MZV 的 Q-向量空间的维数，上界为由奇数度数 $\geq 3$ 元素生成的自由李代数的通用包络代数的分次对偶的维数。
• 对于权 12，本原 MZV 的空间维数为 2，由李代数 $\mathcal{F}(3,5,\ldots)$ 中的 $[e_5,e_7]$ 和 $[e_3,e_9]$ 张成。
• 权 12 的可分解 MZV 空间由 10 个特定单项式生成，涉及 $\pi^2$、$\zeta(3)$、$\zeta(5)$、$\zeta(3,5)$ 等，与猜想的结构一致。
• 当 $x$ 和 $y$ 是模曲线的尖点时，多对数 $G_n(x,y)$ 成为动机 Ext 类的调节器，其余积因雅可比簇中的挠性而消失。
• 多重格林函数 $G(a_1,\dots,a_{m+1})$ 作为带有矩阵值场的费曼积分渐近展开的首项出现，暗示了一种构造动机周期的一般机制。
• 本文猜想，特殊值 $L(S^n H^1(X), n+m)$ 可用曲线上深度为 $m$ 的多重多对数表示，将 Zagier 的猜想推广至更高对称幂。