[论文解读] Stability results for local zeta functions of groups and related structures

Tobias Rossmann|arXiv (Cornell University)|Apr 16, 2015

Mathematical Dynamics and Fractals参考文献 5被引用 5

一句话总结

该论文证明了，对于有限生成幂零群的局部Zeta函数在素数 $p$ 变化下的行为——具体而言，在密度为1的素数集合上的一致性——完全决定了其在几乎所有的局部基扩张 $K/\mathbf{Q}_p$ 下的行为。关键结果表明，这些Zeta函数中的统一性与函数方程是内在性质，与显式公式的选取无关，其证明基于 $\ell$-进伽罗瓦表示与切博泰列夫密度定理的论证。

ABSTRACT

Various types of local zeta functions studied in asymptotic group theory admit two natural operations: (1) change the prime and (2) perform local base extensions. Often, the effects of both of these operations can be expressed simultaneously in terms of a single explicit formula. We show that in these cases, the behaviour of local zeta functions under variation of the prime in a set of density 1 in fact completely determines these functions for almost all primes and, moreover, it also determines their behaviour under local base extensions. We discuss applications to topological zeta functions, functional equations, and questions of uniformity.

研究动机与目标

• 建立在密度为1的素数集合上，局部Zeta函数的一致性可推出几乎所有素数下局部基扩张中的一致性。
• 证明Zeta函数的函数方程与统一性性质是内在的，不依赖于显式公式的选取。
• 为从 $p$-进Zeta函数极限推导拓扑Zeta函数提供严格的理论基础。
• 统一并推广渐近群论与环论中子对象与表示Zeta函数的已知函数方程。
• 证明Zeta函数在基扩张下的行为完全由其在素数变化下的行为决定，仅允许有限多个例外。

提出的方法

• 利用与有限生成幂零群 $G$ 相关的单群概形 $\mathsf{G}$ 在 $\mathbf{Z}$ 上，使得对几乎所有 $p$ 有 $\hat{G}_p = \mathsf{G}(\mathbf{Z}_p)$。
• 应用丹夫风格的显式Zeta函数公式（借鉴伊古萨Zeta函数的工作），这些公式在素数变化与基扩张下均表现良好。
• 通过 $\ell$-进伽罗瓦表示解释这些公式的几何成分，以建立基扩张下的稳定性。
• 运用切博泰列夫密度定理，证明在素数密度为1的集合上的一致性可推出在几乎所有素数下基扩张中的一致性。
• 使用 $k$-局部映射及其到有理函数 $W_i(X,Y)$ 的扩张（在 $(q^f, Y)$ 处解析）的形式语言，定义并分析函数方程。
• 应用塞尔 ([Ser12, Thm 1.3]) 关于 $\mathbf{Z}$ 上概形Zeta函数的结果，将 $\mathbf{F}_p$ 上的计数命题转移到 $\mathbf{F}_{p^f}$ 上。

实验结果

研究问题

• RQ1 能否仅通过Zeta函数在素数 $p$ 变化下的行为，完全确定其在基扩张下的行为？
• RQ2 Zeta函数的函数方程在多大程度上独立于显式公式的选取？
• RQ3 如何严格地将拓扑Zeta函数作为 $p$-进Zeta函数的极限来推导？
• RQ4 在何种条件下，Zeta函数在密度为1的素数集合上的一致性可推出在所有局部基扩张下的一致性？
• RQ5 $\ell$-进伽罗瓦表示在控制Zeta函数在算术运算下的稳定性中起什么作用？

主要发现

• 若对密度为1的素数集合中所有 $p$ 有 $\zeta^{\widetilde{\mathrm{irr}}}_{\mathsf{G}(\mathbf{Z}_p)}(s) = \zeta^{\widetilde{\mathrm{irr}}}_{\mathsf{H}(\mathbf{Z}_p)}(s)$，则该等式对几乎所有 $p$ 及所有有限扩张 $K/\mathbf{Q}_p$ 成立。
• Zeta函数的函数方程（如对单群有 $\mathsf{Z}_*(v,-f) = q_v^{df} \cdot \mathsf{Z}^\mathbf{G}(v,f)$）不依赖于显式公式的选取，只要该公式是解析且表现良好的。
• 通过素数变化下函数方程的稳定性，可严格证明拓扑Zeta函数是 $p$-进Zeta函数的极限。
• 对 [dSW08] 意义下的统一情形，无论采用何种计算方法，函数方程 $W_1(X^{-1},Y^{-1}) = X^{\binom{d}{2}}Y^d \cdot W_1(X,Y)$ 均成立。
• 将 $k$-局部映射扩展到 $\mathbf{F}_{q_v^f}$ 的 $\mathsf{Z}_*(v,f)$ 由其等价类与有理函数 $W_i$ 的解析性唯一确定，至多排除有限多个素数。
• 对李代数的函数方程 $\mathsf{Z}_*^{\mathfrak{g},\mathrm{irr}}(v,-f) = q_v^{df} \cdot \mathsf{Z}^{\mathfrak{g},\mathrm{irr}}(v,f)$ 几乎对所有 $v$ 和所有 $f \in \mathbf{N}$ 成立，将早期结果推广至任意数域。