A proof of a weighted sum conjecture for finite multiple zeta values of level two

技术摘要：二层有限多元 zeta 值加权和猜想的证明

问题陈述
本文解决了 Kaneko、Murakami 和 Yoshihara 关于二层（level two）有限多元 zeta 值（FMZVs）的一个猜想。经典的多元 zeta 值（MZVs）满足丰富的代数关系，包括和公式（sum formulas）和加权和公式（weighted sum formulas），而其有限类似物——定义在类阿代尔环 $\mathcal{A} = \prod_{p} \mathbb{Z}/p\mathbb{Z}$ 上——也表现出平行的结构。具体而言，Kaneko、Murakami 和 Yoshihara 引入了二层 FMZVs，记作 $\zeta^{(2)}_{\mathcal{A}}(k)$，其中求和指标被限制在 $1 \le m_1 < \dots < m_r < p/2$。他们提出了一个针对指数 $k = (k_1, \dots, k_r)$（其中分量 $k_i \in \{1, 2\}$）的特定加权和公式猜想。该猜想断言，对于整数 $r \ge 1$ 和 $0 \le a \le r$，一个取决于 2 的个数以及其位置奇偶性的加权和为零。

研究方法
作者利用生成函数和线性递推关系理论来证明该猜想。核心策略包括以下步骤：

1. 生成函数构建： 作者定义了一个表示二层 FMZV 结构的偏和（partial sums）的生成函数 $G_n(x, z)$。他们根据指标元组的长度将此函数分解为偶分量（$E_n$）和奇分量（$O_n$）。
2. 递推关系导出： 通过分析 $E_n$ 与 $O_n$ 之间相邻项的矩阵关系，他们导出了一个关于缩放多项式 $g_n = (n!)^2 G_n$ 的二阶线性递推关系。
3. 向差分方程转化： 通过将变量 $z$ 特化为 $-s(s+x)$ 并进行序列归一化，将 $g_n$ 的递推关系转化为一个超几何类型的二阶差分方程。
4. 与特殊函数识别： 该差分方程被识别为由一族与 Racah 型多项式相关的多项式所满足。作者使用广义超几何函数 ${}_4F_3$ 显式地构造了解。
5. 根分析： 通过在特定点评估超几何解，作者证明了多项式 $g_N$（其中 $N = (p-1)/2$）在 $N$ 个不同点处消失。这使得他们能够完全分解该多项式。

主要贡献与结果
本文确立了两个主要定理：

• 定理 1.1（多项式恒等式）： 作者在多项式环 $\mathbb{F}_p[x, z]$ 中证明了一个基本恒等式：
  $$\sum_{r=0}^{N} \sum_{1 \le m_1 < \dots < m_r \le N} \prod_{j=1}^{r} \left( \frac{x}{m_j} + \frac{2(-1)^j z}{m_j^2} \right) = \prod_{m=1}^{N} \left( 1 + \frac{x}{m} + \frac{z}{m^2} \right)$$
  通过证明左侧（视为 $z$ 的多项式）是次数为 $N$ 的首一多项式，且与右侧具有相同的根，从而推导出该恒等式。

• 定理 1.2 (猜想的证明)： 利用定理 1.1 中的多项式恒等式，作者证明了 Kaneko、Murakami 和 Yoshihara 的加权和猜想。他们证明了对于 $k_i \in \{1, 2\}$：
  $$\sum_{\substack{k_i \in \{1,2\} \\ \#\{i: k_i=2\}=a}} \left( 2^a (-1)^{\#\{i: i \text{ 为奇数}, k_i=2\}} - 1 \right) \zeta^{(2)}_{\mathcal{A}}(k_1, \dots, k_r) = 0$$
  这一结果证实了二层 FMZVs 的加权和为零，其权重由 2 的个数及其位置的奇偶性决定。

意义
本文声称解决了有限多元 zeta 值理论中的一个开放问题。通过将猜想归约为一个多项式恒等式，并利用 ${}_4F_3$ 超几何 Racath 型多项式解决相关的差分方程，作者为加权和公式提供了严谨的代数证明。这项工作扩展了已知关于经典多元 zeta 值与有限多元 zeta 值（特别是二层变体，即多元 $t$ 值的有限类似物）之间的平行关系。该方法论展示了生成函数和超几何恒等式在建立有限算术和关系中的效用。