关于同余子群r(p)的素测地线定理A plain geodesic theorem for the congruent subgroup R (P).pdfVIP

山东大学 硕士学位论文 关于同余子群r（p）的素测地线定理 姓名：林永晓 申请学位级别：硕士 专业：基础数学 指导教师：刘建亚 …东大学顾+学位论文 关于同余子群r∞)的素测地线定理 林永晓 (山东大学数学学院，济南，250100) (指导老师：刘建亚) 摘要 曲面r＼ⅡⅡ上的素测地线的计数问题是数论巾一个很重要的问题．令_7rI，(z) 表示范数不超过z的本原共轭类的个数，则素测地线定理可表述为 丌 Z = 旦W+EZ=hZ+EZ 这里E(x)为余项．在很多情形下，考虑皿r(z)=∑A(P)将更为方便，这 NP_x 里求和号取遍所有双曲共轭类{P)．对索测地线定理寻求好的余项估计是很 多作者研究的目标．猜测的余项为E(x)=D(z§托)． 对于r=SL(2，Z)为全模群的情形，很多作者研究了素测地线定理的余 项．上世纪50年代，A．Selberg【18】引进了Selbergzeta函数z(s)．z(8)的性 质与代数数域上的L函数的性质有许多相似之处．特别地，对Z(s)，黎曼猜 想是成立的，于是人们可以预期E(x)《z壹托．但注意到z(s)的阶为2，它 比((s)多了很多零点，因此上述估计又并非那么显然．作为Selberg迹公式 的一个推论，不难得到一个形如D(z暑托)的余项． Maass波动形式傅里叶系数的均值估计等工具． Luo和Sarnak f141研究了关于特征值求和的振荡现象，他们得到了 ．矿 白 《r移 br ∑归 g 方法，将Luo和Sarnak的结果进一步改堪’工Ⅵ。…71-bs)．结合类数公式和 III东大学硕士学位论文 Dirictflct n函数的相关知识，Soundararajan Young【20】证明了 E(z)《z装押 当r为同余子群情彤，已知的结果却要少很多．Sarnak[15】曾经给出形 猜想方I白f取得了重大进展．利用他们的结果，可以推_}l{ 7rfl(z)=li(x)+D(z矗+s)， 对所有SL(2，z)的同余予群成立． 尽管如此，在已发表的文献中关于同余子群情形的结果并不多．在文章 Bykovskii f1】和Soundararajan-Youngf20】的启发下，本文讨论了关于脚余 予群r{p)的素测地线定理，这里P≥3为素数．我们得剑了一个渐进公式， 作为推论，我们给出了余项D@i+s)．当“P=l”时便得到Soundararajan和 Young的结果．本文主要结果如下： 定理o．1 Y一，紧支集 k(u)du=1及麝l七o)(札)ld“《J 设忌(让)为满足+一oo 在(o，y)的无穷次可微函数，z{托冬y≤忐为一参数，则对r=r∞)，我 们有 ㈤划㈤+㈦∞，壹b=l学，小地胁懈卅帕∽， 及 11， 州垆z+㈦@嘻学¨№胁州啪M@．Ⅻ1 晰卜蚓毫拍…m㈤…础气 这里尽管p为素数，我们叮从证明过程看出定理0．1对p=1是成立的， 于是 皿r(z)：X+E(z；