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

“安德鲁斯与巴赫劳伊关于海克和猜想的证明”技术摘要

问题陈述
本文解决了安德鲁斯（Andrews）和巴赫劳伊（Bachraoui）提出的一个猜想，该猜想涉及一类特定双色分拆的生成函数，记为 $C(k, n)$。这些分拆对最小部分施加了限制（必须为奇数且为蓝色），并对偶数部分施加了约束（互异性以及相对于最小部分的下界）。当 $k \to \infty$ 时，生成函数 $C_k(q)$ 收敛于极限函数 $C(q) = qD(q)S(q)$，其中$S(q)$是一个特定的$q$-级数。

安德鲁斯和巴赫劳伊猜想，通过对 $(q^4; q^4)_\infty S(q)$ 应用筛算子 $S_{2,0}$ 所得的生成函数的偶部，等于一个特定的海克型双重和。具体而言，猜想 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. 补全为实解析模形式：通过添加非全纯项，将猜想恒等式的两边“补全”为实解析模形式。

   • 右边（海克和）被实现为由 Zwegers 构造的不定 theta 函数 $\vartheta_{a,b}(\tau)$ 的全纯部分。明确定义了一个非全纯修正项 $H^-(\tau)$ 以补全函数 $\hat{H}(\tau)$。
   • 左边利用 $S(q)$ 与拉马努金拟 theta 函数 $\omega(q)$ 和 $B(q)$ 之间的已知关系进行重写。通过利用筛算子以及戴德金 $\eta$ 函数和 theta 函数的变换性质，左边被表示为拟 theta 函数及其 Zwegers 补全（$\hat{F}_j$）的形式。构造了一个相应的非全纯项 $A^-(\tau)$ 以形成补全函数 $\hat{A}(\tau)$。

2. 模变换分析：作者分析了补全函数 $\hat{H}(\tau)$ 和 $\hat{A}(\tau)$ 的模变换性质。

   • 他们证明了这两个函数在同余子群 $\Gamma_0(2)$ 的作用下满足特定的变换律，特别是在生成元 $\tau \mapsto \tau + 1$ 和 $\tau \mapsto \frac{\tau}{2\tau+1}$ 下。
   • 不定 theta 函数 $\hat{H}$ 的变换性质是利用 Zwegers 关于不定 theta 函数的一般定理（包括椭圆变换和模变换）推导出来的。
   • $\hat{A}$ 的变换性质是通过结合 $\eta$ 函数、theta 函数 $\Theta$ 以及与拟 theta 函数相关的向量值模形式 $\hat{F}$ 的已知模性质推导出来的。

3. 施图姆定理的应用：两个补全函数之差 $\hat{M}(\tau) = \hat{H}(\tau) - \hat{A}(\tau)$ 被证明是 $\Gamma_0(2)$ 上权重为 $1/2$ 的全纯模形式（经适当缩放后）。

   • 作者验证了 $\hat{M}(\tau)$ 在 $\Gamma_0(2)$ 的尖点（特别是 $i\infty$ 和 $0$）处至多具有多项式增长。
   • 根据施图姆定理，要证明一个模形式恒等于零，只需证明其有限个傅里叶系数为零。所需系数的数量由权重和同余子群的指数决定。
   • 直接计算证实了 $\hat{M}(\tau)$ 所需的初始傅里叶系数为零。

主要贡献与结果

• 猜想 1.1 的证明：本文确立了安德鲁斯 - 巴赫劳伊猜想的有效性，确认了双色分拆的筛分生成函数与海克型双重和之间的相等性。
• 显式补全：作者提供了海克和以及筛分分拆生成函数的非全纯补全的显式构造，证明了它们属于同一个向量值模框架。
• 模性质：该工作详细阐述了这些补全函数在 $\Gamma_0(2)$ 下的特定模变换性质，将组合 $q$-级数与调和马ass 形式理论和不定 theta 函数理论联系起来。

意义
本文声称其意义主要在于解决了分拆理论和 $q$-级数中的一个特定未解决问题。通过证明该猜想，作者将一个组合对象（具有特定约束的双色分拆）与海克型双重和联系起来，后者通常与拟模形式相关联。该方法论突显了 Zwegers 的不定 theta 函数理论在证明涉及拟 theta 函数和筛分级数的恒等式中的实用性。作者指出，他们的函数是向量值调和马ass 形式的组成部分，这表明这些组合生成函数与更广泛的模形式理论之间存在更深层的结构关系。

未来方向
本文最后概述了几个供未来研究探讨的开放问题，包括：

• 调查相关向量值调和马ass 形式的其他组成部分的全纯部分是否具有组合解释。
• 将筛分生成函数的研究扩展到奇数剩余类。
• 探索将这些结果扩展到其他拟 theta 函数。
• 寻求猜想的直接证明，可能利用 Bailey 对，而不是此处使用的模补全方法。