[论文解读] A class of non-holomorphic modular forms III: real analytic cusp forms for $\mathrm{SL}_2(\mathbb{Z})$

Francis Brown|arXiv (Cornell University)|Oct 22, 2017

Advanced Algebra and Geometry参考文献 15被引用 3

一句话总结

本文为 SL₂(ℤ) 上的整权 Hecke 特征形式构造了规范的实解析尖形式，推广了实解析 Eisenstein 系列。证明了整权的模拟模形式可作为代数几何对象出现，其 Fourier 系数与 $ n^{1-k}(a_n' + \rho a_n) $ 成正比，其中 $ \rho $ 为周期矩阵的归一化永久行列式，从而解决了 level-one 特征形式的弱调和提升的存在性问题。

ABSTRACT

We define canonical real analytic versions of modular forms of integral weight for the full modular group, generalising real analytic Eisenstein series. They are harmonic Maass waveforms with poles at the cusp, whose Fourier coefficients involve periods and quasi-periods of cusp forms, which are conjecturally transcendental. In particular, we settle the question of finding explicit `weak harmonic lifts' for every eigenform of integral weight $k$ and level one. We show that mock modular forms of integral weight are algebro-geometric and have Fourier coefficients proportional to $n^{1-k}(a'_n + ρa_n)$ for $n eq 0$, where $ρ$ is the normalised permanent of the period matrix of the corresponding motive, and $a_n, a'_n$ are the Fourier coefficients of a Hecke eigenform and a weakly holomorphic Hecke eigenform, respectively. More generally, this framework provides a conceptual explanation for the algebraicity of the coefficients of mock modular forms in the CM case.

研究动机与目标

• 为 SL₂(ℤ) 上的整权 Hecke 特征形式构造规范的实解析尖形式。
• 解决每个 level-one 整权 Hecke 特征形式的弱调和提升的存在性问题。
• 为 CM 情形下模拟模形式系数的代数性提供概念性解释。
• 通过单值对合建立模拟模形式 Fourier 系数与尖形式周期/准周期之间的联系。
• 证明实解析模形式与 Maass 波形之间的重叠完全由所构造的尖形式所捕捉。

提出的方法

• 通过上同调上的实 Frobenius（复共轭）构造 Hecke 特征形式的规范提升，得到实解析尖形式 $ \mathcal{H}(f)_{r,s} $。
• 应用模形式上的单值对合 $ \mathbf{s} $，将其提升至 $ M_{n+2}^! $ 上的对合，以定义规范代表元。
• 利用分解 $ M_{n+2}^! = D^{n+1}M_{-n}^! \oplus M_{n+2}^!/D^{n+1}M_{-n}^! $ 确保构造的唯一性。
• 推导出 $ \mathcal{H}(f)_{r,s} $ 的微分方程，其形式与实解析 Eisenstein 系列类似，涉及 $ \partial $ 和 $ \overline{\partial} $ 算子。
• 通过 Betti 上同调与 de Rham 上同调，显式计算 $ \Delta \in S_{12} $ 的周期矩阵与单值周期矩阵。
• 推导出模拟模形式的 Fourier 系数为 $ \alpha + \sum_n \frac{\sigma a_n' + \tau a_n}{n^{11}} q^n $，其中 $ \sigma, \tau $ 来自单值对合。

实验结果

研究问题

• RQ1 能否为 SL₂(ℤ) 上每个 level-one 整权 Hecke 特征形式构造规范的实解析尖形式？
• RQ2 模拟模形式的 Fourier 系数如何与尖形式的周期和准周期相关联？
• RQ3 单值对合作用于构造弱调和提升及解释模拟模形式系数代数性的角色是什么？
• RQ4 所构造的尖形式在 $ \mathcal{M}^{!} $ 中拉普拉斯算子的特征函数空间中能张成多大范围？
• RQ5 该框架能否通过动机周期解释 CM 情形下模拟模形式系数的代数性？

主要发现

• 实解析尖形式 $ \mathcal{H}(f)_{r,s} $ 作为 Hecke 特征形式的规范提升被构造出来，其满足与实解析 Eisenstein 系列类似的微分方程。
• 对于 $ \Delta \in S_{12} $，单值对合给出 $ \mathbf{s}(\Delta) = \sigma \Delta' + \tau \Delta $，其中 $ \sigma \approx -0.35207 $，$ \tau \approx -648.84093 $，且 $ \rho = \tau / \sigma \approx 1842.8947269 $。
• 模拟模形式 $ M_{\Delta} $ 的 Fourier 系数与 $ n^{-11}(a_n' + \rho a_n) $ 成正比，与 Ono 的公式在高精度数值下一致。
• 模拟模形式的常数项为 $ \alpha = \frac{7! \cdot 13}{691} \cdot \frac{10!}{2^{11}} \sigma $，其中分母 691 来源于同余关系 $ \Delta \equiv \mathbb{G}_{12} \pmod{691} $。
• 计算得到 $ \Delta $ 的 Petersson 范数为 $ \approx 0.00000103536205 $，验证了其正定性并符合已知数值。
• 行列式条件 $ \det\begin{pmatrix} \eta^+ & \omega^+ \\ i\eta^- & i\omega^- \end{pmatrix} = 10! \cdot (2\pi i)^{11} $ 被数值验证，确认了周期矩阵的结构。