Explicit constructions for Ramanujan-type congruences

技術要約：ラマヌジャン型合同式の明示的構成

問題提起
本論文は、整数値数列 $\{a(n)\}_{n \ge 0}$ に対するラマヌジャン型の合同式を確立するという問題に取り組んでいる。具体的には、素数 $\ell$ と特定のシフト $\delta_\ell$ に対して、$a(\ell n - \delta_\ell) \equiv 0 \pmod \ell$ という関係を求めるものである。このような合同式は分割関数 $p(n)$（例：5, 7, 11に対するラマヌジャンの合同式）においてよく知られているが、より広いクラスの生成関数のためにこれらを証明する従来のアプローチは、多くの場合、存在論的な議論に依存していた。Serreのフィルタリングやトレース作用素を利用した手法は、関連する $q$ 級数が特定のウェイトを持つモジュラー形式に合同であることを示したものの、これらのモジュラー形式を明示的に構成することには失敗していた。その結果、これらの手法では、当該の級数が自明なもの（すなわち、級数が $\ell$ を法として恒等的にゼロであるか）を判断したり、関与する非ゼロのモジュラー形式の明示的な表現を提供したりすることが容易ではなかった。

手法
著者であるWei Wangは、存在証明を明示的な公式に置き換える構成的なアプローチを提案している。核心となる手法は、2つのモジュラー形式に作用する微分作用素である**ランキン・コーエン・ブラケット（Rankin-Cohen bracket）**に依拠している。

1. ランキン・コーエン・ブラケット: ウェイト $a$ と $b$ を持つ関数 $f$ と $g$ に対して、ブラケット $[f, g]_v$ は微分 $D^j f D^{v-j} g$ の特定の線形結合として定義される。本論文は、$f$ と $g$ がモジュラー形式であれば、そのランキン・コーエン・ブラケットもまたウェイト $a+b+2v$ のモジュラー形式になるという性質を利用している。
2. 明示的構成: 本論文は、生成関数の積に $U_\ell$ 作用素を適用したものが、生成関数と補助的なテータ級数（またはエータ商）のランキン・コーエン・ブラケットを含む線形結合に等しいという、合同式の恒等式を導出している。
   • 中心的な補題（Lemma 8）は、$\ell \ge 3$ の素数に対して、積 $fg$とブラケット$[f, g]{(\ell-1)/2}$の特定の組み合わせに$U\ell$を作用させると、目的の係数を孤立させる$\ell$ を法とする合同式が得られることを確立している。
3. ホロモーフィック射影: タイプIIIの結果（モック・モジュラー形式）については、この手法を調和弱マース形式（harmonic weak Maass forms）へと拡張している。著者は、マース形式とモジュラー形式のランキン・コーエン・ブラケットを、ホロモーフィックなモジュラー形式の空間へと写すために、ホロモーフィック射影を用いている。これにより、（モック・モジュラー形式の）ホロモーフィック部分に関する明示的な合同式を抽出することが可能となる。
4. 非合同性の証明: 特定の級数がゼロに合同ではないこと（非合同性の結果）を証明するために、本論文は明示的な構成を利用して、結果として得られるモジュラー形式の様々なカスプにおける値を計算している。$q$ 展開原理を用いて、これらの値が特定のカスプにおいて $\ell$ を法として非ゼロであることを示すことにより、著者は、級数が恒等的に消滅することはないと証明している。

主な貢献と結果
本論文は、生成関数 $f(\tau)$ の性質に基づき、結果を以下の3つのタイプに分類している：

• タイプI（ウェイト $-1/2$ のエータ商）:

  • 定理1: $1/f$ がウェイト $1/2$ のホロモーフィックなモジュラー形式であるエータ商 $f(\tau)$ について、明示的な構成を提供する。この合同式は、ランキン・コーエン・ブラケット $[f, g]_{(\ell-1)/2}$ を用いて表現される。
  • 応用: この枠組みは、ラマヌジャンの $p(n)$ に対する合同式を回収し、$\ell \ge 13$ において $p(\ell n - \delta_\ell) \not\equiv 0 \pmod \ell$ であるというAhlgrenおよびBoylanの定理の新しい証明を与える。
  • 非合同性: 本論文は、Mersmannによるウェイト $1/2$ の分類におけるほとんどのエータ商（$1/\eta$ および $\eta\eta(4)/\eta(2)^3$ を除く）について、$\ell \ge 5$ に対してラマヌジャン型の合同式が存在しないことを証明している。

• タイプII（ウェイト $3/2$ の弱ホロモーフィック・モジュラー形式）:

  • 定理2: $fg$がウェイト$2$のホロモーフィックなモジュラー形式となる、ウェイト$3/2$の弱ホロモーフィック・モジュラー形式$f$ へと構成を拡張する。
  • 結果: $U_\ell$ 作用素とランキン・コーエン・ブラケットを含む明示的な合同式を確立する。特定の条件（$X_0(N)$ の種数がゼロである場合）の下で、本論文は $U_\ell^2 \equiv \text{Id} \pmod \ell$ であることを証明し、係数の再帰的な合同関係を導く。

• タイプIII（ウェイト $3/2$ のモック・モジュラー形式）:

  • 定理3: シャドウがウェイト $1/2$ のホロモーフィック・モジュラー形式であるモック・モジュラー形式 $f$（調和弱マース形式のホロモーフィック部分）を扱う。
  • 結果: ホロモーフィック射影を利用することで、モック・モジュラー形式の生成関数に合同な明示的なモジュラー形式を構成する。これにより、$spt(n)$（最小部分関数）や$H(N)$（フルヴィッツ類数）といったモック・モジュラー形式の係数に関する合同式の導出が可能となる。

意義と主張
本論文の主要な意義は、構成の**明示性（explicitness）**にあると主張されている。生成関数に合同なモジュラー形式の存在のみを保証する従来のメソッドとは異なり、このアプローチは以下の点を実現している：

1. 明示的な表現の提供: ランキン・コーエン・ブラケットを介して、生成関数が合同である対象となるモジュラー形式の具体的な公式を与える。
2. 非合同性証明の実現: 構成されたモジュラー形式は明示的であるため、そのカスプにおける値を計算できる。これにより、著者は、ある生成関数が $\ell$ を法としてゼロに合同ではないことを厳密に証明できる（これは非構成的な存在証明では困難な作業である）。
3. 統一された枠組み: ランキン・コーエン・ブラケットとホロモーフィック射影を用いることで、エータ商、弱ホロモーフィック形式、およびモック・モジュラー形式の扱いを単一の理論的傘の下に統合している。
4. 回収と拡張: 本アプローチは、既知の合同式（$p(n), spt(n)$, 類数など）を回収すると同時に、従来の文献ではカバーされていなかった様々な組合せ論的関数に対する新しい非合同性の結果および明示的な合同式を確立している。

本論文は、タイプIIIの結果は一見すると存在論的な議論に見えるかもしれないが、その証明メカニズムは実際に計算可能な展開と明示的なアイゼンシュタイン部分をもたらしており、算術組合せ論における合同特性を決定するための強力なツールを提供していると結論付けている。