[论文解读] Lectures on Noncommutative Geometry

Victor Ginzburg|ArXiv.org|Jun 29, 2005

Algebraic structures and combinatorial models参考文献 49被引用 81

一句话总结

本文基于芝加哥大学2003年的课程，提供了一份关于非交换几何的扩展讲义，聚焦于霍赫希尔德上同调、泊松代数与格伦斯坦哈伯代数、形变量子化以及非交换微分形式等基础结构。文中引入了非交换陈-外尔理论与非交换辛几何等新框架，同时强调未来统一理论中的开放问题与指导原则。

ABSTRACT

These Lectures are based on a course on noncommutative geometry given by the author in 2003 at the University of Chicago. The lectures contain some standard material, such as Poisson and Gerstenhaber algebras, deformations, Hochschild cohomology, Serre functors, etc. We also discuss many less known as well as some new results, in particular, noncommutative Chern-Weil theory, noncommutative symplectic geometry, noncommutative differential forms and double-tangent bundles.

研究动机与目标

• 基于2003年芝加哥大学课程，提供非交换几何基础与高级主题的全面但尚属初稿的综述。
• 探讨交换几何与非交换几何时的观念与结构类比，区分‘小范围的非交换几何’（交换代数的形变）与‘大范围的非交换几何’（由不同操作子控制的独立非交换世界）。
• 引入并研究非交换微分形式、双导子与双切丛等新或较少为人知的构造。
• 提出开放问题与猜想，特别是关于非交换设定下的科祖尔操作子与形式光滑性。
• 通过强调关键原则与范例，为未来非交换几何的系统性理论奠定基础。

提出的方法

• 以霍赫希尔德同调与上同调为核心工具，研究非交换代数中的形变与导子。
• 应用巴复形构造，为操作子代数（特别是${\rm P}$-代数）定义上同调理论。
• 通过在幂零理想上的提升性质，引入${\rm P}$-代数的形式光滑性概念，推广经典代数几何中的概念。
• 利用霍赫希尔德-科斯坦-罗森伯格定理，将霍赫希尔德上同调与非交换设定下的微分形式联系起来。
• 通过循环上同调类比经典特征类，发展非交换陈-外尔理论。
• 运用操作子理论框架，区分不同几何：交换几何（交换代数的操作子）与非交换几何（结合代数的操作子）。

实验结果

研究问题

• RQ1 任何未来非交换几何理论必须包含的最小结构原则是什么？
• RQ2 非交换设定下，非交换1-形式模的光滑性与投影性（$\Omega^1_{\mathcal{P}}A$）与形式光滑性之间的关系为何？
• RQ3 ${\mathcal{P}}$-代数的巴复形是否可作为非交换微分形式模的解析，尤其当$\mathcal{P}$为科祖尔时？
• RQ4 非交换陈-外尔理论与循环上同调之间的精确关系为何？它如何推广经典陈-外尔同构？
• RQ5 为何某些代数在经典意义下光滑，却在非交换‘大范围’意义下不光滑？操作子理论在此中起何作用？

主要发现

• 霍赫希尔德上同调$H^i_{\mathcal{P}}(A,M)$同构于复形$\operatorname{Hom}_{{A\text{-}{\sf mod}}}({{\mathsf{B}}_{\bullet}^{\mathcal{P}}A}, M)$的上同调，为${\mathcal{P}}$-代数的上同调提供了同调解释。
• ${\mathcal{P}}$-代数$A$的形式光滑性等价于$\Omega^1_{\mathcal{P}}A$的投影性，以及映射$I/I^2 \to \mathcal{U}^{\mathcal{P}}A \otimes_{\mathcal{U}^{{\mathcal{P}}\!}R} \Omega^1_{\mathcal{P}}R$的单射性，推广了经典判别准则。
• 对任意${\mathcal{P}}$-代数$A$，上同调$H^2_{\mathcal{P}}(A,M)$当且仅当模$\Omega^1_{\mathcal{P}}A$为投影时消失，将上同调消失与几何性质联系起来。
• 若猜想${{\mathsf{B}}_{\bullet}^{\mathcal{P}}A}$解析$\Omega^1_{\mathcal{P}}A$（即$H_i({{\mathsf{B}}_{\bullet}^{\mathcal{P}}A}) = 0$对$i > 1$成立），则$H^i_{\mathcal{P}}(A,M)$同构于$\operatorname{Ext}^i_{A\text{-}{\sf mod}}(\Omega^1_{\mathcal{P}}A, M)$，统一了上同调与导出函子。
• 存在自然的态射$\Omega^{{\bullet}}_{\mathcal{P}}A \to C^{\mathcal{P}}_{\bullet}(A,A)$，暗示了de Rham复形的非交换类比，支持非交换微积分的发展。
• 若$A$形式光滑且$M$为$A$-模的投影模，则张量代数$T_A M$亦为形式光滑，表明形式光滑性在某些构造下具有稳定性。