[论文解读] Distribution of modular symbols for compact surfaces

Morten S. Risager|ArXiv.org|Aug 6, 2003

Advanced Algebra and Geometry参考文献 8被引用 8

一句话总结

本文通过引入双曲埃斯克黑斯泰因级数，将非尖点、紧致情形下的模符号的渐近正态分布结果推广至紧致双曲黎曼曲面。关键结果表明，随着长度参数 T 增大，归一化的模符号依分布收敛于标准二元正态分布，从而将先前在非紧致情形下的结果扩展至紧致情形。

ABSTRACT

We prove that the modular symbols appropriately normalized and ordered have an asymptotical normal distribution for all cocompact subgroups of SL_2(R). We introduce hyperbolic Eisenstein series in order to calculate the moments of the modular symbols.

研究动机与目标

• 将模符号的分布理论从非紧致情形扩展至紧致双曲黎曼曲面。
• 克服戈德菲尔德的扭曲埃斯克黑斯泰因级数的局限性，后者依赖于尖点，因此在紧致情形下失效。
• 定义并研究双曲埃斯克黑斯泰因级数，作为在紧致情形下分析模符号的新工具。
• 建立紧致曲面上归一化模符号及调和微分形式的渐近正态性。
• 证明归一化符号的矩收敛于标准二元正态分布的矩。

提出的方法

• 引入定义为 $ E^{{\tilde{\gamma}}_1}(z,s) = \sum_{{\gamma} \in {{\Gamma}_1\backslash\Gamma}} \left( \frac{\Im({\gamma}z)}{|{\gamma}z|} \right)^s $ 的双曲埃斯克黑斯泰因级数，其中 $ \Re(s) > 1 $。
• 证明该双曲埃斯克黑斯泰因级数可解析延拓至整个复平面，其极点位于 $ -2n + s_j $，其中 $ s_j(1-s_j) $ 为拉普拉斯算子的特征值。
• 利用预解方法推导函数方程 $ (\Delta + s(1-s))E^{{\tilde{\gamma}}_1}(z,s) = -s^2 E^{{\tilde{\gamma}}_1}(z,s+2) $。
• 对双曲埃斯克黑斯泰因级数的谱展开应用复变围道积分，推导出矩阵范数有界的群元素的渐近计数。
• 通过 $ [\gamma,f] = \sqrt{ \frac{\operatorname{vol}(\Gamma\backslash\mathbb{H})}{\log((a^2+b^2)(c^2+d^2))} } \int_{z_0}^{\gamma z_0} f(z)dz $ 对模符号进行归一化。
• 利用分部求和与矩分析方法，证明归一化符号的矩收敛于标准二元正态分布的矩。

实验结果

研究问题

• RQ1 能否证明紧致双曲曲面上模符号的分布是渐近正态的？
• RQ2 如何将埃斯克黑斯泰因级数适配至无尖点的紧致情形？
• RQ3 新双曲埃斯克黑斯泰因级数的谱行为与亚纯结构如何？
• RQ4 归一化模符号的矩是否收敛于高斯分布的矩？
• RQ5 在 $ \Gamma_1\backslash\Gamma $ 中，矩阵范数有界的群元素数量的渐近增长速率如何？

主要发现

• 归一化模符号 $ [\gamma,f] $ 的渐近分布为零相关性的二元正态分布，当 $ T \to \infty $ 时收敛于 $ \frac{1}{2\pi} \int_R \exp\left(-\frac{x^2+y^2}{2}\right) dxdy $。
• 归一化符号的矩收敛于标准二元正态分布的矩：当 $ n,m $ 为偶数时，$ M_{n,m}(X_T) \to \frac{n!}{(n/2)!2^{n/2}} \frac{m!}{(m/2)!2^{m/2}} $，否则为零。
• $ (\Gamma_1\backslash\Gamma)^T $ 中元素的数量渐近增长为 $ \frac{2\log\mu \cdot T}{\operatorname{vol}(\Gamma\backslash\mathbb{H}) \cdot y} + O(T^{1-\delta}) $，其中 $ \delta > 0 $。
• 双曲埃斯克黑斯泰因级数在 $ s=1 $ 处的留数为 $ \frac{2\log\mu}{\operatorname{vol}(\Gamma\backslash\mathbb{H})} $，其控制计数函数的首项。
• 归一化模符号的实部与虚部分别依边缘分布收敛于标准正态分布，极限测度为 $ \frac{1}{\sqrt{2\pi}} \int_a^b \exp\left(-\frac{x^2}{2}\right) dx $。
• 该结果可推广至实调和微分形式 $ \alpha = \Re(f(z)dz) $，其中 $ [\gamma,\alpha] $ 同样收敛于实轴上的标准正态分布。