[论文解读] The algebra of generating functions for multiple divisor sums and applications to multiple zeta values

Henrik Bachmann, Ulf Kuehn|arXiv (Cornell University)|Sep 16, 2013

Advanced Mathematical Identities参考文献 10被引用 6

一句话总结

本文引入了多重除数和生成函数的代数 $\tau\mathcal{MD}$，证明其为一个带导子的滤子代数，该导子可导出线性关系。文章建立了多重zeta值的 $q$-类比，并通过映射 $Z_k$ 推导出对已知关系（包括模形式与shuffle积关系）的新代数解释，给出了权为12的显式例子，并对权为9和10的猜想关系进行了讨论。

ABSTRACT

We study the algebra MD of generating function for multiple divisor sums and its connections to multiple zeta values. The generating functions for multiple divisor sums are formal power series in q with coefficients in Q arising from the calculation of the Fourier expansion of multiple Eisenstein series. We show that the algebra MD is a filtered algebra equipped with a derivation and use this derivation to prove linear relations in MD. The (quasi-)modular forms for the full modular group Sl_2(Z) constitute a sub-algebra of MD this also yields linear relations in MD. Generating functions of multiple divisor sums can be seen as a q-analogue of multiple zeta values. Studying a certain map from this algebra into the real numbers we will derive a new explanation for relations between multiple zeta values, including those in length 2, coming from modular forms.

研究动机与目标

• 研究多重除数和生成函数的代数 $\mathcal{MD}$ 及其作为带导子的滤子代数的结构。
• 通过从 $\mathcal{MD}$ 到 $\mathbb{R}$ 的映射 $Z_k$ 建立多重zeta值的 $q$-类比，将其与已知的多重zeta值关系联系起来。
• 从 $\mathcal{MD}$ 的代数结构出发，推导出已知多重zeta值线性关系的新代数解释，特别是源于模形式与shuffle积的关系。
• 猜想在固定权与长度3下，三重除数和括号 $[s_1,s_2,s_3]$ 存在新的线性关系，这些关系自权9起被观察到。
• 为理解多重Eisenstein级数中shuffle关系的修正提供一个框架，通过 $\mathcal{MD}$ 中的代数结构实现。

提出的方法

• 将代数 $\mathcal{MD}$ 定义为由括号 $[s_1, \dots, s_l]$ 生成的 $\mathbb{Q}$-向量空间，其为编码多重除数和的关于 $q$ 的形式幂级数。
• 在 $\mathcal{MD}$ 上引入一个导子 $\operatorname{d}$，其作用于括号并保持（拟）模形式子代数不变。
• 利用该导子证明 $\mathcal{MD}$ 中的线性关系，特别是涉及 $[1]$ 与 $[2]$ 的关系，这些关系在映射 $Z_3$ 下对应于已知的zeta值恒等式。
• 构造一个映射 $Z_k: \mathcal{MD} \to \mathbb{R}$，用于在权 $k$ 处求值，将括号映射为多重zeta值。
• 将 $Z_k$ 应用于 $Z_k$ 的核中的元素，以推导出多重zeta值之间的新关系，包括shuffle积恒等式。
• 通过显式计算与猜想，识别出在固定权 $k$ 与长度3下，三重括号 $[a,b,c]$ 的线性依赖关系，自 $k=9$ 起开始分析。

实验结果

研究问题

• RQ1 多重除数和生成函数的代数 $\mathcal{MD}$ 如何被代数结构化？导子 $\operatorname{d}$ 在推导线性关系中起什么作用？
• RQ2 通过 $\mathcal{MD}$ 到 $\mathbb{R}$ 的映射 $Z_k$ 实现的多重zeta值的 $q$-类比具有何种性质？
• RQ3 能否系统地从 $\mathcal{MD}$ 中的代数结构推导出已知的多重zeta值关系，如来自模形式或shuffle积的关系？
• RQ4 在固定权与长度3下，三重除数和括号 $[a,b,c]$ 是否存在先前未知的线性关系？若存在，它们首次出现在哪些权上？
• RQ5 $Z_k$ 的核能否被系统地用于生成多重zeta值之间的新恒等式？

主要发现

• 在 $\mathcal{MD}$ 上的导子 $\operatorname{d}$ 满足恒等式 $\operatorname{d}[1] = [3] + \frac{1}{2}[2] - [2,1]$，经 $Z_3$ 映射后得到 $\zeta(2,1) = \zeta(3)$，从而恢复了一个已知的zeta值恒等式。
• 通过在 $\mathcal{MD}$ 中的关系上应用 $Z_{k+2}$，代数地恢复了 $\zeta(s_1)\zeta(s_2)$ 的shuffle积恒等式，表明导子在编码shuffle结构中的作用。
• 权为12的尖点形式 $\Delta$ 导出关系 $\frac{5197}{691}\zeta(12) = 168\zeta(5,7) + 150\zeta(7,5) + 28\zeta(9,3)$，该关系源于其在 $\mathcal{MD}$ 中括号的表达式。
• 在权为9和10的三重括号 $[a,b,c]$ 中发现了猜想的线性关系，分别有1条和1条关系，提示 $\operatorname{Fil}^W_{9,3}(\mathcal{MD})$ 与 $\operatorname{Fil}^W_{10,3}(\mathcal{MD})$ 中存在新的代数结构。
• 在权 $k$ 与长度3下，三重括号之间独立关系的数量猜想为：$t_k = 1$（$k=9$），$t_k = 1$（$k=10$），并在 $k=20$ 时增至 $t_k = 45$，表明在高权下存在非平凡结构。
• 作者猜想 $Z_k(f) = 0$ 蕴含 $Z_k^{\text{alg}}(f) = 0$ 对所有 $f \in \mathcal{MD}$ 成立，暗示多重zeta值关系背后存在更深层的代数核结构。