[论文解读] XI Solomon Lefschetz Memorial Lecture Series: Hodge structures in non-commutative geometry. (Notes by Ernesto Lupercio)

Maxim Kontsevich|ArXiv.org|Jan 30, 2008

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

一句话总结

本文通过在形变量子化和导出代数几何中使用Hochschild同调与Connes的B算子，引入了Hodge结构的非交换推广。它提出，正特征下的谱序列退化性可通过具有微分 ∂ + uB 的复形的上同调来理解，从而揭示Hodge到de Rham退化性的机制，并将非交换几何与L函数及Weil猜想联系起来。

ABSTRACT

Traditionally, Hodge structures are associated with complex projective varieties. In my expository lectures I discussed a non-commutative generalization of Hodge structures in deformation quantization and in derived algebraic geometry.

研究动机与目标

• 将经典Hodge结构——通常定义在光滑射影概形的上同调上——推广至非交换几何领域。
• 探讨Hochschild同调与Connes的B算子如何作为微分形式与de Rham复形的非交换类比。
• 利用具有微分 ∂ + uB 的形变复形，研究正特征下Hodge到de Rham谱序列的退化性。
• 提出与饱和非交换空间相关的非交换L函数，受Weil猜想与Beilinson猜想的启发。
• 通过L函数与D膜类求和，建立非交换几何、算术几何与拓扑弦理论之间的概念性桥梁。

提出的方法

• 使用复数域 $ \mathbb{C} $ 上单位结合代数 $ A $ 的Hochschild复形 $ C_{\bullet}(A,A) $ 及其微分 $ \partial $，以建模非交换微分形式。
• 在Hochschild复形上引入Connes的B算子（次数为 $-1$），满足 $ B^2 = 0 $，$ \partial B + B\partial = 0 $，且 $ \partial^2 = 0 $，构成混合复形。
• 考虑约化Hochschild复形 $ C^{\mathrm{red}}_{\bullet}(A,A) $，其中除第一项外其余因子模去标量，同时保持上同调不变。
• 分析复形 $ (C^{\mathrm{red}}_{\bullet}(A,A)[u], \partial + uB) $，将其视为 $ \mathbb{A}^1 $ 上的族，其中 $ u $ 为形式参数。
• 研究该复形在特征 $ p > 0 $ 下的上同调，表明其可能为凝聚层，并猜想其与 $ (C^{\mathrm{red}}_{\bullet}(A_0,A_0)[u,u^{-1}], \partial) $ 在平坦dga over $ \mathbb{Z}_p $ 下为拟同构。
• 通过 $ L(X) = \prod_p L_p(s) $ 提出非交换L函数，其中 $ L_p(s) = \det(1 - \mathrm{Fr}_p / p^s)^{-1} $，并将其与K-理论及黎曼猜想联系起来。

实验结果

研究问题

• RQ1 能否通过Hochschild同调与Connes的B算子，将Hodge结构从交换代数簇推广至非交换代数？
• RQ2 在 $ C^{\mathrm{red}}_{\bullet}(A,A)[u] $ 上，由混合复形 $ (\partial + uB) $ 关联的谱序列在正特征下是否退化？若是，原因为何？
• RQ3 在正特征下，复形 $ (C^{\mathrm{red}}_{\bullet}(A,A)[u], \partial + uB) $ 的上同调是否为凝聚层？这对Hodge到de Rham退化性有何含义？
• RQ4 能否为饱和非交换空间定义非交换L函数？其是否满足黎曼猜想与Beilinson猜想？
• RQ5 在特征 $ p $ 下，约化Hochschild复形上的滤子 $ \mathrm{Fil}_{\leq n} $ 在 $ n $ 被 $ p $ 整除时，对理解 $ \partial + B $ 的行为有何作用？

主要发现

• 在特征 $ p > 0 $ 下，复形 $ (C^{\mathrm{red}}_{\bullet}(A_0,A_0)[u,u^{-1}], \partial + uB) $ 被猜想与 $ (C^{\mathrm{red}}_{\bullet}(A_0,A_0)[u,u^{-1}], \partial) $ 作为 $ \mathbb{Z}/p[u,u^{-1}] $-模拟同构，暗示了谱序列退化的机制。
• 当 $ n $ 与 $ p $ 互素时，带有微分 $ \partial + B $ 的分次项 $ \mathrm{gr}_n(\mathrm{Fil}) $ 在特征 $ p $ 下是上同调平凡的，意味着这些次数上的上同调为零。
• 当 $ n = kp $ 时，复形 $ \mathrm{gr}_n(\mathrm{Fil}) $ 与 $ \partial + B $ 同构于 $ V^{\otimes k} \xrightarrow{1 - \sigma} V^{\otimes k} $，其中 $ \sigma $ 生成 $ \mathbb{Z}/k\mathbb{Z} $，表明可能存在非平凡上同调。
• 在特征 0 下，复形 $ (C^{\mathrm{red}}_{\bullet}(A,A)[u,u^{-1}], \partial + uB) $ 是上同调平凡的，即所有上同调集中在 $ u = 0 $ 处，形成无限Jordan块，表明其具有奇异的非向量丛结构。
• 若在特征 $ p $ 下，$ (C^{\mathrm{red}}_{\bullet}(A_0,A_0)[u,u^{-1}], \partial + uB) \simeq (C^{\mathrm{red}}_{\bullet}(A_0,A_0)[u,u^{-1}], \partial) $ 成立，则当上同调有限维时，将意味着谱序列退化。
• 提出非交换 $ L $-函数 $ L(X) = \prod_p L_p(s) $，其中 $ L_p(s) = \det(1 - \mathrm{Fr}_p / p^s)^{-1} $，并猜想其通过与 $ K_{1-2s}(X) $ 的联系，满足黎曼猜想与Beilinson猜想。