Modularity from $q$-series

技术摘要：来自 q-级数的模性

问题陈述
本文回应了 G. E. Andrews 提出的一个挑战，该挑战进而引用了 L. Ehrenpreis 的一个问题：即设计一种直接方法来证明 q-级数求和形式的模性，而无需依赖预先存在的模输入（例如 Dedekind $\eta$-函数的模性、Jacobi theta 函数的模性或 Eisenstein 级数的模性）。许多出现在组合学、表示论和物理学中的 q-级数表现出“神秘”的模性，这种模性无法从其求和公式中直接看出。该挑战的主要测试案例是 Rogers–Ramanujan 对，其模性虽通过无穷乘积恒等式在经典上已知，但缺乏仅源自其级数定义的证明。

方法论
作者 Ken Ono 发展了一个完全基于 q-级数代数、一阶 q-微分系统和解析延拓的向量值模性判据。该方法论通过以下步骤进行：

1. 局部微分系统：文章将一组全纯 q-级数向量 $f = (f_1, \dots, f_r)^T$ 视为上半平面上的一阶线性系统的解。通过考察尖点（特别是 $\infty$ 和 $0$）处的局部展开，作者构建了形式为$\theta_\gamma f^{(\gamma)} = A_\gamma(q_\gamma) f^{(\gamma)}$的局部 q-微分系统，其中$\theta = q \frac{d}{dq}$，而$A_\gamma$ 是亚纯函数矩阵。
2. “良好”条件：若向量 $f$ 满足以下三个条件，则称其对于有限轨道数据 $O$ 是“良好”的：
   • 局部基本矩阵：在每个尖点处，存在一个由 $f$ 的有限个 $SL_2(\mathbb{Z})$ 平移组成的矩阵 $\Phi$，该矩阵在尖点的去心邻域内可逆。
   • 正则性：对数导数矩阵 $A = (\theta \Phi)\Phi^{-1}$ 在去心圆盘上是亚纯的，可全纯延拓至尖点，且其极限指数矩阵共轭于一个有理数对角矩阵。
   • 有限延拓封闭性：局部系统在解析延拓和 $T$-移位（平移）下，直至常数规范变换，是封闭的。这确保了局部片可以全局粘合在一起。
3. 粘合与单值群：利用线性微分方程理论的标准结果，文章证明如果满足“良好”条件，则局部系统会粘合形成一个全局亚纯系统。该全局系统的单值群产生一个表示 $\rho: SL_2(\mathbb{Z}) \to GL_r(\mathbb{C})$，从而证实 $f$ 是一个向量值模函数。

主要贡献与结果

• 定理 2（来自 q-级数的模性）：这是核心理论结果。它建立了 q-级数向量作为弱全纯向量值模函数与向量对于有限轨道数据“良好”之间的等价性。该定理提供了一个纯粹内在的、基于 q-级数的模性判据，独立于外部模形式。
• 定理 1（Rogers–Ramanujan 模性）：文章将定理 2 应用于 Rogers–Ramanujan 对 $G(q)$ 和 $H(q)$。
  • 它利用 Schur 的经典有限递推关系和 Andrews 的有限乘积比较，导出了 Rogers–Ramanujan 级数在尖点 $\infty$ 和 $0$ 处的显式一阶 q-微分系统。
  • 这些系统的系数用 Lambert 级数表示。关键在于，证明并未假设这些 Lambert 级数是 Eisenstein 级数；它仅使用了它们的 q-展开式及由此产生的微分系统。
  • 作者验证了 Rogers–Ramanujan 对满足“良好”条件，从而证明了它们的模性，并显式推导出了乘子矩阵 $\rho(T)$ 和 $\rho(S)$，而无需调用模输入。
• 定理 3：该定理提供了构造性逆命题，表明任何对于同余子群的弱全纯向量值模函数自然满足“良好”条件，从而验证了等价性。
• 扩展到 Andrews–Gordon 级数：文章概述了将此方法应用于 Andrews–Gordon q-级数（Rogers–Ramanujan 的推广）的情况。它指出，Andrews–Gordon 文献中的有限多项式恒等式提供了必要的微分系统，以认证这些高阶族类的模性。

意义与主张
本文声称通过提供一种“直接证明”解决了 Ehrenpreis-Andrews 问题，该证明完全依赖于 q-级数的内部结构（代数递推关系和解析性质），而非其他已知函数的模性。

• 内在性质：其意义在于消除了“模输入”。Rogers–Ramanujan 情形的证明未使用 $\eta$ 或 theta 函数的变换律，也不依赖于关联的 Lambert 级数是权重为 2 的 Eisenstein 级数这一事实。
• 概念框架：这项工作将模性的检测重构为 q-微分系统的解析延拓和单值群问题。它借鉴了 Lewis–Zagier 关于周期函数与 Maass 尖点形式之间的对应关系，将 q-微分系统定位为周期函数方程的 q-模拟。
• 与 Nahm 猜想的关联：文章简要对比了其方法与 Nahm 猜想（该猜想将模性与 Bloch 群中的挠率联系起来）的区别。作者提出，“对于 $O$ 良好”的条件提供了通往模性的不同路径，并建议阐明 Bloch 群挠率与有限轨道数据存在性之间的关系是一个有趣的开放方向，尽管本文并未解决这一关系。

总之，本文提供了一种严谨的、自包含的机制，通过验证尖点处的一组有限代数和分析条件来认证 q-级数向量的模性，并成功地在基础的 Rogers–Ramanujan 案例中展示了这一点。