A full $p^{4r}$ supercongruence tower for a level-three symmetric-cube hypergeometric sequence

技術要約：レベル3の対称立方超幾何級数における完全な $p^{4r}$ 超合同タワー

問題設定
本論文は、特定の超幾何級数の3乗の展開係数 $A_n$ の算術的性質を扱っている：
$$\left[ {}_2F_1\left(\frac{1}{3}, \frac{1}{3}; 1; 27z\right) \right]^3 = \sum_{n \ge 0} A_n z^n.$$
数列 $A_n$ およびそのモジュラー曲線 $X_0(3)$ 上のモジュラー・パラメトリゼーション（特にMoyの研究によるもの）は既知であるが、本論文の目的は「完全な素数冪超合同タワー」を確立することにある。具体的には、任意の素数 $p \ge 5$ および整数 $m, r \ge 1$ に対して、以下の合同式が成立することを示すことを目指している：
$$A_{mp^r} \equiv A_{mp^{r-1}} \pmod{p^{4r}}.$$
先行研究では、この合同式は $r=1$ の場合（modulo $p^4$）、あるいは通常の $p^r$ 冪での合同式については確立されていた。課題は、すべての素数冪 $r \ge 1$ に対して、剰余を $p^4$ から $p^{4r}$ へと拡張することにある。

手法
証明は完全にモジュラーであり、モジュラー形式、ヘッケ作用素、および曲線 $X_0(3)$ の幾何学に基づいている。手法は以下のステップに従って進行する：

1. モジュラー・パラメトリゼーション： 著者による $B_n = (-1)^n A_n$ の定義、および生成関数 $\sum B_n t^n$ を、ハプトモジュル $t(\tau) = \eta(3\tau)^{12} / \eta(\tau)^{12}$ を用いた $X_0(3)$ 上のモジュラー形式 $\Theta(\tau) = \eta(\tau)^9 / \eta(3\tau)^3$ として実現する。
2. 対数微分とアイゼンシュタイン級数： 生成関数の対数微分 $C(q)$ が、重さ5、指標 $\chi_3$ を持つアイゼンシュタイン級数 $3E_{5, \chi_0, \chi_3}$ であることを特定する。
3. 係数の抽出： ラグランジュ・ブエルマン公式を用い、係数 $B_m$ をローラン級数 $C(q)/t(q)^m$ の定数項（$q^0$ の係数）として表現する。
4. 欠損解析（Defect Analysis）： 異なる素数冪間の項の間の「欠損」を分析することで、合同式を証明する。単一の素数によるカルティエ作用素を反復する代わりに、本論文では疎なカルティエ欠損（sparse Cartier defect） $F_{m,s}$ と、それに対応するモジュラー・ヘッケ・リフト（modular Hecke lift） $G_{m,s}$ を導入する。
   • 欠損は、$F_{m,s} = \Lambda_p^{s+1} f_{mp^{s+1}} - \Lambda_p^s f_{mp^s}$ （ここで $f_N = C/t^N$ および $\Lambda_p$ はカルティエ作用素）と定義される。
   • モジュラー・リフトは、$G_{m,s} = T_{p^{s+1}} f_{mp^{s+1}} - T_{p^s} f_{mp^s}$ （ここで $T_{p^k}$ は素数冪ヘッケ作用素）である。
5. ヘッケ層に関する帰納的議論： 証明は、素数冪指数 $s$ に関する帰納法によって進められる。核心となるアイデアは、$G_{m,s}$ が $p^{4(s+1)}$ で割り切れることを示すことである。
   • ヘッケ展開： 命題5.1は、$T_{p^a}$ を $\Lambda_p$ と $V_p$（フロベニウス作用素）を用いて明示的に展開し、$G_{m,s}$ が（帰納法の仮定の下で）高次の $p$ で割り切れる項によって $F_{m,s}$ と差があることを示す。
   • モジュラー空間の解析： $G_{m,s}$ が弱ホロモーフィック・モジュラー形式の空間 $M_5^!(\Gamma_0(3), \chi_3)$ に属していることを示す。この空間は $\{C, tC\}$ によって張られる。
   • フルク・イボリュート（Fricke Involution）： 決定的なステップとして、フルク・イボリュート $W_3$ を適用する。著者は、$G_{m,s}|W_3$ がカスプ $\infty$ において高い消失次数（具体的には $\ge m+1$）を持つことを示す。これにより、$G_{m,s}$ の「主部分（principal part）」の係数（$j < m$ に対する $C/t^j$ の係数および $tC$項）が正確に消滅することが強制され、残りの係数が帰納仮定を通じて$p^{4(s+1)}$ で割り切れることが示される。

主要な貢献

• 剰余の深さの拡張： 主要な貢献は、剰余を $p^4$（著者の先行研究による深度1のケース）から、すべての $r \ge 1$ に対して $p^{4r}$ へと拡張したことである。
• 素数冪ヘッケ欠損： 本論文は、従来の文献で使用されていた「単一の素数によるヘッケ欠損」を「素数冪による欠損」に置き換えた。これにより、任意の素数冪への合同式の反復が可能となった。
• 疎なカルティエ欠損： 疎なカルティエ欠損 $F_{m,s}$ の導入は、モジュラー形式と算術的係数の間の架け橋となり、合同式を制御する特定の項を孤立させる役割を果たす。
• フルク・イボリュートによる正確な消滅： 証明は、モジュラー空間 $M_5(\Gamma_0(3), \chi_3)$ 上のフルク・イボリュートを利用して低次項を正確に消去する手法を用いており、これは形式的な微分合同式のみでは達成できない、結果を強化する手法である。

結果
本論文は定理1.1を証明している。すなわち、すべての素数 $p \ge 5$ およびすべての整数 $m, r \ge 1$ に対して、
$$A_{mp^r} \equiv A_{mp^{r-1}} \pmod{p^{4r}}.$$
この結果は、数列 $A_n$ が「完全な $p^{4r}$ 超合同タワー」を満たすことを裏付けている。証明は、インデックス $mp^r$ と $mp^{r-1}$ における係数の差が $p^{4r}$ で割り切れることを確立している。

意義および主張
本論文は、数列 $A_n$、$\eta$ 商を含むモジュラー・パラメトリゼーション、および通常の $p^r$ レベルの合同式がすでにMoyによって記録されていることを明記している。本研究の新規性は、厳密に**剰余の深さを保持した強化（depth-preserving strengthening）**にある。

• 著者は、通常のMoyの枠組みは $p^r$ 冪での合同式を与えるが、追加の精度である $p^{4r}$ は形式的な微分合同式のみからは得られないことを主張している。
• この結果は、素数冪ヘッケ展開とフルク・イボリュートによる次数低下を組み合わせることにより、余剰の精度 $p^{3r}$ を回収することによって達成される。
• 本論文は、新しい応用や実験的な提案を主張するものではなく、その意義は純粋に理論的なものであり、この特定の対称立方超幾何級数に対して完全なタワーを提供することで、「レベル3の辞書」における超合同の体系に寄与するものである。