[论文解读] On the resonances of convex co-compact subgroups of arithmetic groups

Dmitry Jakobson, Frédéric Naud|arXiv (Cornell University)|Nov 29, 2010

Advanced Algebra and Geometry参考文献 21被引用 4

一句话总结

该论文为算术群中凸共 compact Fuchsian 群的共振态实部建立了有效的下界，证明当 $\delta > \frac{1}{2}$ 时，共振态位于至少延伸至 $\frac{\delta}{2} - \frac{1}{4}$ 的带状区域内，而当 $\delta \leq \frac{1}{2}$ 时，延伸至 $\frac{\delta(1-2\delta)}{2}$。这些结果表明此类带状区域内存在无穷多个共振态，并通过谱分析改进了双曲格点计数中的误差项。

ABSTRACT

Let $Λ$ be a non-elementary convex co-compact fuchsian group which is a subgroup of an arithmetic fuchsian group. We prove that the Laplace operator of the hyperbolic surface $X=Λ\backslash\H$ has infinitely many resonances in an effective strip depending on the dimension of the limit set $δ$. Applications to lower bounds for the hyperbolic lattice point counting problem are derived.

研究动机与目标

• 确定由算术 Fuchsian 群导出的凸共 compact 双曲曲面的共振态最大实部。
• 建立谱隙 $G(\Lambda)$ 的有效下界，其中 $G(\Lambda)$ 定义为满足 $\sigma < \delta$ 且仅有有限个共振态位于 $\{\operatorname{Re}(s) \geq \sigma\}$ 中的下确界。
• 通过共振分布推导双曲格点计数问题中误差项的定量改进。
• 确认当 $\delta \neq \frac{1}{2}$ 时，非平凡群的谱隙 $G(\Lambda)$ 严格为正，支持猜想 $G(\Lambda) = \frac{\delta}{2}$。

提出的方法

• 利用预解核 $R_\Lambda(s;z,z')$ 的亚纯延拓来通过 Guillopé-Zworski 参数构造法分析极点（共振态）。
• 依赖于 Poincaré 级数 $P_\Lambda(s;z,z')$ 与计数函数 $N(T;z,z')$ 之间的关系，通过分部求和法实现。
• 应用高斯超几何函数表示，通过恒等式 $R_\Lambda(s;z,z') = \frac{4^{s-1}}{\pi} \frac{(\Gamma(s))^2}{\Gamma(2s)} P_\Lambda(s;z,z') + H(s;z,z')$ 将 $R_\Lambda(s;z,z')$ 与 $P_\Lambda(s;z,z')$ 关联。
• 分析预解核中极点的结构，表明在对角线之外，留数 $A_1(\zeta;z,z')$ 是一个非平凡的实解析函数。
• 通过解析函数的零点集构造一个例外的 $(z,z')$ 对的零测集 $\mathcal{N}$，使得核在给定半平面内仅有有限个极点。
• 当假设误差项 $O(e^{\rho T})$ 中的 $\rho$ 过小时，导出矛盾，从而证明 $\rho$ 必须超过 $\frac{\delta}{2} - \frac{1}{4} - \epsilon_0$。

实验结果

研究问题

• RQ1 对于作为算术群子群的凸共 compact Fuchsian 群，其共振态的最大实部是多少？它如何依赖于临界指数 $\delta$？
• RQ2 能否为谱隙 $G(\Lambda)$ 建立有效下界，其中 $G(\Lambda)$ 定义为满足 $\sigma < \delta$ 且仅有有限个共振态位于 $\{\operatorname{Re}(s) \geq \sigma\}$ 中的下确界？
• RQ3 共振态的分布如何影响双曲格点计数问题中的误差项？
• RQ4 猜想 $G(\Lambda) = \frac{\delta}{2}$ 是否成立？在算术子群设定下，它是否受到有效边界的支持？

主要发现

• 当 $0 < \delta \leq \frac{1}{2}$ 时，谱隙满足 $G(\Lambda) \geq \frac{\delta(1 - 2\delta)}{2}$，且当 $\delta < \frac{1}{2}$ 时该值为正。
• 当 $\delta > \frac{1}{2}$ 且 $\Lambda$ 为算术群的凸共 compact 子群时，$G(\Lambda) \geq \frac{\delta}{2} - \frac{1}{4}$，且当 $\delta > \frac{1}{2}$ 时该值为正。
• 下界 $\frac{\delta}{2} - \frac{1}{4}$ 是有效的，并改进了对一般凸共 compact 流形的先前非有效或较弱的边界。
• 结果表明，对于几乎所有远离对角线的 $(z,z')$ 对，预解核 $R_\Lambda(s;z,z')$ 在半平面 $\{\operatorname{Re}(s) \geq \frac{\delta}{2} - \frac{1}{4} - \epsilon_0\}$ 内有无穷多个极点。
• 格点计数函数 $N(T;z,z')$ 满足 $N(T;z,z') = \sum_j Q_j(T;z,z') e^{\delta_j T} + O(e^{\rho T})$，其中 $\rho \geq \frac{\delta}{2} - \frac{1}{4} - \epsilon_0$，从而得到改进的误差项。
• 分析确认了猜想的谱隙 $G(\Lambda) = \frac{\delta}{2}$ 在渐近意义下一致，因为当 $\delta \to 0$ 时，该边界的表现类似于 $\frac{\delta}{2} + O(\delta^2)$。