Companions to the Andrews-Gordon and Andrews-Bressoud Identities and Recent Conjectures of Capparelli, Meurman, Primc, and Primc

技术摘要：安德鲁斯–戈登与安德鲁斯–布雷斯杜德恒等式的伴随恒等式，以及卡帕雷利、梅尔曼、普林克和普林克的近期猜想

问题陈述
本文探讨了由卡帕雷利、梅尔曼、A. 普林克和 M. 普林克（CMPP）近期提出的着色分拆恒等式的组合与解析结构。这些猜想与 $C^{(1)}_\ell$ 型（$\ell \ge 2$）仿射李代数的标准表示相关。具体而言，本文聚焦于这些猜想的 $k=1$ 情形，其中 $k$ 代表初始条件之和 $k_0 + \dots + k_\ell$。作者旨在推导这些特定情形的双变量生成函数，将其与经典的安德鲁斯–戈登和安德鲁斯–布雷斯杜德恒等式建立联系，并提供双射证明，将这些着色分拆与两行圆柱分拆联系起来。

方法论
本文采用了解析与组合技术的结合：

1. 频率数组与向下路径：作者利用扩展的频率数组定义“着色分拆”，其中安德鲁斯–戈登情形对应 $2\ell$ 行，安德鲁斯–布雷斯杜德情形对应 $2\ell-1$ 行。可容许性通过数组中的“向下路径”来定义，即任意路径上的频率之和不得超过总初始条件 $k$。
2. 函数方程：通过分析可容许分拆的结构并利用“翻转”技巧（反转数组以将分拆映射到其自身的移位版本），作者推导出了双变量生成函数 $P_i(z, q)$ 和 $P^\star_i(z, q)$ 的函数方程组。
3. 原子关系：为了证明所提出的多重求和公式满足这些函数方程，作者引入了一种“原子关系”方法。该方法涉及定义一系列项的线性组合（记为 $S_v$），使其恒等于零。通过将函数方程表示为这些原子关系的线性组合，作者在不依赖计算机代数处理一般 $\ell$ 的情况下，验证了多重求和恒等式的有效性。
4. 双射：最后一节构建了特定轮廓的两行圆柱分拆与由普通分拆和着色可容许分拆组成的对之间的显式双射。这遵循了科尔蒂关于圆柱分拆的研究精神。

主要贡献与结果

• 双变量生成函数（定理 1.5 和 1.6）：
  主要结果是推导出了 CMPP 猜想中 $k=1$ 情形的双变量生成函数。

  • 对于 $2\ell$ 行情形（安德鲁斯–戈登型），生成函数 $P_i(z, q)$ 被证明等于一个特定的多重求和，涉及 $z^{N_1} q^{\sum N_j^2 + \dots}$。
  • 对于 $2\ell-1$ 行情形（安德鲁斯–布雷斯杜德型），为 $P^\star_i(z, q)$ 推导出了类似的多重求和。
  • 至关重要的是，作者指出，虽然 $k=1$ 的求和转乘积恒等式（令 $z=1$）此前已由 Jing、Misra 和 Savage（2001）以不同的记号确立，但定理 1.5 和 1.6 中呈现的双变量多重求和是全新的。

• 与圆柱分拆的联系：
  本文证明了生成函数 $P_i(z, q)$ 和 $P^\star_i(z, q)$ 在除以 $(zq; q)_\infty$ 后，与 Warnaar 发现的两行圆柱分拆的双变量生成函数一致。这将 CMPP 猜想直接与圆柱分拆的几何结构联系起来。

• 双射证明（定理 6.2）：
  作者提供了以下两者之间的双射：

  1. 轮廓为 $(2\ell+1, 0)$ 的圆柱分拆。
  2. 对 $(\mu, \nu)$，其中 $\mu$ 是普通分拆，$\nu$ 是定义在 $2\ell$ 行上的 $[1, 0, \dots, 0]$-可容许着色分拆。
     该双射推广了科尔蒂关于罗杰斯–拉马努金恒等式的研究。

• 特定猜想情形的解决：
  本文确认了 CMPP 提出的“奇 - 奇”和“偶 - 偶”频率数组配置中 $k=1$ 的情形。虽然 Dousse 和 Konan 此前已利用完美晶体证明了“奇 - 奇”情形，但本文提供了一种不同的证明方法，能够同时处理这两种情形并确立双变量细化。

意义与主张
本文在三个主要领域主张其重要性：

1. 统一性：通过表明 $k=1$ 情形本质上是这些经典恒等式的变体（仅在双变量细化方面有所不同，即用 $z^{N_1}$ 替换 $x^{N_1+\dots+N_\ell}$），它将 CMPP 猜想与经典的安德鲁斯–戈登和安德鲁斯–布雷斯杜德恒等式统一起来。
2. 双变量形式的新颖性：虽然单变量乘积恒等式已知（通过 Jing、Misra 和 Savage 的工作），但本文主张双变量多重求和形式是新的贡献。
3. 组合洞察：通过提供到圆柱分拆的显式双射，本文为这些着色分拆恒等式提供了具体的组合解释，超越了纯粹的代数或表示论证明。

作者明确表示，他们不声称最初发现了 $k=1$ 的乘积恒等式，并承认 Jing、Misra 和 Savage 的先前工作。相反，他们的贡献在于双变量细化、函数方程的推导以及与圆柱分拆的双射联系。文章最后提出了未来的研究方向，例如将这些方法扩展到 $k > 1$ 的情形，并探索其他分拆恒等式族（如 Göllnitz–Gordon–Andrews 恒等式）的类似细化。