[论文解读] The derived contraction algebra

Matt Booth|arXiv (Cornell University)|Mar 28, 2019

Advanced Topics in Algebra参考文献 82被引用 5

一句话总结

本文引入了导出收缩代数，即 Donovan 和 Wemyss 的经典收缩代数的微分分次代数（dga）增强，采用导出商构造。证明该 dga 控制一个翻转曲线的导出非交换形变，并完全恢复收缩奇点的局部几何，从而提出 Donovan–Wemyss 猜想的导出版本，并将翻转自同构控制推广至三复形以上的情形。

ABSTRACT

Using Braun-Chuang-Lazarev's derived quotient, we enhance the contraction algebra of Donovan-Wemyss to an invariant valued in differential graded algebras. Given an isolated contraction $X o X_\mathrm{con}$ of an irreducible rational curve $C$ to a point $p$, we show that its derived contraction algebra controls the derived noncommutative deformations of $C$. We use dg singularity categories to prove that, when $X$ is smooth, the derived contraction algebra recovers the geometry of $X_\mathrm{con}$ complete locally around $p$, establishing a positive answer to a derived version of a conjecture of Donovan and Wemyss. When $X o X_\mathrm{con}$ is a simple threefold flopping contraction, it is known that the Bridgeland-Chen flop-flop autoequivalence of $D^b(X)$ is a `noncommutative twist' around the contraction algebra. We show that the derived contraction algebra controls an analogous autoequivalence in more general settings, and in particular for partial resolutions of Kleinian singularities.

研究动机与目标

• 将 Donovan–Wemyss 的经典收缩代数推广为通过导出商构造得到的微分分次代数（dga）不变量。
• 证明导出收缩代数控制单个不可约有理曲线在收缩中的导出非交换形变。
• 当全空间光滑时，证明导出收缩代数确定收缩奇点在该点附近的完整局部几何。
• 将翻转自同构的控制从三复形推广至更广范围，表明导出收缩代数控制 Kleinian 奇点的部分解析中的变异自同构。

提出的方法

• 导出收缩代数被构造为非交换解析代数的导出商，将经典收缩代数增强为 dga。
• 几何恢复的证明利用了 Hua 和 Keller 关于从 dg 奇点范畴重建的近期定理。
• 通过 $A_\frown$-代数技术（特别是形式性与 Massey 乘积）建立对导出非交换形变的控制。
• 论文使用 Merkulov 的构造方法，从 dga 上同调中构建 $A_\frown$-结构，将高阶乘积与 Massey 乘积关联。
• 应用 Koszul 对偶性，将导出收缩代数与其双对偶关联，确保在有限性与局部条件下保持 quasi-isomorphism。
• 使用 $A_\frown$-代数工具进行显式计算，包括通过非零 Massey 乘积检测形式性。

实验结果

研究问题

• RQ1 经典收缩代数能否被增强为一个保持高维几何与形变理论控制的微分分次代数？
• RQ2 在光滑情形下，导出收缩代数是否能完全恢复收缩奇点的局部几何？
• RQ3 导出收缩代数在多大程度上控制单个翻转曲线的导出非交换形变？
• RQ4 导出收缩代数能否在三复形翻转之外的设定中控制变异自同构，例如 Kleinian 奇点的部分解析？
• RQ5 导出版的 Donovan–Wemyss 猜想是否成立：若两个导出收缩代数 quasi-isomorphic，则其对应奇点是否同构？

主要发现

• 导出收缩代数是一个零阶上同调为经典收缩代数的 dga，且控制翻转曲线的导出非交换形变。
• 当 $X$ 光滑时，导出收缩代数确定了 $X_{\mathrm{con}}$ 在奇点 $p$ 附近的完整局部几何，从而证明了 Donovan–Wemyss 猜想的导出版本。
• 导出收缩代数与 $R$ 的 dg 奇点范畴 quasi-isomorphic，反之亦然，建立了完整的重构结果。
• 对于简单三复形翻转，导出收缩代数通过非交换扭转恢复了 Bridgeland–Chen 的翻转-回转自同构。
• 在 Kleinian 奇点的部分解析中，导出收缩代数控制变异自同构，推广了三复形情形的结果。
• 导出收缩代数中非零的 Massey 乘积可检测非形式性，为区分 dga 结构提供了计算工具。