[论文解读] Cyclic homology, Serre's local factors and the $\lambda$-operations

Alain Connes, Caterina Consani|arXiv (Cornell University)|Nov 18, 2012

Algebraic Geometry and Number Theory参考文献 8被引用 6

一句话总结

本文证明了以阿基米德完备化环 $\mathbb{A}_\infty = \prod_{\nu|\infty} K_\nu$ 为系数的循环同调，为数域上光滑射影概形 $X$ 的复L函数的塞尔阿基米德局部因子提供了一个上同调框架，使其可被实现为 $\lambda$-运算的正则化行列式。关键结果表明，阿基米德因子的乘积等于算子 $\frac{1}{2\pi}(s - \Theta)$ 在阿基米德循环同调 $HC^{\rm ar}_*(X_\nu)$ 的偶部与奇部上作用的正则化行列式的比值，其中 $\Theta$ 生成 $\lambda$-运算。

ABSTRACT

We show that for a smooth, projective variety X defined over a number field K, cyclic homology with coefficients in the ring of infinite adeles of K, provides the right theory to obtain, using the lambda-operations, Serre's archimedean local factors of the complex L-function of X as regularized determinants.

研究动机与目标

• 构建一个上同调理论，以捕捉数域上光滑射影概形的复L函数的塞尔阿基米德局部因子。
• 通过引入一种新的无穷维上同调理论，解决丹宁格的阿基米德上同调与实德利涅上同调在奇数霍奇权下的不匹配问题。
• 证明循环同调上的 $\lambda$-运算，通过算子 $\Theta$，可产生阿基米德因子作为正则化行列式。
• 定义并研究阿基米德循环同调 $HC^{\rm ar}_*(X_\nu)$，作为阿基米德上同调的理论替代。

提出的方法

• 将阿基米德循环同调 $HC^{\rm ar}_*(X_\nu)$ 定义为复概形 $X_\nu = X \times_K K_\nu$ 的周期循环同调的实扭变体。
• 利用循环同调上的 $\lambda$-运算 $\Lambda(k)$，通过 $k^\Theta|_{HC_n(X_\nu)} = \Lambda(k) k^{-n}$（$k \in \mathbb{N}^\times$）定义 $k^\Theta$ 在 $HC_*(X_\nu)$ 上的作用。
• 通过类型为 $(p,q)$ 的微分形式构造周期循环同调 $HP_*(X_\mathbb{C})$ 和 $HP_*(C^\infty(X_{\rm sm}, \mathbb{C}))$。
• 引入塔特扭映射 $\tau: PC_{{\rm real},\lambda}^*(X_\mathbb{C}) \to PC^*(X_\mathbb{C})$ 以关联实结构与复结构。
• 利用韦伊限制和函子 $X \mapsto {}_*X$，通过 $\pi_X: {\rm Spec}(\mathcal{O}(X_{\rm sm})) \to X$ 将光滑流形与仿射概形联系起来。
• 对 $HC^{\rm ar}_*(X_\nu)$ 的偶部与奇部上算子 $\frac{1}{2\pi}(s - \Theta)$ 应用正则化行列式 $\det_\infty$。

实验结果

研究问题

• RQ1 以 $\mathbb{A}_\infty$ 为系数的循环同调能否为数域上光滑射影概形的L函数的塞尔阿基米德局部因子提供上同调实现？
• RQ2 循环同调上的 $\lambda$-运算如何与完备L函数中的伽马因子相关联？
• RQ3 为何丹宁格提出的阿基米德上同调在奇数霍奇权下与实德利涅上同调不匹配？如何解决这一问题？
• RQ4 $\Theta$ 算子在通过正则化行列式生成阿基米德因子的过程中起什么作用？
• RQ5 阿基米德循环同调 $HC^{\rm ar}_*(X_\nu)$ 如何统一阿基米德因子的无穷维性质与动机的代数结构？

主要发现

• 概形 $X$ 的塞尔阿基米德局部因子的乘积由算子 $\frac{1}{2\pi}(s - \Theta)$ 在 $HC^{\rm ar}_*(X_\nu)$ 的偶部与奇部上作用的正则化行列式的比值给出。
• $\Theta$ 算子在 $HC_n(X_\nu)$ 上的作用为 $k^\Theta = \Lambda(k) k^{-n}$（$k \in \mathbb{N}^\times$），其中 $\Lambda(k)$ 为循环同调上的 $\lambda$-运算。
• $HC^{\rm ar}_*(X_\nu)$ 是无穷维的，可作为阿基米德上同调的理论替代，解决了其与实德利涅上同调在奇数霍奇权下的不匹配问题。
• 该构造在所有阿基米德位上兼容，因为 $HC^{\rm ar}_*(X_\nu)$（$\nu|\infty$）是定义在 $\mathbb{A}_\infty = \prod_{\nu|\infty} K_\nu$ 上的。
• $\pi_X: {\rm Spec}(\mathcal{O}(X_{\rm sm})) \to X$ 是连续的，并诱导出一个局部环层空间的态射，通过韦伊限制构造可恢复 $X_{\rm sm}$ 的光滑结构。
• 光滑流形 $V$ 上的直接像层 $m_*({\mathcal{O}}_{V_{\rm aff}})$ 同构于光滑函数层 ${\mathcal{O}}_{V_{\rm sm}}$，表明光滑结构可从仿射概形 $V_{\rm aff} = {\rm Spec}(C^\infty(V, \mathbb{C}))$ 恢复。