[论文解读] 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

一句话总结

本文通过构造一个核弗雷歇空间和一个自伴算子 $ 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}) $ 的子空间中构造一个核弗雷歇空间 $ \mathcal{H}^0_{-} $，使其在特定作用下不变。
• 在 $ \mathcal{H}^0_{-} $ 上定义 $ \mathbb{R}^\times_+ \cong \mathbb{R} $ 的光滑表示 $ \rho_{-} $，其生成元 $ D_{-} $ 的谱恰好等于 $ \zeta(s) $ 的非平凡零点。
• 对 $ f \in \mathcal{D}(\mathbb{R}^\times_+) $ 使用积分形式 $ \int \rho_{-}(f) $，得到一个核算子，其迹即为特征标 $ \chi(\rho_{-}) $。
• 构造一个虚表示 $ \rho = \rho_{+} \ominus \rho_{-} $，其中 $ \rho_{+} $ 为二维表示，特征值为 0 和 1，用于编码完备ζ函数 $ \xi(s) $ 的极点与零点。
• 以两种方式计算特征标 $ \chi(\rho) $：一种是谱迹 $ \sum_{s \in \mathbb{C}} \operatorname{ord}_\xi(s) \hat{f}(s) $，另一种是包含局部项 $ W_p(f) $ 和 $ W_\infty(f) $ 的几何迹。
• 将两个 $ \chi(\rho) $ 的表达式等同，即得经典显式公式，将 $ \xi(s) $ 的零点与素数联系起来。

实验结果

研究问题

• RQ1 黎曼ζ函数的非平凡零点能否作为某个定义良好的函数空间上自伴算子的谱实现？
• RQ2 如何从ζ函数的谱表示中推导出 $ \xi(s) $ 的零点与素数之间的显式公式？
• RQ3 能否仅通过表示的谱性质推导出素数定理，而无需直接分析 $ \zeta(s) $？
• RQ4 该谱解释如何推广至具有多个无穷位的数域上的狄利克雷L函数及其他L函数？

主要发现

• 在核弗雷歇空间 $ \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 $。
• 该构造可推广至狄利克雷L函数，方法为修改空间 $ \mathcal{H}_{+} $ 以包含 $ \chi $-扭曲对称性，并定义相应的 $ \mathcal{L}_\chi $ 算子，其具有欧拉乘积展开式。
• 该方法提供了一种新的素数定理证明：通过证明分布 $ W $（作为表示的特征标）是量子化的——即形式为 $ \sum n(s) \hat{f}(s) $，其中 $ n(s) $ 为整数值——从而推出在 $ \Re(s) = 1 $ 上无零点。