[论文解读] The variance of arithmetic measures associated to closed geodesics on the modular surface

Wenzhi Luo, Zeév Rudnick+1 more|ArXiv.org|Oct 18, 2008

Analytic Number Theory Research参考文献 24被引用 3

一句话总结

本文利用Rankin-Selberg理论与θ提升，计算了模曲面上按判别式分组的闭测地线相关算术测度的方差。结果表明，方差与标准$L$-函数值$L(1/2, f)$及对称平方$L$-函数成正比，且显式常数取决于形式类型（全纯或Maass）。

ABSTRACT

We determine the variance for the fluctuations of the arithmetic measures obtained by collecting all closed geodesics on the modular surface with the same discriminant and ordering them by the latter. This arithmetic variance differs by subtle factors from the variance that one gets when considering individual closed geodesics when ordered by their length. The arithmetic variance is the same one that appears in the fluctuations of measures associated with quantum states on the modular surface.

研究动机与目标

• 理解按判别式分组的模曲面上闭测地线相关算术测度的统计波动。
• 在判别式趋于无穷的极限下，计算这些测度的方差，重点关注等分布性与相关结构。
• 通过自守形式与θ提升，建立方差与$L$-函数特殊值之间的精确联系。
• 区分对称性与权的类型，分别求解全纯形式与Maass形式的方差。

提出的方法

• 利用闭测地线与二元二次型之间的对应关系，定义与判别式$d$相关的算术测度$\mu_d$。
• 应用θ提升，将$\mu_d(f)$与半整权形式的傅里叶系数关联，从而可应用Rankin-Selberg理论。
• 采用Mellin变换与谱分解分析$\mu_d(f)$的$L^2$-范数，导出在$s=1$处有极点的狄利克雷级数。
• 利用Rankin-Selberg理论计算该狄利克雷级数的留数，将其与$L(1/2, f)$及对称平方$L$-函数联系起来。
• 通过$\mathrm{SL}_2(\mathbb{R})$的表示理论与$\mathbf{r}$-不变性分解空间，确保不同尖点形式之间的正交性。
• 应用已知的Whittaker函数与Barnes积分公式，计算留数中$\Gamma$-函数的特殊值。

实验结果

研究问题

• RQ1 与判别式$d$相关的算术测度$\mu_d$的渐近方差是什么？
• RQ2 方差如何依赖于自守形式的谱类型（全纯与Maass）及其权？
• RQ3 方差能否用$L$-函数的特殊值表示？若能，具体是哪些$L$-函数？
• RQ4 θ提升在连接测地线测度与半整权形式傅里叶系数中起什么作用？
• RQ5 为何Maass形式的方差公式中存在$6/\pi$因子，而全纯形式中为$1/\pi$？

主要发现

• 对于偶权$2k$的全纯尖点形式，方差为$\frac{1}{\pi} V^{\mathrm{sym}}(f,f) L(1/2, f) \langle f, f \rangle$，其中$V^{\mathrm{sym}}$为对称平方$L$-函数。
• 对于偶Maass形式，方差为$\frac{6}{\pi} V^{\mathrm{sym}}(\phi,\phi) L(1/2, \phi) \langle \phi, \phi \rangle$，具有相同的$V^{\mathrm{sym}}$结构。
• 证明了狄利克雷级数$\sum_d |\mu_d(f)|^2 / d^{1/2}$的留数与$L(1/2, f)$及对称平方$L$-函数成正比。
• 由于对称性与$\mathbf{r}$-不变性，全纯形式权满足$\equiv 2 \mod 4$，或为奇Maass形式时，方差为零。
• 通过Rankin-Selberg理论确立了不同尖点形式在求和中的正交性，确保方差中无交叉项。
• 显式常数$1/\pi$与$6/\pi$源于$\Gamma$-函数恒等式及θ提升的归一化。