[论文解读] On linear relations among totally odd multiple zeta values related to period polynomials

Koji Tasaka|arXiv (Cornell University)|Feb 14, 2014

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

一句话总结

本文通过与布朗的 motivic 互作相关联的矩阵构造，建立了完全奇数多重 zeta 值（MZVs）与模形式周期多项式之间的联系。证明了矩阵 $ C_{N,4} $ 的左零化子对应于受限偶周期多项式，从而为 $ C_{N,4} $ 的秩提供了新的上界，支持了深度 4 时 motivic Broadhurst-Kreimer 猜想的非对称部分。

ABSTRACT

We show that there is a relationship between modular forms and totally odd multiple zeta values, by relating the matrix $E_{N,r}$, whose entries are given by the polynomial representations of the Ihara action, with even period polynomials. We also consider the matrix $C_{N,r}$ defined by Brown and give a new upper bound of the rank of $C_{N,4}$. This result gives support to the uneven part of the motivic Broadhurst-Kreimer conjecture of depth 4.

研究动机与目标

• 研究完全奇数多重 zeta 值（MZVs）与模形式周期多项式之间的关系。
• 分析布朗定义的矩阵 $ C_{N,r} $，该矩阵编码了权重为 $ N $、深度为 $ r $ 的完全奇数 MZVs 之间的 $ \mathbb{Q} $-线性关系。
• 为 $ C_{N,4} $ 的秩提供一个新的上界，支持深度 4 时 motivic Broadhurst-Kreimer 猜想的非对称部分。
• 建立受限偶周期多项式与矩阵 $ E_{N,r} $（即 $ C_{N,r} $ 的因子）的左零化子之间的对应关系。

提出的方法

• 使用布朗的算子 $ D_m $ 定义矩阵 $ C_{N,r} $，该算子保持 motivic MZVs 的深度滤子。
• 将矩阵 $ E_{N,r} $ 作为 $ C_{N,r} $ 的右因子引入，其元素源自 Iharu 作用的多项式表示。
• 构造空间 $ \mathbf{W}_{N,r} $，即满足广义 Eichler-Shimura 关系的偶齐次多项式空间。
• 建立从 $ \mathbf{W}_{N,r} $ 到 $ E_{N,r} $ 左零化子的单射，将模形式理论与 MZV 关系联系起来。
• 利用 $ \mathbf{W}_{N,r} $ 的维数，推导出 $ \dim_\mathbb{Q} \ker E_{N,r} $ 的下界，从而得到 $ \operatorname{rank} C_{N,r} $ 的上界。
• 应用 Lyndon 单词与 shuffle 乘积的理论，验证某些 MZV 基的线性无关性，确认该上界的有效性。

实验结果

研究问题

• RQ1 完全奇数多重 zeta 值与模形式的周期多项式之间有何关系？
• RQ2 能否利用模形式理论对编码完全奇数 MZVs 之间 $ \mathbb{Q} $-线性关系的矩阵 $ C_{N,4} $ 的秩进行界定？
• RQ3 对于 $ r \geq 2 $，$ C_{N,r} $ 的左零化子与受限偶周期多项式之间是否存在结构性对应？
• RQ4 度数为 $ N-2 $ 的受限偶周期多项式空间的维数是否等于 $ \Gamma_1 $ 上尖点形式空间的维数？
• RQ5 能否确立 shuffle 代数中特定 Lyndon 基元素集合的线性无关性，以确认 $ C_{N,4} $ 的秩上界？

主要发现

• 通过 Eichler-Shimura-Manin 对应，受限偶周期多项式空间 $ \mathbf{W}_{N,2} $ 的维数等于 $ \Gamma_1 $ 上尖点形式空间的维数。
• 存在 $ \mathbf{W}_{N,2} $ 与 $ E_{N,2} = C_{N,2} $ 的左零化子之间的一一对应，为深度 2 建立了基础联系。
• 对于 $ r \geq 3 $，存在从 $ \mathbf{W}_{N,r} $ 到 $ E_{N,r} $ 左零化子的单射，推广了深度 2 的结果。
• 空间 $ \mathbf{W}_{N,4} $ 的维数为 $ \dim_\mathbb{Q} \ker E_{N,4} $ 提供了下界，从而给出了 $ \operatorname{rank} C_{N,4} $ 的上界。
• 集合 $ \Pi_N \cup \bigcup_{(N_1,N_2) \in S_{N,2}} \Pi_{N_1,N_2}^{(1)} \cup \bigcup_{(N_1,N_2) \in L_N^*} \Pi_{N_1,N_2}^{(2)} $ 在 $ \mathbb{Q} $ 上线性无关，确认了基构造中无 shuffle 乘积重叠。
• 由 $ \dim \mathbf{W}_{N,4} $ 导出的 $ \operatorname{rank} C_{N,4} $ 的上界，支持了深度 4 时 motivic Broadhurst-Kreimer 猜想的非对称部分。