[论文解读] The Ihara-Selberg zeta function for PGL(3) and Hecke operators

Anton Deitmar|ArXiv.org|Jul 29, 2004

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

一句话总结

本文通过用Hecke算子表达，为PGL(3)的Bruhat-Tits复形商的zeta函数建立了弱Ihara型公式。利用由生成元$\pi_1, \pi_2$构成的非分歧Hecke代数，证明了zeta函数$Z(u)$是行列式$\det(1 - u\pi_1 + u^2 q \pi_2 - u^3 q^3)$的幂与多项式$P(u)$的比值，为在高秩情形对组合zeta函数进行算术化奠定了基础。

ABSTRACT

We prove an approximation to an Ihara-formula for the zeta function of an arithmetic quotient of the Bruhat-Tits building of a p-adic PGL(3).

研究动机与目标

• 将Ihara的zeta函数公式从秩一推广到更高秩群，特别是PGL(3)，其中尚未存在完整的Ihara公式。
• 通过在Bruhat-Tits复形上用Hecke算子表达zeta函数，建立组合zeta函数与算术之间的桥梁。
• 通过非分歧Hecke代数生成元$\pi_1, \pi_2$建立行列式公式，作为算术解释的候选。
• 在1-骨架和画廊上分析zeta函数，推导PGL(3)情形下zeta函数的结构性质。

提出的方法

• 将zeta函数$Z(u)$定义为$\Gamma\backslash X$中所有本原闭路的乘积，其中$X$是$\mathrm{PGL}_3(F)$的Bruhat-Tits复形。
• 利用由$\pi_1 = K\,\mathrm{diag}(1,1,\varpi)\,K$和$\pi_2 = K\,\mathrm{diag}(1,\varpi,\varpi)\,K$生成的非分歧Hecke代数$\mathcal{H}_K$来建模zeta函数的结构。
• 定义算子$F(u) = \sum_{n=1}^\infty u^{n-1} A_n$，其中$A_n$表示长度为$n$的闭路径计数，并将$\mathrm{tr}\,F(u)$与$Z_1'(u)/Z_1(u)$关联。
• 通过$\pi_1$和$\pi_2$推导$A_n$的递推关系，得到矩阵表达式$F(u) = H(u)(1 - u\pi_1 + u^2 q \pi_2 - u^3 q^3)^{-1}$。
• 利用迹恒等式与谱理论，证明$Z_1(u)$是有理函数，其分母包含$\det(1 - u\pi_1 + u^2 q \pi_2 - u^3 q^3)^n$。
• 分析画廊的zeta函数$Z_2(u)$，并通过算子$L = L_3L_2L_1$证明其为多项式，且$Z_2(u) = \det(1 - u^3 L)$。

实验结果

研究问题

• RQ1 能否为Bruhat-Tits复形的PGL(3)商的zeta函数建立弱Ihara型公式？
• RQ2 非分歧Hecke算子$\pi_1$和$\pi_2$如何编码复形1-骨架中闭路的组合结构？
• RQ3 zeta函数$Z(u)$是否可表示为涉及Hecke算子多项式行列式的有理函数？
• RQ4 画廊zeta函数$Z_2(u)$在zeta函数整体结构中起什么作用？
• RQ5 能否如秩一情形一样，通过Hecke算子对高秩情形的zeta函数进行算术解释？

主要发现

• 1-骨架的zeta函数$Z_1(u)$满足$Z_1(u) = \frac{\det(1 - u\pi_1 + u^2 q \pi_2 - u^3 q^3)^n}{P(u)}$，其中$n \in \mathbb{N}$且$P(u)$为多项式，从而确立了弱Ihara公式。
• 定义为路径计数$A_n$生成函数的算子$F(u)$满足$F(u) = H(u)(1 - u\pi_1 + u^2 q \pi_2 - u^3 q^3)^{-1}$，将zeta函数与Hecke代数结构联系起来。
• 对$n \geq 3$，递推关系$A_{n+1} = A_n \pi_1 - q A_{n-1} \pi_2 + q^3 A_{n-2}$成立，初始算子为$A_1 = \pi_1$，$A_2 = \pi_1^2 - (q+1)\pi_2$，$A_3 = \pi_1^3 - (2q+1)\pi_1\pi_2 + (1+q+q^2)q$。
• 画廊zeta函数$Z_2(u)$为多项式，且$Z_2(u) = \det(1 - u^3 L)$，其中$L = L_3L_2L_1$为边延长算子的复合。
• 算子$F(u)$的迹等于$Z_1'(u)/Z_1(u)$，确认了生成函数方法与zeta函数对数导数的一致性。
• 该结果为通过$\mathrm{PGL}_3$上的Hecke算子对高秩中组合定义的zeta函数进行算术解释提供了第一步。