[论文解读] Logarithmic growth of systole of arithmetic Riemann surfaces along congruence subgroups

Mikhail G. Katz, Mary Schaps+1 more|ArXiv.org|May 1, 2005

Geometric and Algebraic Topology参考文献 25被引用 5

一句话总结

本文為由四元数代数的主同余子群产生的算术黎曼曲面的系统长度建立了对数下界，证明了对于Hurwitz曲面，系统长度至少以 $\frac{4}{3}\log g$ 的速度增长。作者发展了一种四元数代数理想的新迹估计，推广了Buser与Sarnak早期在非有理迹域上的工作，使得在算术设定下能够获得紧致的系统长度界。

ABSTRACT

We apply a study of orders in quaternion algebras, to the differential geometry of Riemann surfaces. The least length of a closed geodesic on a hyperbolic surface is called its systole, and denoted syspi_1. P. Buser and P. Sarnak constructed Riemann surfaces X whose systole behaves logarithmically in the genus g(X). The Fuchsian groups in their examples are principal congruence subgroups of a fixed arithmetic group with rational trace field. We generalize their construction to principal congruence subgroups of arbitrary arithmetic surfaces. The key tool is a new trace estimate valid for an arbitrary ideal in a quaternion algebra. We obtain a particularly sharp bound for a principal congruence tower of Hurwitz surfaces (PCH), namely the 4/3-bound syspi_1(X_{\PCH}) > 4/3 \log(g(X_{\PCH})). Similar results are obtained for the systole of hyperbolic 3-manifolds, relative to their simplicial volume.

研究动机与目标

• 将Buser与Sarnak对算术曲面的系统长度界扩展至非有理迹域之外。
• 解决由于非有理域中代数整数稠密而导致Hurwitz曲面缺乏系统长度控制的问题。
• 为四元数代数中任意理想开发一种有效的迹估计，使系统长度分析可推广至更广泛的算术设定。
• 为Hurwitz曲面的主同余塔建立精确的 $\frac{4}{3}$-界，即系统长度下界。
• 利用单纯体积将系统长度界推广至双曲3-流形。

提出的方法

• 利用代数数论与迹界，为四元数代数整序中元素建立适用于任意理想的新型迹估计。
• 将该迹估计应用于由除法四元数代数中的极大整序导出的算术Fuchsian群的主同余子群 $\Gamma(I)$。
• 利用迹界推导双曲元素平移长度的下界，从而控制系统长度。
• 证明Hurwitz整序的主同余子群是无扭的，确保商曲面为光滑双曲曲面。
• 将迹估计与Hurwitz曲面的体积公式 $\operatorname{vol}(X_I) = \frac{21}{\pi}(g-1)$ 结合，推导出 $\frac{4}{3}\log g$ 的界。
• 通过低亏格Hurwitz曲面的数值验证，并借助渐近分析将结果推广至所有更高亏格。

实验结果

研究问题

• RQ1 当迹域不是 $\mathbb{Q}$ 时，算术黎曼曲面的系统长度是否可被对数下界控制？
• RQ2 在数域上的四元数代数理想中，应使用何种迹估计来控制双曲元素的最小平移长度？
• RQ3 尽管迹域非有理，$\frac{4}{3}\log g$ 的系统长度界是否仍适用于Hurwitz曲面的主同余塔？
• RQ4 在算术设定下，双曲3-流形的系统长度如何与单纯体积相关？
• RQ5 迹估计方法能否超越主同余子群，推广至其他算术格？

主要发现

• 本文为所有 $g \geq 65$ 的Hurwitz曲面主同余塔建立了精确的 $\frac{4}{3}\log g$ 系统长度下界。
• 证明了一种新型迹估计：对 $\Delta_H(I)$ 中满足 $x \neq \pm 1$ 的元素，有 $|\operatorname{Tr}_D(x)| > \frac{1}{16}N(I)^2 - 2$，该不等式对任意数域整数环中的理想 $I$ 成立。
• 证明了主同余子群 $\mathcal{Q}_{\text{Hur}}^1(I)$ 对所有真理想 $I$ 均为无扭的，确保商曲面为光滑双曲曲面。
• 商曲面 $X_I = \Delta_H(I)\backslash\mathcal{H}^2$ 的系统长度满足 $\operatorname{sys}\pi_1(X_I) \geq \frac{4}{3}\log g(X_I)$，当 $g(X_I) \geq 65$ 时成立，且对 $g \leq 100$ 的情况通过直接计算得到验证。
• 该方法可推广至双曲3-流形，获得与单纯体积相关的系统长度界。
• 结果解决了除原始Buser–Sarnak构造外更广泛类算术曲面的系统长度行为，尤其适用于迹域非有理的曲面。