この論文「NEWFORM EISENSTEIN CONGRUENCES OF LOCAL ORIGIN（局所的起源を持つ新形式アイゼンシュタイン合同式）」は、数論的モジュラー形式の理論、特に**アイゼンシュタイン合同式（Eisenstein congruences）と新形式（newforms）**の存在に関する問題を取り扱っています。著者らは、レベル $NM$（$N, M$は互いに素な平方自由整数）を持つ重さ$k \ge 3$の新形式と、レベル$N$ のアイゼンシュタイン系列との間の合同式が存在するための必要十分条件を提唱し、その一部を証明しています。

以下に、論文の技術的な要約を問題設定、手法、主要な貢献、結果、意義の観点から詳述します。

1. 問題設定 (Problem)

• 背景: ラマヌジャンの合同式（$\tau(n) \equiv \sigma_{11}(n) \pmod{691}$）に代表されるように、尖点形式（cusp forms）とアイゼンシュタイン系列の間の合同式は、代数整数論（ヘルムラント - リベット定理など）やブローク - カト予想（Bloch-Kato Conjecture）の理解において中心的な役割を果たしてきました。
• 既存の研究: 重さやレベルを変化させた合同式は多く研究されており、特に「局所的起源（local origin）」を持つ合同式（ディリクレ $L$ 関数の局所オイラー因子の特殊値が割り切る場合に生じるもの）は、レベルを上げること（レベル上げ）と関連しています。
• 未解決の課題: これまでの研究では、合同式を満たす「形式」の存在は示されていましたが、その形式が**真に新しい形式（newform）**であること、特にレベル $NM$において$M$ の素因数すべてに対して「新しい（new）」であることが保証される条件は、任意の指標（character）を持つ場合、完全には解明されていませんでした。
• 本研究の目的: 任意の指標 $\chi$（導手 $N$）を持つ、レベル $NM$の重さ$k \ge 3$の新形式$f$と、レベル$N$のアイゼンシュタイン系列$E$ の間で、
  $$a_q(f) \equiv \psi(q) + \phi(q)q^{k-1} \pmod{\lambda}$$
  という合同式が成立するための必要十分条件を一般化し、特に $M$ が合成数の場合における新形式の存在を議論することです。

2. 手法と構成 (Methodology)

著者らは以下の数学的ツールと構成を用いています。

• 設定:
  • $N, M$: 互いに素な平方自由整数。
  • $k > 2$: 重さ。
  • $\chi = \psi\phi$: 導手 $N$ のディリクレ指標（$\psi, \phi$ は導手 $u, v$）。
  • $\tilde{\chi}$: 導手 $NM$への$\chi$ の持ち上げ。
  • 対象：$S_k^{\text{new}}(\Gamma_0(NM), \tilde{\chi})$ に属する新形式 $f$。
• アイゼンシュタイン系列の構成:
  • レベル $N$ のアイゼンシュタイン系列 $E_{\psi, \phi}^k$ を出発点とし、レベル $NM$へ持ち上げた系列$E_\delta$を構成します。ここで$\delta$は$M$の素因数$p$に対して$\psi(p)$または$\phi(p)p^{k-1}$ のいずれかを選択するパラメータです。
  • この系列の定数項（cusp での値）を解析し、合同式が成立するための条件を導出します。
• ガロア表現の理論:
  • 新形式 $f$ に対応する $\lambda$-進ガロア表現 $\rho_{f, \lambda}$ を考察します。
  • 合同式が成立することは、$\rho_{f, \lambda}$ が可約（residually reducible）であり、その半単純化が $\psi \oplus \phi\chi_l^{k-1}$ となることと同値です。
  • 局所ガロア群 $W_{\mathbb{Q}_p}$ における表現の構造を比較することで、条件 (2) の必要性を証明します。
• ブローク - カト予想との関連付け:
  • 合同式から得られる非自明なコホモロジー類 $c' \in H^1$ が、ブローク - カト・セルマー群（Bloch-Kato Selmer group）に属することを示します。
  • このコホモロジー類の「局所的な新規性（p-newness）」と、合同式の条件（特に $M$ の素因数ごとの条件）との対応関係を分析します。

3. 主要な貢献と結果 (Key Contributions and Results)

3.1 一般予想の提示 (Conjecture 3.1)

著者らは、新形式 $f$ がアイゼンシュタイン系列と合同式を満たすための必要十分条件を以下のように提唱しました。

条件:
ある素数 $\lambda' | l$ に対して、以下の 2 つの条件が成り立つこと。

1. 条件 (1) (L 値とオイラー因子):
   $$\text{ord}_{\lambda'}\left( L(1-k, \psi^{-1}\phi) \prod_{p \in P_M} (\psi(p) - \phi(p)p^k) \right) > 0$$
   これは、アイゼンシュタイン系列の定数項が $\lambda'$ で割り切れることを意味し、合同式を持つ「形式」の存在を保証します（局所的起源の条件）。
2. 条件 (2) (局所的な新規性):
   各 $p \in P_M$ に対して、
   $$\text{ord}_{\lambda'}\left( (\psi(p) - \phi(p)p^k)(\psi(p) - \phi(p)p^{k-2}) \right) > 0$$
   この条件は、レベル $NM$の形式が、レベル$N$ の形式から単に持ち上げられた「古い形式（oldform）」ではなく、$M$ の素因数ごとに「新しい」性質を持つことを要求します。

3.2 証明された結果

• 逆方向の証明 (Theorem 3.5):
  新形式 $f$ が合同式を満たすならば、条件 (1) と (2) が成り立つことを証明しました。これはガロア表現の局所構造と、構成したアイゼンシュタイン系列 $E_\delta$ の定数項の解析に基づいています。
• 特殊ケースでの完全証明:
  • $M=1$ の場合: 条件 (1) のみで新形式の存在が保証され、これは既知の結果（Dummigan など）と一致します。
  • $M=p$ (素数) の場合 (Theorem 3.7): 条件 (1) と (2) が成り立てば、実際にレベル $Np$ の新形式が存在することを証明しました。これはダイヤモンド（Diamond）の定理やレベル上げの理論を用いて、$p$-new な形式の存在を導出しています。
• 一般ケースでの部分的結果:
  条件 (1) だけで、レベル $NM$ の**固有形式（eigenform）の存在は保証されます（Theorem 3.6）。しかし、その形式が新形式（newform）**であること（すなわち、すべての $p \in P_M$ に対して局所的に新しいこと）を、条件 (1) と (2) から直接導くことは、現在の技術では困難であり、これが最大の障壁となっています。

3.3 ブローク - カト予想との関係

• 条件 (1) は、ブローク - カト予想における $L$ 値の $p$-可除性とセルマー群の階数の関係に対応します。
• 条件 (2) のうち $\psi(p) - \phi(p)p^k$ が割り切る場合（Case A）は、$p$-new なセルマー群の元に対応します。
• 一方、$\psi(p) - \phi(p)p^{k-2}$ が割り切る場合（Case B）は、重さ $k-2$ の形式に関連するセルマー群の元に対応する可能性があり、これが「真に新しい」新形式の存在を妨げる要因となっている可能性があります。

4. 計算例と検証 (Computational Examples)

• MAGMA による検証:
  論文の最後には、LMFDB（L-functions and Modular Forms Database）のデータを用いた計算例が提示されています。
  • 例 5.1, 5.2: $M=p$ の場合（定理 3.7 の適用）。条件を満たす素数 $\lambda$ に対して、実際に合同式を満たす新形式が存在することを確認しました。
  • 例 5.3: $M=6$（合成数）の場合。このケースでは完全な証明は得られていませんが、計算上は予想が成り立つことが確認されました。これは、合成数のレベルを持つ新形式の存在が、局所的な条件の組み合わせによって実現される可能性を示唆しています。

5. 意義と結論 (Significance)

• 理論的進展: ラマヌジャンの合同式を一般化した「局所的起源を持つ新形式の合同式」に関する包括的な枠組みを提供しました。特に、任意の指標を持つ場合の一般化は重要です。
• ブローク - カト予想への洞察: 合同式の存在と、ブローク - カト予想における $L$ 値の可除性、そしてセルマー群の構造（特に「新しい」部分）の間の深い関係を明らかにしました。条件 (2) が単なる形式的な条件ではなく、コホモロジーの「局所的な新規性」を反映していることを示唆しています。
• 今後の課題: 一般の $M$（合成数）において、条件 (1) と (2) から「真に新しい」新形式の存在を証明する方法（局所的な解をグローバルな解に結合する方法）が未解決です。これは高ランクのブローク - カト予想の証明に向けた重要なステップとなります。

総じて、この論文はモジュラー形式の合同式理論を高度化し、数論的ガロア表現と $L$ 関数の特殊値を結びつける重要な一歩を踏み出したものです。