Explicit constructions for Ramanujan-type congruences

技术摘要：拉马努金型同余式的显式构造

问题陈述
本文研究了为整数值序列 $\{a(n)\}_{n \ge 0}$ 建立拉马努金型（Ramanujan-type）同余式的问题。具体而言，旨在寻找形式为 $a(\ell n - \delta_\ell) \equiv 0 \pmod \ell$ 的关系式，其中 $\ell$ 为素数且 $\delta_\ell$ 为特定的位移。虽然这类同余式在分拆函数 $p(n)$ 中广为人知（例如拉马努金关于模 5、7 和 11 的同余式），但以往为更广泛的生成函数建立此类同余式的研究方法通常依赖于存在性论证。利用 Serre 过滤或迹算子（trace operators）的技术表明，相关的 $q$-级数同余于具有特定权重的模形式，但这些方法未能显式地构造出这些模形式。因此，这些方法无法轻易判断该同余式是平凡的（即该级数模 $\ell$ 恒等于零），也无法提供所涉及的非零模形式的显式表达式。

方法论
作者 Wei Wang 提出了一种构造性方法，用显式公式取代了存在性证明。其核心方法论依赖于兰金-科恩括号（Rankin-Cohen bracket），这是一种作用于一对模形式的微分算子。

1. 兰金-科恩括号： 对于权重分别为 $a$ 和 $b$ 的函数 $f$ 和 $g$，括号 $[f, g]_v$ 定义为导数 $D^j f D^{v-j} g$ 的特定线性组合。论文利用了这样一个性质：如果 $f$ 和 $g$ 是模形式，那么它们的兰金-科恩括号也是权重为 $a+b+2v$ 的模形式。
2. 显式构造： 论文推导了一个恒等式，将作用于乘积 $fg$的$U_\ell$ 算子与涉及生成函数及其辅助西塔级数（或 eta-商）的兰金-科恩括号的线性组合联系起来。
   • 核心引理（引理 8）确立了对于素数 $\ell \ge 3$，通过对乘积 $fg$和括号$[f, g]{(\ell-1)/2}$作用$U\ell$ 算子，可以得到一个同余恒等式，从而分离出感兴趣的系数。
3. 全纯投影（Holomorphic Projection）： 对于涉及拟模形式（mock modular forms）的 III 型结果，该方法论扩展到了调和弱马斯形式（harmonic weak Maass forms）。作者利用全纯投影将由 Maass 形式和模形式构成的兰金-科恩括号映射回全纯模形式空间，从而允许提取拟模形式的全纯部分的显式同余式。
4. 非同余证明： 为了证明某些级数并非同余于零（非同余结果），论文利用显式构造来计算所得模形式在各个尖点（cusps）处的值。通过展示这些值在特定尖点处模 $\ell$ 非零（利用 $q$-展开原理），作者证明了这些级数不可能恒等于零。

主要贡献与结果
论文根据生成函数 $f(\tau)$ 的性质将其结果分为三类：

• I 型（权重为 $-1/2$ 的 Eta-商）：

  • 定理 1： 为 $1/f$ 是权重 $1/2$ 的全纯模形式的 eta-商 $f(\tau)$ 提供了显式构造。该同余式通过兰金-科恩括号 $[f, g]_{(\ell-1)/2}$ 进行表达。
  • 应用： 该框架恢复了拉马努金关于 $p(n)$ 的同余式，并为 Ahlgren 和 Boylan 的定理提供了新的证明，即对于 $\ell \ge 13$，$p(\ell n - \delta_\ell) \not\equiv 0 \pmod \ell$。
  • 非同余性： 论文证明了对于 Mersmann 分类中大多数权重为 $1/2$ 的 eta-商（排除 $1/\eta$ 和 $\eta\eta(4)/\eta(2)^3$），不存在模 $\ell$（对于 $\ell \ge 5$）的拉马努金型同规式。

• II 型（权重为 $3/2$ 的弱全纯模形式）：

  • 定理 2： 将构造扩展到权重为 $3/2$ 的弱全纯模形式 $f$，其中 $fg$是权重为$2$ 的全纯模形式。
  • 结果： 建立了涉及 $U_\ell$ 算子和兰金-科恩括号的显式同余式。在特定条件（$X_0(N)$ 的亏格为零）下，论文证明了 $U_\ell^2 \equiv \text{Id} \pmod \ell$，从而导致系数的递归同余关系。

• III 型（权重为 $3/2$ 的拟模形式）：

  • 定理 3： 处理阴影（shadow）为权重 $1/2$ 全纯模形式的拟模形式 $f$（调和弱马斯形式的全纯部分）。
  • 结果： 通过利用全纯投影，论文构造了与这些拟模形式的生成函数同余的显式模形式。这使得导出拟模形式系数的同余式成为可能，例如最小部分函数 $spt(n)$ 和 Hurwitz 类数 $H(N)$。

意义与主张
论文声称其主要意义在于构造的显式性。不同于以往仅保证存在与生成函数同余的模形式的方法，这种方法：

1. 提供显式表达式： 它给出了一个具体的公式（通过兰金-科恩括号）来表示生成函数所同余的模形式。
2. 实现非同余证明： 由于构造的模形式是显式的，其在尖点处的值是可以计算的。这使得作者能够严格证明某些生成函数在模 $\ell$ 下不恒等于零，而这在仅使用非构造性存在性证明时是难以实现的。
3. 统一框架： 该方法利用兰金-科恩括号和全纯投影，将 eta-商、弱全纯形式和拟模形式的处理统一在一个单一的理论框架之下。
4. 恢复与扩展： 该方法恢复了已知同余式（如 $p(n)$、$spt(n)$ 和类数），并为以往文献未涵盖的各种组合函数建立了新的非同余结果和显式同余式。

论文总结道，尽管对于 III 型结果在乍看之下可能像是存在性论证，但其证明机制实际上产生了可计算的展开式和显式的 Eisenstein 部分，为确定算术组合学中的同余性质提供了一个强大的工具。