[論文レビュー] A proof of the Riemann hypothesis

Xian‐Jin Li|arXiv (Cornell University)|Jul 1, 2008

Mathematical functions and polynomials参考文献 6被引用数 4

ひとこと要約

本稿では、p進およびアデールL²空間上のトレース公式を用いて、リーマン・ゼータ関数の非自明な零点が臨界線 ℜ(s) = 1/2 上にあることを示すリーマン予想の証明を提示する。商空間 CS = JS/O*ₐ 上のヒルベルト＝シュミット作用素を用いて、L²(CS) 上の積分作用素のトレースが非負であることを示し、これによりすべての n に対して λₙ ≥ 0 が得られる。リイの基準により、これはすべての非自明な零点が臨界線上にあることを示し、リーマン予想が証明される。

ABSTRACT

In this paper we study traces of an integral operator on two orthogonal subspaces of a $L^2$ space. One of the two traces is shown to be zero. Also, we prove that the trace of the operator on the second subspace is nonnegative. Hence, the operator has a nonnegative trace on the $L^2$ space. This implies the positivity of Li's criterion. By Li's criterion, all nontrivial zeros of the Riemann zeta-function lie on the critical line.

研究の動機と目的

• すべてのリイ係数 λₙ が非負であることを示すことで、リイの基準を満たし、リーマン予想を証明すること。
• アデール空間 AS 上の畳み込み作用素から導かれる、商空間 CS = JS/O*ₐ 上の特定の積分作用素のトレースの非負性を確立すること。
• L²(CS) の直交部分空間、特に Q⊥_Λ および QΛ 上での作用素 Th のスペクトル分解を分析し、トレース成分を分離・評価すること。
• s=0 および s=1 でメリン変換が消えるようなテスト関数 hn,ϵ の族を構成し、bh(0)=bh(1)=0 を満たすことで、∆(hn,ϵ) をトレースとして分離すること。

提案手法

• 本証明では、商空間 CS = JS/O*ₐ 上の Hilbert-Schmidt 作用素 Th に対して、トレース公式を用いる。Th は、(0,∞) 上で滑らかで compact な台を持つ関数 gn,ϵ から導かれる畳み込み核 h によって定義される。
• 作用素 Th は、アデール空間 AS 上のユニタリなフーリエ変換 FS を用いて、2つの直交部分空間 Q⊥_Λ（|x| < Λ でフーリエ変換が消える関数）および QΛ（補空間）へのトレースに分解される。
• 核の詳細な分析と基本領域への積分を用いることで、Q⊥_Λ 上のトレースがゼロであることが示され（定理 1.3）、分解の直交性が利用される。
• QΛ 上のトレースが非負であることは、振動積分のバウンディングと級数表現の絶対収束の証明により示され（定理 1.4）、結局、ζ(s) の非自明な零点に関する和 ∆(h) が非負であることが導かれる。
• gn,ϵ の構成により、bhn,ϵ(0) = bhn,ϵ(1) = 0 が成り立つため、trace(Th) = ∆(hn,ϵ) → 2λₙ (ϵ → 0) となり、λₙ ≥ 0 が得られる。
• 鍵となるステップはリイの基準の適用である：すべての n ∈ ℕ に対して λₙ ≥ 0 ならば、ζ(s) のすべての非自明な零点は臨界線 ℜ(s) = 1/2 上にある。

実験結果

リサーチクエスチョン

• RQ1 特定の h の構成のもとで、Q⊥_Λ および QΛ への分解のもとで、L²(CS) 上の積分作用素 Th のトレースが非負のままであるか？
• RQ2 Q⊥_Λ 上のトレースが、∆(h) の寄与を分離するために必要なように、厳密にゼロであることが示せるか？
• RQ3 gn,ϵ を用いて構成された hn,ϵ の族に対して、QΛ 上のトレースが非負であるか、特に ϵ → 0 の極限で成り立つか？
• RQ4 ϵ → 0 の極限における ∆(hn,ϵ) が 2λₙ に収束するか、すなわちトレースがリイ係数に正確に結びつくか？
• RQ5 すべての n に対して λₙ ≥ 0 ならば、リイの基準によりリーマン予想が成立するか？

主な発見

• Q⊥_Λ 上での作用素 Th のトレースは、定理 1.3 で正確にゼロであることが示され、トレースの寄与が QΛ 成分に集中することが分離される。
• QΛ 上での Th のトレースは、定理 1.4 で非負であることが示され、振動積分のバウンディングと級数表現の絶対収束の証明により裏付けられる。
• ϵ → 0 の極限において ∆(hn,ϵ) → 2λₙ であることが、定理 1.2 で述べられている。これにより、トレースが極限でリイ係数を正しく捉えることが保証される。
• 核関数のメリン変換は、bhn,ϵ(0) = bhn,ϵ(1) = 0 を満たすため、境界補正なしにトレースが直接 ∆(hn,ϵ) に等しくなる。
• すべての ϵ > 0 に対して ∆(hn,ϵ) ≥ 0 であることから、∆(hn,ϵ) → 2λₙ かつトレースが非負であることから、すべての正の整数 n に対して λₙ ≥ 0 が得られる。
• リイの基準により、すべての λₙ が非負であることから、リーマン・ゼータ関数のすべての非自明な零点が臨界線 ℜ(s) = 1/2 上にあることが示され、リーマン予想が証明される。