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.$$
中心的な問題は、素数 $p$ に対して $A^{\text{mix}}_{mp} \equiv A^{\text{mix}}_m \pmod{p^k}$ の形の超合同を確立することである。特に、著者は $j=0$ の楕円曲線に対応する「混合」CM 点 $(1/6, 1/3; 1)$ に焦点を当てる。重さ 3 の超幾何モティーフに対するロバーツ・ロドリゲス・ビリェガス枠組みからの一般的な予測は、合同指数 $k=3$ を示唆している。本論文は、この点の特定の CM 性がより強い合同（「強化」）をもたらすかどうかを決定し、不分裂素数（$p \equiv 2 \pmod 3$）における数列の振る舞いを特徴づけることを目指す。

手法
証明は、以下の技術的枠組みを用いて、モジュラー曲線 $X_0(3)$ 上の数列のモジュラー実現を通じて進められる：

1. モジュラー実現と次数の低下：
   数列はラグランジュ・ビュルマンの逆数公式を通じて実現される。生成関数は $\Gamma_0(3)$ 上のモジュラー形式を用いて表現される。重要な構造的洞察は、再帰関係における「次数の低下」である：超幾何関数の立方に対する 3 次マオ・ティアン再帰関係は $(S-108)L(2)$ として因数分解され、問題を 2 次再帰関係に還元する。これにより、数列は $A^{\text{mix}}_m = [q^m] C_{\text{mix}}(q) H_{\text{mix}}(q)^m$ と書ける。ここで、$C_{\text{mix}}$ は重さ 5 のアイゼンシュタイン級数の特定の線形結合であり、$H_{\text{mix}}$ はモジュラー核である。

2. カッツ・ドワーク還元：
   超合同は、カルチエ作用素 $\Lambda_p$ を含むスカラー合同に還元される。フロベニウスの欠陥 $U_p = \log(t(q)^p/t(qp))$ を用いて、問題は以下の 3 つの恒等式の証明に変換される：
   $$\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$ は 2 つの異なるアイゼンシュタイン直線に対応する。

3. ** tame スタック点におけるウィット・カルチエ極の評価**：
   核心的な技術的入力とは、楕円点 $P_-$（$j=0$ かつ $u=-1/27$）における局所解析である。著者は、tame 商スタック $[\text{Spf } \mathbb{Z}_p[\zeta_3][[r]]/\mu_3]$ 上で作業する。

   • $\mu_3$-等変性：分裂素数（$p \equiv 1 \pmod 3$）の場合、標準的なフロベニウス持ち上げ $\Phi$ は $\mu_3$-等変である。これは、トレース・極公式における極指数 $K$ が $K \equiv 1 \pmod 3$ を満たすことを強制する。
   • 極の上限：この合同条件は、極 $K=2$ および $K=3$ を排除し、最初の非消滅極を $K \ge 4$ に強制する。この「長さ 3」の評価は、$p$ の追加の因子をもたらし、上限を $p^3$ から $p^4$ に引き上げる。

4. アトキン・レナーの絡み合わせ：
   混合結合 $C_{\text{mix}}$ を扱うために、著者はアトキン・レナー対合 $w_3$ から導かれる橋渡し恒等式を採用する。絡み合わせ関係 $T_p w_3^* = \chi_3(p) w_3^* T_p$ は、分裂素数（$\chi_3(p)=1$）において 2 つのアイゼンシュタイン成分（$C_0$ と $uC_0$）の相殺を可能にし、混合カルチエ恒等式が無条件に成り立つことを保証する。

主要な貢献と結果

• 主要定理（分裂素数）：すべての分裂素数 $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 の一般的なホッジギャップ予測である 3 を超える。本論文はこの「CM 強化」を $j=0$ の楕円曲線および tame スタック点におけるフロベニウス持ち上げの特定の $\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$ modulo において特定の偶奇法則を満たす：
    $$A^{\text{mix}}_{mp^r} \equiv A^{(\chi_3(p)^r)}_m \pmod p,$$
    ここで $A^{(\varepsilon)}_m$ は符号 $\varepsilon$ を持つアイゼンシュタイン分枝に対応する。具体的には、不分裂素数において、1 つのフロベニウスステップは 2 つのアイゼンシュタイン分枝を交換し、2 つのステップは元の状態に戻る。その結果、$A^{\text{mix}}_p \equiv 72 \pmod p$ となる一方、$A^{\text{mix}}_1 = 18$ であり、これは $p$ modulo であっても合同が成立しないことを示している。

• 計算検証：本論文には、カルチエ恒等式の閉包、橋渡しスカラーの相殺、および不分裂障害の予測を検証する、97 までの素数に対する SageMath による広範な計算チェックが含まれている。

意義と主張
本論文は、この正確な形式の数列に対して、分裂素数における $p^4$ 超合同が新しい結果であると主張する。その意義は以下の点にある：

1. 指数：重さ 3 の一般的な予測より 1 つ高い指数 4 を証明し、この増加分を担うメカニズム（$j=0$ CM 強化）を特定すること。
2. メカニズム：$\mu_3$-等変なウィット・カルチエ極評価を通じて、極指数が $K=2,3$ をスキップすることを強制する、追加の桁に関する詳細な局所スタックレベルの説明を提供すること。
3. 二項性：分裂素数と不分裂素数の間の鮮明な対立を確立すること。後者は超合同ではなく「分枝交換」の振る舞いを示す。
4. 方法論的厳密性：証明は無条件であり、カッツの標準部分群理論、$\Gamma_0(3)$ 上のモジュラー形式、およびスタック論的局所解析の統合に依存しており、主要定理についてはドワーク合同に関する未証明の仮説への依存を回避している。

著者は、最初の桁の合同 $A^{\text{mix}}_p \equiv 18 \pmod{p^3}$ が既知の結果（クラウゼンの恒等式およびボーカスの研究を通じて）から導かれるものの、すべての $m \ge 1$ に対する $p^4$ への強化と、明示的な不分裂素数の障害が本論文の新たな貢献であると指摘している。