[论文解读] Rank Two Non-Abelian Zeta and Its Zeros

Lin Weng|ArXiv.org|Dec 1, 2004

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

一句话总结

本文通過 Rankin-Selberg 法與 Zagier 方法，建立了一種新型連結，將二階非交换 zeta 函數與古典的 Dedekind zeta 函數相連，證明了此類數域上所有非平凡零點均位於臨界線 ℜ(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.

研究动机与目标

• 透過 Mellin 變換與格子穩定性，建立非交換 zeta 函數與 Epstein zeta 函數之間的基礎連結。
• 將數域上的非交換 zeta 函數定義為 Dedekind zeta 函數的自然推廣。
• 透過明確以 Dedekind zeta 函數表達二階非交換 zeta 函數，統一代數與解析數論。
• 運用對稱性與函數方程技術，證明二階非交換 zeta 函數的廣義黎曼假設。
• 釐清上半平面模型中格子穩定性與至尖點距離之間的內在關係。

提出的方法

• 運用 Rankin-Selberg 法與 Zagier 技巧，推導出二階非交換 zeta 函數以 Dedekind zeta 函數表示的顯式公式。
• 應用 Mellin 變換，將非交換 zeta 函數與數域上格子相關的 Epstein zeta 函數連結。
• 利用歸一化的 Siegel 型距離，構造特殊自同構群在上半空間作用下的基本域。
• 建立尖點穩定子與理想類之間的對應關係，從而實現格子等距類的幾何詮釋。
• 運用 Epstein zeta 函數的傅立葉展開技術，分析其解析行為與函數結構。
• 利用 Riemann ξ-函數的函數方程與乘積表達式，將論證推廣至一般數域。

实验结果

研究问题

• RQ1 數域上的非交換 zeta 函數能否以古典 Dedekind zeta 函數明確表示？
• RQ2 在穩定性背景下，格子至其尖點的距離具有何幾何與算術意義？
• RQ3 廣義黎曼假設是否對任意數域上的二階非交換 zeta 函數成立？
• RQ4 二階格子模空間的結構與 SL(2,𝒪_K) 及單位群作用之間有何關係？
• RQ5 函數方程的對稱性在確保零點位於臨界線上的作用為何？

主要发现

• 對於有理數域，二階非交換 zeta 函數的所有非平凡零點均位於臨界線 ℜ(s) = 1/2 上。
• 對於任意數域 K，二階非交換 zeta 函數 ξ_{K,2}(s) 可透過 Rankin-Selberg 法表示為 Dedekind zeta 函數的線性組合。
• 顯式公式 ξ_{K,2}(s) = [ξ_K(2s)/(s−1)]Δ_K^{s−1} − [ξ_K(2s−1)/s]Δ_K^{−s} 在僅依賴於 K 的常數因子下成立。
• 二階 zeta 函數黎曼假設的證明，依賴於 s(s−1)ξ_K(s) 為一階整函數的事實。
• 由於函數方程的均勻性與 Δ_K ≥ 1 的條件，論證可由 ℚ 推廣至任意數域 K。
• 該方法在極限 T→∞ 時對族 ξ_{ℚ,2}^T(s) 失效，顯示黎曼假設在該類極限下不被保持。