[论文解读] Lectures on Arithmetic Noncommutative Geometry

Matilde Marcolli|ArXiv.org|Sep 27, 2004

Advanced Operator Algebra Research参考文献 28被引用 8

一句话总结

本文通过在由算术曲面、模曲线和Schottky一致化所生成的非交换空间上构造谱三元组，发展了一套算术非交换几何的框架。它建立了弗罗贝尼乌斯算子的对数与一个类狄拉克算子之间的联系，从而通过谱三元组的zeta函数恢复了阿基米德L因子，实现了非交换几何与算术上同调及L函数的关联。

ABSTRACT

This is the text of a series of five lectures given by the author at the "Second Annual Spring Institute on Noncommutative Geometry and Operator Algebras" held at Vanderbilt University in May 2004. It is meant as an overview of recent results illustrating the interplay between noncommutative geometry and arithmetic geometry/number theory.

研究动机与目标

• 通过谱三元组建立算术曲面及其阿基米德上同调的非交换几何框架。
• 在谱三元组设定下，将弗罗贝尼乌斯算子的对数与狄拉克算子联系起来。
• 通过谱三元组的zeta函数恢复无穷远处的局部L因子。
• 在算术曲面的背景下，统一阿莱克谢耶夫几何、双曲几何与非交换几何的概念。
• 展示非交换几何如何通过算子理论构造编码算术不变量（如L函数）的机制。

提出的方法

• 从单值算子 $N$ 的锥 $\mathrm{Cone}(N)^{\bullet}$ 构造谱三元组 $({\rm Cone}(N)^{\bullet}, \rho, \tilde{D})$，利用 $\mathrm{SL}(2,\mathbb{R})$ 的表示 $\sigma^L$。
• 将狄拉克算子 $\Phi$ 定义为弗罗贝尼乌斯的对数，其作用于锥复形并诱导出一个自伴且紧致预解的算子。
• 将 $\mathfrak{sl}(2,\mathbb{R})$ 的通用包络代数 $U(\mathfrak{g})$ 作为谱三元组中的代数 $\mathcal{A}$。
• 对迹 $\zeta_{a,\Phi}(z) = \mathrm{Tr}(a|\Phi|^{-z})$ 应用zeta函数正则化，其中 $a = \sigma^L(w)$，从而得到L函数的乘积。
• 在上同调与对偶上同调之间建立自然同构 $\mathbb{H}^\cdot(\mathrm{Cone}(N)) \simeq \mathcal{H}^\cdot \oplus \check{\mathcal{H}}^\cdot$，并通过测地线圈与同调建立联系。
• 依赖于上同调与同调之间的配对 $\langle f, x \rangle = N \cdot f(\bar{x})$，其中 $x$ 是周期为 $N+1$ 的周期测地线。

实验结果

研究问题

• RQ1 弗罗贝尼乌斯算子的对数能否在谱三元组框架下被解释为狄拉克算子？
• RQ2 谱三元组的zeta函数如何恢复阿基米德L因子的交错乘积？
• RQ3 锥复形 $\mathrm{Cone}(N)^\cdot$ 在编码算术上同调与L函数中起什么作用？
• RQ4 在Schottky一致化曲面上的非交换几何结构如何与经典算术不变量相关联？
• RQ5 在锥复形上，$\mathrm{SL}(2,\mathbb{R})$ 的表示 $\sigma^L$ 如何反映对偶上同调与同调的结构？

主要发现

• 三元组 $({\mathcal{A}}, {\mathcal{H}}, {\mathcal{D}}) = (U(\mathfrak{g}), \mathbb{H}^\cdot(\mathrm{Cone}(N)), \Phi)$ 满足谱三元组的所有公理，除了对合 $C^*$-代数结构，但仍支持zeta函数分析。
• 当 $a = \sigma^L(w)$ 时，zeta函数 $\zeta_{a,\Phi}(z)$ 给出局部 $L$-因子的交错乘积：$\det_{\infty, \sigma^L(w), \Phi}(s) = \prod_{m=0}^{2n} L(H^m(X), s)^{(-1)^m}$。
• 锥复形 $\mathrm{Cone}(N)^\cdot$ 的上同调同构于 $\mathcal{H}^\cdot \oplus \check{\mathcal{H}}^\cdot$，其中 $\mathcal{H}^\cdot$ 为阿基米德上同调，$\check{\mathcal{H}}^\cdot$ 为在对合 $S$ 下的对偶。
• 同调 $H_1({\mathcal{S}}_T, \mathbb{Z})$ 表示为直极限 $\varinjlim_N {\mathcal{K}}_N$，其中 $\mathrm{rk}\,{\mathcal{K}}_N$ 取决于 $N$ 的奇偶性，且秩按 $(2g-1)^N$ 增长。
• 狄拉克算子 $\mathcal{D}$ 限制在 $\mathcal{V} \oplus \check{\mathcal{V}}$ 上与 $\Phi_{\mathcal{H}^1 \oplus \check{\mathcal{H}}^1}$ 一致，将谱几何与弗罗贝尼乌斯作用联系起来。
• 配对 $\langle f, x \rangle = N \cdot f(\bar{x})$ 建立了上同调类与由周期为 $N+1$ 的周期测地线表示的同调圈之间的对偶性。