[论文解读] Quantum variance on quaternion algebras, I

Paul D. Nelson|arXiv (Cornell University)|Jan 11, 2016

Noncommutative and Quantum Gravity Theories被引用 4

一句话总结

该论文首次为源自非分裂四元数代数的紧商空间上的量子方差建立了渐近公式，通过θ对应将问题约化为元刻度Rankin–Selberg卷积。结果表明，量子方差的主项由中心L-值控制，并在平方根抵消阈值处识别出次主项，将Luo–Sarnak–Zhao框架扩展至非分裂情形。

ABSTRACT

We determine the quantum variance of a sequence of families of automorphic forms on a compact quotient arising from a non-split quaternion algebra. Our results compare to those obtained by Luo--Sarnak, Zhao, and Sarnak--Zhao on the modular curve, whose method required a cusp. Our method uses the theta correspondence to reduce the problem to the estimation of metaplectic Rankin--Selberg convolutions. We apply it here to the first non-split case.

研究动机与目标

• 确定源自非分裂四元数代数的紧算术商面上自守形式族的量子方差。
• 将Luo–Sarnak–Zhao方法——此前依赖于尖形式与傅里叶系数——推广至缺乏尖点的非分裂、紧致情形。
• 利用自守形式与L-函数，建立量子方差和中主项与次主项的存在性与结构。
• 提出一种基于θ对应的全新方法，避免对傅里叶展开与Hecke乘法性的依赖。

提出的方法

• 利用θ对应将四元数代数上的自守形式与$\mathrm{Mp}_2$上的元刻度形式联系起来，从而将四线性量子方差约化为双线性表达式。
• 问题被约化为对元刻度Rankin–Selberg卷积的估计，该估计通过Rallis内积公式与Waldspurger–Maass–Shintani θ提升进行分析。
• 该方法依赖于$\mathrm{SL}_2$矩阵系数的衰减性，以确保方差和的收敛性。
• 利用三重积公式与强逼近，计算局部与全局L-函数，尤其关注素数2与23处的情况。
• 计算涉及使用SAGE显式计算局部积分$I_2$、$I_{23}$与$I_\infty$，并利用已知的L-函数特殊值。
• 最终公式以$L(\Psi_k, \frac{1}{2})$及涉及$\zeta_2(1)$、$\zeta_{23}(1)$与$L_2(\Psi_k, \frac{1}{2})$的算术因子表达方差。

实验结果

研究问题

• RQ1 对于源自非分裂四元数代数的紧商面上自守形式族，量子方差的渐近行为如何？
• RQ2 在缺乏尖点与傅里叶展开（这些在分裂情形中至关重要）的情况下，如何解决量子方差问题？
• RQ3 中心L-值与元刻度Rankin–Selberg卷积在决定量子方差主项中起什么作用？
• RQ4 在非分裂情形下，量子方差是否在平方根抵消阈值处存在次主项？
• RQ5 θ对应如何替代非分裂情形中方差计算中的Hecke乘法性与傅里叶系数？

主要发现

• 量子方差$\mathcal{V}_T(\Psi)$满足$T^{d-1}\mathcal{V}_T(\Psi) = \mathcal{V}_\infty(\Psi) + o(1)$，其中主项$\mathcal{V}_\infty(\Psi)$由$L(\Psi_k, \frac{1}{2})$与算术因子的乘积给出。
• 主项显式计算为$L(\Psi_k, \frac{1}{2})P(\lambda_{\Psi_k}(2))$，其中$P$为有理函数，涉及$\zeta_2(1)$、$\zeta_2(2)$与$L_2(\Psi_k, \frac{1}{2})$。
• 次主项在平方根抵消阈值处出现，源于涉及$\Xi_k(g)$与$\operatorname{Ad}(g)\phi_2$的非平凡局部积分$I_2$。
• 方差被证明渐近由中心L-值控制，证实了在算术设定下对Feingold–Peres预测的非阿基米德类比。
• 计算确认了$\|\theta_{\text{Jac}}\|^2\|h_k\|^2 = 2L^{(S)}(\Psi_k, \frac{1}{2}) \cdot \frac{(4\pi)^2}{4} \cdot \frac{2\zeta_{23}(1)}{23} \cdot 2^{-6} \zeta_2(1)^2 \zeta_2(2) \left(2 + \frac{L_2(\Psi_k, \frac{1}{2})}{\zeta_2(2)}\right)$，其简化为$L(\Psi_k, \frac{1}{2})P(\lambda_{\Psi_k}(2))$。
• 该方法成功避开了对尖形式与傅里叶系数的依赖，证明θ对应为非分裂情形下量子方差提供了一种可行的替代方案。