[論文レビュー] 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

ひとこと要約

本稿では、有限生成な可解群の局所ゼータ関数が素数 $p$ の変動に従って示す挙動——特に密度1の素数の集合で一致すること——が、ほとんどすべての $p$ に対して、$K/\mathbf{Q}_p$ の局所的ベース拡大における挙動を完全に決定することを確立する。主な結果は、$\ell$-adic ガロア表現とチェボタレフ密度論を用いることで、これらのゼータ関数における一様性および関数等式が、明示的公式の選択とは独立した内在的性質であることを示している。

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の素数の集合で局所ゼータ関数が一致するならば、ほとんどすべての素数において局所的ベース拡大に対しても一致することを確立すること。
• ゼータ関数の関数等式および一様性の性質が、明示的公式の選択とは独立しており、内在的であることを示すこと。
• トポロジカルゼータ関数が $p$-進ゼータ関数の極限として厳密に導出可能な基礎を提供すること。
• 漸近的群論および環論における部分対象および表現ゼータ関数の既知の関数等式を統一的かつ一般化すること。
• ベース拡大におけるゼータ関数の挙動が、有限個の例外を除き、素数 $p$ の変動における挙動によって完全に決定されることを示すこと。

提案手法

• 有限生成可解群 $G$ に付随する $\mathbf{Z}$ 上のユニポテンツ群スキーム $\mathsf{G}$ を用い、ほとんどすべての $p$ に対して $\hat{G}_p = \mathsf{G}(\mathbf{Z}_p)$ となるようにする。
• イグサのゼータ関数に関するデネフの研究のスタイルに従い、素数変動およびベース拡大の両方で良好に振る舞うゼータ関数の明示的公式を適用する。
• これらの公式の幾何的要素を $\ell$-adic ガロア表現の観点から解釈することで、ベース拡大における安定性を確立する。
• チェボタレフの密度定理を用いて、素数の密度1の集合で一致するならば、ほとんどすべての素数においてベース拡大に対しても一致することを示す。
• $k$-局所写像およびその有理関数 $W_i(X,Y)$（$(q^f, Y)$ で正則）への拡張の形式的枠組みを用い、関数等式を定義および分析する。
• セールの結果（[Ser12, Thm 1.3]）を用い、$\mathbf{Z}$ 上のスキームのゼータ関数について、$\mathbf{F}_p$ における数え上げ命題を $\mathbf{F}_{p^f}$ に移す。

実験結果

リサーチクエスチョン

• RQ1 局所的ベース拡大におけるゼータ関数の挙動は、素数 $p$ の変動における挙動のみによって完全に決定可能か？
• RQ2 ゼータ関数の関数等式が、明示的公式の選択とはどの程度独立しているか？
• RQ3 トポロジカルゼータ関数は、$p$-進ゼータ関数の極限として厳密に導出可能か？
• RQ4 密度1の素数の集合でゼータ関数が一致するとき、すべての局所的ベース拡大においても一致するための条件は何か？
• RQ5 $\ell$-adic ガロア表現は、算術的演算におけるゼータ関数の安定性を制御するために果たす役割は何か？

主な発見

• 密度1の素数の集合で $\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$ に対して等式が成立する。
• ユニポテンツ群における関数等式 $\mathsf{Z}_*(v,-f) = q_v^{df} \cdot \mathsf{Z}^\mathbf{G}(v,f)$ などのゼータ関数の関数等式は、公式が正則かつ良好に振る舞う限り、明示的公式の選択とは独立している。
• 関数等式の素数変動における安定性を用いることで、トポロジカルゼータ関数が $p$-進ゼータ関数の極限として厳密に正当化可能である。
• [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}$ に対して成り立ち、以前の結果を任意の数体へ一般化する。