Proof of a conjecture of Andrews and Bachraoui on a Hecke sum

「Andrews および Bachraoui の予想に関する Hecke 和の証明」の技術的概要

問題の提示
本論文は、2 色の分割の特定のクラスに対する母関数 $C(k, n)$ に関する Andrews および Bachraoui の予想を取り扱っている。これらの分割は、最小の部分（奇数かつ青でなければならない）に対する制限と、偶数の部分（互いに異なり、かつ最小の部分に対する下限を持つこと）に対する制約を伴う。$k \to \infty$ において、母関数 $C_k(q)$ は極限関数 $C(q) = qD(q)S(q)$に収束し、ここで$S(q)$は特定の$q$-級数である。

Andrews と Bachraoui は、$(q^4; q^4)_\infty S(q)$ に篩演算子 $S_{2,0}$ を適用して得られる母関数の偶数部分が、特定の Hecke 型二重和に等しいと予想した。具体的には、予想 1.1 は以下の恒等式を主張する：
$$\left( (q^4; q^4)_\infty S(q) \right) \big|_{S_{2,0}} = \sum_{n \ge 0} (-1)^n q^{6n^2+4n} (1 + q^{4n+2}) \sum_{|j| \le n} (-1)^j q^{-2j^2}$$
本作業の主要な目的は、この恒等式の厳密な証明を提供することである。

手法
証明の方針は、不定 theta 関数とモジュラー形式の理論、特に Zwegers によって開発された枠組みに依存している。著者は以下の方法論的ステップを採用する：

1. 実解析的モジュラー形式への完備化：予想された恒等式の両辺に非正則項を加えることで「完備化」し、実解析的モジュラー形式を形成する。

   • 右辺（Hecke 和）は、Zwegers によって構成された不定 theta 関数 $\vartheta_{a,b}(\tau)$ の正則部分として実現される。関数 $\hat{H}(\tau)$ を完備化するために、非正則補正項 $H^-(\tau)$ が明示的に定義される。
   • 左辺は、$S(q)$ と Ramanujan の擬 theta 関数 $\omega(q)$ および $B(q)$ との既知の関係を用いて書き換えられる。篩演算子と Dedekind の eta 関数および theta 関数の変換性質の利用を通じて、左辺は擬 theta 関数およびそれらの Zwegers による完備化（$\hat{F}_j$）の項で表される。対応する非正則項 $A^-(\tau)$ が構成され、完備化された関数 $\hat{A}(\tau)$ を形成する。

2. モジュラー変換の解析：著者は、完備化された関数 $\hat{H}(\tau)$ および $\hat{A}(\tau)$ のモジュラー変換性質を解析する。

   • 両方の関数が、特に生成元 $\tau \mapsto \tau + 1$ および $\tau \mapsto \frac{\tau}{2\tau+1}$ における合同部分群 $\Gamma_0(2)$ の作用の下で、特定の変換則を満たすことを示す。
   • 不定 theta 関数 $\hat{H}$ の変換性質は、楕円的およびモジュラー変換を含む Zwegers の不定 theta 関数に関する一般定理を用いて導かれる。
   • $\hat{A}$ の変換は、eta 関数、theta 関数 $\Theta$、および擬 theta 関数に関連するベクトル値モジュラー形式 $\hat{F}$ の既知のモジュラー性質を組み合わせることで導かれる。

3. Sturm の定理の適用：2 つの完備化された関数の差 $\hat{M}(\tau) = \hat{H}(\tau) - \hat{A}(\tau)$ が、適切なスケーリング後、$\Gamma_0(2)$ 上の重さ $1/2$ の正則モジュラー形式であることが示される。

   • 著者は、$\hat{M}(\tau)$ が $\Gamma_0(2)$ の尖点（具体的には $i\infty$ および $0$）において多項式成長以下であることを検証する。
   • Sturm の定理により、モジュラー形式が恒等的にゼロであることを証明するには、そのフーリエ係数の有限個がゼロであることを示せば十分である。必要な係数の数は、重さと合同部分群の指数によって決定される。
   • 直接計算により、$\hat{M}(\tau)$ の必要な初期フーリエ係数がゼロであることが確認される。

主要な貢献と結果

• 予想 1.1 の証明：本論文は Andrews-Bachraoui 予想の有効性を確立し、2 色分割の篩われた母関数と Hecke 型二重和との間の等式を確認する。
• 明示的な完備化：著者は、Hecke 和および篩われた分割母関数の両方に対する非正則完備化の明示的な構成を提供し、それらが同じベクトル値モジュラー枠組みに適合することを示す。
• モジュラー性質：本作業は、これらの完備化された関数が $\Gamma_0(2)$ の下で持つ具体的なモジュラー変換性質を詳述し、組合せ論的 $q$-級数を調和 Maass 形式および不定 theta 関数の理論と結びつける。

重要性
本論文は、主に分割論および $q$-級数の理論における特定の未解決問題を解決することにおいて重要性を主張する。予想を証明することで、著者は特定の制約を伴う 2 色分割という組合せ論的対象を、擬モジュラー形式としばしば関連する構造である Hecke 型二重和へと結びつける。手法は、擬 theta 関数および篩われた級数を含む恒等式の証明において Zwegers の不定 theta 関数理論の有効性を浮き彫りにする。著者は、自らの関数がベクトル値調和 Maass 形式の構成要素であることを指摘し、これらの組合せ論的母関数とモジュラー形式のより広範な理論との間のより深い構造的関係を示唆している。

将来の方向性
本論文は、将来の研究に向けたいくつかの未解決課題を概説して結論付ける。

• 関連するベクトル値調和 Maass 形式の他の構成要素の正則部分が組合せ論的解釈を持つかどうかを調査すること。
• 篩われた母関数の研究を奇数の剰余類へと拡張すること。
• これらの結果を他の擬 theta 関数へと拡張することを探索すること。
• ここで使用されたモジュラー完備化アプローチではなく、Bailey 対を利用する可能性も含め、予想の直接的証明を求めること。