[論文レビュー] Relative singularity categories III: Cluster resolutions

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

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

ひとこと要約

本稿は、クラスターティルティング対象を備えた2-Calabi–Yau三角圏に対して、相対特異性圏とdg普遍局域化を用いたdg代数枠組みを確立する。この枠組みにより、自己同型代数が半単純であり、特定の次数でコホロロジーが消える場合、このような圏がクーパー・ポテンシャルのクランチ・カテゴリ－に三角同値であることを証明し、2-Calabi–Yauの場合におけるAmiotの予想を支持する。

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.

研究の動機と目的

• dg代数と相対特異性圏を用いて、クラスターティルティング対象を備えた2-Calabi–Yau三角圏の標準形を研究する基盤的枠組みを提供すること。
• 2-Calabi–Yau代数的三角圏とクラスターティルティング対象を備えたクランチ・カテゴリ－の三角同値性に関するAmiotの予想を取り上げること。
• このような圏から得られるdg代数が完全Ginzburg dg代数に quasi-isomorphic である条件を確立し、クランチ理論および非可換クリープント・リゾリューションと結びつけること。
• コホロロジー的および代数的制約を追加した下で、Keller–Reitenのd-クラスターティルティング対象の認識定理を一般化すること。
• 2-Calabi–Yau圏において、自己同型代数が半単純で負のコホロロジーが消える場合、その圏が木クイバーのd-クラスターカテゴリ－と三角同値であることを証明すること。

提案手法

• d-クラスターティルティング対象 $ T $ を持つd-Calabi–Yau圏 $ \text{C} $ から、$ H^0(B) \to \text{End}_{\text{C}}(T) $ および $ p < 0 $ に対して $ H^p(B) \to \text{Hom}_{\text{C}}(T, \Sigma^p T) $ を満たす非正のdg代数 $ B $ を構成する。
• 相対特異性圏 $ \text{per}(B)/\text{D}_{fd}(B) $ を用いて $ \text{C} $ を三角商として実現し、dg代数 $ B $ を通じて三角同値性を確立する。
• $ A_∞ $-Koszul双対 $ B^* $ に二重バー構成を適用し、$ B^* $ が次数 0, 1, d, d+1 のみに非ゼロコホロロジーを持つ場合、$ B $ が完全dgクイバー代数と quasi-equivalent であることを示す。
• 双関手的同型 $ D\text{Hom}_{\text{D}_{fd}(B)}(X,Y) \cong \text{Hom}_{\text{D}_{fd}(B)}(Y, \Sigma^{d+1}X) $ を用いて、dg代数の文脈におけるCalabi–Yau双対性を強制する。
• $ H^p(B) $ が $ -d+2 \leq p \leq -1 $ で消えることと、$ H^0(B) \cong kQ $ が半単純であることから、$ B^* $ のクイバー構造を制約し、非自明な積を次数1およびdに限定する。
• 唯一の非自明な $ A_∞ $-構造は、反転クイバー $ Q^{gr,op} $ のサイクルから生じるが、これは $ n=2 $ かつ $ \alpha_1 = \alpha_2 $ の場合にのみ非自明になる。これにより $ B^* \cong A(Q^{gr,op}, \mathbf{1}, \mathbf{1}) $ となり、$ B $ は $ Q $ のみによって決定される。

実験結果

リサーチクエスチョン

• RQ1 クラスターティルティング対象を備えた2-Calabi–Yau代数的三角圏が、クイバーとポテンシャルのクランチ・カテゴリ－と三角同値である条件は何か？
• RQ2 d-クラスターティルティング対象から得られるdg代数 $ B $ が完全Ginzburg dg代数に quasi-isomorphic であるか？
• RQ3 特に $ H^p(B) $ が $ -d+2 \leq p \leq -1 $ で消えることにより、dg代数 $ B $ のコホロロジー構造が、基礎となるクイバーおよび $ A_∞ $-構造にどのように制約を加えるか？
• RQ4 二重バー構成と $ A_∞ $-Koszul双対性が、コホロロジーとSerre双対性からdg代数 $ B $ を再構成する際に果たす役割は何か？
• RQ5 $ H^0(B) \cong kQ $ が半単純であり、$ Q $ にサイクルがないことにより、$ B $ が $ Q $ の完全Ginzburg dg代数に quasi-isomorphic であることを保証する程度はどの程度か？

主な発見

• d-Calabi–Yau代数的三角圏 $ \text{C} $ がd-クラスターティルティング対象 $ T $ を備えるとき、$ \text{per}(B)/\text{D}_{fd}(B) \cong \text{C} $ を満たすdg代数 $ B $ が存在し、$ H^0(B) \cong \text{End}_{\text{C}}(T) $ かつ $ p < 0 $ に対して $ H^p(B) \cong \text{Hom}_{\text{C}}(T, \Sigma^p T) $ が成り立つ。
• dg代数 $ B $ は非正であり、(FD)、(BE)、(HS) の条件を満たし、$ A_\infty $-Koszul双対 $ B^* $ からの二重バー構成によって再構成可能である。
• d = 2 の場合、$ -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の積のみが非自明であり、木クイバーでは $ \alpha \otimes \alpha^* $ 上の $ m_2 $-積のみが生き残り、$ B^* \cong A(Q^{gr,op}, \mathbf{1}, \mathbf{1}) $ となる。
• 従って、$ B $ は完全Ginzburg dg代数 $ \widehat{\Gamma}(Q,W) $ に quasi-isomorphic であり、$ \text{C} \cong \text{per}(B)/\text{D}_{fd}(B) \cong \mathcal{C}_{(Q,W)} $ が成り立つ。これにより、与えられた条件下でAmiotの予想が証明される。
• Keller–Reitenの認識定理の証明が、$ k $ が代数的閉体であり、$ Q $ が木クイバーである場合に拡張され、$ \text{End}_{\text{C}}(T) \cong kQ $ かつ $ \text{Hom}_{\text{C}}(T, \Sigma^p T) = 0 $（$ -d+2 \leq p \leq -1 $）のとき、$ \text{C} \cong \mathcal{C}_Q^{(d)} $ が成り立つ。