[论文解读] Edinburgh Lectures on Geometry, Analysis and Physics

Michael Atiyah|arXiv (Cornell University)|Sep 24, 2010

Geometric and Algebraic Topology参考文献 15被引用 3

一句话总结

本文提出一个微分几何与数学物理中的猜想，将三维空间中点的构型与由其相对方向导出的复多项式的线性无关性联系起来。通过立体投影与代数几何方法，该猜想认为：对于任意 n ≥ 5 个在 ℝ³ 中互异的点，其对应的多项式 βᵢ(z) 在 ℂ 上保持线性无关——该结论在 n ≤ 30 时得到计算支持，但尚未被证明，且已为该问题的解答设立奖金。

ABSTRACT

These lecture notes are based on a set of six lectures that I gave in Edinburgh in 2008/2009 and they cover some topics in the interface between Geometry and Physics. They involve some unsolved problems and conjectures and I hope they may stimulate readers to investigate them.

研究动机与目标

• 提出并论证一个关于从 ℝ³ 中 n 个互异点导出的复多项式线性无关性的新型几何猜想。
• 探索有限域上代数几何与数论之间的深刻类比，特别是通过ζ函数与L函数。
• 研究Morse理论与等变拓扑在有限域上代数曲线有理点计数中的作用。
• 将这些思想扩展至算术几何，包括Arakelov理论与Langlands程序，提出一个统一数论与量子场论的框架。
• 提出一个通过未解问题与猜想连接几何、分析与物理的研究计划，尤其关注高维代数簇与规范理论。

提出的方法

• 通过归一化差向量将 ℝ³ 中的 n 个互异点映射到 S² 上的单位向量，再通过立体投影将 S² 与 ℂℙ¹ 识别。
• 对每个点，构造一个复多项式 βᵢ(z)，其根为指向其他所有点的方向，使用 ℂℙ¹ 上的齐次坐标。
• 采用猜想：对于 ℝ³ 中任意 n 个互异点的构型，这 n 个多项式在 ℂ 上保持线性无关。
• 应用代数几何技术，包括有限域上的ζ函数与Weil猜想，将有理点计数与L函数联系起来。
• 利用Morse理论与有限维逼近，将拓扑不变量与代数曲线上的算术计数联系起来。
• 探索adèlic结构与模空间结构（如 SL(2,ℝ)/SL(2,ℤ)），以统一几何与算术ζ函数，尤其在算术曲面与Hasse-Weil猜想的背景下。

实验结果

研究问题

• RQ1 对于所有 n ≥ 5，由 ℝ³ 中 n 个互异点导出的多项式 βᵢ(z) 在 ℂ 上线性无关的猜想是否成立？
• RQ2 在Morse理论框架下，有限域上代数曲线有理点的计数与向量丛拓扑之间的精确关系是什么？
• RQ3 有限域上的ζ函数与黎曼ζ函数之间有何关系？这对算术几何与Langlands程序意味着什么？
• RQ4 将有理点计数与等变Morse理论之间的类比能否推广至高维代数簇与非阿贝尔规范群？
• RQ5 无穷素数与Arakelov理论在统一几何、算术与物理视角下的ζ函数与L函数中起什么作用？

主要发现

• 该猜想在 n = 3 和 n = 4 时成立，且 n = 4 时已有计算机辅助证明。
• 对于 n ≤ 30，大量计算机证据支持该猜想，但目前尚无针对 n ≥ 5 的一般性证明。
• βᵢ(z) 的线性无关性在选择不同立体投影下保持不变，这由 ℂℙ¹ 的变换性质所证明。
• 定义在 ℤ 上的代数曲面 V 的ζ函数 ζ_V(s) 为模 p 的ζ函数的乘积，Weil猜想保证了其有理性和函数方程。
• Hasse-Weil猜想（现由Wiles与Taylor证明）指出：与椭圆曲线相关的L函数 L_V(s) 可延拓为亚纯函数，并满足函数方程 L_V(s) = ±L_V(2−s)。
• 椭圆曲线的模空间可表示为 SO(2;ℝ)\SL(2;ℝ)/SL(2;ℤ)，其体积可通过在双陪集上积分计算，从而将几何与ζ函数联系起来。