[论文解读] Contraction algebra and singularity of three-dimensional flopping contraction

Zheng Hua|arXiv (Cornell University)|Oct 18, 2016

Algebraic structures and combinatorial models参考文献 14被引用 4

一句话总结

本文证明，带有其自然 $\mathbb{Z}/2$-分次 $A_\infty$-结构的 3- fold 挪移收缩代数，决定了目标三空间中奇点的形式邻域。通过证明 $A_\infty$-增强收缩代数的 Hochschild 上同调恢复了 Milnor 代数和奇点的定义方程，作者建立了这些 $A_\infty$-代数之间的 Morita 同构分类了在双全纯等价下的局部几何结构。

ABSTRACT

In [5], Donovan and Wemyss introduced the contraction algebra of flopping curves in 3-folds. They conjectured that the contraction algebra determines the formal neighborhood of the underlying singularity of the contraction. In this paper, we prove that the contraction algebra together with its natural $A_\infty$-structure constructed in [10], determine the formal neighborhood of the singularity.

研究动机与目标

• 解决 Donovan 和 Wemyss 关于收缩代数是否决定 3- fold 挪移奇点形式邻域的猜想。
• 表明收缩代数上的 $A_\infty$-结构对于恢复奇点的局部几何结构是必不可少的。
• 建立与挪移收缩相关的 $A_\infty$-代数之间的 Morita 同构，意味着奇点形式邻域的同构。
• 将收缩代数的 Hochschild 上同调与奇点的 Milnor 代数联系起来，从而恢复超曲面奇点的定义方程。
• 证明仅靠经典代数结构不足以恢复奇点，因此必须依赖 $A_\infty$-增强结构。

提出的方法

• 利用 Dyckerhoff 的结果：奇异范畴 $\mathrm{D}_{\mathrm{sg}}(Y)$ 的 Hochschild 上同调同构于 $Y$ 的 Milnor 代数。
• 通过与 Toda 的前期工作，构造收缩代数上的典范 $\mathbb{Z}/2$-分次 $A_\infty$-结构。
• 建立 $A_\infty$-收缩代数与 $\mathrm{D}_{\mathrm{sg}}(Y)$ 之间的 Morita 同构，因此它们的 Hochschild 上同调同构。
• 应用 Efimov 的结果，关于结构层在奇点处的端射 dg-代数的极小模型的 $A_\infty$-结构。
• 利用上三角矩阵的 dg-代数（Happel, Buchweitz, Keller）证明 Hochschild 上同调类在 Morita 同构下保持不变。
• 通过同构 $HH^\bullet(A,A) \cong M_W$，识别出由 $A_\infty$-乘积表示的 Hochschild 上同调类，即为奇点的定义方程 $W$。

实验结果

研究问题

• RQ1 正如 Donovan 和 Wemyss 所猜想的那样，仅靠收缩代数是否能决定 3- fold 挪移奇点的形式邻域？
• RQ2 收缩代数上的 $A_\infty$-结构是否对于恢复奇点的局部几何结构是必要的？
• RQ3 能否通过 $A_\infty$-增强收缩代数的 Hochschild 上同调重构 Milnor 代数和超曲面奇点的定义方程？
• RQ4 对应于 $A_\infty$-乘积的 Hochschild 上同调类是否同构于 Milnor 代数中定义方程 $W$ 的类？
• RQ5 与 $A_\infty$-代数的 Morita 同构是否意味着奇点形式邻域的同构？

主要发现

• $A_\infty$-增强收缩代数的 Hochschild 上同调同构于奇点的 Milnor 代数。
• 由 $A_\infty$-乘积表示的 Hochschild 上同调类精确对应于超曲面奇点的定义方程 $W$。
• 带有 $A_\infty$-结构的收缩代数与奇异范畴 $\mathrm{D}_{\mathrm{sg}}(Y)$ Morita 同构，后者控制着奇点的性质。
• Mather-Yau 定理表明 Tjurina 代数决定了奇点的芽，而由于 Tjurina 代数可从 Milnor 代数中恢复，因此奇点被完全确定。
• 经典收缩代数（无 $A_\infty$-结构）在一般情况下具有无限维的 Hochschild 上同调，表明 $A_\infty$-增强结构对于奇点恢复是必不可少的。