[論文レビュー] An analog of the Iwasawa conjecture for a complete hyperbolic threefold of finite volume

Ken‐ichi Sugiyama|ArXiv.org|Aug 23, 2007

Geometric and Algebraic Topology参考文献 9被引用数 4

ひとこと要約

本稿は、単一の尖点をもつ有限体積の完全な双曲的3次元多様体に対して、Iwasawa主予想の幾何的類似を確立する。ユニタリ局所系の尖点におけるモノドロミーに条件を課す下で、$ t=1 $ におけるアレクサンダー不変量の位数と $ s=0 $ におけるルエル L 関数の位数を比較することにより、数論における古典的 Iwasawa 予想と同様の方法で、解析的および代数的不変量が一致することを証明する。

ABSTRACT

For a unitary local system of rank one on a complete hyperbolic threefold of finite volume which has only one cusp, we will compare the order of the Alexander invariant at t=1 and one of Ruelle-Selberg L-function at s=0. Our result may be considered as a geometric analog of the Iwasawa main conjecture in the algebraic number theory.

研究の動機と目的

• 双曲的3次元多様体の文脈において、Iwasawa 主予想の幾何的類似を確立すること。
• ユニタリ局所系に対して、$ t=1 $ におけるアレクサンダー不変量の位数と $ s=0 $ におけるルエル L 関数の位数を関連させること。
• L 関数とねじれ不変量を通じて、数論（Iwasawa 理論）と3次元多様体位相の間の類似を拡張すること。
• スペクトルデータおよび散乱項と関連して、ルエル L 関数の解析接続と極構造を分析すること。
• 尖点構造（モノドロミーを介して）が、$ s=0 $ における L 関数の位数に与える正確な寄与を特定すること。

提案手法

• 無限周期被覆のコホロジー上のモノドロミー作用の特徴多項式の交錯積を用いて定義される、Iwasawa ポワズィエ級数の幾何的置き換えとしてのアレクサンダー不変量の使用。
• 原始的閉測地線を経由するオイラー積によるルエル L 関数の定義、長さはユニタリ表現 $ \rho $ で重み付けされる。
• セリン型跡公式を用いて、スペクトルデータ（ラプラシアンの固有値）を軌道積分および散乱項と関連づけること。
• ラプラス変換および複素解析を用いて、ルエル L 関数の対数微分のメロモルフィックな解析接続を行うこと。
• ユニポテンツおよび散乱項の分析を通じて極と留数を特定し、特に尖点におけるモノドロミー $ \rho|_{\Gamma_\infty} $ に基づく場合の区別を行うこと。
• 跡公式およびスペクトル理論を用いて、$ s=0 $ におけるルエル L 関数の位数を計算し、それをベッチ数 $ h^i(\rho) $ と関連づけること。

実験結果

リサーチクエスチョン

• RQ1 ルエル L 関数の $ s=0 $ における位数は、単一の尖点をもつ双曲的3次元多様体の位相的不変量とどのように関係するか？
• RQ2 無限周期被覆におけるアレクサンダー不変量は、数論における Iwasawa ポワズィエ級数の幾何的類似として機能しうるか？
• RQ3 ユニタリ局所系の尖点におけるモノドロミーは、ルエル L 関数の解析的挙動にどのような役割を果たすか？
• RQ4 ルエル L 関数が複素平面全体にメロモルフィックに接続可能となる条件は何か？
• RQ5 スペクトルデータ（ラプラシアンの固有値）および散乱項は、$ s=0 $ における L 関数の位数にどのように寄与するか？

主な発見

• $ \rho|_{\Gamma_\infty} $ が自明であるとき、ルエル L 関数の $ s=0 $ における位数は $ 2(2h^0(\rho) - h^1(\rho) + 1) $ に等しい。
• $ \rho|_{\Gamma_\infty} $ が非自明であるとき、位数は $ -2h^1(\rho) $ に等しく、$ h^0(\rho) = 0 $ である。
• ルエル L 関数の平方は、高々半整数の留数をもつ極をもって、複素平面全体にメロモルフィックに接続可能である。
• 非自明モノドロミーの場合、散乱項は消えるため、整数留数となり、$ R_\rho(z) $ 自体が完全にメロモルフィックに接続可能である。
• $ R_\rho(z) $ の対数微分の極構造は、スペクトルデータおよび散乱寄与によって支配され、 $ z=0 $ は特異集合 $ \mathrm{P}_{\mathrm{sing}} $ に属さない。
• 本結果は、Iwasawa 主予想の幾何的類似を確認しており、3次元の双曲的設定において、解析的および代数的不変量が一致することを示している。