[论文解读] Perverse equivalences, BB-tilting, mutations and applications

Sefi Ladkani|arXiv (Cornell University)|Jan 26, 2010

Algebraic structures and combinatorial models参考文献 38被引用 27

一句话总结

本文建立了有限维代数上BB-tilting与奇异导出等价性之间的深刻联系，通过与 quiver 顶点相关的 tilting 复形引入代数的变异。证明了在 2-卡比-雅可比（2-Calabi-Yau）范畴中对非投射-非注入性顶点进行变异可得到导出等价的自同态代数，推广了簇-tilting 理论，并表明由变异诱导的导出等价性与 Fomin-Zelevinsky 的矩阵变异一致。

ABSTRACT

We relate the notions of BB-tilting and perverse derived equivalence at a vertex. Based on these notions, we define mutations of algebras, leading to derived equivalent ones. We present applications to endomorphism algebras of cluster-tilting objects in 2-Calabi-Yau categories and to algebras of global dimension at most 2.

研究动机与目标

• 在有限维代数的背景下统一 BB-tilting 与奇异导出等价性。
• 通过 quiver 顶点处的 tilting 复形定义代数变异，从而得到导出等价的代数。
• 建立在 2-卡比-雅可比（2-CY）范畴中簇-tilting 对象的变异诱导其自同态代数的导出等价性。
• 表明在变异下格罗滕迪克群的变换与 Fomin-Zelevinsky 的矩阵变异相匹配。
• 阐明在何种条件下 quiver 变异对应于代数的导出等价性，特别是在 2-CY 设置下。

提出的方法

• 为 quiver 中无环的每个顶点 $k$ 定义两个复形 $T^{-}_{k}$ 和 $T^{+}_{k}$，它们诱导奇异导出等价性。
• 证明在满足同调条件时，顶点 $k$ 处的 BB-tilting 恰好对应于由 $T^{-}_{k}$ 诱导的奇异等价性。
• 引入三种变异操作：负变异 ($\mu^{-}_{k}$)、正变异 ($\mu^{+}_{k}$) 和 BB-变异 ($\mu^{\mathrm{BB}}_{k}$)，三者均产生导出等价的代数。
• 证明由变异诱导的格罗滕迪克群变换与斜对称 quiver 矩阵的矩阵变异一致。
• 在 Hom-有限、幂等元分裂、弗罗贝尼乌斯或三角化 2-CY 范畴中，利用逼近序列（交换序列）来定义变异。
• 将结果应用于 2-CY 范畴中簇-tilting 对象的自同态代数，证明对象的变异诱导其代数的变异。

实验结果

研究问题

• RQ1 在有关系的 quiver 中，顶点处的 BB-tilting 与奇异导出等价性之间有何关系？
• RQ2 在何种条件下，由 $T^{-}_{k}$ 诱导的奇异等价性来源于 BB-tilting？
• RQ3 通过 $T^{-}_{k}$ 或 $T^{+}_{k}$ 进行代数变异时，何时会得到导出等价的代数？
• RQ4 在 2-卡比-雅可比（2-CY）范畴中，簇-tilting 对象的变异与它们的自同态代数的变异有何关系？
• RQ5 Fomin-Zelevinsky 意义下的 quiver 变异在多大程度上对应于相关代数的导出等价性？

主要发现

• 在满足同调条件时，顶点 $k$ 处的 BB-tilting 等价于由复形 $T^{-}_{k}$ 诱导的奇异导出等价性。
• 当两者均有定义时，负变异 $\mu^{-}_{k}(A)$ 与 BB-变异 $\mu^{\mathrm{BB}}_{k}(A)$ 一致，且两者均产生导出等价的代数。
• 在 Hom-有限、幂等元分裂的弗罗贝尼乌斯 2-CY 范畴中，所有 BB-、负和正变异均存在，且与变异后簇-tilting 对象的自同态代数一致。
• 在三角化 2-CY 范畴中，相邻的 2-CY-tilted 代数是近似-莫里塔等价的，但不一定是导出等价的，尽管许多此类对是导出等价的。
• 由代数变异诱导的格罗滕迪克群变换与 Fomin 和 Zelevinsky 定义的斜对称 quiver 矩阵的矩阵变异一致。
• 存在一些 quiver 变异（例如例 6.9 中的顶点 2、4、5），即使簇范畴是 Hom-有限的，也不对应于相关代数的导出等价性。