[论文解读] Zeta Functions of F1-buildings

Anton Deitmar, Ming-Hsuan Kang|arXiv (Cornell University)|Mar 27, 2013

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

一句话总结

本文通过迹公式与群论方法，为 $\mathbb{F}_1$-建筑物——特别是 $\mathrm{PGL}_n(\mathbb{Q}_1)$ 型群的单体——构建了一个 zeta 函数。它建立了一个广义的 Ihara 公式，将 zeta 函数与商群的 Langlands $L$-函数联系起来，其中 zeta 函数的倒数以涉及邻接算子和正则表示的行列式形式表达，即使在 $q=1$ 极限下也成立。

ABSTRACT

The analogue of the Bruhat-Tits building of a p-adic group in F1-geometry is a single apartment. In this setting, the trace formula gives rise to a several variable zeta function analogously to the p-adic case. The analogy carries on to the fact that the restriction to certain lines yield zeta functions which are defined in geometrical terms. Also, the classical formula of Ihara has an analogue in this setting.

研究动机与目标

• 将经典的 Ihara zeta 函数从图推广至 $\mathbb{F}_1$-建筑物的几何，特别是 $\mathrm{PGL}_n$-型群的单体。
• 为 $\mathrm{PGL}_n(\mathbb{Q}_1)$ 构造一个迹公式，将其视为 $\mathbb{F}_1$-几何中 $p$-进群的类比。
• 定义一个多重变量 zeta 函数 $S_{\Gamma}(u)$，以编码建筑物商 $\Gamma\backslash\mathcal{B}$ 的群论结构，并通过闭测地线对其进行几何解释。
• 通过将 zeta 函数与商群 $\Lambda/\Gamma$ 的 Langlands $L$-函数关联，将 Ihara 公式推广至 $\mathbb{F}_1$-设定。
• 为 $\mathbb{F}_1$ 的 zeta 函数提供几何与表示论基础，特别是在 $q=1$ 时缺乏完整建筑物结构的情况下。

提出的方法

• 作者通过单幺（monoids）的 $\mathbb{F}_1$-方法定义 $\mathbb{Q}_1$ 为无限循环群，从而构建 $\mathrm{PGL}_n(\mathbb{Q}_1)$ 的建筑物，其具有扩展的仿射 Weyl 群对称性。
• 他们推导出 $\mathrm{PGL}_n(\mathbb{Q}_1)$ 的迹公式，计算其酉对偶，并从正则表示的迹构造出多重变量 zeta 函数 $S_{\Gamma}(u)$。
• zeta 函数 $Z_+(X_\Gamma, u)$ 定义为商图 $\Gamma\backslash\mathcal{B}$ 中所有正闭测地线的欧拉积，其长度由 $\Lambda/\Gamma$ 中群元素的阶决定。
• 关键技术步骤是将 $Z_+(X_\Gamma, u)^{-1}$ 表示为行列式：$Z_+^{-1} = \det(I_N - A_1u + \cdots + (-1)^n u^n I_N)$，其中 $A_i$ 是与生成元 $i$-元组相关的邻接算子。
• 作者将 Langlands $L$-函数 $L(\Lambda/\Gamma, u)$ 定义为 $\Lambda/\Gamma$ 的特征标 $\rho$ 的乘积，其中 $L(\rho, u) = \prod_{j=1}^n (1 - \rho_j u)^{-1}$，并证明 $Z_+(X_\Gamma, u) = L(\Lambda/\Gamma, u)$。
• 他们证明当 $u = (x, 0, \dots, 0)$ 时，函数 $S_\Gamma(x, 0, \dots, 0)$ 等于 $(n-1)! \cdot \frac{Z_+^\prime}{Z_+}(x)$，将群论 zeta 函数与几何 zeta 函数的对数导数精确关联。

实验结果

研究问题

• RQ1 如何将 Ihara zeta 函数从图推广至 $\mathbb{F}_1$-建筑物设定，特别是 $\mathrm{PGL}_n(\mathbb{Q}_1)$ 的单体？
• RQ2 迹公式在定义 $\mathrm{PGL}_n(\mathbb{Q}_1)$ 的 zeta 函数中起什么作用？它与酉对偶和正则表示有何关联？
• RQ3 能否通过几何与表示论构造，将经典 Ihara 公式扩展至 $q=1$ 情形？
• RQ4 zeta 函数 $S_\Gamma(u)$ 如何编码商建筑物 $\Gamma\backslash\mathcal{B}$ 的结构？其在闭测地线方面的几何解释是什么？
• RQ5 在 $\mathbb{F}_1$-设定下，zeta 函数 $Z_+(X_\Gamma, u)$ 与商群 $\Lambda/\Gamma$ 的 Langlands $L$-函数之间的确切关系是什么？

主要发现

• zeta 函数 $Z_+(X_\Gamma, u)^{-1}$ 的倒数收敛为一个多项式，并表示为行列式：$\det(I_N - A_1u + \cdots + (-1)^n u^n I_N)$，其中 $A_i$ 是商图上的邻接算子。
• zeta 函数 $Z_+(X_\Gamma, u)$ 等于 Langlands $L$-函数 $L(\Lambda/\Gamma, u)$，其定义为 $\Lambda/\Gamma$ 的特征标 $\rho$ 的乘积 $\prod_{j=1}^n (1 - \rho_j u)^{-1}$，在 $\mathbb{F}_1$-设定中建立了 zeta 函数与 $L$-函数之间的直接联系。
• 当 $u = (x, 0, \dots, 0)$ 时，多重变量 zeta 函数满足 $S_\Gamma(x, 0, \dots, 0) = (n-1)! \cdot \frac{Z_+^\prime}{Z_+}(x)$，表明群论 zeta 函数与几何 zeta 函数之间存在精确关联。
• 每条本原测地线（长度为 $m_i$）对 zeta 函数的贡献为 $(1 - u^{m_i})^{N/m_i}$，其等于 $\det(I_N - \lambda(s_i)u)$，其中 $\lambda$ 是 $\Lambda/\Gamma$ 的正则表示，从而验证了行列式公式。
• 证明依赖于将乘积 $\prod_{i=1}^n \det(I_N - \lambda(s_i)u)$ 表示为邻接算子特征多项式的行列式，从而验证了广义的 Ihara 公式。
• 该结果在 $q=1$ 极限下依然成立，提供了 Ihara 公式在 $\mathbb{F}_1$ 下的一致类比，且环面 $\mathcal{B}_\Gamma$ 的欧拉示性数为零，因此最终恒等式中无需修正因子。