Recurrence and congruences for the smallest parts function

この論文「RECURRENCE AND CONGRUENCES FOR THE SMALLEST PARTS FUNCTION（最小部数関数に関する漸化式と合同式）」は、整数の分割における「最小部数」の個数を表す関数 $spt(n)$ に関する新しい漸化式と合同式を導出する研究です。著者は Wei Wang です。

以下に、この論文の技術的な要約を、問題設定、手法、主要な貢献、結果、および意義に分けて詳細に記述します。

1. 問題設定と背景

• 最小部数関数 $spt(n)$:
  整数 $n$ の分割において、最も小さい部分（最小部）の総数を $spt(n)$と定義します（例：$n=5$の場合、$spt(5)=14$）。この関数は Andrews によって導入され、組合せ論において重要な役割を果たすだけでなく、リチャード・ラマヌジャンの分割関数 $p(n)$ の合同式（$p(5n+4)\equiv 0 \pmod 5$ など）に類似した深い算術的性質を持つことが知られています。
• 既存の知見と課題:
  • Euler の分割関数に関する漸化式はよく知られていますが、$spt(n)$ に対する同様の「Euler 型」の漸化式は限定的でした（$spt(n-\omega(k))$ の和が特定の係数 $a_2(n)$ に等しいという既知の結果のみ）。
  • Gomez, Ono, Saad, Singh らは、モジュラー形式の理論を用いて $p(n)$ に対する一般化された漸化式を導出しましたが、$spt(n)$ の生成関数は弱正則モジュラー形式ではなく**調和 Maass 形式（Harmonic Maass form）**であるため、同様の手法を直接適用することが困難でした。
  • 特に、$spt(n)$ の生成関数を Maass-Poincaré 級数として表現しようとした場合、級数の収束性が失われるという技術的な障壁が存在します。

2. 手法とアプローチ

著者は、調和 Maass 形式の性質とモジュラー形式の理論を組み合わせた以下の手法を採用しています。

• 調和 Maass 形式とホロモルフィック射影（Holomorphic Projection）:
  $spt(n)$ の生成関数は調和 Maass 形式 $F(z)$ として記述されます。これを解析するために、調和 Maass 形式からホロモルフィックなモジュラー形式を抽出する「ホロモルフィック射影（$\pi_{hol}$）」の手法を適用します。
• Rankin-Cohen 括弧積の活用:
  $spt(n)$ の生成関数に関連する形式と、Dedekind のエータ関数 $\eta(z)$ の Rankin-Cohen 括弧積 $[F, \eta]_v$ を考察します。これにより、重さ $2v+2$ のモジュラー形式の空間へと問題を転換します。
• 解析接続（Analytic Continuation）:
  従来の $p(n)$ の証明では Maass-Poincaré 級数の収束性が鍵でしたが、$spt(n)$の場合は重さ$3/2$ の Maass-Poincaré 級数が $s=3/4$ で収束しません。著者は、この級数が $s=3/4$ において解析接続可能であることを示し、その極限値として調和 Maass 形式 $F(z)$ が得られることを証明しました（Proposition 8, 9）。
• Hecke 跡（Hecke Trace）と twisted 二次 Dirichlet 級数:
  得られたモジュラー形式の係数を、重さ $2v+2$ の Hecke 固有形式に対する「twisted 二次 Dirichlet 級数」の値の跡（Trace）として表現します。

3. 主要な貢献と結果

論文の中心的な成果は、$spt(n)$ に対する一般化された Euler 型漸化式と、それに基づく合同式の閉形式表現です。

A. 一般化された Euler 型漸化式（Theorem 1 と Corollary 2）

著者は、任意の整数 $v \ge 1$ に対して、以下の漸化式を導出しました。
$$S_v(z) = E_{2v+2}(z) - 12F_{2v+2}(z) + \frac{\Gamma(2v+1)}{(\pi/3)^{2v+1}} \sum_f \frac{D_f}{\langle f, f \rangle} f(z)$$
ここで、$S_v(z)$ は $spt(n)$と$p(n)$を組み合わせた多項式$q_v(n, k)$ を用いた生成関数です。
この定理の係数比較により、$spt(n)$ に関する以下の漸化式が得られます（Corollary 2）：
$$q_v(n, 0)s(n) = \sum_{k \neq 0} (-1)^{k+1} q_v(n, k) s(n-\omega(k)) + \text{(Eisenstein 級数の項)} + \text{(Hecke 跡の項)}$$

• 具体例: $v=1, 2$ の場合、この漸化式は $spt(n)$を$p(n)$や約数関数$\sigma_k(n)$、および$spt(n-\omega(k))$ の線形結合で表す具体的な式を与えます。
• Ramanujan の $\Delta$ 関数との関係: $v=5$（重さ 12）の場合、空間は Ramanujan の $\Delta$ 関数で張られるため、$spt(n)$の漸化式は$\tau(n)$（$\Delta$ の係数）と直接関連付けられます。

B. 合同式に関する閉形式表現（Corollary 3）

素数 $\ell \ge 5$ に対して、$spt(\ell n - \delta_\ell)$（$\delta_\ell = (\ell^2-1)/24$）の生成関数に関する合同式を導出しました。
$$\sum_{n \ge 1} spt(\ell n - \delta_\ell) q^n \equiv 12^{-1} \left(\frac{3}{\ell}\right) \frac{\sum_{n \ge 1} \text{Tr}_{\ell+1}(\ell n) q^n}{(q^\ell; q^\ell)_\infty} \pmod \ell$$

• 意義: この結果は、重さ $\ell+1$ の尖点形式（cusp forms）の Hecke 跡を用いて $spt(n)$ の合同式を記述するものです。
• 既知の定理の再証明: $\ell=5, 7, 13$ の場合、重さ $\ell+1$ の自明でない尖点形式が存在しないため、右辺がゼロとなり、Andrews が発見した $spt(5n+4)\equiv 0 \pmod 5$ などの合同式が自然に導かれます。
• $\ell=11$ の場合: 重さ 12 の尖点形式が存在するため、新しい合同式 $\sum spt(11n+6)q^n \equiv 4(q;q)_\infty^{13} \pmod{11}$ が得られ、既存の結果 [23] を再証明・一般化します。

C. 非合同性の結果（Corollary 4）

特定の条件を満たす素数 $\ell$ と整数 $t_0$ に対して、$spt(\ell n + t)$ がすべての $n$ で $\ell$ で割り切れることはない（非合同性）ことを示しました。

• 条件：$\left(\frac{1-24t_0}{\ell}\right) = -1$ かつ $\ell \nmid spt(t_0)$。
• この結果は、$spt(n)$ が Ramanujan の合同式のような単純なパターンをすべての素数で満たさないという予想（Ahlgren と Boylan の結果の類似）を支持するものです。

4. 意義と結論

• 理論的統合: この論文は、調和 Maass 形式、Mock モジュラー形式、そして古典的なモジュラー形式の理論を統合し、$spt(n)$ という組合せ論的な対象に対する強力な算術的ツールを提供しました。
• 手法の革新: Maass-Poincaré 級数の収束性の問題を解析接続によって克服し、ホロモルフィック射影を用いて明示的な漸化式を導出した手法は、他の調和 Maass 形式に関連する関数（例：他の分割関数の一般化）への応用可能性を示唆しています。
• 算術的性質の解明: $spt(n)$ の合同式が Hecke 跡と密接に関連していることを明らかにし、なぜ特定の素数（5, 7, 13）でのみ単純な合同式が成立し、他の素数では成立しないのかという構造を、モジュラー形式の次元と重さの観点から統一的に説明しました。

総じて、この論文は $spt(n)$ の研究において、漸化式の一般化と合同式の構造解明という二つの大きなマイルストーンを達成した重要な業績です。