[论文解读] Zeta functions of groups and enumeration in Bruhat-Tits buildings

Christopher Voll|ArXiv.org|May 26, 2003

Analytic Number Theory Research参考文献 4被引用 5

一句话总结

本文提出一种新方法，通过枚举 $\ mathrm{SL}_n(\mathbb{Q}_p)$ 的 Bruhat-Tits 建筑物中的顶点，计算阶为 2 的无挠幂零群（T-群）的局部正规 zeta 函数。该方法建立了这些 zeta 函数的显式有理函数公式，其表达式涉及 $\ mathbb{F}_p$ 上光滑平面曲线上的点数，证明了函数方程，并展示了某些 T-群的 zeta 函数不具有有限统一性。

ABSTRACT

We introduce a new method to calculate local normal zeta functions of finitely generated, torsion-free nilpotent groups. It is based on an enumeration of vertices in the Bruhat-Tits building for Sl_n(Q_p). It enables us to give explicit computations for groups of class 2 with small centres and to derive local functional equations. Examples include formulae for non-uniform normal zeta functions.

研究动机与目标

• 开发一种基于 Bruhat-Tits 建筑物组合结构的几何方法，用于计算阶为 2 的 T-群的局部正规 zeta 函数。
• 建立这些 zeta 函数的显式有理函数公式，其表达式基于 $\ mathbb{F}_p$ 上光滑平面曲线的 $\ mathbb{F}_p$-有理点数。
• 证明局部 zeta 函数的函数方程，将其与代数曲线的 Weil zeta 函数联系起来。
• 证明某些正规 zeta 函数不具有有限统一性，从而解决该领域的一个关键问题。
• 提供有理函数 $W_1(X,Y)$ 和 $W_2(X,Y)$ 的显式公式，并验证其函数方程。

提出的方法

• 该方法依赖于枚举 $\ mathrm{SL}_n(\mathbb{Q}_p)$ 的 Bruhat-Tits 建筑物中的顶点，该建筑物体现出 T-群中 $p$-幂指数极大子群的结构。
• zeta 函数表示为对极大子群类型的求和，其贡献由建筑体的几何结构和相应的李代数结构决定。
• 局部 zeta 函数 $\zeta^\triangleleft_{G,p}(s)$ 被分解为 $W_1(p,p^{-s}) + |C(\mathbb{F}_p)|W_2(p,p^{-s})$，其中 $C$ 是由 $\det(R(\mathbf{y}))=0$ 定义的光滑平面曲线。
• 通过生成函数和建筑体单纯复形上的 $p$-进积分，显式计算有理函数 $W_i(X,Y)$。
• 从曲线 $C$ 的 Weil zeta 函数的函数方程出发，推导出 $W_i(X,Y)$ 的函数方程。
• 该方法适用于导出群 Hirsch 膜长为 2 或 3 的 T-群，并利用斜对称矩阵 $M(\mathbf{y})$ 表示相关李代数的结构。

实验结果

研究问题

• RQ1 如何利用几何与算术结构计算阶为 2 的 T-群的局部正规 zeta 函数？
• RQ2 局部 zeta 函数 $\zeta^\triangleleft_{G,p}(s)$ 对光滑平面曲线 $C$ 上 $\ mathbb{F}_p$-有理点数的精确依赖关系是什么？
• RQ3 局部 zeta 函数是否满足函数方程？若满足，其与曲线 $C$ 的 Weil zeta 函数有何关联？
• RQ4 是否存在正规 zeta 函数不具有有限统一性的例子？能否显式构造此类例子？
• RQ5 有理函数 $W_i(X,Y)$ 是否可以显式计算？它们是否满足形如 $W_i(X^{-1},Y^{-1}) = (-1)^{n_i}X^{a_i}Y^{b_i}W_i(X,Y)$ 的函数方程？

主要发现

• 对于阶为 2、导出群 Hirsch 膜长为 3 的 T-群 $G$，有 $\zeta^\triangleleft_{G,p}(s) = W_1(p,p^{-s}) + |C(\mathbb{F}_p)|W_2(p,p^{-s})$，其中 $C$ 是曲线 $\det(R(\mathbf{y}))=0$。
• 有理函数 $W_1(X,Y)$ 和 $W_2(X,Y)$ 被显式计算，并满足形式为 $W_i(X^{-1},Y^{-1}) = (-1)^{n_i}X^{a_i}Y^{b_i}W_i(X,Y)$ 的函数方程。
• 对于绝对不可约曲线 $C$，局部 zeta 函数满足函数方程 $\zeta^\triangleleft_{G,p}(s)|_{p\to p^{-1}} = -p^{\binom{2r+3}{2} - (4r+3)s}\zeta^\triangleleft_{G,p}(s)$。
• 该方法确认了导出群 Hirsch 膜长为 2 的 T-群的 zeta 函数具有有限统一性，其形式为 $\zeta^\triangleleft_{G,p}(s) = \sum_{I\subseteq\{1,\dots,m\}} c_{p,I} W_I(p,p^{-s})$，其中 $c_{p,I}$ 表示多项式不可约因子模下的 $\mathbb{P}^1$ 上的 $\mathbb{F}_p$-点数。
• 椭圆曲线 $E: y^2 + x^3 - Dx = 0$ 的例子导出一个 T-群 $G(E)$，其 zeta 函数不具有有限统一性，从而证实了 du Sautoy 的早期猜想。
• 曲线 $C$ 的 Weil zeta 函数的函数方程蕴含 $|C(\mathbb{F}_{p^{-1}})| = p^{-1}|C(\mathbb{F}_p)|$，该关系被用于推导出 $G$ 的 zeta 函数的函数方程。