[论文解读] Selberg's zeta functions for congruence subgroups of modular groups in SL(2,R) and SL(2,C)

Yasufumi Hashimoto|arXiv (Cornell University)|Jun 30, 2008

Advanced Algebra and Geometry参考文献 10被引用 3

一句话总结

本文将此前仅针对模群（modular group）以类数和不定二元二次型的基本单位表示的塞尔伯格Zeta函数表达式，推广至SL(2,R)和SL(2,C)中所有模群的同余子群。其核心贡献在于提出一个统一公式，将Zeta函数的结构与这些子群中二次型的算术不变量联系起来。

ABSTRACT

It is known that the Selberg zeta function for the modular group has an expression in terms of the class numbers and the fundamental units of the indefinite binary quadratic forms. In the present paper, we generalize such a expression to any congruence subgroup of the modular groups in SL(2,R) and SL(2,C).

研究动机与目标

• 将此前仅对全模群成立的塞尔伯格Zeta函数表达式推广至SL(2,R)和SL(2,C)中所有模群的同余子群。
• 建立塞尔伯格Zeta函数的解析结构与不定二元二次型的算术不变量（如类数和基本单位）之间的联系。
• 通过同余子群，将全模群的经典公式推广至更广泛的算术群类。
• 通过二次型不变量，为理解同余子群的Zeta函数提供统一框架。

提出的方法

• 将塞尔伯格原始工作中使用的迹公式技术适配于同余商空间上拉普拉斯算子谱的分析。
• 利用自守形式的谱理论，将Zeta函数的极点与零点与不定二元二次型的算术性质关联起来。
• 将Zeta函数表示为对本原双曲共轭类的Euler积，其局部因子与类数和基本单位相关。
• 通过分析相关Fuchsian群及其基本域的结构，将全模群的经典公式扩展至同余子群。
• 运用Hecke算子与模符号理论，将Zeta函数与二次型的算术数据关联起来。
• 通过组合每个共轭类的局部贡献（按类数和单位加权），推导出Zeta函数的全局表达式。

实验结果

研究问题

• RQ1 能否将仅针对全模群的塞尔伯格Zeta函数经典表达式（以类数和基本单位表示）推广至SL(2,R)和SL(2,C)中所有同余子群？
• RQ2 不定二元二次型的算术不变量（特别是类数和基本单位）如何与同余子群上Zeta函数的解析结构相关联？
• RQ3 自守形式的谱理论在将Zeta函数公式扩展至全模群之外时起到何种作用？
• RQ4 是否存在一个统一公式，能够利用二次型的算术数据表达任意同余子群的塞尔伯格Zeta函数？
• RQ5 同余子群的共轭类如何通过与二次型不变量的关系，贡献于Zeta函数的Euler积结构？

主要发现

• 本文成功地将塞尔伯格Zeta函数表达式推广至SL(2,R)和SL(2,C)中所有模群的同余子群。
• Zeta函数被表示为Euler积，其局部因子由不定二元二次型的类数和基本单位决定。
• 同余子群的Zeta函数结构与全模群的经典公式一致，现已被扩展至更广泛的算术群类。
• 推导过程揭示了在同余子群背景下，谱理论与二次型算术之间存在深刻联系。
• 该方法证实，即使在全模群之外，Zeta函数的解析行为仍由相同的算术不变量所支配。
• 该结果为通过二次型理论统一研究同余子群的Zeta函数提供了框架。