Lacunary recurrences and 2-adic properties of Eisenstein series

技术摘要：缺项递推关系与艾森斯坦级数的 2-adic 性质

问题陈述
本文研究了艾森斯坦级数 $G_k$（归一化使其常数项为 $2\zeta(k)$）展开为生成元 $G_4$ 和 $G_6$ 的多项式时产生的有理系数 $w(a, k)$。具体而言，作者旨在确定给定偶数权 $k \geq 4$ 下，系数集合 $\{w(a, k)\}$ 中的最小 2-adic 赋值，记为 $v_2$。核心问题在于该最小赋值与权 $k$ 的二进制展开之间存在何种关系。

方法论
证明依赖于利用艾森斯坦级数的缺项递推关系（lacunary recurrences）的组合方法。作者采用了由 Romik [Rom17] 发现并由 Mertens 和 Rolen [MR15] 推广的特定递推关系。这些递推关系被称为“缺项”，因为它们将高权艾森斯坦级数表示为低权级数的稀疏乘积，而非稠密求和。

方法论通过对权 $k$ 进行归纳展开：

1. 基础情形（2 的幂）： 作者首先处理权 $k$ 为 2 的幂的情况。他们利用经典递推关系分离出 $G_4$ 纯幂次的系数。通过分析该递推关系中各项的 2-adic 赋值并配对对称的求和项，他们证明了赋值为 0 是可以达到的。
2. 归纳步骤（非 2 的幂）： 对于权 $k$ 不是 2 的幂的情况，证明根据 $k$ 模 6 的余数（$k \equiv 2, 0, 4 \pmod 6$）分为三种情形。
   • 对于每种情形，作者应用相应的 Romik/Mertens-Rolen 恒等式，将 $G_k$ 表示为乘积 $G_{2n+2j}G_{4n-2j+c}$ 的和。
   • 他们利用性质 $v_2(m!) = m - s(m)$（其中 $s(m)$ 是 $m$ 的二进制展开中 1 的个数）来分析这些恒等式中系数的 2-adic 赋值。
   • 作者利用求和指数的对称性来配对各项，确保配对项的赋值为严格正数，或受归纳假设的下界约束。
   • 关键的是，他们识别出特定的索引，其中乘积的一个因子对应于权为 2 的幂（产生最小赋值 0），而另一个因子则不是。这使得他们能够构造出一个特定的系数 $w(a, k)$，使其达到理论下界。

主要贡献与结果
主要结果是证明了 Gonz´alez [Gon22] 的一个猜想，该猜想提供了系数 $w(a, k)$ 最小 2-adic 赋值的精确公式。

定理 1： 对于每一个偶数 $k \geq 4$，最小 2-adic 赋值为：
$$\min_a v_2(w(a, k)) = \begin{cases} 0 & \text{若 } k \text{ 是 2 的幂}, \\ s(k) - 2 & \text{若 } k \text{ 不是 2 的幂}. \end{cases}$$
其中 $s(k)$ 表示 $k$ 的二进制展开中 1 的个数。

本文确立了：

• Gonz´alez 先前的结果（证明了通用下界 $\min v_2(w(a, k)) \geq 0$）是该定理的一个特例。
• 确切的最小值精确地取决于权的二进制结构。
• 该证明显式地构造了达到此最小值的系数，而不仅仅是证明其存在性。

意义
作者声称，这项工作代表了首次将艾森斯坦级数的缺项递推关系应用于解决其系数算术性质的问题。这些递推关系固有的稀疏性，结合系数的高度对称性，使作者能够绕过与稠密递推相关的困难（在稠密递推中，由于求和项数量巨大，识别特定的最小项变得模糊不清）。

虽然论文指出计算证据表明纯 $G_6$ 项系数 $w(0, 6n)$ 也可能达到最小赋值，但作者表示未对此观察做进一步探究，而是保持对最小赋值公式一般性证明的专注。