[论文解读] Zeta Functions of Complexes Arising from PGL(3)

Ming-Hsuan Kang, Wen-Ching Winnie Li|arXiv (Cornell University)|Apr 15, 2008

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

一句话总结

本文通过使用 Bruhat-Tits 建筑的几何与代数结构，为非阿基米德局部域 $F$ 的有限商 $X_{\bar{\Gamma}} = \Gamma \backslash \mathrm{PGL}_3(F)/\mathrm{PGL}_3(\mathcal{O}_F)$ 的 zeta 函数建立了闭式有理表达式。关键结果为：当且仅当 $X_{\Gamma}$ 是 Ramanujan 复形时，zeta 函数满足黎曼假设，从而将 Ihara 的图 zeta 函数理论推广至更高维单纯复形。

ABSTRACT

In this paper we obtain a closed form expression of the zeta function $Z(X_Γ, u)$ of a finite quotient $X_Γ= Γ\backslash PGL_3(F)/PGL_3(O_F)$ of the Bruhat-Tits building of $PGL_3$ over a nonarchimedean local field $F$. Analogous to a graph zeta function, $Z(X_Γ, u)$ is a rational function and it satisfies the Riemann hypothesis if and only if $X_Γ$ is a Ramanujan complex.

研究动机与目标

• 将 Ihara 的 zeta 函数理论从图推广至由 $\mathrm{PGL}_3$ 产生的更高维单纯复形。
• 为 $\mathrm{PGL}_3(F)$ 的 Bruhat-Tits 建筑的有限商定义一个 zeta 函数，以同时捕捉拓扑与谱信息。
• 建立一个满足黎曼假设的 zeta 函数，当且仅当商复形为 Ramanujan 复形。
• 在 $\mathrm{PGL}_3$ 作用于建筑的背景下，统一几何与代数的 zeta 函数解释。

提出的方法

• zeta 函数 $Z(X_{\Gamma}, u)$ 定义为复形 $X_{\Gamma}$ 中所有本原、无回溯、无尾迹的测地线圈的欧拉积。
• 本文利用 $\mathrm{PGL}_3(F)$ 的 Bruhat-Tits 建筑结构，其中顶点由 $\mathrm{PGL}_3(\mathcal{O}_F)$-陪集索引，边由 Iwahori 子群索引。
• 引入两个 zeta 函数：$Z_1(X_{\Gamma}, u)$，基于类型-1 测地线的几何定义；$Z_-(\Gamma, u)$，基于负类型共轭类的代数定义。
• 通过共轭类的体积与赋值不变量，推导出关键恒等式 $Z(\Gamma, u) = Z_+(\Gamma, u) Z_+(\Gamma, u^2)$。
• zeta 函数以算子的行列式表示：$Z(\Gamma, u) = \frac{\det(1 + L_B u) \det(1 + L_B u^{1/2})}{\det(1 - L_E u) \det(1 - L_E u^2)}$，其中 $L_B$ 与 $L_E$ 为建筑上的算子。
• 证明依赖于根据类型（正/负）、分歧性以及 $\Gamma$ 中元素的有理形式的特征值赋值对共轭类进行分类。

实验结果

研究问题

• RQ1 能否为 $\mathrm{PGL}_3$ 的 Bruhat-Tits 建筑的有限商定义一个类似于 Ihara 图 zeta 函数的 zeta 函数？
• RQ2 该 zeta 函数是否能以谱数据与拓扑数据的有理函数形式显式表达？
• RQ3 该 zeta 函数的黎曼假设是否等价于复形的 Ramanujan 性质？
• RQ4 该 zeta 函数能否分解为反映不同类型测地线与共轭类的几何与代数分量？
• RQ5 在 $\mathrm{PGL}_3(F)$ 元素中，特征值的分歧性与赋值如何影响测地线长度及 zeta 函数的结构？

主要发现

• zeta 函数 $Z(X_{\Gamma}, u)$ 为有理函数，显式表达为 $Z(\Gamma, u) = \frac{\det(1 + L_B u) \det(1 + L_B u^{1/2})}{\det(1 - L_E u) \det(1 - L_E u^2)}$，其中 $L_B$ 与 $L_E$ 为建筑上的算子。
• zeta 函数满足黎曼假设当且仅当 $X_{\Gamma}$ 为 Ramanujan 复形，即 Hecke 算子 $A_1$ 与 $A_2$ 的所有非平凡特征值均位于其万有覆叠的谱界内。
• 对于 $\Gamma$ 中正类型本原元素 $\gamma$，若未分歧，则长度 $L_A(\gamma)$ 等于 $\mathrm{vol}([\gamma])$；若分歧，则为 $\mathrm{vol}([\gamma])/2$，且满足 $L_A(\gamma^{-1}) = 2L_A(\gamma)$。
• zeta 恒等式 $\frac{(1 - u^3)^{\chi(X_{\Gamma})}}{\det(I - A_1 u + q A_2 u^2 - q^3 u^3 I)} = Z_1(X_{\Gamma}, u) Z_-(\Gamma, u)$ 统一了几何与代数解释，表明在 $\mathrm{PGL}_3$ 情形下，zeta 函数无法仅以纯代数或纯几何方式表达。
• $Z_-(\Gamma, u)$ 为有理函数，且等于 $\frac{\det(1 + L_B u)}{\det(1 - L_E u^2)}$，为几何函数 $Z_1(X_{\Gamma}, u)$ 提供了代数对应。
• 本文确认，当且仅当复形为 Ramanujan 时，zeta 函数的极点（排除平凡极点）的绝对值恰好为 $q^{-1/2}$，从而将图情形下的谱特征刻画推广至高秩复形。