[论文解读] Derived equivalences from mutations of quivers with potential

Bernhard Keller, Dong Yang|ArXiv.org|Jun 3, 2009

Algebraic structures and combinatorial models参考文献 24被引用 19

一句话总结

本论文证明了带有势的 quiver 的变异会诱导 Ginzburg 微分分次代数的导出范畴之间的三角等价，从而为 quiver 变异提供了同调范畴化。通过使用完备化 Ginzburg 代数及其导出范畴，作者构建了显式的导出等价，该等价推广了经典反射函子，并扩展了 Vitória 与 Iyama-Reiten 的先前结果，证明了变异保持 3-卡拉比-丘结构，并在完美与有限维导出范畴上诱导等价。

ABSTRACT

We show that Derksen-Weyman-Zelevinsky's mutations of quivers with potential yield equivalences of suitable 3-Calabi-Yau triangulated categories. Our approach is related to that of Iyama-Reiten and Koszul dual to that of Kontsevich-Soibelman. It improves on previous work by Vitoria. In the appendix, the first-named author studies pseudo-compact derived categories of certain pseudo-compact dg algebras.

研究动机与目标

• 通过导出范畴为 quiver 变异提供同调范畴化。
• 通过 Ginzburg 微分分次代数将经典反射函子推广至任意 quiver 变异。
• 在带有势的变异 quiver 的关联 Ginzburg 微分分次代数的导出范畴之间建立导出等价。
• 通过使用完整的微分分次代数结构而非仅其零阶同调，消除先前工作中存在的限制性假设。
• 证明变异保持 3-卡拉比-丘性质，并在完美与有限维导出范畴上诱导等价。

提出的方法

• 使用与 quiver 带势 (Q,W) 关联的 Ginzburg 微分分次代数构造，该代数集中在非正度数。
• 构造一个 Γ′-Γ-双模 X，以在完备化 Ginzburg 代数的导出范畴之间诱导一对伴随函子。
• 应用完备化张量积的左导出函子 M ↦ M ⊗̂Γ′ X，以定义三角函子 Fpc: Dpc(Γ′) → Dpc(Γ)。
• 证明诱导函子 Fpc 限制在完美复形上，成为 Γ′ 与 Γ 的完美与有限维导出范畴之间的三角等价。
• 在伪紧致导出范畴上使用 t-结构，将 t-结构的心与雅可比代数 H⁰(Γ) 和 H⁰(Γ′) 关联。
• 利用 Ginzburg 代数的拓扑同调光滑性与 3-卡拉比-丘性质，确保导出等价行为良好，并保持关键结构。

实验结果

研究问题

• RQ1 带有势的 quiver 变异是否在关联的 Ginzburg 微分分次代数之间诱导导出等价？
• RQ2 Ginzburg 代数的导出范畴在变异下如何表现？何种结构被保持？
• RQ3 能否通过微分分次代数将经典反射函子构造推广至任意 quiver 变异？
• RQ4 雅可比代数的导出范畴与完整 Ginzburg 微分分次代数的导出范畴之间有何关系？
• RQ5 完美与有限维导出范畴在带有势的 quiver 变异下如何变换？

主要发现

• 在顶点 i 处对带有势的 quiver (Q,W) 进行变异，会诱导关联完备化 Ginzburg 微分分次代数的导出范畴之间的三角等价 Fpc: Dpc(Γ′) → Dpc(Γ)。
• 该等价将投射模 P′j 映射为 Pj（当 j ≠ i 时），并将 Pi′ 映射为由从 i 出发的箭头 α 左乘作用给出的同态 Pi → ⊕Pₜ(α) 的锥。
• Fpc 限制在完美复形上，诱导 per(Γ′) 与 per(Γ) 之间的三角等价，同样地，对有限维导出范畴 Dfd(Γ′) 与 Dfd(Γ) 也成立。
• 广义簇范畴 C = per(Γ)/Dfd(Γ) 是 Hom-有限的且为 2-卡拉比-丘，且 π(Γ) 是 C 中的簇-广义倾斜对象。
• 该导出等价与伪紧致导出范畴上的 t-结构相容，诱导出雅可比代数 H⁰(Γ) 与 H⁰(Γ′) 上的伪紧致模范畴之间的等价。
• 该构造通过使用完整的 Ginzburg 微分分次代数而非仅其零阶同调，推广了 Vitória 与 Iyama-Reiten 的先前结果，从而消除了限制性假设。