[论文解读] A Program For Geometric Arithmetic

Lin Weng|ArXiv.org|Nov 22, 2001

Algebraic Geometry and Number Theory参考文献 61被引用 10

一句话总结

本文提出了一项几何算术的基础性程序，通过Tannakian范畴与黎曼曲面上的几何结构，统一了非交换类域论、上同调、zeta函数与黎曼猜想。该程序利用酉表示与半稳定抛物丛，为复数域上的函数域建立了非交换类域论，并构建了一个基于对偶性与阿代尔结构的新上同调框架。

ABSTRACT

Proposed is a program for what we call Geometric Arithmetic, based on our works on non-abelian zeta functions and non-abelian class field theory. Key words are stability and adelic intersection-cohomology theory.

研究动机与目标

• 通过将经典互惠律推广至阿贝尔扩张之外，发展复数域上函数域的非交换类域论。
• 构建一个与对偶性及线性紧致性相容的几何上同调理论，其模型源自Chevalley对曲线的理论。
• 通过交点理论与Tannakian范畴，定义并研究新的非交换zeta函数及其函数方程。
• 通过关联稳定性、表示与上同调对偶性，建立高维几何算术中黎曼猜想的框架。

提出的方法

• 利用Narasimhan-Seshadri对应关系，将黎曼曲面上基本群的酉表示与抛物度为零的半稳定抛物丛联系起来。
• 应用Tannakian对偶性与van Kampen完备性定理，从表示的有限完备Tannakian子范畴重构伽罗瓦群。
• 引入$KR^2$-技巧及其抛物推广，通过不稳定旗与GIT稳定性证明几何算术丛的张量闭包。
• 通过九项图构造上同调群$H^i(S,D)$的长正合列，实现二维情形下的归纳法与弱Riemann-Roch公式。
• 利用消去子与正交补结构，证明$H^0(S,D)$与$H^2(S,K_S - D)$之间，以及$H^1(S,D)$与$H^1(S,K_S - D)$之间的对偶同构。
• 提出几何算术紧致性的概念，以推广Chevalley在线性紧致性于阿代尔环上的结果，目标是实现高维情形下的解析计数。

实验结果

研究问题

• RQ1 如何通过抛物丛与表示等几何对象，将非交换类域论形式化于复数域上的函数域？
• RQ2 在何种条件下，几何算术丛的张量积仍为几何算术丛，从而使其适用于Tannakian范畴理论？
• RQ3 如何构建一个满足对偶性且在二维情形支持弱Riemann-Roch公式的曲面同调理论？
• RQ4 自对偶结构与正交补在定义具有阿代尔性质与紧致性的一致几何上同调中起何作用？
• RQ5 能否通过交点理论与Tannakian对偶性构建非交换zeta函数的理论框架，从而为几何算术中的黎曼猜想提供路径？

主要发现

• 通过酉表示的同构类与抛物度为零的半稳定抛物丛之间的对应关系，为复数域上的函数域建立了非交换类域论。
• $KR^2$-技巧经由滤子与GIT稳定性推广至抛物丛，证明了几何算术丛的张量积仍为几何算术丛，确保其在张量运算下的封闭性。
• 由九项图导出上同调群$H^i(S,D)$的长正合列，通过邻接与曲线限制实现二维情形下的归纳法与弱Riemann-Roch公式。
• 证明了对偶同构：$H^0(S,D)^ atural \to H^2(S,K_S - D)$，以及$H^1(S,D)^ atural \to H^1(S,K_S - D)$，其依据为阿代尔空间中的消去子与正交补结构。
• 上同调群以代数方式定义为交集：$H^0(S,D) = \textbf{A}(D) \bigcap (\textbf{A}_0 \bigcap \textbf{A}_1)$，$H^1(S,D) = \textbf{A}(D) \bigcap (\textbf{A}_0 + \textbf{A}_1) / (\text{交集之和})$，以及$H^2(S,D) = \textbf{A}/(\textbf{A}(D) + \textbf{A}_0 + \textbf{A}_1)$。
• 提出几何算术紧致性的猜想框架，其中离散与几何算术紧致空间互为对偶，推广了Chevalley在线性紧致性于一维阿代尔环上的结果。