[論文レビュー] A spectral interpretation for the zeros of the Riemann zeta function

Ralf Meyer|arXiv (Cornell University)|Dec 14, 2004

Advanced Algebra and Geometry参考文献 5被引用数 15

ひとこと要約

本稿では、核的Fréchet空間と自己共役作用素 $ D_{-} $ を構成することにより、リーマン・ゼータ関数の非自明な零点のスペクトル的解釈を提供する。この作用素の固有値は、ちょうど非自明な零点の集合であり、代数的重複度は零点の位数と一致する。この構成は、$ \mathbb{R}^\times_+ $ の滑らかな表現を用い、その特徴関数公式により、零点と素数を結ぶ明示的公式が得られる。

ABSTRACT

Based on work of Alain Connes, I have constructed a spectral interpretation for zeros of L-functions. Here we specialise this construction to the Riemann zeta function. We construct an operator on a nuclear Frechet space whose spectrum is the set of non-trivial zeros of zeta. We exhibit the explicit formula for the zeros of the Riemann zeta function as a character formula.

研究の動機と目的

• リーマン・ゼータ関数の非自明な零点を関数解析的手法を用いてスペクトル的実現すること。
• アラン・コンヌのトレース公式フレームワークを、明示的かつ具体的にリーマン・ゼータ関数へ拡張すること。
• ユニタリ表現の特徴関数公式として、ゼータ関数の零点に関する明示的公式を導出すること。
• 直接的な $ \zeta(s) $ の解析を用いずに、構築された表現のスペクトル的性質から素数定理を導出できることを示すこと。

提案手法

• 特定の作用に関して不変な $ \mathcal{S}(\mathbb{R}) $ の部分空間として、核的Fréchet空間 $ \mathcal{H}^0_{-} $ を構成する。
• 作用素 $ D_{-} $ がリーマン・ゼータ関数の非自明な零点の集合にちょうど一致するように、$ \mathbb{R}^\times_+ \cong \mathbb{R} $ 上の滑らかな表現 $ \rho_{-} $ を $ \mathcal{H}^0_{-} $ に定義する。
• 関数 $ f \in \mathcal{D}(\mathbb{R}^\times_+) $ に対して、$ \int \rho_{-}(f) $ の統合形を用い、核的作用素を定義し、そのトレースが特徴関数 $ \chi(\rho_{-}) $ を与える。
• 2次元の表現 $ \rho_{+} $（固有値が 0 と 1）を用いて、$ \rho = \rho_{+} \ominus \rho_{-} $ という仮想表現を構成し、完成ゼータ関数 $ \xi(s) $ の極と零点の両方を符号化する。
• 特徴関数 $ \chi(\rho) $ を2通りの方法で計算する：スペクトル的トレース $ \sum_{s \in \mathbb{C}} \operatorname{ord}_\xi(s) \hat{f}(s) $ と、局所的項 $ W_p(f) $ と $ W_\infty(f) $ を含む幾何的トレース。
• 2通りの $ \chi(\rho) $ の表現を等置することで、古典的な明示的公式が得られ、$ \xi(s) $ の零点と素数が結びつく。

実験結果

リサーチクエスチョン

• RQ1 リーマン・ゼータ関数の非自明な零点は、明確に定義された関数空間上の自己共役作用素の固有値として実現可能か？
• RQ2 完成ゼータ関数 $ \xi(s) $ の零点と素数を結ぶ明示的公式は、ゼータ関数のスペクトル的表現からどのように導出可能か？
• RQ3 直接的な $ \zeta(s) $ の解析を用いずに、表現のスペクトル的性質のみを用いて素数定理を導出可能か？
• RQ4 スペクトル的解釈は、複数の無限大場を持つ数体上のディリクレL関数や他のL関数へどのように拡張可能か？

主な発見

• 核的Fréchet空間 $ \mathcal{H}^0_{-} $ 上の作用素 $ D_{-} $ のスペクトルは、ちょうどリーマン・ゼータ関数の非自明な零点の集合に一致し、代数的重複度は零点の位数と一致する。
• 表現 $ \rho_{-} $ の特徴関数は $ \chi(\rho_{-})(f) = \operatorname{tr} \int \rho_{-}(f) $ で与えられ、これは $ \xi(s) $ の零点の重複度と、$ \hat{f}(s) $ の重み付き和に等しい。
• スペクトル的トレース公式 $ \chi(\rho)(f) = \sum_{s \in \mathbb{C}} \operatorname{ord}_\xi(s) \hat{f}(s) $ が、局所的項 $ W_p(f) $ と $ W_\infty(f) $ を含む幾何的トレースに等しいことが示され、明示的公式が得られる。
• 明示的公式は、スペクトル的トレースと幾何的トレースの等価性として回復され、$ W_p(f) = \sum_{e=1}^\infty f(p^{-e}) p^{-e} \ln p + \sum_{e=1}^\infty f(p^e) \ln p $ および $ W_\infty(f) = \text{pv} \int_0^\infty \left( \frac{f(x)}{|1-x|} + \frac{f(x)}{1+x} \right) dx $ が成り立つ。
• 空間 $ \mathcal{H}_{+} $ を $ \chi $-twisted対称性を含むように変更し、対応する $ \mathcal{L}_\chi $ 作用素を定義することで、この構成はディリクレL関数へ一般化可能である。この作用素はEuler積展開を持つ。
• この方法により、分布 $ W $ が、特徴関数として現れ、整数値の重複度 $ n(s) $ を持つ形 $ \sum n(s) \hat{f}(s) $ として量子化されていることから、$ \Re(s) = 1 $ 上に零点がないことが示され、素数定理の新たな証明が得られる。