[論文レビュー] Lefschetz formulae and zeta functions

Anton Deitmar|ArXiv.org|Aug 31, 2005

Mathematical Dynamics and Fractals参考文献 19被引用数 3

ひとこと要約

本稿は、リーマン・ツェータ関数とトレース公式の深い関係を確立し、特にセリング・ツェータ関数を高ランクの対称空間へ一般化する。フォリエーション・コホモロジーと削減コホモロジーを用いたコホモロジー的解釈を開発し、$x_i \to \infty$ のとき $\psi(x_1,\dots,x_r) \sim x_1\cdots x_r$ という漸近的密度を持つ高ランクの素測地線定理を証明する。これは古典的結果を高次元力学系および数論へ拡張する。

ABSTRACT

The connection between Lefschetz formulae and zeta function is explained. As a particular example the theory of the generalized Selberg zeta function is presented. Applications are given to the theory of Anosov flows and prime geodesic theorems.

研究の動機と目的

• 無限次元コホモロジー理論を用いて、リーマンのトレース公式とツェータ関数を統一すること。
• 古典的セリング・ツェータ関数およびその力学的解釈を、高ランクの対称空間へ拡張すること。
• 非コンパクト型のコンパクト局所対称多様体に対する高ランク素測地線定理を確立すること。
• これらの道具を数論に応用し、特に実二次体および完全実三次体における類数および規範子の漸近的性質を調べること。
• リーマンの公式を高ランクのフローおよびフォリエーション・コホモロジーへ一般化し、ツェータ関数のメロモルフィックな拡張を可能にすること。

提案手法

• 削減フォリエーション・コホモロジーを用いて、セリング・ツェータ関数を無限次元コホモロジー上のリーマン型トレース関数として解釈する。
• 力学系のスパイラルにリーマンの公式を適用し、ツェータ関数の有理性を導出する。
• 多変数トレース公式を用いて、リーマンの行列式の公式を高ランク空間へ一般化する。
• 高ランクセリング・ツェータ関数の対数微分をスペクトル的トレースとして用いる。
• 複数変数のタウーベル型定理を用いて、ツェータ関数の解析的性質から漸近的密度定理を導出する。
• 関連する軌道積分を分離し、スペクトル寄与を推定するために、注意深く構築されたテスト関数を用いたアーバート＝セリングのトレース公式を適用する。

実験結果

リサーチクエスチョン

• RQ1 リーマンの公式を無限次元コホモロジーへどのように拡張し、幾何的ツェータ関数を解釈できるか？
• RQ2 フォリエーション・コホモロジーなどのコホモロジー理論は、一般化されたセリング・ツェータ関数の自然な枠組みを提供するか？
• RQ3 古典的素測地線定理は、複数の固有値をもつ高ランク対称空間へ一般化可能か？
• RQ4 高ランク局所対称多様体における閉測地線の漸近的分布はいかなるものか？
• RQ5 アーバート＝セリングのトレース公式を用いて、類数の漸近的性質といった数論的結果をどのように導出できるか？

主な発見

• 高ランク素測地線定理は、チエビシェフ型関数 $\psi(x_1,\dots,x_r) = \sum_{e^{c_j} \leq x_j} \lambda_c$ が $x_j \to \infty$ のとき $\psi(x_1,\dots,x_r) \sim x_1 \cdots x_r$ を満たすことを示し、古典的結果 $\psi(x) \sim x$ を一般化する。
• 高ランク対称空間における一般化されたセリング・ツェータ関数は、高ランクリーマンの公式を用いてメロモルフィックな拡張を許容する。
• $\mathrm{SL}_3(\mathbb{Z})$ に対して、$e^{3R(\mathcal{O})} \leq x$ を満たす完全実三次体における整域 $\mathcal{O}$ の数は $\pi_{1,1}(x) \sim \frac{x}{\log x}$ を満たし、サルナックの結果を高ランクへ拡張する。
• 高ランクツェータ関数の対数微分がスペクトル的トレースとして表現可能であることが示され、解析的拡張および漸近的解析が可能になる。
• アーバート＝セリングのトレース公式において、ねじれ熱核および仮想的特徴を用いることで、関連する測地線類の分離とスペクトル寄与の推定が可能になる。
• 本稿は、ツェータ関数を削減フォリエーション・コホモロジー上の自己同型の特徴関数としてのコホモロジー的解釈を確立し、非有理的ツェータ関数の幾何的モデルを提供する。