[論文レビュー] Zeta Functions of Complexes Arising from PGL(3)

Ming-Hsuan Kang, Wen-Ching Winnie Li|arXiv (Cornell University)|Apr 15, 2008

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

ひとこと要約

本稿では、非アーチメデス的局所体 $F$ に対して、Bruhat-Tits 建物の幾何学的・代数的構造を用いて、有限商 $X_{\bar{\Gamma}} = \Gamma \backslash \mathrm{PGL}_3(F)/\mathrm{PGL}_3(\mathcal{O}_F)$ のゼータ関数の閉形式の有理式を確立する。主な結果は、ゼータ関数がリーマン予想を満たすための必要十分条件が $X_{\Gamma}$ がラマヌジャン複体であることである、という点であり、これはイハラのグラフゼータ関数理論を高次元単体的複体へと一般化するものである。

ABSTRACT

In this paper we obtain a closed form expression of the zeta function $Z(X_Γ, u)$ of a finite quotient $X_Γ= Γ\backslash PGL_3(F)/PGL_3(O_F)$ of the Bruhat-Tits building of $PGL_3$ over a nonarchimedean local field $F$. Analogous to a graph zeta function, $Z(X_Γ, u)$ is a rational function and it satisfies the Riemann hypothesis if and only if $X_Γ$ is a Ramanujan complex.

研究の動機と目的

• PGL(3) から生じる高次元単体的複体へ、イハラのゼータ関数理論をグラフから拡張すること。
• PGL₃(F) のBruhat-Tits 建物の有限商に対して、位相的およびスペクトル的データを捉えるゼータ関数を定義すること。
• ゼータ関数がリーマン予想を満たすための必要十分条件が、商複体がラマヌジャンであることであることを確立すること。
• PGL₃-作用の文脈において、ゼータ関数の幾何的および代数的解釈を統合すること。

提案手法

• ゼータ関数 $Z(X_{\Gamma}, u)$ は、複体 $X_{\Gamma}$ 内の原始的・バックトラックなし・テイルのない測地的サイクルを用いたオイラー積として定義される。
• 本稿では、PGL₃(F) のBruhat-Tits 建物の構造を用い、頂点は $\mathrm{PGL}_3(\mathcal{O}_F)$-右剰余類によって、辺は Iwahori 収縮群によってインデックスづけられる。
• 2つのゼータ関数を導入する：タイプ1の測地的線分を用いて幾何的に定義される $Z_1(X_{\Gamma}, u)$ と、負のタイプの共役類を用いて代数的に定義される $Z_-(\Gamma, u)$。
• 共役類の体積および付値不変量を用いて、$Z(\Gamma, u) = Z_+(\Gamma, u) Z_+(\Gamma, u^2)$ という重要な恒等式が導出される。
• ゼータ関数は、$L_B$ および $L_E$ を建物上での作用素として、$Z(\Gamma, u) = \frac{\det(1 + L_B u) \det(1 + L_B u^{1/2})}{\det(1 - L_E u) \det(1 - L_E u^2)}$ の形で表現される。
• 証明は、共役類をタイプ（正/負）、分岐、および $\Gamma$ 内の要素の有理形態における固有値の付値によって分類することに依拠している。

実験結果

リサーチクエスチョン

• RQ1 PGL₃ の Bruhat-Tits 建物の有限商に対して、イハラのグラフゼータ関数と類似した形でゼータ関数を定義できるか？
• RQ2 このゼータ関数は、スペクトル的および位相的データの観点から、閉形式の有理式として表現可能か？
• RQ3 このゼータ関数のリーマン予想が、複体がラマヌジャンであることと同値であるか？
• RQ4 ゼータ関数は、異なるタイプの測地的線分および共役類を反映する幾何的・代数的成分に分解可能か？
• RQ5 PGL₃(F) 要素における固有値の分岐および付値は、測地的線分の長さおよびゼータ関数の構造にどのように影響するか？

主な発見

• ゼータ関数 $Z(X_{\Gamma}, u)$ は有理関数であり、明示的に $Z(\Gamma, u) = \frac{\det(1 + L_B u) \det(1 + L_B u^{1/2})}{\det(1 - L_E u) \det(1 - L_E u^2)}$ と与えられる。ここで $L_B$ および $L_E$ は建物上の作用素である。
• ゼータ関数がリーマン予想を満たすための必要十分条件は、$X_{\Gamma}$ がラマヌジャン複体であることである。これは、ユニバーサル被覆のスペクトルの境界内に、Hecke 演算子 $A_1$ および $A_2$ の非自明固有値がすべて存在することを意味する。
• 正のタイプの原始的要素 $\gamma \in \Gamma$ に対して、$L_A(\gamma)$ は分岐していない場合 $\mathrm{vol}([\gamma])$ に等しく、分岐している場合は $\mathrm{vol}([\gamma])/2$ に等しい。また $L_A(\gamma^{-1}) = 2L_A(\gamma)$ が成り立つ。
• 恒等式 $\frac{(1 - u^3)^{\chi(X_{\Gamma})}}{\det(I - A_1 u + q A_2 u^2 - q^3 u^3 I)} = Z_1(X_{\Gamma}, u) Z_-(\Gamma, u)$ により、幾何的および代数的解釈が統合され、PGL₃ の場合、ゼータ関数は純粋に代数的または幾何的に表現できないことが示された。
• ゼータ関数 $Z_-(\Gamma, u)$ は有理関数であり、$\frac{\det(1 + L_B u)}{\det(1 - L_E u^2)}$ に等しく、幾何的 $Z_1(X_{\Gamma}, u)$ に対する代数的対応を提供する。
• 本稿では、複体がラマヌジャンである場合に限り、ゼータ関数の極（自明でないもの）の絶対値が $q^{-1/2}$ に等しくなることが確認された。これは、グラフにおけるスペクトル的特徴付けを高ランク複体へと拡張するものである。