[论文解读] Unramified Euler sums and Hoffman $\star$ basis

Claire Glanois|arXiv (Cornell University)|Mar 16, 2016

Advanced Mathematical Identities参考文献 8被引用 5

一句话总结

本文引入了一种基于无分歧动机欧拉和（交替奇偶参数）的新动机多重ζ值（MMZV）基，证明在某一分析猜想下，动机霍夫曼星基是空间 $\mathcal{H}^1$ 的有效基。通过共作用与动机伽罗瓦下降，建立了动机欧拉和与MMZV之间的联系，表明某些欧拉和是弗罗贝尼乌斯不变的且属于 $\mathcal{H}^1$，并利用深度滤子与共作用相容性构造了显式基。

ABSTRACT

When looking at how periods of $π_{1}^{\mathfrak{m}}(\mathbb{P}^{1}\diagdown \lbrace 0, 1, \infty brace )$, i.e. multiple zeta values, embeds into periods of $π_{1}^{\mathfrak{m}}(\mathbb{P}^{1}\diagdown \lbrace 0, \pm 1, \infty brace )$, i.e. Euler sums, an explicit criteria via the coaction $Δ$ acting on their motivic versions comes out. In this paper, adopting this Galois descent approach, we present a new basis for the space $\mathcal{H}^{1}$ of motivic multiple zeta values via motivic Euler sums. Up to an analytic conjecture, we also prove that the motivic Hoffman star basis $ζ^{\star, \mathfrak{m}} (2^{a_{1}},3,\cdots,3, 2^{a_{p}}, 3, 2^{b})$ is a basis of $\mathcal{H}^{1}$. Under a general motivic identity that we conjecture, these bases are identical. Other examples of unramified ES with alternating patterns of even and odds are also provided.

研究动机与目标

• 通过无分歧动机欧拉和构造动机多重ζ值空间 $\mathcal{H}^1$ 的新基。
• 通过动机共作用与伽罗瓦下降，建立动机欧拉和与动机多重ζ值之间的联系。
• 在类比扎吉尔对霍夫曼基的猜想的分析猜想下，证明动机霍夫曼星基 $\zeta^{\star,\mathfrak{m}}(2^{a_1},3,\dots,3,2^{a_p},3,2^b)$ 是 $\mathcal{H}^1$ 的基。
• 提供具有交替奇偶参数的无分歧欧拉和的显式例子，并将其与已知的动机恒等式关联。

提出的方法

• 使用动机共作用 $\Delta$ 分析动机欧拉和的结构，并将其与动机多重ζ值关联。
• 通过动机伽罗瓦群 $\mathcal{G}$ 的伽罗瓦下降，识别 $\mathcal{H}^1$ 中的弗罗贝尼乌斯不变周期。
• 利用周期映射 $\mathbf{per}: \mathcal{H}^2 \to \mathcal{Z}^2$ 将动机结果转化为实欧拉和的猜想结果。
• 将动机版的Linebarger–Zhao恒等式作为关键猜想恒等式，用于统一不同基。
• 利用深度滤子与共作用相容性，从具有正奇数和负偶数参数的无分歧欧拉和出发，构造 $\mathcal{H}^1$ 的分次基。
• 使用涉及 $\zeta^{\sharp\sharp,\mathfrak{l}}$ 及 Shift 和 Cut 等操作的递归恒等式，证明动机和之间的关系。

实验结果

研究问题

• RQ1 具有交替奇正偶负参数的无分歧动机欧拉和能否表示为动机多重ζ值的 $\mathbb{Q}$-线性组合？
• RQ2 在分析猜想下，动机霍夫曼星基 $\zeta^{\star,\mathfrak{m}}(2^{a_1},3,\dots,3,2^{a_p},3,2^b)$ 是否构成 $\mathcal{H}^1$ 的有效基？
• RQ3 动机共作用与伽罗瓦下降结构如何与某些欧拉和的无分歧性质相关联？
• RQ4 动机版Linebarger–Zhao恒等式在统一 $\mathcal{H}^1$ 的不同基中起什么作用？
• RQ5 在动机恒等式猜想下，由 $\zeta^{\sharp,\mathfrak{m}}(2a_0+1,2a_1+3,\dots,\overline{2a_p+2})$ 和动机霍夫曼星基构成的基是否等价？

主要发现

• 动机多重ζ值空间 $\mathcal{H}^1$ 允许一个分次基，由 $\zeta^{\sharp,\mathfrak{m}}(2a_0+1,2a_1+3,\dots,\overline{2a_p+2})$ 给出，其中 $a_i \geq 0$，该基通过共作用与深度滤子构造。
• 在类比扎吉尔对霍夫曼基的猜想的分析猜想下，证明了动机霍夫曼星基 $\zeta^{\star,\mathfrak{m}}(2^{a_1},3,\dots,3,2^{a_p},3,2^b)$ 是 $\mathcal{H}^1$ 的基。
• 具有交替奇正偶负参数的无分歧动机欧拉和是弗罗贝尼乌斯不变的，且属于 $\mathcal{H}^1$，证实了其几何动机起源。
• 动机版Linebarger–Zhao恒等式猜想表明，$\zeta^{\sharp,\mathfrak{m}}$ 基与动机霍夫曼星基完全相同。
• 计算了至权重 9 的系数 $\widetilde{D}_n$ 与 $\widetilde{D}^{k,n-k-1}$ 的显式表，分母涉及 $2^{2n-1}-1$ 与伯努利数 $B_{2n}$，但分子尚未得到解释。
• 通过涉及 $\zeta^{\sharp\sharp,\mathfrak{l}}$ 及 Shift 和 Cut 等操作的递归恒等式，证明了动机和表达式的等价性，从而确认了基的结构。