[论文解读] A Note on Riemann Surfaces of Large Systole

Shotaro Makisumi|arXiv (Cornell University)|Jun 13, 2012

Analytic Number Theory Research参考文献 14被引用 7

一句话总结

本文证明了，对于由固定共(compact)算术Fuchsian群的主同余子群构造的紧致双曲黎曼曲面族，增长常数 $\gamma = \frac{4}{3}$ 是最优的。通过将问题约化为不定三元二次型的表示问题并应用局部-整体原理，作者证明了任何此类算术构造都无法实现更大的系统长增长速率，从而确认了已知界限的精确性。

ABSTRACT

We examine the large systole problem, which concerns compact hyperbolic Riemannian surfaces whose systole, the length of the shortest noncontractible loops, grows logarithmically in genus. The generalization of a construction of Buser and Sarnak by Katz, Schaps, and Vishne, which uses principal "congruence" subgroups of a fixed cocompact arithmetic Fuchsian, achieves the current maximum known growth constant of γ= 4/3. We prove that this is the best possible value of γfor this construction using arithmetic Fuchsians in the congruence case. The final section compares the large systole problem with the analogous large girth problem for regular graphs.

研究动机与目标

• 确定由固定算术Fuchsian群的主同余子群构造的紧致双曲黎曼曲面的系统长最佳可能增长速率 $\gamma$。
• 通过证明该常数的最优性，弥合已知构造实现 $\gamma = \frac{4}{3}$ 与理论上的上界 $\gamma \leq 2$ 之间的差距。
• 证明任何此类算术构造都无法超过 $\gamma = \frac{4}{3}$，从而确立当前最优已知界限的精确性。
• 在黎曼曲面的大系统长问题与正则图的大周长问题之间建立类比，突出其共有的算术构造与界限。

提出的方法

• 将系统长的下界估计约化为由算术Fuchsian群导出的不定三元二次型表示整数的问题。
• 应用不定三元二次型表示的局部-整体原理，分析小非平凡解的存在性。
• 利用实二次域整环中理想类与范数的界，控制该型表示中元素的大小。
• 将系统长问题转化为四元数代数中元素的同余条件，将其与整序与理想算术联系起来。
• 利用Minkowski界证明理想中存在小范数，从而控制潜在系统长测地线的大小。
• 将黎曼曲面构造与LPS图构造通过四元数代数进行比较，指出其技术与界限的平行性。

实验结果

研究问题

• RQ1 能否通过固定共(compact)算术Fuchsian群的主同余子群，改进算术黎曼曲面中系统长的增长常数 $\gamma = \frac{4}{3}$？
• RQ2 对于此类构造，是否存在比一般面积界 $\gamma \leq 2$ 更紧的理论上的 $\gamma $ 上界？
• RQ3 不定三元二次型的表示理论在多大程度上限制了算术双曲曲面的系统长？
• RQ4 黎曼曲面大系统长问题所用方法与正则图大周长问题所用方法有何异同？
• RQ5 在同余子群设定下，$\gamma = \frac{4}{3}$ 是否是算术Fuchsian群构造的曲面族的最佳可能值？

主要发现

• 对于由固定共(compact)算术Fuchsian群的主同余子群构造的紧致双曲黎曼曲面族，增长常数 $\gamma = \frac{4}{3}$ 是最优的。
• 任何此类算术构造都无法实现超过 $\gamma = \frac{4}{3}$ 的系统长增长速率，该结论通过约化为不定三元二次型的表示问题得到证明。
• 该证明依赖于不定三元二次型表示的局部-整体原理，结合实二次域理想类中的范数界。
• 该结果确认了Buser–Sarnak与Katz–Schaps–Vishne的构造在该算术框架内实现了最优的系统长增长速率。
• $\gamma = \frac{4}{3}$ 的精确性类似于Ramanujan图中的最优性结果：Biggs与Boshier证明了在LPS构造中 $\gamma = \frac{4}{3}$ 是最优的。
• 本文建立了黎曼曲面大系统长问题与正则图大周长问题之间的强类比：两者均通过四元数算术实现 $\gamma = \frac{4}{3}$，且在各自设定中均被证明为最优。