[论文解读] Decomposition of elliptic multiple zeta values and iterated Eisenstein integrals

Nils Matthes|arXiv (Cornell University)|Mar 28, 2017

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

一句话总结

本文通过一个单射映射 $\psi^A$，将 A-椭圆多重 zeta 值进行典范分解，表示为迭代埃斯泰因积分，从而简化了其 $\mathbb{Q}$-线性关系的研究。关键贡献在于 $\psi^A$ 的像位于张量代数对偶的傅里叶子空间中，且其非满射性的原因由 $\mathrm{SL}_2(\mathbb{Z})$ 上模形式的周期多项式所控制。这为理解椭圆多重 zeta 值之间的关系提供了一个结构化的线性代数框架。

ABSTRACT

We describe a decomposition algorithm for elliptic multiple zeta values, which amounts to the construction of an injective map $ψ$ from the algebra of elliptic multiple zeta values to a space of iterated Eisenstein integrals. We give many examples of this decomposition, and conclude with a short discussion about the image of $ψ$. It turns out that the failure of surjectivity of $ψ$ is in some sense governed by period polynomials of modular forms.

研究动机与目标

• 构建一个从 A-椭圆多重 zeta 值代数到迭代埃斯泰因积分空间的典范单射分解映射 $\psi^A$。
• 通过利用迭代埃斯泰因积分在 $\mathbb{C}$ 上的线性无关性，简化椭圆多重 zeta 值之间 $\mathbb{Q}$-线性关系的研究。
• 刻画 $\psi^A$ 的像，并将其非满射性与导子代数及模形式的周期多项式联系起来。
• 建立与 motivic 多重 zeta 值的结构类比，但采用避免任意选择的典范构造。

提出的方法

• 该分解通过椭圆多重 zeta 值的微分方程构造，源自 Enriquez 的工作，作为 motivic 共作用的椭圆类比。
• 映射 $\psi^A$ 定义为从 $\mathcal{EZ}^A$ 到 $T(\mathbf{E})^\vee \otimes_{\mathbb{Q}} \mathcal{Z}[2\pi i]$ 的单射，其中 $\mathbf{E} = \{\mathbf{e}_0, \mathbf{e}_2, \mathbf{e}_4, \ldots\}$ 对应埃斯泰因级数 $E_{2k}(\tau)$。
• 傅里叶子空间 $T(\mathbf{E})^\vee_{\rm Fou}$ 定义为 $\mathbb{Q}\langle\mathcal{E}\rangle_{\rm Fou}$ 在同构 $\psi$ 下的像，包含在 $q$-展开中常数项为零的迭代埃斯泰因积分。
• 该构造依赖于同构 $\psi: \mathbb{Q}\langle\mathcal{E}\rangle \to T(\mathbf{E})^\vee$，它将迭代埃斯泰因积分映射到 $\mathbf{E}$ 上张量代数的分次对偶中的元素。
• 证明像包含于傅里叶子空间中，使用分解式 $\mathcal{E}^{0}(2k_1,\ldots,2k_n;\tau) = \mathcal{E}(\ldots) - \frac{B_{2k_n}}{4k_n}\mathcal{E}(\ldots,0;\tau)$，确保 $q$-进制下的消失性。
• 映射 $\psi^A$ 非满射的原因与一个使 Drinfeld 关联器 $\underline{A}_\infty$ 消失的导子 $D$ 相关，表明只有特定组合的迭代积分会出现在像中。

实验结果

研究问题

• RQ1 如何对椭圆多重 zeta 值进行典范分解，将其表示为迭代埃斯泰因积分，以简化其 $\mathbb{Q}$-线性关系的研究？
• RQ2 分解映射 $\psi^A$ 从 $\mathcal{EZ}^A$ 到迭代埃斯泰因积分空间的像的精确结构是什么？
• RQ3 为何映射 $\psi^A$ 不是满射？其非满射性与模形式及其周期多项式有何关联？
• RQ4 椭圆多重 zeta 值的微分方程在多大程度上可视为 motivic 共作用的椭圆类比？
• RQ5 傅里叶子空间 $T(\mathbf{E})^\vee_{\rm Fou}$ 如何捕捉 A-椭圆多重 zeta 值的本质解析结构？

主要发现

• 映射 $\psi^A: \mathcal{EZ}^A \hookrightarrow T(\mathbf{E})^\vee \otimes_{\mathbb{Q}} \mathcal{Z}[2\pi i]$ 是一个典范的单射代数同态，为 A-椭圆多重 zeta 值提供了唯一的迭代埃斯泰因积分分解。
• 映射 $\psi^A$ 的像包含于傅里叶子空间 $\iota(U(\mathfrak{u})^\vee)_{\rm Fou} \otimes_{\mathbb{Q}} \mathcal{Z}[2\pi i]$ 中，意味着像中所有元素的 $q$-展开式均无常数项。
• $\psi^A$ 非满射的原因由非平凡导子的存在所决定，特别是某个使 Drinfeld 关联器 $\underline{A}_\infty$ 消失的导子 $D$，将该障碍与模形式理论联系起来。
• 非满射性的障碍被精确地编码于 $\mathrm{SL}_2(\mathbb{Z})$ 上模形式的周期多项式中，如与 Lochak 和 Schneps 的合作工作所示。
• 映射 $\psi^A$ 的构造是典范的，不依赖于任意选择，与 motivic $\phi$-映射不同，因此更具鲁棒性且结构上更自然。
• 该分解将寻找椭圆多重 zeta 值之间 $\mathbb{Q}$-线性关系的问题，转化为在 $\mathbb{C}$ 上求解线性系统的问题，因为迭代埃斯泰因积分在 $\mathbb{C}$ 上是线性无关的。