[論文レビュー] 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)$型の群のアパルトメントに対してゼータ関数を構築する。ゼータ関数と商群のラングランズ$L$-関数を結ぶ一般化されたイハラの公式を確立し、$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.

研究の動機と目的

• グラフからの古典的イハラゼータ関数を、特に$\mathrm{PGL}_n$型の群のアパルトメントを含む$\mathbb{F}_1$-建物の幾何に拡張すること。
• $\mathrm{PGL}_n(\mathbb{Q}_1)$に対してトレース公式を定式化し、$p$-進群の$\mathbb{F}_1$-幾何における類似物として扱うこと。
• 建物商$\Gamma\backslash\mathcal{B}$の群論的構造を符号化する多変数ゼータ関数$S_{\Gamma}(u)$を定義し、閉じた測地線を用いて幾何的に解釈すること。
• 商群$\Lambda/\Gamma$のラングランズ$L$-関数と関連付けることで、$\mathbb{F}_1$-設定におけるイハラの公式を一般化すること。
• 特に$q=1$における完全な建物構造の欠如を考慮して、$\mathbb{F}_1$の文脈におけるゼータ関数の幾何的および表現論的基盤を提供すること。

提案手法

• 著者たちはモノイドを用いた$\mathbb{F}_1$-アプローチにより、$\mathbb{Q}_1$を無限巡回群として定義し、$\mathrm{PGL}_n(\mathbb{Q}_1)$の建物を拡張されたアフィンワイル群の対称性を持つアパルトメントとして構成する。
• 彼らは$\mathrm{PGL}_n(\mathbb{Q}_1)$のトレース公式を導出し、ユニタリ双対を計算し、正則表現のトレースから多変数ゼータ関数$S_{\Gamma}(u)$を構成する。
• ゼータ関数$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$重組み合わせに関連する隣接作用素である。
• 著者たちは、$\Lambda/\Gamma$の特徴$\rho$の積としてラングランズ$L$-関数$L(\Lambda/\Gamma, u)$を定義し、$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)$に等しくなることを証明し、群論的ゼータ関数と幾何的ゼータ関数の対数微分との明確な関係を示す。

実験結果

リサーチクエスチョン

• RQ1 グラフからの古典的イハラゼータ関数を、特に$\mathrm{PGL}_n(\mathbb{Q}_1)$のアパルトメントに対して$\mathbb{F}_1$-建物設定にどのように一般化できるか。
• RQ2 トレース公式が$\mathrm{PGL}_n(\mathbb{Q}_1)$のゼータ関数を定義する役割を果たす仕組みは何か。ユニタリ双対と正則表現とどのように関連するか。
• RQ3 幾何的および表現論的構成を用いて、古典的イハラの公式を$q=1$の場合に拡張できるか。
• RQ4 多変数ゼータ関数$S_\Gamma(u)$は商建物$\Gamma\backslash\mathcal{B}$の構造をどのように符号化するか。閉じた測地線の観点から幾何的解釈は何か。
• RQ5 $\mathbb{F}_1$-設定において、ゼータ関数$Z_+(X_\Gamma, u)$と商群$\Lambda/\Gamma$のラングランズ$L$-関数の正確な関係は何か。

主な発見

• ゼータ関数$Z_+(X_\Gamma, u)^{-1}$の逆数は多項式に収束し、行列式として表される：$\det(I_N - A_1u + \cdots + (-1)^n u^n I_N)$、ここで$A_i$は商グラフ上の隣接作用素である。
• ゼータ関数$Z_+(X_\Gamma, u)$はラングランズ$L$-関数$L(\Lambda/\Gamma, u)$に等しく、$\Lambda/\Gamma$の特徴$\rho$の積として$\prod_{j=1}^n (1 - \rho_j u)^{-1}$と定義され、$\mathbb{F}_1$-設定においてゼータ関数と$L$-関数の直接的な関連を確立する。
• $u = (x, 0, \dots, 0)$のとき、多変数ゼータ関数は$S_\Gamma(x, 0, \dots, 0) = (n-1)! \cdot \frac{Z_+^\prime}{Z_+}(x)$を満たし、群論的ゼータ関数と幾何的ゼータ関数との明確な関係を示す。
• 各原始的測地線が長さ$m_i$で寄与する寄与は$(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)$を隣接作用素の特性多項式の行列式として表現することに依拠し、一般化されたイハラの公式の妥当性を裏付ける。
• 結果は$q=1$極限でも成り立ち、Euler特性がゼロ（$\mathcal{B}_\Gamma$がトーラスであることによる）であるため、最終的な恒等式に補正項は不要である。