[论文解读] Relative singularity categories III: Cluster resolutions

Martin Kalck, Dong Yang|arXiv (Cornell University)|Jun 17, 2020

Algebraic structures and combinatorial models参考文献 1被引用 9

一句话总结

本文为具有簇-倾斜对象的2-卡勒-尤拉三角范畴建立了一个微分分次代数框架，利用相对奇异范畴与微分分次普遍局部化。当自同态代数为遗传代数且在某些次数上上同调为零时，证明了此类范畴与具有势的箭图的簇范畴三角等价，支持了安米特在2-卡勒-尤拉情形下的猜想。

ABSTRACT

We build foundations of an approach to study canonical forms of $2$-Calabi--Yau triangulated categories with cluster-tilting objects, using dg algebras and relative singularity categories. This is motivated by cluster theory, singularity categories, Wemyss's Homological Minimal Model Program and the relations between these topics.

研究动机与目标

• 通过微分分次代数与相对奇异范畴，为研究具有簇-倾斜对象的2-卡勒-尤拉三角范畴的标准形式提供基础框架。
• 解决安米特关于具有簇-倾斜对象的2-卡勒-尤拉代数三角范畴与具有势的箭图的簇范畴之间三角等价性的猜想。
• 建立条件，使得由此类范畴导出的微分分次代数与完备吉涅斯堡微分分次代数 quasi-isomorphic，从而与簇理论及非交换卡勒-尤拉解析建立联系。
• 在额外的上同调与代数约束下，推广凯勒-赖滕的d-簇倾斜对象识别定理。
• 证明：对于具有遗传自同态代数且负上同调为零的2-卡勒-尤拉范畴，该范畴与树箭图的d-簇范畴三角等价。

提出的方法

• 从d-卡勒-尤拉范畴C中的d-簇-倾斜对象T构造一个非正的微分分次代数$ B $，满足$ H^0(B) \to \text{End}_{\text{C}}(T) $，且对$ p < 0 $有$ H^p(B) \to \text{Hom}_{\text{C}}(T, \Sigma^p T) $。
• 利用相对奇异范畴$ \text{per}(B)/\text{D}_{fd}(B) $将$ \text{C} $实现为三角商，通过微分分次代数$ B $建立三角等价。
• 对$ A_\infty $-科舒尔对偶$ B^* $应用对偶的巴尔构造，证明当$ B^* $的上同调仅在度数0、1、d、d+1非零时，$ B $与一个完备的微分分次箭图代数 quasi-equivalent。
• 利用双函子同构$ D\text{Hom}_{\text{D}_{fd}(B)}(X,Y) \cong \text{Hom}_{\text{D}_{fd}(B)}(Y, \Sigma^{d+1}X) $，在微分分次代数设定中强制实现卡勒-尤拉对偶性。
• 利用$ H^p(B) $在$ -d+2 \leq p \leq -1 $时的消失性，以及$ H^0(B) \cong kQ $的遗传性，约束$ B^* $的箭图结构，将非平凡乘法限制在度数1与d。
• 证明$ B^* $上唯一的可能非平凡$ A_\infty $-结构源于对偶箭图$ Q^{gr,op} $中的环路，且仅当$ n=2 $且$ \alpha_1 = \alpha_2 $时非零，从而强制$ B^* \cong A(Q^{gr,op}, \mathbf{1}, \mathbf{1}) $，因此$ B $完全由$ Q $决定。

实验结果

研究问题

• RQ1 在何种条件下，具有簇-倾斜对象的2-卡勒-尤拉代数三角范畴与具有势的箭图的簇范畴三角等价？
• RQ2 从d-簇-倾斜对象在d-卡勒-尤拉范畴中构造的微分分次代数$ B $，是否可能与完备吉涅斯堡微分分次代数 quasi-isomorphic？
• RQ3 微分分次代数$ B $的上同调结构，特别是$ H^p(B) $在$ -d+2 \leq p \leq -1 $时的消失性，如何约束其底层箭图与$ A_\infty $-结构？
• RQ4 对偶巴尔构造与$ A_\infty $-科舒尔对偶在从其上同调与塞雷对偶重构微分分次代数$ B $中起什么作用？
• RQ5 当$ H^0(B) \cong kQ $为遗传代数且$ Q $中无环路时，该性质在多大程度上确保$ B $与$ Q $的完备吉涅斯堡代数 quasi-isomorphic？

主要发现

• 对于具有d-簇-倾斜对象$ T $的d-卡勒-尤拉代数三角范畴$ \text{C} $，存在一个微分分次代数$ B $，使得$ \text{per}(B)/\text{D}_{fd}(B) \cong \text{C} $，且满足$ H^0(B) \cong \text{End}_{\text{C}}(T) $，以及对$ p < 0 $有$ H^p(B) \cong \text{Hom}_{\text{C}}(T, \Sigma^p T) $。
• 微分分次代数$ B $为非正代数，且满足(FD)、(BE)与(HS)条件，使其可通过其$ A_\infty $-科舒尔对偶$ B^* $的对偶巴尔构造重建。
• 当$ d = 2 $时，$ H^p(B) = 0 $对$ -d+2 = 0 \leq p \leq -1 $成立，即$ H^p(B) = 0 $对$ p = -1 $成立，且$ H^0(B) \cong kQ $为遗传代数，因此$ B^* $的上同调仅在度数0、1、2、3非零。
• $ B^* $上的$ A_\infty $-结构被约束为仅度数1与度数d的乘法非平凡，且对树箭图而言，仅$ m_2 $-乘积在$ \alpha \otimes \alpha^* $上存活，从而推出$ B^* \cong A(Q^{gr,op}, \mathbf{1}, \mathbf{1}) $。
• 因此，$ B $与完备吉涅斯堡微分分次代数$ \widehat{\Gamma}(Q,W) $ quasi-isomorphic，且$ \text{C} \cong \text{per}(B)/\text{D}_{fd}(B) \cong \mathcal{C}_{(Q,W)} $，在给定条件下证明了安米特的猜想。
• 凯勒-赖滕识别定理的证明被推广至$ k $为代数闭域且$ Q $为树箭图的情形，表明当$ \text{End}_{\text{C}}(T) \cong kQ $且对$ -d+2 \leq p \leq -1 $有$ \text{Hom}_{\text{C}}(T, \Sigma^p T) = 0 $时，有$ \text{C} \cong \mathcal{C}_Q^{(d)} $。