[论文解读] Renormalization and quantum modular forms, part I: Maass wave forms

Yingkun Li, Hieu T. Ngo+1 more|arXiv (Cornell University)|Nov 13, 2013

Advanced Mathematical Identities参考文献 13被引用 7

一句话总结

本文提出了一种q-超几何级数的重整化程序，通过量子模形式，从仅包含一半傅里叶系数的级数中构造出Maass波形缺失的另一半傅里叶系数。该研究通过将模theta函数与Maass形式统一于同一框架下，证实了弗雷曼·戴森的愿景，揭示了通过Hecke特征标和模对称性所联系的深层算术关系。

ABSTRACT

Sander Zwegers showed that Ramanujan's mock theta functions are $q$-hypergeometric series, whose $q$-expansion coefficients are half of the Fourier coefficients of a non-holomorphic modular form. George Andrews, Henri Cohen, Freeman Dyson, and Dean Hickerson found a pair of $q$-hypergeometric series each of which contains half of the Fourier coefficients of Maass waveform of eigenvalue $1/4$. This series of papers shows that a $q$-series construction, called ``renormalization'', yields the other half of the Fourier coefficients from a series which contains half of them. This construction unifies examples associated with mock theta functions and examples associated with Maass waveforms. Thus confirming a conviction of Freeman Dyson. This construction is natural in the context of Don Zagier's quantum modular forms. Detailed discussion of the role quantum modular forms play in this construction is given. New examples associated to Maass waveforms are given in Part I. Part II contains new examples associated with mock theta functions, and classical modular forms. Part II contains an extensive survey of the ``renormalization'' construction. A large number of examples and open questions which share similarities to the main examples, but remain mysterious, are given.

研究动机与目标

• 通过单一的q-级数重整化过程，统一Maass波形傅里叶系数与模theta函数的构造。
• 证明仅包含Maass形式一半傅里叶系数的q-超几何级数，可通过重整化过程扩展以恢复另一半系数。
• 建立重整化、量子模形式与虚二次域算术结构之间通过Hecke特征标的自然联系。
• 提供新的Maass波形例子，其特征值为1/4，且其傅里叶系数通过q-级数的重整化产生。
• 探索重整化过程中神秘的鬼魅项（ghost terms），并研究其是否可用模形式与除数函数表征。

提出的方法

• 定义重整化映射S[H](q)，通过部分和的极限，将|q| < 1时收敛的q-超几何级数H(q)扩展至|q| > 1。
• 引入影子S[H](q)与鬼魅G[H](q)分量，其中G[H](q)在单位根处趋于无穷阶零，而S[H](q)捕捉互补的傅里叶系数。
• 利用变换H_n(q^{-1}) → H_∞(q^{-1})定义重整化级数，确保其收敛性与模形式行为。
• 通过贝塞尔函数与特征值为1/4的傅里叶展开，将重整化级数与非全纯Maass波形联系起来。
• 将该方法应用于已知级数σ(q)与σ*(q)，表明S[σ](q) = -σ*(q)，从而恢复完整的Maass形式。
• 通过识别在单位根处的不连续性，将重整化过程与量子模形式联系起来，表明级数在此处‘渗入’模行为。

实验结果

研究问题

• RQ1 重整化过程能否从仅包含一半傅里叶系数的q-级数中恢复Maass波形的全部傅里叶系数？
• RQ2 量子模形式在中介重整化过程及其在单位根处收敛性中起什么作用？
• RQ3 鬼魅项G[H](q)的结构如何？能否将其表征为模形式与算术函数的乘积？
• RQ4 重整化级数是否对应于虚二次域中的Hecke特征标或不定二次型？
• RQ5 是否存在一个统一框架，通过q-级数重整化将模theta函数、Maass波形与量子模形式联系起来？

主要发现

• 重整化映射S[H](q)成功地从仅包含正系数的q-级数H(q)中恢复了Maass波形的负傅里叶系数。
• 对于σ(q)，重整化得到S[σ](q) = -σ*(q)，其中σ*(q)是已知的q-级数，其系数即为Maass形式φ₀的负傅里叶系数。
• 该构造表明f₅(q)、f₆(q)、f₇(q)、f₈(q)通过q → q⁻¹相互关联，暗示它们编码了特征值为1/4的Maass形式的正负系数。
• 鬼魅项G[H](q)在单位根处趋于无穷阶零，通常为模形式与除数函数的乘积，但其一般结构尚不明确。
• 级数L(q)满足L(q⁻¹) = L(–q)，反映了ℤ[√2]中存在范数为–1的单位元，将对称性与ℚ(√2)中的算术结构联系起来。
• 重整化过程为q-超几何级数与自守形式之间提供了新的联系机制，统一了来自模theta函数与Maass波形的示例。