[论文解读] Rademacher Sums and Rademacher Series

Miranda C. N. Cheng, John F. R. Duncan|arXiv (Cornell University)|Oct 10, 2012

Advanced Mathematical Identities参考文献 41被引用 4

一句话总结

本文引入了Rademacher求和与Rademacher级数作为构造模形式与拟模形式的工具，尤其适用于非收敛情形。它建立了一般性的Poincaré级数正则化方法，通过Rademacher级数推导出显式的傅里叶系数公式，并揭示了对偶权拟模形式系数之间普遍存在的Zagier对偶性，其应用涵盖怪兽月光与影子月光，并在弦理论中具有物理诠释。

ABSTRACT

We exposit the construction of Rademacher sums in arbitrary weights and describe their relationship to mock modular forms. We introduce the notion of Rademacher series and describe several applications, including the determination of coefficients of Rademacher sums and a very general form of Zagier duality. We then review the application of Rademacher sums and series to moonshine both monstrous and umbral and highlight several open problems. We conclude with a discussion of the interpretation of Rademacher sums in physics.

研究动机与目标

• 开发一种在低权情形下Poincaré级数的正则化程序，此时标准收敛性失效。
• 将Rademacher级数定义为编码模形式与拟模形式傅里叶系数的二维网格值。
• 建立拟模形式在对偶权下系数之间的一般性Zagier对偶形式。
• 将Rademacher求和与级数应用于怪兽月光与影子月光的研究。
• 探讨Rademacher求和在弦理论与共形场论中的物理诠释。

提出的方法

• 通过在有界参数下对共轭类代表元取极限和，对非绝对收敛的Poincaré级数进行正则化，灵感源自Rademacher对j-不变量的研究。
• 将Rademacher求和构造为在SL₂(ℤ)中稳定子子群Γ∞的共轭类上取正则化和，权为w=2k，输入函数为f(τ) = e(mτ)。
• 引入Rademacher级数作为从Rademacher求和系数导出的二维数值阵列，与模形式的Eichler积分存在关联。
• 在分析框架中使用特殊函数，如不完全伽马函数γ(s,x)、修正贝塞尔函数Iₐ(z)以及Dedekind η函数η(τ)。
• 应用Lipschitz求和公式及其在s=1时的推广，以处理低权情形下的条件收敛。
• 采用Appell-Lerch求和μ(τ,z)与雅可比θ函数来描述变换性质与模行为。

实验结果

研究问题

• RQ1 在标准求和不收敛的权下，如何对Poincaré级数进行正则化？
• RQ2 Rademacher求和的傅里叶系数结构如何？其级数形式如何表达？
• RQ3 Rademacher级数如何编码关于Eichler积分与对偶权拟模形式的信息？
• RQ4 Rademacher级数揭示的广义Zagier对偶性的本质是什么？
• RQ5 Rademacher求和如何促进月光现象（包括怪兽月光与影子月光）的构造与理解？

主要发现

• 本文证明了Rademacher求和在权w=0时可对Poincaré级数实现正则化，扩展了Rademacher原始构造j-不变量为条件收敛和的方法。
• 对于权w ≤ 2，Rademacher求和条件收敛并定义拟模形式，其权w作用通过权为2−w的模形式进行扭曲。
• Rademacher求和的系数通过Rademacher级数表达，后者构成一个二维数值网格，其中一半对应于该求和的系数，另一半对应于模形式的Eichler积分。
• 证明了普遍形式的Zagier对偶性：在对偶权下，两族拟模形式的系数在符号上一致，这一关系由Rademacher级数编码。
• 该构造适用于怪兽月光，其中Rademacher求和可恢复怪兽群的加权迹；也适用于影子月光，为Mathieu群情形提供了理论框架。
• 提出了物理诠释，将Rademacher求和与弦理论中的配分函数及黑洞熵联系起来，尤其通过其模性质与BPS态的关联。