[論文レビュー] Derived equivalences from mutations of quivers with potential

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

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

ひとこと要約

この論文は、クイバーとポテンシャルの変異が、ギンツブルグdg代数の導来カテゴリの三角同値を誘導することを確立し、クイバー変異のホモロジー的カテゴリ化を提供する。完了したギンツブルグ代数とその導来カテゴリを用いることで、古典的リフレクションファンクターを一般化し、ヴィトリアおよび伊山・レイテンの先行結果を拡張する明示的な導来同値を構成する。変異が3-Calabi-Yau構造を保存することを証明し、完備および有限次元の導来カテゴリ上での同値を誘導する。

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.

研究の動機と目的

• 導来カテゴリを用いたクイバー変異のホモロジー的カテゴリ化を提供すること。
• Ginzburg dg代数を介して、古典的リフレクションファンクターを任意のクイバー変異に一般化すること。
• 変異されたクイバーとポテンシャルの関連するGinzburg dg代数の導来カテゴリ間の導来同値を確立すること。
• 零次ホモロジーのみに依存するのではなく、完全なdg代数構造を用いることで、先行研究における制限的仮定を排除すること。
• 変異が3-Calabi-Yau性質を保存し、完備および有限次元の導来カテゴリに同値を誘導することを示すこと。

提案手法

• クイバーとポテンシャル (Q,W) に関連するGinzburgの微分付き代数構成を用い、非正の次数に集中する。
• 導来カテゴリ間の随伴関手を誘導する Γ′-Γ-両側加群 X を構成する。
• 完了テンソル積 M ↦ M ⊗̂Γ′ X の左導来関手を用いて、三角関手 Fpc: Dpc(Γ′) → Dpc(Γ) を定義する。
• 誘導された関手 Fpc が、Γ′ と Γ の完備および有限次元の導来カテゴリ間の三角同値に制限されることを示す。
• 擬コンパクト導来カテゴリ上の t-構造を用い、t-構造のハートをジャコビアン代数 H⁰(Γ) および H⁰(Γ′) に関連付ける。
• ギンツブルグ代数の位相的ホモロジー的滑らかさおよび3-Calabi-Yau性質を用いて、導来同値が適切に振る舞い、重要な構造を保存することを保証する。

実験結果

リサーチクエスチョン

• RQ1 クイバーとポテンシャルの変異は、関連するGinzburg dg代数の間で導来同値を誘導するか？
• RQ2 Ginzburg代数の導来カテゴリは、変異によってどのように振る舞い、何の構造が保存されるか？
• RQ3 dg代数を用いることで、古典的リフレクションファンクターの構成を任意のクイバー変異に一般化できるか？
• RQ4 ジャコビアン代数の導来カテゴリと、完全なGinzburg dg代数の導来カテゴリの間の関係は何か？
• RQ5 完備および有限次元の導来カテゴリは、クイバーとポテンシャルの変異によってどのように変化するか？

主な発見

• 頂点 i におけるクイバーとポテンシャル (Q,W) の変異は、関連する完了Ginzburg dg代数の導来カテゴリ間の三角同値 Fpc: Dpc(Γ′) → Dpc(Γ) を誘導する。
• この同値は、j ≠ i に対して射影加群 P′j を Pj に送り、Pi′ を i から出る矢印 α による左乗法の写像 Pi → ⊕Pₜ(α) のコーンに送る。
• Fpc の完備複体への制限は、per(Γ′) と per(Γ) 間の三角同値を誘導し、同様に Dfd(Γ′) と Dfd(Γ) 間の同値を誘導する。
• 一般化されたクラスターカテゴリ C = per(Γ)/Dfd(Γ) は Hom-有限かつ2-Calabi-Yauであり、π(Γ) は C 内のクラスター傾き対象である。
• この導来同値は、擬コンパクト導来カテゴリ上の t-構造と整合的であり、ジャコビアン代数 H⁰(Γ) および H⁰(Γ′) の擬コンパクト加群のカテゴリ間の同値を誘導する。
• ヴィトリアおよび伊山・レイテンの先行結果を、零次ホモロジーのみではなく完全なGinzburg dg代数を用いることで一般化し、制限的仮定を排除した。