[论文解读] Reduction of triangulated categories and Maximal Modification Algebras for cA_n singularities

Osamu Iyama, Michael Wemyss|arXiv (Cornell University)|Apr 18, 2013

Algebraic structures and combinatorial models参考文献 26被引用 12

一句话总结

本文在克鲁尔维数至多为一的三角范畴中引入了卡拉比-丘约化，建立了一个框架，通过可 Cohen–Macaulay 模的导出范畴研究 $cA_n$ 奇点的创痕型解析。它利用对称群对完整局部 $cA_n$ 奇点上的极大修改模进行了完整分类，并通过变异证明了所有 $\mathbb{Q}$-因子化终端化均导出等价。

ABSTRACT

In this paper we define and study triangulated categories in which the Hom-spaces have Krull dimension at most one over some base ring (hence they have a natural 2-step filtration), and each factor of the filtration satisfies some Calabi-Yau type property. If C is such a category, we say that C is Calabi-Yau with dimension at most one. We extend the notion of Calabi-Yau reduction to this setting, and prove general results which are an analogue of known results in cluster theory. Such categories appear naturally in the setting of Gorenstein singularities in dimension three as the stable categories of Cohen-Macaulay modules. We explain the connection between Calabi-Yau reduction of $\underline{ m CM} R$ and both partial crepant resolutions and Q-factorial terminalizations of Spec R, and we show under quite general assumptions that Calabi-Yau reductions exist. In the remainder of the paper we focus on complete local cA_n singularities R. By using a purely algebraic argument based on Calabi-Yau reduction of $\underline{ m CM} R$, we give a complete classification of maximal modifying modules in terms of the symmetric group, generalizing and strengthening results in [BIKR] and [DH], where we do not need any restriction on the ground field. We also describe the mutation of modifying modules at an arbitrary (not necessarily indecomposable) direct summand. As a corollary when the field is the complex numbers, we obtain many autoequivalences of the derived category of the Q-factorial terminalizations of Spec R.

研究动机与目标

• 开发一种在克鲁尔维数 ≤1 的三角范畴中进行卡拉比-丘约化的框架，从而通过代数方法研究创痕型解析。
• 将稳定范畴 $\underline{\rm CM}\,R$ 的卡拉比-丘约化与 $\mathop{\rm Spec}\nolimits R$ 的部分创痕型解析及 $\mathbb{Q}$-因子化终端化联系起来。
• 在不施加域限制的条件下，对完整局部 $cA_n$ 奇点上的极大修改模进行代数分类，推广先前的结果。
• 描述在任意直和项上对修改模进行变异的方法，并在 $k=\mathbb{C}$ 时建立 $\mathbb{Q}$-因子化终端化之间导出等价性的关系。

提出的方法

• 定义克鲁尔维数 ≤1 的三角范畴 $\mathcal{C}$，其中在基环 $R$ 上的同态空间具有 ≤1 的克鲁尔维数，且在两步过滤中的每个因子满足卡拉比-丘型性质。
• 将卡拉比-丘约化定义为在全子范畴 $\mathcal{Z}/[\mathcal{M}]$ 上的商构造，其中 $\mathcal{M}$ 在 $\mathcal{Z}$ 中是函子有限的，并在锥与余锥下封闭。
• 将该理论应用于 Gorenstein 3 重奇点的 $\mathop{\rm D}_{\mathsf{sg}}(R) = \underline{\rm CM}\,R$，将约化与几何上的部分创痕型解析联系起来。
• 基于卡拉比-丘约化的代数技术，通过对称群作用对完整局部 $cA_n$ 奇点上的极大修改模进行分类。
• 在任意直和项上定义修改模的变异，证明其在对应环的导出范畴之间诱导出导出等价。
• 证明当 $k=\mathbb{C}$ 时，所有 $\mathbb{Q}$-因子化终端化均导出等价，通过连接不同奇点旗的变异序列实现。

实验结果

研究问题

• RQ1 卡拉比-丘约化如何推广至克鲁尔维数 ≤1 的三角范畴？它编码了何种几何信息？
• RQ2 $\underline{\rm CM}\,R$ 的卡拉比-丘约化与 $\mathop{\rm Spec}\nolimits R$ 的部分创痕型解析或 $\mathbb{Q}$-因子化终端化之间存在何种关系？
• RQ3 如何在不依赖基域的条件下，通过代数方法对完整局部 $cA_n$ 奇点上的极大修改模进行分类？
• RQ4 在何种条件下，对修改模的变异能保持导出等价性？它与几何弗洛普的关系如何？
• RQ5 所有 $\mathbb{Q}$-因子化终端化是否均导出等价？若是，其背后的代数机制为何？

主要发现

• 在一般假设下卡拉比-丘约化存在，并提供了一种纯粹代数的方法，用于检测 $\mathop{\rm Spec}\nolimits R$ 的部分创痕型解析。
• 通过对称群作用，完整局部 $cA_n$ 奇点上的极大修改模的分类得以实现，推广了此前在无域限制下的结果。
• 在任意直和项上对修改模进行变异，可诱导出对应环的导出范畴之间的导出等价。
• 当 $k=\mathbb{C}$ 时，所有 $\mathbb{Q}$-因子化终端化均导出等价，通过连接不同奇点旗的变异序列得以证明。
• 任意 $\mathbb{Q}$-因子化终端化的导出范畴均与 $\mathop{\rm End}_R(T^\mathcal{F})$ 的导出范畴导出等价，且在奇点排列下导出等价性保持不变。
• 极大修改生成元的交换图是连通的，意味着所有此类模可通过有限次变异序列相互连接，从而确认了所有 $\mathbb{Q}$-因子化终端化的导出等价性。