狐狸小说

第47章 新工具的锻造（第4页）

他详细解释道：

“左边，Σ_（几何不变量），应该是我们真正关心的数论量的某种光滑化或平均化形式，例如，不超过x的素数个数

π（x）

的某种加权和。在几何化的愿景下，这个量应该可以表示为在‘艾莎流形’

m_a

上某个内蕴积分（嘉当正在定义的）的结果，或者与

m_a

的某种全局拓扑不变量（如欧拉示性数、贝蒂数和）直接相关。”

“右边，Σ_（谱不变量），应该是定义在流形

m_a

上的某个微分算子（最自然的就是拉普拉斯-贝尔特拉米算子

Δ）的谱（特征值

{λ_n}

）的函数和。例如，可能是

Σ_n

h（λ_n），其中

h

是一个合适的检验函数。”

“等号

就是魔法发生的地方！这个公式断言：数论量的渐近行为，由流形算子的谱分布所决定！”

“误差项，则包含了来自流形边界、奇点或连续谱的贡献，它的阶由流形的几何精细结构（如曲率下界、注入半径）所控制。”

外尔将这个构想中的公式命名为“艾莎型迹公式”。它旨在成为“流形法”的心脏与引擎：

它实现了“几何决定分析”：它将数论问题（分析）的答案，归结为几何对象

m_a

的谱（几何）性质。

它提供了“主项”与“误差项”的几何分离：主项来自离散谱的主要特征值；误差项则与高频谱

或连续谱