[论文解读] Multiple zeta values and periods of moduli spaces $\mathfrak{M}_{0,n}$

Francis Brown|ArXiv.org|Jun 17, 2006

Advanced Mathematical Identities参考文献 4被引用 24

一句话总结

该论文证明了实模空间 $χ_{0,n}(ℝ)$ 上的周期积分是多重 zeta 值的 $ℚ[2\pi i]$-线性组合，从而证实了 Goncharov 与 Manin 的一个猜想。通过在 associahedra 单元上应用斯托克斯定理，该研究构建了一个多重 polylogarithm 的通用代数中的原函数，使得可通过迭代积分与边界面的正则化实现周期的算法计算。

ABSTRACT

In this paper we prove a conjecture due to Goncharov and Manin which states that the periods of the moduli spaces $\mathfrak{M}_{0,n}$ of Riemann spheres with $n$ marked points are multiple zeta values. In order to do this, we introduce a differential algebra of multiple polylogarithms on $\mathfrak{M}_{0,n}$, and prove that it is closed under the operation of taking primitives. The main idea is to apply a version of Stokes' formula iteratively, and to exploit the geometry of the moduli spaces to reduce each period integral to multiple zeta values. We also give a geometric interpretation of the double shuffle relations, by showing that they are two extremal cases of general product formulae for periods which arise by considering natural maps between moduli spaces.

研究动机与目标

• 证明实模空间 $χ_{0,n}$ 的点上的周期积分是多重 zeta 值的 $ℚ[2\pi i]$-线性组合。
• 开发一种系统化方法，利用 associahedra 的几何结构与迭代积分来计算此类周期积分。
• 在 $χ_{0,n}$ 上构建一个多重 polylogarithm 的通用代数，通过 Picard-Vessiot 理论与约化 bar 构造，定义良好的原函数。
• 建立在紧化模空间边界面处对 polylogarithm 的规范正则化程序。
• 表明多重 zeta 值的双重打乱关系是模空间上函子性乘积关系的特例。

提出的方法

• 对单个 associahedra 单元 $̅{X}_n \to χ_{0,n}(ℝ)$ 的闭包应用斯托克斯定理的一个变体，将高维单元上的积分化为低维单元上的积分。
• 利用 $̅{X}_n$ 的边界面结构（其为更小的 associahedra $̅{X}_a \times ̅{X}_b$ 的乘积），递归计算原函数。
• 通过约化 bar 构造构建微分分次霍普夫代数 $B(χ_{0,n})$，该代数刻画了多重 polylogarithm 的通用代数 $L(χ_{0,n})$。
• 证明 $B(χ_{0,n})$ 的 de Rham 上同调在正度数上为零，从而保证 $L(χ_{0,n})$ 中原函数的存在性。
• 通过爆破与 Fuchsian 微分方程，实现对边界除数处 polylogarithm 的规范正则化。
• 在 $χ_{0,n}(ℝ)$ 上使用对称坐标参数化 associahedra，并将被积函数表示为类似交比的变量 $u_{ij}$。

实验结果

研究问题

• RQ1 所有形如 $I = \int_{X_B} \omega_A$ 的周期积分在 $χ_{0,n}(ℝ)$ 上是否都是多重 zeta 值的线性组合？
• RQ2 多重 zeta 值的双重打乱关系能否从模空间上的几何函子性推导而出？
• RQ3 当约化 bar 构造的 de Rham 上同调为零时，$χ_{0,n}$ 上多重 polylogarithm 代数中是否存在原函数？
• RQ4 当迭代积分的奇点在边界面上碰撞时，如何对这些奇点进行正则化？
• RQ5 对 associahedra 的逐次积分方法能否推广到与考克斯eter 群相关的其他配置空间？

主要发现

• 积分 $I = \int_{X_B} \omega_A$ 是权重至多为 $\ell$ 的多重 zeta 值的 $\mathbb{Q}[2\pi i]$-线性组合，其中 $\ell = n-3$。
• 当 $H^\star(F)$ 是一个二次代数时，约化 bar 构造 $B(F)$ 的 de Rham 上同调在正度数上消失，从而保证了原函数的存在性。
• $\mathfrak{M}_{0,n}$ 上同伦不变迭代积分的代数 $L(\mathfrak{M}_{0,n})$ 构成一个在 $\mathfrak{M}_{0,n}$ 上的极大幂幺 Picard-Vessiot 理论。
• 多重 zeta 值的双重打乱关系被证明是来自模空间之间函子映射的广义乘积关系的特例。
• 在边界面处对 polylogarithm 的正则化是规范的，并与斯托克斯定理级联兼容，从而实现了积分的一致计算。
• 显式计算表明 $I_3 = \int_{[0,1]^3} \frac{dx\,dy\,dz}{(1 - xyz)^2} = \zeta(2)$，展示了通过迭代积分出现低权 zeta 值的现象。