[论文解读] Deformations of algebras in noncommutative geometry

Travis Schedler|arXiv (Cornell University)|Dec 5, 2012

Algebraic structures and combinatorial models参考文献 55被引用 9

一句话总结

本文提供了非交换几何中结合代数形变理论的全面、以实例为导向的导论，重点讨论Hochschild上同调与Kontsevich的形变定理。它建立了一个通过形式形变对泊松结构进行量子化的框架，关键结果包括：光滑流形上存在自然的函子性量子化，以及对Weyl代数、包络代数和辛反射代数等代数的显式构造。

ABSTRACT

These are significantly expanded lecture notes for the author's minicourse at MSRI in June 2012, as published in the MSRI lecture note series, with some minor additional corrections. In these notes, we give an example-motivated review of the deformation theory of associative algebras in terms of the Hochschild cochain complex as well as quantization of Poisson structures, and Kontsevich's formality theorem in the smooth setting. We then discuss quantization and deformation via Calabi-Yau algebras and potentials. Examples discussed include Weyl algebras, enveloping algebras of Lie algebras, symplectic reflection algebras, quasihomogeneous isolated hypersurface singularities (including du Val singularities), and Calabi-Yau algebras.

研究动机与目标

• 提供一个自包含的、以实例为驱动的、关于特征零域上结合代数形变理论的导论。
• 解释交换代数的无穷小与形式形变如何导致泊松结构与量子化。
• 建立形变量子化与卡拉比-丘代数之间的联系，特别是通过势函数与循环上同调。
• 展示对关键代数（如Weyl代数、包络代数和辛反射代数）的形变的显式构造。
• 阐明Kontsevich形变定理在构造光滑仿射代数簇上泊松结构的显式、函子性量子化中的作用。

提出的方法

• 利用Hochschild上链复形描述结合代数的形变，其中第二上同调群分类无穷小形变。
• 应用Kontsevich的形变定理，构造Hochschild上链复形与多重向量场之间的拟同构，从而实现显式量子化。
• 使用费曼图与轮状图计算形变同构，特别是在李代数与对称代数的情形下。
• 通过伴随算子的幂的迹 $\operatorname{tr}((\operatorname{ad}x)^m)$ 表达李代数情形下形变同构的系数。
• 通过收缩 $\Xi_X = i_{\partial_1 \wedge \cdots \wedge \partial_n}(df_1 \wedge \cdots \wedge df_k)$ 引入单模多重向量场的概念，确保与泊松结构的相容性。
• 应用导出范畴框架与循环上同调，将量子化推广至卡拉比-丘代数，特别是在孤立超曲面奇点的背景下。

实验结果

研究问题

• RQ1 在何种条件下，特征零域上光滑仿射代数簇上的泊松结构允许形式形变量子化？
• RQ2 Kontsevich的形变同构在李代数与对称代数情形下如何显式计算？
• RQ3 卡拉比-丘结构与势函数在非交换代数形变理论中起何种作用？
• RQ4 形变理论构造如何与Weyl代数与辛反射代数等已知代数相关联？
• RQ5 泊松代数的量子化在何种意义上是函子性的？在非仿射或奇异情形下会出现何种障碍？

主要发现

• Kontsevich的形变定理为特征零域上光滑仿射代数簇上的任意泊松结构提供了自然的、函子性的量子化。
• 李代数情形下形变同构的系数可表示为伴随表示幂的迹：$\operatorname{tr}((\operatorname{ad}x)^m)$。
• 对于由 $k$ 个函数 $f_1, \dots, f_k$ 在 $\mathbf{A}^n$ 中定义的完备交截，对应的多重向量场 $\Xi_X$ 是单模的，且满足 $[\Xi_X, \Xi_X] = 0$，因此构成泊松二阶张量。
• 函数 $f_i$ 在由 $\Xi_X$ 导出的泊松括号下是中心的，因为 $i_{\Xi_X}(df_i) = 0$ 意味着哈密顿向量场为零。
• 形变同构可表示为轮状图的和，每个图贡献一个与 $\operatorname{tr}((\operatorname{ad}x)^{m_1}) \cdots \operatorname{tr}((\operatorname{ad}x)^{m_k})$ 成比例的项。
• 通过势函数，该构造可推广至卡拉比-丘代数，此时形变理论由循环上同调控制，且与相关的循环预卡拉比-丘结构相关。