[论文解读] Noncommutative Mather-Yau theorem and its applications to Calabi-Yau algebras and birational geometry

Zheng Hua, Gui-Song Zhou|arXiv (Cornell University)|Mar 16, 2018

Algebraic structures and combinatorial models参考文献 15被引用 6

一句话总结

本文为有限 quiver 建立了 Mather-Yau 定理的非交换类比，证明在完整路径代数上的势能由其雅可比代数及其在 0 阶 Hochschild 同调中的类，通过形式变量变换唯一确定。当雅可比代数为有限维时，该不变量完全控制相关的 Ginzburg dg-代数、广义丛范畴和奇点范畴，为 Donovan-Wemyss 关于三维 flop 的猜想提供了有力证据。

ABSTRACT

In this article, we prove that for a finite quiver $Q$ the equivalence class of a potential up to formal change of variables of the complete path algebra $\widehat{\mathbb{C} Q}$, is determined by its Jacobi algebra together with the class in its 0-th Hochschild homology represented by the potential assuming it is finite dimensional. This result can be viewed as a noncommutative analogue of the famous theorem of Mather and Yau on isolated hypersurface singularities. We also prove that the equivalence class of a potential is determined by its sufficiently high jet assuming the Jacobi algebra is finite dimensional. These results have several interesting applications. First, we show that if the Jacobi algebra is finite dimensional then the corresponding complete Ginzburg dg-algebra, and the (topological) generalized cluster category thereof, are determined by the isomorphic type of the Jacobi algebra together with the class in its 0-th Hochschild homology represented by the potential. The contraction algebras associated to three dimensional flopping contractions provide a class of examples of finite dimensional Jacobi algebras. As the second application, we prove that the contraction algebra together with the class in its 0-th Hochschild homology represented by the potential determines the relative singularity category defined by Kalck and Yang and the classical singularity category of Buchweitz and Orlov. This result provides an evidence for Donovan-Wemyss conjecture, which asserts that the contraction algebra is a complete invariant for the underlying singularities of three dimensional flopping contractions.

研究动机与目标

• 为有限 quiver 上的势能建立非交换 Mather-Yau 定理版本。
• 确定势能等价类是否完全由其雅可比代数及其在 0 阶 Hochschild 同调中的类所决定。
• 研究与有限维雅可比代数相关的 Ginzburg dg-代数与广义丛范畴的含义。
• 通过证明收缩代数与 Hochschild 类能确定相对与经典奇点范畴，验证三维 flop 收缩中的 Donovan-Wemyss 猜想。

提出的方法

• 使用有限 quiver 的完整路径代数中的形式变量变换，对势能进行等价类分类。
• 利用 Hochschild 同调，特别是 0 阶 Hochschild 同调，提取势能的不变量。
• 应用与势能相关的雅可比代数理论，分析完整 Ginzburg dg-代数的结构。
• 通过势能的喷射截断，证明当雅可比代数为有限维时，足够高阶的喷射可确定势能。
• 利用三维 flop 中收缩代数作为有限维雅可比代数的结构，检验奇点范畴的不变性。
• 应用 Kalck 与 Yang 的相对奇点范畴理论及 Buchweitz 的经典奇点范畴理论，将代数不变量与几何奇点联系起来。

实验结果

研究问题

• RQ1 能否由雅可比代数及其在 0 阶 Hochschild 同调中的类确定完整路径代数上势能的等价类？
• RQ2 当雅可比代数为有限维时，是否足够高阶的势能喷射可确定该势能？
• RQ3 Ginzburg dg-代数与广义丛范畴在多大程度上依赖于雅可比代数与势能的 Hochschild 类？
• RQ4 三维 flop 收缩的相对奇点范畴与经典奇点范畴能否由收缩代数与势能的 Hochschild 类恢复？
• RQ5 该框架是否为 Donovan-Wemyss 猜想提供了证据，即收缩代数是三维 flop 中奇点的完全不变量？

主要发现

• 有限 quiver 的完整路径代数上势能的等价类由其雅可比代数及其在 0 阶 Hochschild 同调中的类唯一确定。
• 当雅可比代数为有限维时，势能由其足够高阶的喷射确定，建立了势能重构的有限性准则。
• 与有限维雅可比代数相关的完整 Ginzburg dg-代数及拓扑广义丛范畴，完全由雅可比代数的同构类型与势能的 Hochschild 类决定。
• Kalck 与 Yang 的相对奇点范畴及 Buchweitz 与 Orlov 的经典奇点范畴，均由收缩代数与势能的 Hochschild 类决定。
• 这些结果为 Donovan-Wemyss 猜想提供了强有力证据，因为三维 flop 的奇点范畴可完全由收缩代数与势能的 Hochschild 类恢复。
• 本研究在 quiver gauge 理论与卡拉比-丘范畴的背景下，建立了孤立超曲面奇点的 Mather-Yau 定理的非交换类比。