2025-11-10T02:44:56.542075

The Donovan--Wemyss Conjecture via the Derived Auslander--Iyama Correspondence

Jasso, Keller, Muro

We provide an outline of the proof of the Donovan--Wemyss Conjecture in the context of the Homological Minimal Model Program for threefolds. The proof relies on results of August, of Hua and the second-named author, Wemyss, and on the Derived Auslander--Iyama Correspondence -- a recent result by the first- and third-named authors.

academic

The Donovan--Wemyss Conjecture via the Derived Auslander--Iyama Correspondence

基本信息

论文ID: 2301.11593
标题: The Donovan--Wemyss Conjecture via the Derived Auslander--Iyama Correspondence
作者: Gustavo Jasso, Bernhard Keller, Fernando Muro
分类: math.AG (代数几何), math.QA (量子代数), math.RT (表示论)
发表时间: 2023年1月27日提交，2024年5月11日最后修订
论文链接: https://arxiv.org/abs/2301.11593

摘要

本文提供了在三维同调极小模型纲领(Homological Minimal Model Program)背景下Donovan-Wemyss猜想证明的概要。该证明依赖于August的结果、Hua和第二作者的工作、Wemyss的理论，以及导出Auslander-Iyama对应——第一和第三作者的最新成果。

研究背景与动机

核心问题

本文研究的核心是解决Donovan-Wemyss猜想，这是一个关于复合Du Val(cDV)奇点的重要几何猜想。该猜想表述为：

猜想A (Donovan-Wemyss): 设 $R_1$ 和 $R_2$ 是具有crepant分解的孤立cDV奇点： $p_1: X_1 \to \text{Spec}(R_1), \quad p_2: X_2 \to \text{Spec}(R_2)$ 则收缩代数 $\Lambda_{\text{con}}(p_1)$ 和 $\Lambda_{\text{con}}(p_2)$ 是导出等价的当且仅当存在代数同构 $R_1 \cong R_2$ 。

问题重要性

几何意义: cDV奇点是三维双有理几何中的重要对象，在极小模型纲领(MMP)中起关键作用
代数结构: 收缩代数编码了大量几何信息，包括Reid宽度和Gopakumar-Vafa不变量
分类问题: 该猜想本质上是用非交换代数结构来分类几何对象

现有方法局限性

收缩代数的维数和Gabriel箭图不足以区分不同的cDV奇点
cDV奇点存在连续族，使得分类问题复杂化
需要更精细的不变量来区分非同构的奇点

核心贡献

完成了Donovan-Wemyss猜想的证明，通过结合多个深刻的理论工具
引入了限制通用Massey积作为关键不变量，这是由2Z-导出收缩代数的极小 $A_\infty$ -代数模型的第一个非平凡高阶运算诱导的Hochschild上同调类
证明了2Z-导出收缩代数的唯一性，显示它们由其零次上同调加上最少的附加代数数据唯一确定
建立了与导出Auslander-Iyama对应的深刻联系，为该几何问题提供了代数表示论的视角

方法详解

任务定义

证明两个孤立cDV奇点的收缩代数导出等价当且仅当奇点同构。

核心架构

1. 2Z-簇倾斜对象理论

定义: 对象 $T \in \mathcal{T}$ $T \in T$ 是2-簇倾斜的如果：
- 刚性: $\mathcal{T}(T, T[1]) = 0$
- 生成性: 每个对象都有 $T_1 \to T_0 \to X \to T_1[1]$ 形式的三角形
2Z-簇倾斜: 额外满足 $T \cong T[2]$

2. 收缩代数的刻画

定理1.3.1 (Wemyss): 设 $R$ 是孤立cDV奇点，则 $R$ 的收缩代数恰好是奇点范畴 $\text{Dsg}(R)$ 中2Z-簇倾斜对象的自同态代数。

3. 2Z-导出收缩代数

通过三角范畴等价 $\text{CM}(R) \simeq \text{Dsg}(R)$ ，收缩代数可提升为DG代数： $\Lambda_{\text{con}} := \text{REnd}(N)$ 其中 $N$ 是对应的2Z-簇倾斜对象。

技术创新点

1. 限制通用Massey积

考虑极小 $A_\infty$ -代数结构 $(A, m_4, m_6, m_8, \ldots)$
由于 $A$ 集中在偶次数且 $m_n$ 的次数为 $2-n$ ，奇数项 $m_n = 0$
通用Massey积: $\{m_4\} \in \text{HH}^{4,-2}(\Lambda[\iota^{\pm 1}], \Lambda[\iota^{\pm 1}])$
限制通用Massey积: $j^*\{m_4\} \in \text{HH}^{4,-2}(\Lambda, \Lambda[\iota^{\pm 1}])$

2. 关键性质定理

定理3.2.5: 限制通用Massey积 $j^*\{m_4\}$ 可由投射中间项的正合列表示： $0 \to \Lambda \to P_3 \to P_2 \to P_1 \to P_0 \to \Lambda \to 0$ 特别地， $\Omega^4_{\Lambda^e}(\Lambda) \cong \Lambda$ 。

3. Hochschild上同调计算

命题3.3.1: 存在分次交换代数同构： $\text{HH}^{\bullet,*}(\Lambda[\iota^{\pm 1}], \Lambda[\iota^{\pm 1}]) \cong \text{HH}^\bullet(\Lambda, \Lambda)[\iota^{\pm 1}, \delta]$ 其中 $\delta$ 是分数Euler导子。

证明策略

第一步：约化到同构问题

定理1.3.2 (August): 设 $R$ 是孤立cDV奇点，则 $R$ 的收缩代数形成单一完整的导出等价类。

第二步：导出版本

定理2.2.1 (Hua-Keller): 存在代数同构： $\text{HH}^0(\text{Dsg}(R)_{\text{dg}}) \cong \frac{\mathbb{C}\llbracket x,y,z,t \rrbracket}{(f, \partial_x f, \partial_y f, \partial_z f, \partial_t f)}$ 其中右侧是 $R$ 的Tyurina代数。