Modularity of Point Counts for the Curves $X^a=Y^b$: New Rogers--Ramanujan Identities

技术摘要：曲线 $X^a = Y^b$ 的点计数模性：新的 Rogers–Ramanujan 恒等式

问题陈述
本文研究了由 Huang、Jiang 和 Oblomkov (HJO) 提出的关于有限域上奇异平面曲线 $X^a = Y^b$ 的枚举几何猜想。对于互质整数 $1 < a < b$，令 $M_{n}^{a,b}(\mathbb{F}_q)$ 表示满足 $X^a = Y^b$ 的交换幂零 $n \times n$ 矩阵对在 $\mathbb{F}_q$ 上的集合。HJO 将这些集合的归一化点计数组装成形式幂级数 $Z_{a,b}(q)$。他们猜想 $Z_{a,b}(q)$ 等于一个涉及 Jacobi $\theta$ 函数和 Dedekind $\eta$ 函数的显式无穷乘积 $P_{a,b}(q)$。

如果该猜想成立，则意味着曲线 $X^a = Y^b$ 上的点计数受控于在同余子群 $\Gamma(a+b)$ 上的模函数。该猜想推广了经典的 Rogers–Ramanujan (RR) 和 Andrews–Gordon (AG) 恒等式。具体而言：

• 对于 $a=1$，该恒等式是平凡的。
• 对于 $a=2$，该猜想恢复了已知的 AG 恒等式（包括当 $b=3$ 时的经典 RR 恒等式）。
• 对于 $a \ge 3$，该猜想此前一直未被证明。

本文的主要目标是证明 $a=3$ 层级的该猜想，从而建立一个新的 Rogers–Ramanujan 型恒等式家族，并为此前由 Warnaar 研究过的乘积提供几何起源。

方法论
作者采用了一种连接代数几何、组合数学和表示论的多步策略：

1. 几何设置与空隙集（Gap Sets）： 该问题被转化为数值半群（numerical semigroups）的语言。空隙集 $G_{a,b} = \mathbb{N} \setminus \langle a, b \rangle$ 被识别为 $a \times b$ 矩形内的杨氏图（Young diagram）。对于 $a=3$，该空隙集由两个交错的算术级数组成。级数 $Z_{3,b}(q)$ 被定义为对由该空隙集索引的整数向量求和，其权重由二次型 $Q_{3,b}(n)$ 和 $q$-Pochhammer 符号决定。

2. 重索引与坐标适配： 作者引入了适配于构成 $G_{3,b}$ 的两个算术级数的坐标。通过固定一个“边界链”（对应于杨氏图的外边界）的变量，将求和进行分解。二次型 $Q_{3,b}(n)$ 被重新表示为这些新坐标的函数，将其贡献分离为边界项和一个包含高斯多项式（$q$-二项式系数）的有限 Laurent 多项式。

3. 与 $q$-超多项式（$q$-supernomials）的联系： 核心技术创新在于识别出由固定边界求和产生的有限 Laurent 多项式是特定完全对称 $q$-超多项式的系数。作者利用了 Schilling–Warnaar 的 $q$-超多项式理论，具体包括：

   • 多表象展开（Multitableable Expansion）： 该求和被解释为单行半标准表象（条目为 $\{1, 2\}$）元组的生成函数。
   • 顺序无关性： 一个关键步骤是证明该求和对于两个表象块（对应于两个算术级数）的顺序是独立的。这种对称性使得作者能够将两个同余类 $b \equiv 1 \pmod 3$ 和 $b \equiv -1 \pmod 3$ 统一到一个恒等式中。
   • 费米子展开（Fermionic Expansion）： 通过 rigged configuration 双射，将超多项式转化为费米子求和（即高斯多项式乘积之和）。

4. 重新组装与模性识别： 通过重新组装固定边界求和来重建完整的级数 $Z_{3,b}(q)$。得到的费米子求和被识别为 Warnaar 的 $A_2$ Andrews–Gordon 恒等式的求和侧。最后，作者通过残数类计算，证明所得的无穷乘积与 HJO 猜想的乘积 $P_{3,b}(q)$ 相匹配，后者由 $\theta$ 函数商表示。

主要贡献与结果
本文证明了以下主要定理（定理 1.1）：

• 证明 $a=3$ 猜想： 对于每个与 3 互质的整数 $b > 3$，归一化点计数 $P_{3,b}^{pt}(q)$、级数 $Z_{3,b}(q)$ 以及乘积 $P_{3,b}(q)$ 是相等的。
• 新的 Rogers–Ramanujan 恒等式： 该等价关系建立了一个无穷恒等式家族，其中由空隙集索引的格点上的求和（涉及二次型和高斯多项式）等于 $\theta$ 函数的乘积。
• 模性： $Z_{3,b}(q)$ 被证明是 level 为 $b+3$ 的 Jacobi $\theta$ 商的有限乘积。因此，它是 $\Gamma(b+3)$ 上的具有特征标的模函数（在 $q$ 的有理幂次意义下）。
• 组合解释： 本文为 $Z_{3,b}(q)$ 提供了一个表象模型（推论 1.4）。求和侧被解释为单行半标准表象元组的有权求和，其权重涉及一个反转统计量（coinversion statistic）以及由 $b$ 决定的特定边界条件。
• 验证： 作者指出，这些恒等式已在 Lean 证明辅助工具中通过 AxiomProver 系统进行了形式化验证，假设已有的关于 $q$-超多项式和 $\theta$ 函数的文献成立。

意义
本文声称在以下几个特定领域具有重要意义：

1. Rogers–Ramanujan 现象的几何起源： 它通过平面曲线 $X^a = Y^b$ 上的点计数，为 Rogers–Ramanujan 型恒等式提供了一个具体的几何实现，超越了传统的表示论起源（仿射李代数、Virasoro 模）。
2. 解决 $a=3$ 层级问题： 虽然 $a=2$ 的情况已知（Andrews–Gordon），但 $a \ge 3$ 的情况此前是未知的。这项工作完整地解决了 $a=3$ 的情况。
3. 结构统一： 证明展示了数值半群组合学（空隙集）、$q$-超多项式代数（Schilling–Warnaar 理论）与 $\theta$ 函数模性质之间的桥梁。
4. 澄清 Warnaar 的乘积： 本工作为 Warnaar 发现的特定乘积提供了几何起源，将其直接与平面曲线的枚举几何联系起来。

作者对研究范围保持了谦逊的态度，指出虽然他们证明了 $a=3$ 层级，但对于 $a \ge 4$ 的一般情况仍处于开放状态。这项工作被呈现为对 HJO 猜想在特定且非平凡层级上的严格验证，利用已建立的组合机制解决了几何枚举问题。