[論文レビュー] Rank Two Non-Abelian Zeta and Its Zeros

Lin Weng|ArXiv.org|Dec 1, 2004

Algebraic Geometry and Number Theory参考文献 15被引用数 3

ひとこと要約

本稿は、ランキン＝セルバーグ法およびザジエールの手法を用いて、ランク2の非アーベルゼータ関数と古典的デデキンドゼータ関数の間の新しい関係を確立し、数体におけるこれらのゼータ関数のすべての非自明な零点が臨界線 ℜ(s) = 1/2 上にあることを証明した。これにより、幾何学的・解析的数論的手法を用いて、このクラスのL関数に対する一般化されたリーマン予想が裏付けられた。

ABSTRACT

In this paper, we first reveal an intrinsic relation between non-abelian zeta functions and Epstein zeta functions for algebraic number fields. Then, we expose a fundamental relation between stability of lattices and distance to cusps. Next, using these two relations, we explicitly express rank two zeta functions in terms of the well-known Dedekind zeta functions. Finally, based on such an expression, we show that all zeros of rank two non-abelian zeta functions are entirely sitting on the critical line whose real part equals to 1/2. This is an integrated part of our Geo-Arithmetic Program.

研究の動機と目的

• メリン変換と格子の安定性を用いて、非アーベルゼータ関数とエプスタインゼータ関数の根本的関係を確立すること。
• 数体における非アーベルゼータ関数を、デデキンドゼータ関数の自然な一般化として定義すること。
• ランク2の非アーベルゼータ関数をデデキンドゼータ関数の明示的表現として用いることで、代数的・解析的数論を統合すること。
• 対称性および関数等式の技法を用いて、ランク2の非アーベルゼータ関数に対する一般化されたリーマン予想を証明すること。
• 上半平面モデルにおける格子の安定性とカスプへの距離の内在的関係を明確にすること

提案手法

• ランキン＝セルバーグ法およびザジエールの技法を用いて、ランク2の非アーベルゼータ関数をデデキンドゼータ関数の形で明示的な公式を導出する。
• メリン変換を適用し、数体上の格子に関連するエプスタインゼータ関数と非アーベルゼータ関数を関連付ける。
• カスプへの正規化されたシーゲル型距離を用いて、特殊自己同型群の上半平面への作用に対する基本領域を構成する。
• カスプの安定化部分群と理想類の間の対応を確立し、格子の等長同型類の幾何的解釈を可能にする。
• エプスタインゼータ関数のフーリエ展開技法を用いて、その解析的性質および関数的構造を分析する。
• リーマンξ関数の関数等式および積表示を用いて、議論を一般の数体へ拡張する

実験結果

リサーチクエスチョン

• RQ1 数体における非アーベルゼータ関数は、古典的デデキンドゼータ関数の形で明示的に表現可能か？
• RQ2 安定性の文脈において、格子からカスプまでの距離が示す幾何学的・算術的意味は何か？
• RQ3 任意の数体上でのランク2の非アーベルゼータ関数に対して、一般化されたリーマン予想は成立するか？
• RQ4 ランク2格子のモジュライ空間の構造は、SL(2,𝒪_K)の作用および単数群とどのように関係するか？
• RQ5 関数等式の対称性が、零点が臨界線上に位置することを保証する役割を果たすか？

主な発見

• 有理数体におけるランク2の非アーベルゼータ関数のすべての非自明な零点は、臨界線 ℜ(s) = 1/2 上にある。
• 任意の数体Kに対して、ランク2の非アーベルゼータ関数 ξ_{K,2}(s) はランキン＝セルバーグ法を用いてデデキンドゼータ関数の線形結合として表現可能である。
• 明示的公式 ξ_{K,2}(s) = [ξ_K(2s)/(s−1)]Δ_K^{s−1} − [ξ_K(2s−1)/s]Δ_K^{−s} は、Kにのみ依存する定数を除いて成り立つ。
• ランク2ゼータ関数のリーマン予想の証明は、s(s−1)ξ_K(s) が1次の整関数であるという事実に依拠している。
• 関数等式の一様性および Δ_K ≥ 1 の条件のおかげで、議論は ℚ から任意の数体Kへ拡張可能である。
• 家族 ξ_{ℚ,2}^T(s) において T→∞ の極限ではこの手法が失敗し、リーマン予想がそのような極限のもとで保存されないことが示された。