🔢 mathematics

Some convolution identities for mock modular forms arising from the theory of holomorphic projection

本文通过建立涉及调和马斯形式乘积的整体全纯投影理论，推导出了涵盖广义佩尔方程具有无穷多解情形的新型卷积恒等式，从而解决了最近的一个猜想，并为发现和验证 18 个模形式恒等式提供了一种系统性的方法。

原作者： Jonathan G. Bradley-Thrush, Frank Garvan, Jayashree Kalita, Larry Rolen

发布于 2026-08-14

📖 1 分钟阅读🧠 深度阅读

原作者： Jonathan G. Bradley-Thrush, Frank Garvan, Jayashree Kalita, Larry Rolen

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下你是一名正在试图破解谜题的侦探，但你的线索不是脚印或指纹，而是隐藏在无穷数量模式中的。这是**模形式（modular forms）**的世界，它是数学的一个分支，在这里，数字跳着完美的、重复的节奏之舞。把这些模式想象成一份复杂的乐谱：如果你按某种顺序演奏这些音符，它们就会创造出一首优美、和谐的歌曲。几个世纪以来，数学家们一直在研究这些被称为“全纯（holomorphic）”形式的模式——它们是这首乐曲中完美、平滑的音符——没有裂痕，没有杂音，只有纯净的旋律。

但在19世纪，数学家们发现了一种奇怪的、略显“破碎”的版本，称为拟模形式（mock modular forms）。这些就像是一段起初非常完美，但到结尾时变得有些刺耳或摇摆不定的旋律。长期以来，这些摇摆的音符被视为数学上的奇特现象，难以使用，甚至更难理解。然而，近年来，研究人员意识到这些“破碎”的歌曲实际上以一种非常特定的方式与那些完美的歌曲相连。通过使用一种叫做**全纯投影（holomorphic projection）**的数学工具，他们可以将一段摇摆、破碎的歌曲投影到一个完美、光滑的曲面上，从而揭示隐藏的关系。这不仅仅是关于优美的数学；这些模式有助于解决关于计数（组合数学）的深层谜题，甚至能解释宇宙结构的秘密。

这篇论文讲述了一群数学家决定升级那个投影工具的故事。此前，该方法仅适用于一种非常特定、狭窄类型的破碎歌曲——即其底层模式只有有限数量解的情况，就像一个只有少量可能答案的谜题。作者们意识到，许多有趣的数学问题涉及具有无限可能性的模式，就像一个不断生成新碎片、永不停歇的谜题。他们开发了一种更灵活的新型投影技术，可以处理这些无限的情况。

利用这个新工具，团队证明了他们的同事关于某些“拟阶函数（mock theta functions）”——一种由传奇数学家拉马努金（Ramanujan）发现的特殊类型摇摆歌曲——如何相互关联的长期猜想。他们不仅证明了一个猜想，还揭示了连接这些函数的18个全新的公式家族。虽然18听起来很多，但他们发现这些公式都是基于同样的五个核心真理的变化形式。作者们展示了这五个恒等式是如何成为解锁其余部分的“万能钥匙”的。他们还证明了，虽然这些公式可以使用传统的代数技巧来证明，但他们的新型投影方法就像一台高科技扫描仪：它能自动发现并验证这些复杂的联系，使过程变得更快、更可靠。简而言之，他们构建了一个更好的透镜，用以观察数字世界中破碎与完美之间隐藏的联系。

技术摘要：关于由全纯投影理论产生的拟模形式的卷积恒等式

问题陈述
卷积恒等式和递归公式是全纯模形式理论及其在组合数学中应用的根本工具。虽然经典的例子（例如涉及除数和与分拆函数的例子）已经非常成熟，但目前对于非全纯模形式（特别是调和马斯形式）产生的恒等式引起了新的关注。Imamoğlu、Raum 和 Richter (2014) 的前人工作建立了针对哈莫尼克马斯形式与全纯模形式乘积的全纯投影理论，并由此得出了显著的结果，例如 Hurwitz-Kronecker 类数关系的推广，以及对 Umbral Moonshine 猜想证明至关重要的公式。

然而，Imamoğlu、Raum 和 Richter 的现有框架针对的是广义佩尔方程 $m^2 - Dn^2 = N$ 中 $D$ 为平方数的情况，这种情况下对于给定的 $N$ 只有有限个解。许多涉及拟 theta 函数（特别是与拉曼努金三阶拟 theta 函数相关的案例）的自然情况，其对应的 $D$ 不是完全平方数，从而导致存在无穷多个解。本文旨在解决在这些一般情况下，开发一种便捷且计算可行之全纯投影理论的空白。

方法论
作者利用全纯投影理论来推导卷积恒等式。其核心方法包括以下步骤：

张量积构造：作者将一个特定的向量值调和马斯形式 $H^{(3)}$ 与一个向量值全纯模形式 $N$ 进行张量积运算。 $H^{(3)}$ 是由拉曼努金的三阶拟 theta 函数（ $\phi, \psi, \nu$ ）及其非全纯补全（通过 Klein 和 Kupka 所描述的单元 theta 函数和 Eichler 积分定义）构造而成的。 $N$ 则是由 eta 乘积构造而成的。
表示论： $H^{(3)} \otimes N$ 的张量积产生一个 18 维的向量。作者将相关的表示 $\rho^{(3)} \otimes \rho$ 分解为不可约成分。利用模形式空间的维数公式，他们证明了该表示对应的权为 2 的拟模形式空间维数为 3。
全纯投影：通过对张量积应用全纯投影算子 $\pi_{hol}$ ，作者将调和马斯形式的非全ло型部分与全纯模形式联系起来。该乘积的全纯部分（ $F^{(3)} \otimes N$ ）的投影产生了恒等式的左侧，而其非全纯部分（ $G^{(3)} \otimes N$ ）的投影则产生了右侧的卷积和。
广义投影公式：一个关键的方法论贡献是开发了 定理 4.2，这是一个关于权 2 全纯投影的一般公式。不同于以往假设 $D$ $D$ 为平方数的公式，本定理处理了广义佩尔方程 $m^2 - Dn^2 = 1$ $m^{2} - D n^{2} = 1$ 具有无穷多解（即 $D$ $D$ 为非平方数）的情况。其证明过程涉及：
- 分析函数的增长条件。
- 利用佩尔方程的基本解将整数解分类为等价类。
- 使用狄利克雷特征和特定参数（ $\epsilon_1, \epsilon_2$ ）对这些等价类进行求和，以简化所得的双重级数。
- 利用引理 4.3 进行单模替换，从而将复杂的双重和简化为更紧凑的形式。

主要贡献与结果
本文的主要结果是 定理 A，它确立了五个不同的涉及拉曼努金三阶拟 theta 函数 $\phi(q), \psi(q)$ 和 $\nu(q)$ 的卷积型 $q$ -级数恒等式。

解决猜想：定理 A 中的恒等式 (a) 解决了第二作者 (Garvan) 最近提出的关于 $\psi(q)$ 特定卷积恒等式的猜想。
恒等式约简：18 维张量积的全纯投影最初会产生 18 个恒等式。通过拟 theta 函数之间的经典关系（特别是涉及 $\phi, \psi, \nu$ 与 $\omega$ 的恒等式），作者证明了这 18 个恒等式可以约简为定理 A 中所述的五个不同的关系。
显式公式：这些恒等式的形式为：一个包含无穷乘积（如 $(q;q)_\infty$ ）的模形式与一个拟 theta 函数的乘积，等于一个模形式与一个涉及 Kronecker 符号和二次指数的双重和的线性组合。例如，恒等式 (a) 将 $(q;q)_\infty^3 \psi(q)$ 与一个涉及 $\binom{-4}{m}\binom{n}{6}$ 的双重和联系起来。
替代证明：附录提供了若干恒等式的直接 $q$ -级数证明，证实了通过更抽象的全纯投影方法所获得的结果。

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

全纯投影的扩展：它将全纯投影理论扩展到了底层佩尔方程具有无穷多解的情况，由于积分的发散性和解集的复杂性，这种情况在以前难以处理。
自动化发现：作者强调，全纯投影公式的效用在于其能够作为“自动发现与验证”此类公式的工具。该方法提供了一种系统化的方式，用于生成那些仅靠直接进行 $q$ -级数操作可能难以发现的恒等式。
统一性：这项工作通过将源自单个张量积的 18 个恒等式约简为五个核心关系，从而统一了不同拟 theta 函数恒等式的推导，澄清了它们之间的结构关系。
未来工作的奠基：作者指出，此处开发的方法旨在推广到 $p$ 阶拟 theta 函数和 Dyson rank 函数模 $p$ 的情况，这为探索拟 theta 猜想（尽管本文严格专注于三阶情况）提供了路径。

文章总结道，尽管向量值调和马斯形式的计算细节非常繁琐，但定理 4.2 的建立以及随后的定理 A 的推导，为生成拟模形式理论中的新卷积恒等式提供了一个稳健的框架。

类似论文