Split-prime supercongruence at the mixed CM point (1/6, 1/3; 1)

技术摘要：混合 CM 点处的分裂素超同余

问题陈述
本文研究了整数序列 $A^{\text{mix}}_n$ 的算术性质，该序列由系数提取定义：
$$A^{\text{mix}}_n := 108^n [z^n] \, {}_2F_1\left(\frac{1}{6}, \frac{1}{3}; 1; z\right)^3.$$
核心问题是建立形如 $A^{\text{mix}}_{mp} \equiv A^{\text{mix}}_m \pmod{p^k}$ 的超同余，其中 $p$ 为素数。具体而言，作者聚焦于对应于 $j=0$ 椭圆曲线的“混合”CM 点 $(1/6, 1/3; 1)$。来自 Roberts–Rodriguez Villegas 框架关于权为 3 的超几何动机的一般性预测表明同余指数为 $k=3$。本文旨在确定该点的特定 CM 性质是否会产生更强的同余（即“增强”），并刻画该序列在非分裂素（$p \equiv 2 \pmod 3$）处的行为。

方法论
证明通过在模曲线 $X_0(3)$ 上对序列进行模实现来实现，利用以下技术框架：

1. 模实现与阶数下降：
   该序列通过 Lagrange–Bürmann 反演公式实现。生成函数用 $\Gamma_0(3)$ 上的模形式表示。一个关键的结构性洞察是递推关系中的“阶数下降”：超几何函数立方的三阶 Mao–Tian 递推关系可分解为 $(S-108)L(2)$，从而将问题简化为二阶递推。这使得序列可写为 $A^{\text{mix}}_m = [q^m] C_{\text{mix}}(q) H_{\text{mix}}(q)^m$，其中 $C_{\text{mix}}$ 是权为 5 的 Eisenstein 级数的特定线性组合，而 $H_{\text{mix}}$ 是一个模核。

2. Katz–Dwork 约化：
   超同余被约化为涉及 Cartier 算子 $\Lambda_p$ 的标量同余。利用 Frobenius 缺陷 $U_p = \log(t(q)^p/t(qp))$，问题转化为证明以下三个恒等式：
   $$\Lambda_p(C_{\text{mix}} U_p^\ell) \equiv 0 \pmod{p^4}, \quad \ell = 1, 2, 3.$$
   此处，$C_{\text{mix}} = C_0 - 27 u C_0$，其中 $C_0$ 和 $u C_0$ 对应两个不同的 Eisenstein 分支。

3. ** tame 栈点处的 Witt–Cartier 极点估计：**
   核心技术输入是在椭圆点 $P_-$（其中 $j=0$ 且 $u=-1/27$）处的局部分析。作者在 tame 商栈 $[\text{Spf } \mathbb{Z}_p[\zeta_3][[r]]/\mu_3]$ 上工作。

   • $\mu_3$-等变性： 对于分裂素（$p \equiv 1 \pmod 3$），典范 Frobenius 提升 $\Phi$ 是 $\mu_3$-等变的。这迫使迹 - 余数公式中的余数指数 $K$ 满足 $K \equiv 1 \pmod 3$。
   • 极点界： 该同余条件排除了余数 $K=2$ 和 $K=3$，迫使第一个非零极点出现在 $K \ge 4$ 处。这种“长度为三”的估计产生了额外的 $p$ 因子，将界从 $p^3$ 提升至 $p^4$。

4. Atkin–Lehner 交织：
   为了处理混合组合 $C_{\text{mix}}$，作者利用源自 Atkin–Lehner 对合 $w_3$ 的桥接恒等式。交织关系 $T_p w_3^* = \chi_3(p) w_3^* T_p$ 允许在分裂素（$\chi_3(p)=1$）处消去两个 Eisenstein 分量（$C_0$ 和 $uC_0$），从而确保混合 Cartier 恒等式无条件成立。

主要贡献与结果

• 主定理（分裂素）： 对于每个分裂素 $p \ge 7$（$p \equiv 1 \pmod 3$）和每个 $m \ge 1$：
  $$A^{\text{mix}}_{mp} \equiv A^{\text{mix}}_m \pmod{p^4}.$$
  该结果是无条件的。指数 4 超过了权为 3 的一般 Hodge 间隙预测值 3。本文将这种"CM 增强”归因于 $j=0$ 椭圆曲线以及 tame 栈点处 Frobenius 提升的特定 $\mu_3$-等变性。

• 非分裂素障碍： 对于非分裂素 $p \ge 5$（$p \equiv 2 \pmod 3$），分裂型超同余失效。

  • 形式参数障碍： 同余 $\Lambda_p(C_{\text{mix}} H_{\text{mix}}^p) \equiv C_{\text{mix}} H_{\text{mix}} \pmod{p^4}$ 无法成立。
  • 系数奇偶律： 该序列满足模 $p$ 的特定奇偶律：
    $$A^{\text{mix}}_{mp^r} \equiv A^{(\chi_3(p)^r)}_m \pmod p,$$
    其中 $A^{(\varepsilon)}_m$ 对应符号为 $\varepsilon$ 的 Eisenstein 分支。具体而言，对于非分裂素，一个 Frobenius 步骤交换两个 Eisenstein 分支，而两个步骤则返回原分支。因此，$A^{\text{mix}}_p \equiv 72 \pmod p$，而 $A^{\text{mix}}_1 = 18$，这表明即使在模 $p$ 下同余也失效。

• 计算验证： 本文包含 SageMath 中针对高达 97 的素数的广泛计算检查，验证了 Cartier 恒等式的封闭性、桥接标量消去以及非分裂障碍预测。

意义与主张
本文主张，对于这种确切形式的序列，分裂素处的 $p^4$ 超同余是一项新结果。其意义在于：

1. 指数： 证明了指数为 4，比权为 3 的一般预测值高 1，并确定了导致这一增益的机制（$j=0$ CM 增强）。
2. 机制： 通过 $\mu_3$-等变 Witt–Cartier 极点估计提供了关于额外数位的详细局部栈级解释，该估计迫使余数指数跳过 $K=2,3$。
3. 二分性： 确立了分裂素与非分裂素之间的鲜明对比，后者表现出“分支交换”行为而非超同余。
4. 方法严谨性： 证明是无条件的，依赖于 Katz 典范子群理论、$\Gamma_0(3)$ 上模形式以及栈论局部分析的合成，避免了依赖关于主定理中 Dwork 同余的未证明猜想。

作者指出，虽然首位数字同余 $A^{\text{mix}}_p \equiv 18 \pmod{p^3}$ 可由已知结果（通过 Clausen 恒等式和 Beukers 的工作）得出，但针对所有 $m \ge 1$ 加强至 $p^4$ 以及明确的非分裂素障碍是本文的新颖贡献。