[论文解读] Vector-Valued Rademacher Sums and Automorphic Integrals

Daniel Whalen|arXiv (Cornell University)|Jun 3, 2014

Algebraic structures and combinatorial models参考文献 22被引用 13

一句话总结

该论文证明了权重 $ w \leq 0 $ 的向量值Rademacher和构成给定单值系统下向量值自守积分空间的一组基，推广了标量值Rademacher和理论。论文证明了这些和的收敛性，给出了矩阵值Kloosterman-Selberg zeta函数的渐近界，并提供了显式的傅里叶系数公式，从而实现了顶点算子代数和月光现象中维数的渐近分析。

ABSTRACT

We present bases for certain spaces of meromorphic vector-valued rational-weight mock modular forms constructed using Rademacher sums.

研究动机与目标

• 将标量值Rademacher和理论推广至权重为有理数 $ w \leq 0 $ 的向量值模形式。
• 确立向量值Rademacher和在常数项意义下生成自守积分空间，提供一种构造性基。
• 分析矩阵值Kloosterman-Selberg zeta函数的渐近行为，并将其与自守积分的傅里叶系数关联。
• 为向量值Eisenstein级数及其影子提供显式傅里叶系数公式，从而实现顶点算子代数中表示维数的渐近分析。
• 通过严格的构造与收敛性结果，支持向量值模形式在月光与共形场论中的猜想角色。

提出的方法

• 通过Fuchsian群上具有正规单值系统的Poincaré型级数定义向量值Rademacher和。
• 为向量值形式引入Kloosterman和的一般化形式及其关联的矩阵值Kloosterman-Selberg zeta函数。
• 使用展开技巧与变量替换，将非解析Eisenstein级数的傅里叶系数表示为zeta函数与修正贝塞尔函数的组合。
• 应用标量Eisenstein级数的标准有界性估计与解析延拓，推导出向量值Eisenstein级数系数的分量有界性。
• 利用zeta函数与贝塞尔函数衰减的估计，证明在 $ w \leq 0 $ 时向量值Rademacher和的收敛性，详细内容见附录B。
• 利用zeta函数与贝塞尔函数的渐近行为，推导出傅里叶系数的统一有界性，如附录A与C所示。

实验结果

研究问题

• RQ1 权重 $ w \leq 0 $ 的向量值Rademacher和是否收敛，并构成给定单值系统下自守积分空间的一组基？
• RQ2 向量值模形式的矩阵值Kloosterman-Selberg zeta函数的渐近行为如何？
• RQ3 向量值Eisenstein级数的傅里叶系数能否用zeta函数与贝塞尔函数表示？适用的有界性条件是什么？
• RQ4 zeta函数与贝塞尔函数的渐近性质如何限制向量值情形下傅里叶系数的增长？
• RQ5 这些构造在多大程度上恢复或推广了顶点算子代数与月光现象中已知的迹级数结果？

主要发现

• 向量值Rademacher和在所有权重 $ w \leq 0 $ 下收敛，其证明见附录B，基于对zeta函数与贝塞尔函数的估计。
• 矩阵值Kloosterman-Selberg zeta函数满足 $ |Kl_{0,m_j}(s,\rho)_{ji}| = O(\sqrt{|s|}) $，当 $ \operatorname{Im} s $ 足够大时，常数依赖于 $ \Gamma $、$ \rho $ 与 $ m_j $，主定理中已证明。
• 由于标量Eisenstein级数系数的有界性与单值系统结构，向量值Eisenstein级数的傅里叶系数在分量上也有界。
• Rademacher和构成权重 $ w \leq 0 $ 的向量值自守积分空间的一组基（至多相差常数项），由定理8与主收敛性论证确立。
• 自守积分的傅里叶系数的渐近行为由修正贝塞尔函数 $ K_{s-1/2}(2\pi|m|y) $ 控制，其衰减由zeta函数与 $ y $-依赖性决定。
• 该构造提供了一种新方法，通过Rademacher和的傅里叶系数计算并分析顶点算子代数中不可约表示的渐近维数。