[論文レビュー] The Ihara-Selberg zeta function for PGL(3) and Hecke operators

Anton Deitmar|ArXiv.org|Jul 29, 2004

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

ひとこと要約

本稿は、Hecke作用素を用いて、Bruhat-Tits図形のPGL(3)商のゼータ関数を表す弱いIhara型の公式を確立する。非分岐Hecke代数（生成子$\pi_1, \pi_2$を伴う）を用い、ゼータ関数$Z(u)$が、行列式$\det(1 - u\pi_1 + u^2 q \pi_2 - u^3 q^3)$のべき乗を多項式$P(u)$で割った形に表されることを証明する。これは、高ランクにおける組合せ的ゼータ関数の算術的解釈に向けた基盤的ステップを示す。

ABSTRACT

We prove an approximation to an Ihara-formula for the zeta function of an arithmetic quotient of the Bruhat-Tits building of a p-adic PGL(3).

研究の動機と目的

• ランク1のIharaのゼータ関数公式を、完全なIhara公式が存在しない高ランク群、特にPGL(3)に拡張すること。
• Bruhat-Tits図形上のHecke作用素を用いて、組合せ的ゼータ関数と算術的構造を結ぶ橋渡しを提供すること。
• 非分岐Hecke代数の生成子$\pi_1, \pi_2$を含む行列式公式を、算術的解釈の候補として確立すること。
• 1次スケルトンおよびギャラリー上でゼータ関数を解析し、PGL(3)設定におけるゼータ関数の構造的性質を導出すること。

提案手法

• Xを$\mathrm{PGL}_3(F)$のBruhat-Tits図形とする。$\Gamma\backslash X$における原始的閉路の積としてゼータ関数$Z(u)$を定義する。
• 生成子$\pi_1 = K\,\mathrm{diag}(1,1,\varpi)\,K$および$\pi_2 = K\,\mathrm{diag}(1,\varpi,\varpi)\,K$を伴う非分岐Hecke代数$\mathcal{H}_K$を用い、ゼータ関数の構造をモデル化する。
• 閉路長$n$の数を表す$A_n$を用いて、$F(u) = \sum_{n=1}^\infty u^{n-1} A_n$を定義し、$\mathrm{tr}\,F(u)$と$Z_1'(u)/Z_1(u)$の関係を確立する。
• Hecke作用素$\pi_1, \pi_2$を用いた$A_n$の再帰的関係を導出し、行列式表現$F(u) = H(u)(1 - u\pi_1 + u^2 q \pi_2 - u^3 q^3)^{-1}$を得る。
• トレース恒等式およびスペクトル論理を用いて、$Z_1(u)$が分母に$\det(1 - u\pi_1 + u^2 q \pi_2 - u^3 q^3)^n$を含む有理関数であることを示す。
• ギャラリーのゼータ関数$Z_2(u)$を解析し、$L = L_3L_2L_1$（辺延長作用素の合成）を用いて$Z_2(u) = \det(1 - u^3 L)$を証明する。

実験結果

リサーチクエスチョン

• RQ1 Bruhat-Tits図形のPGL(3)商のゼータ関数に対して、弱いIhara型の公式を確立できるか？
• RQ2 非分岐Hecke作用素$\pi_1$および$\pi_2$は、図形の1次スケルトンにおける閉路の組合せ的性質をどのように符号化するか？
• RQ3 ゼータ関数$Z(u)$は、Hecke作用素多項式の行列式を含む有理関数として表せるか？
• RQ4 ギャラリーのゼータ関数$Z_2(u)$は、ゼータ関数全体の構造において果たす役割は何か？
• RQ5 ランク1の場合と同様に、高ランクにおけるHecke作用素を用いた算術的解釈が可能か？

主な発見

• 1次スケルトンのゼータ関数$Z_1(u)$は、ある$n \in \mathbb{N}$および多項式$P(u)$を用いて$Z_1(u) = \frac{\det(1 - u\pi_1 + u^2 q \pi_2 - u^3 q^3)^n}{P(u)}$と表され、弱いIhara公式が確立される。
• パス数$A_n$の母関数として定義される作用素$F(u)$は、$F(u) = H(u)(1 - u\pi_1 + u^2 q \pi_2 - u^3 q^3)^{-1}$を満たし、ゼータ関数とHecke代数の構造を結びつける。
• 再帰関係$A_{n+1} = A_n \pi_1 - q A_{n-1} \pi_2 + q^3 A_{n-2}$は$n \geq 3$で成り立ち、初期作用素は$A_1 = \pi_1$、$A_2 = \pi_1^2 - (q+1)\pi_2$、$A_3 = \pi_1^3 - (2q+1)\pi_1\pi_2 + (1+q+q^2)q$である。
• ギャラリーのゼータ関数$Z_2(u)$は多項式であり、$Z_2(u) = \det(1 - u^3 L)$を満たす。ここで$L = L_3L_2L_1$は辺延長作用素の合成である。
• $F(u)$のトレースは$Z_1'(u)/Z_1(u)$に等しく、生成関数のアプローチがゼータ関数の対数微分と整合していることが確認される。
• 本結果は、Hecke作用素を用いたPGL(3)上で定義された組合せ的ゼータ関数の算術的解釈に向けた最初のステップを提供する。